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
Assignment	A statement assigning the result of an expression to an assignable expression.
BinaryExpression	An NaryExpression with exactly two sub-expressions.
BinaryStatement	An NaryStatement with exactly two sub-expressions.
DefaultParamInitialization	An Expression that can be used on the right-hand side of an assignment to initialize a variable or parameter of a given type to a statically unknown value.
Expression	An expression that is part of a statement of the program.
NaryExpression	A generic expression with n sub-expressions.
NaryStatement	A generic statement with n sub-expressions.
NoOp	A statement that does nothing.
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.
TernaryExpression	An NaryExpression with exactly three sub-expressions.
TernaryStatement	An NaryStatement with exactly three sub-expressions.
Throw	A statement that raises an error, stopping the execution of the current CFG and propagating the error to among the call chain.
UnaryExpression	An NaryExpression with a single sub-expression.
UnaryStatement	An NaryStatement with a single sub-expression.
VariableRef	A reference to a variable of the current CFG, identified by its name.