Type of the state abstract domain the semantics are defined for
Creates the abstract semantics defined by the given semantics definition.
Type of the state abstract domain the semantics are defined for
The declarative definition of the abstract semantics to apply
ProtectedgetGets the semantics applier function defined for a function call, by matching the qualified name of the called function against the defined function names.
The type of the call semantics to get the applier function for
The dataflow graph vertex of the function call
The context of the abstract interpretation analysis
The applier function of the defined semantics, or undefined if the called function is not supported
Applies the abstract semantics defined for the called access function, if the access function is supported (see CallSemantics)
Assigns the abstract value inferred for the assigned source expression to the target of the assignment
Applies the abstract semantics defined for the function call guarding a branch, if the called function is supported (see CallSemantics)
Applies the abstract semantics defined for the called function, if the called function is supported (see CallSemantics)
Applies the defined abstract semantics of logical constants (see ConstantSemantics)
Applies the defined abstract semantics of the NULL constant (see ConstantSemantics)
Applies the defined abstract semantics of numeric constants (see ConstantSemantics)
Applies the abstract semantics defined for the called replacement function, if the replacement function is supported (see CallSemantics)
Applies the defined abstract semantics of string constants (see ConstantSemantics)
Applies the defined abstract semantics of symbol constants (see ConstantSemantics)
The abstract semantics of an abstract domain defined by a declarative SemanticsDefinition, dispatching each visited constant and function call to the semantics defined for it.
Function calls are dispatched by their qualified name, so that the semantics of a function are only applied if the called function actually originates from the expected namespace. Besides the defined semantics, this provides default semantics for assignments by assigning the abstract value of the source to the assignment target.