Safe Haskell	None
Language	Haskell2010

Data.SValue2

Description

Documentation

data PtrValue Source #

Constructors

Base_StackPointer String
Base_Section Word64
Base_Malloc (Maybe Word64) (Maybe String)
Base_TLS
Base_StatePart StatePart

Instances

Instances details

Eq PtrValue Source #
Instance details Defined in Data.SValue2 Methods (==) :: PtrValue -> PtrValue -> Bool # (/=) :: PtrValue -> PtrValue -> Bool #
Ord PtrValue Source #
Instance details Defined in Data.SValue2 Methods compare :: PtrValue -> PtrValue -> Ordering # (<) :: PtrValue -> PtrValue -> Bool # (<=) :: PtrValue -> PtrValue -> Bool # (>) :: PtrValue -> PtrValue -> Bool # (>=) :: PtrValue -> PtrValue -> Bool # max :: PtrValue -> PtrValue -> PtrValue # min :: PtrValue -> PtrValue -> PtrValue #
Show PtrValue Source #
Instance details Defined in Data.SValue2 Methods showsPrec :: Int -> PtrValue -> ShowS # show :: PtrValue -> String # showList :: [PtrValue] -> ShowS #
Generic PtrValue Source #
Instance details Defined in Data.SValue2 Associated Types type Rep PtrValue :: Type -> Type # Methods from :: PtrValue -> Rep PtrValue x # to :: Rep PtrValue x -> PtrValue #
Serialize PtrValue Source #
Instance details Defined in Data.SValue2 Methods put :: Putter PtrValue # get :: Get PtrValue #
NFData PtrValue Source #
Instance details Defined in Data.SValue2 Methods rnf :: PtrValue -> () #
type Rep PtrValue Source #
Instance details Defined in Data.SValue2 type Rep PtrValue = D1 ('MetaData "PtrValue" "Data.SValue2" "foxdec-0.1.0.0-F8J4QQ8bsQELJyhc4kJb0m" 'False) ((C1 ('MetaCons "Base_StackPointer" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 String)) :+: C1 ('MetaCons "Base_Section" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Word64))) :+: (C1 ('MetaCons "Base_Malloc" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Word64)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe String))) :+: (C1 ('MetaCons "Base_TLS" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Base_StatePart" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 StatePart)))))

data SValue Source #

Constructors

SPointer (NESet PtrValue)
SConcrete (NESet SimpleExpr)
SAddends (NESet StatePart)
Top

Instances

Instances details

Eq SValue Source #
Instance details Defined in Data.SValue2 Methods (==) :: SValue -> SValue -> Bool # (/=) :: SValue -> SValue -> Bool #
Ord SValue Source #
Instance details Defined in Data.SValue2 Methods compare :: SValue -> SValue -> Ordering # (<) :: SValue -> SValue -> Bool # (<=) :: SValue -> SValue -> Bool # (>) :: SValue -> SValue -> Bool # (>=) :: SValue -> SValue -> Bool # max :: SValue -> SValue -> SValue # min :: SValue -> SValue -> SValue #
Show SValue Source #
Instance details Defined in Data.SValue2 Methods showsPrec :: Int -> SValue -> ShowS # show :: SValue -> String # showList :: [SValue] -> ShowS #
Generic SValue Source #
Instance details Defined in Data.SValue2 Associated Types type Rep SValue :: Type -> Type # Methods from :: SValue -> Rep SValue x # to :: Rep SValue x -> SValue #
Serialize SValue Source #
Instance details Defined in Data.SValue2 Methods put :: Putter SValue # get :: Get SValue #
NFData SValue Source #
Instance details Defined in Data.SValue2 Methods rnf :: SValue -> () #
type Rep SValue Source #
Instance details Defined in Data.SValue2 type Rep SValue = D1 ('MetaData "SValue" "Data.SValue2" "foxdec-0.1.0.0-F8J4QQ8bsQELJyhc4kJb0m" 'False) ((C1 ('MetaCons "SPointer" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (NESet PtrValue))) :+: C1 ('MetaCons "SConcrete" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (NESet SimpleExpr)))) :+: (C1 ('MetaCons "SAddends" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (NESet StatePart))) :+: C1 ('MetaCons "Top" 'PrefixI 'False) (U1 :: Type -> Type)))

show_set :: [[Char]] -> [Char] Source #

isImmediate :: SValue -> Bool Source #

isImmediateExpr :: SimpleExpr -> Bool Source #

isConcrete :: SValue -> Bool Source #

isPointer :: SValue -> Bool Source #

isSectionPtr :: PtrValue -> Bool Source #

isStackPointer :: PtrValue -> Bool Source #