Safe Haskell	None
Language	Haskell2010

Tokstyle.Cimple.Analysis.FunctionPointers

Description

The functions a call through a function pointer field may reach.

Synopsis

data Targets
- = Only (Set Text)
- | Anything (Set Text)
type FieldKey = (Text, Text)
type FieldTargets = Map FieldKey Targets
fieldTargets :: [(FilePath, [Node (Lexeme Text)])] -> FieldTargets
callTargets :: Structs -> FieldTargets -> Function -> Node (Lexeme Text) -> Maybe Targets

Documentation

data Targets Source #

Constructors

Only (Set Text)	One of these functions, or null.
Anything (Set Text)	One of these, or anything a client stores.

Instances

Instances details

Semigroup Targets Source #
Instance details Defined in Tokstyle.Cimple.Analysis.FunctionPointers Methods (<>) :: Targets -> Targets -> Targets # sconcat :: NonEmpty Targets -> Targets # stimes :: Integral b => b -> Targets -> Targets #
Show Targets Source #
Instance details Defined in Tokstyle.Cimple.Analysis.FunctionPointers Methods showsPrec :: Int -> Targets -> ShowS # show :: Targets -> String # showList :: [Targets] -> ShowS #
Eq Targets Source #
Instance details Defined in Tokstyle.Cimple.Analysis.FunctionPointers Methods (==) :: Targets -> Targets -> Bool # (/=) :: Targets -> Targets -> Bool #

type FieldKey = (Text, Text) Source #

A struct and one of its fields.

type FieldTargets = Map FieldKey Targets Source #

fieldTargets :: [(FilePath, [Node (Lexeme Text)])] -> FieldTargets Source #

The functions code stores in each field, also via other fields and parameters. Fields clients can set, or that get something we can't follow, may hold anything.

callTargets :: Structs -> FieldTargets -> Function -> Node (Lexeme Text) -> Maybe Targets Source #