Package it.unive.lisa.program.cfg.statement

Interface Summary

Interface	Description
MetaVariableCreator	Objects implementing this interface will produce a meta-variable to represent the value that they produce on the stack during the computation of their semantic.
PluggableStatement	A Statement that can be dynamically plugged into a CFG in place of another statement.

Class Summary

Class	Description
AccessGlobal	An access to a Global of a Unit.
AccessInstanceGlobal	An access to an instance Global of a CompilationUnit.
Assignment	A statement assigning the result of an expression to an assignable expression.
BinaryExpression	A binary expression.
BinaryNativeCall	A NativeCall with a exactly two arguments.
Call	A call to another procedure.
CFGCall	A call to one or more of the CFGs under analysis.
Expression	An expression that is part of a statement of the program.
HybridCall	A call to one or more CFGs or NativeCFGs under analysis.
Literal	A literal, representing a constant value.
NativeCall	A native call, modeling the usage of one of the native constructs of the language.
NoOp	A statement that does nothing.
NullLiteral	A literal representing the null constant.
OpenCall	A call to a CFG that is not under analysis.
Ret	Terminates the execution of the CFG where this statement lies, without returning anything to the caller.
Return	Returns an expression to the caller CFG, terminating the execution of the CFG where this statement lies.
Statement	A statement of the program to analyze.
TernaryNativeCall	A NativeCall with a exactly three arguments.
Throw	A statement that raises an error, stopping the execution of the current CFG and propagating the error to among the call chain.
UnaryNativeCall	A NativeCall with a single argument.
UnaryStatement	A unary statement.
UnresolvedCall	A call that happens inside the program to analyze.
VariableRef	A reference to a variable of the current CFG, identified by its name.

Enum Summary

Enum	Description
UnresolvedCall.ResolutionStrategy	An enum defining the different types of resolution strategies for call signatures.