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

Class Assignment

java.lang.Object

it.unive.lisa.program.cfg.statement.Statement

it.unive.lisa.program.cfg.statement.Expression

it.unive.lisa.program.cfg.statement.NaryExpression

it.unive.lisa.program.cfg.statement.BinaryExpression

it.unive.lisa.program.cfg.statement.Assignment

All Implemented Interfaces:

ProgramPoint, CodeElement, CodeNode<CFG,Statement,Edge>, Node<CFG,Statement,Edge>, java.lang.Comparable<Statement>

public class Assignment
extends BinaryExpression

A statement assigning the result of an expression to an assignable expression.

Constructor Summary

Constructors

Constructor	Description
Assignment(CFG cfg, CodeLocation location, EvaluationOrder order, Expression target, Expression expression)	Builds the assignment, assigning expression to target, happening at the given location in the program.
Assignment(CFG cfg, CodeLocation location, EvaluationOrder order, Type staticType, Expression target, Expression expression)	Builds the assignment, assigning expression to target, happening at the given location in the program.
Assignment(CFG cfg, CodeLocation location, Expression target, Expression expression)	Builds the assignment, assigning expression to target, happening at the given location in the program.
Assignment(CFG cfg, CodeLocation location, Type staticType, Expression target, Expression expression)	Builds the assignment, assigning expression to target, happening at the given location in the program.

Method Summary

Modifier and Type	Method	Description
protected int	compareSameClassAndParams(Statement o)	Auxiliary method for Statement.compareTo(Statement) that can safely assume that the two expressions happen at the same CodeLocation, are instances of the same class, and have the same parameters according to their implementation of Statement.compareTo(Statement).
<A extends AbstractState<A>> AnalysisState<A>	fwdBinarySemantics(InterproceduralAnalysis<A> interprocedural, AnalysisState<A> state, SymbolicExpression left, SymbolicExpression right, StatementStore<A> expressions)	Computes the forward semantics of the expression, after the semantics of the sub-expressions have been computed.
java.lang.String	toString()

Methods inherited from class it.unive.lisa.program.cfg.statement.BinaryExpression

backwardSemanticsAux, bwdBinarySemantics, forwardSemanticsAux, getLeft, getRight

Methods inherited from class it.unive.lisa.program.cfg.statement.NaryExpression

accept, backwardSemantics, compareSameClass, equals, forwardSemantics, getConstructName, getOrder, getStatementEvaluatedAfter, getStatementEvaluatedBefore, getSubExpressions, hashCode

Methods inherited from class it.unive.lisa.program.cfg.statement.Expression

getMetaVariables, getParentStatement, getRootStatement, getStaticType, setParentStatement

Methods inherited from class it.unive.lisa.program.cfg.statement.Statement

compareTo, getCFG, getEvaluationPredecessor, getEvaluationSuccessor, getLocation, stopsExecution, throwsError

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface it.unive.lisa.program.cfg.ProgramPoint

getProgram

Constructor Detail

Assignment

public Assignment(CFG cfg,
                  CodeLocation location,
                  Expression target,
                  Expression expression)

Builds the assignment, assigning expression to target, happening at the given location in the program. The static type of this expression is Untyped. The EvaluationOrder is RightToLeftEvaluation.

Parameters:

cfg - the cfg that this statement belongs to

location - the location where this statement is defined within the program

target - the target of the assignment

expression - the expression to assign to target

Assignment

public Assignment(CFG cfg,
                  CodeLocation location,
                  EvaluationOrder order,
                  Expression target,
                  Expression expression)

Builds the assignment, assigning expression to target, happening at the given location in the program. The static type of this expression is Untyped.

Parameters:

cfg - the cfg that this statement belongs to

location - the location where this statement is defined within the program

order - the evaluation order of the sub-expressions

target - the target of the assignment

expression - the expression to assign to target

Assignment

public Assignment(CFG cfg,
                  CodeLocation location,
                  Type staticType,
                  Expression target,
                  Expression expression)

Builds the assignment, assigning expression to target, happening at the given location in the program. The EvaluationOrder is RightToLeftEvaluation.

Parameters:

cfg - the cfg that this statement belongs to

location - the location where this statement is defined within the program

staticType - the static type of this expression

target - the target of the assignment

expression - the expression to assign to target

Assignment

public Assignment(CFG cfg,
                  CodeLocation location,
                  EvaluationOrder order,
                  Type staticType,
                  Expression target,
                  Expression expression)

Builds the assignment, assigning expression to target, happening at the given location in the program.

Parameters:

cfg - the cfg that this statement belongs to

location - the location where this statement is defined within the program

order - the evaluation order of the sub-expressions

staticType - the static type of this expression

target - the target of the assignment

expression - the expression to assign to target

Method Detail

compareSameClassAndParams

protected int compareSameClassAndParams(Statement o)

Description copied from class: NaryExpression

Auxiliary method for Statement.compareTo(Statement) that can safely assume that the two expressions happen at the same CodeLocation, are instances of the same class, and have the same parameters according to their implementation of Statement.compareTo(Statement).

Specified by:

compareSameClassAndParams in class NaryExpression

Parameters:

o - the other expression

Returns:

a negative integer, zero, or a positive integer as this object is less than, equal to, or greater than the specified object

toString

public final java.lang.String toString()

Overrides:

toString in class NaryExpression

fwdBinarySemantics

public <A extends AbstractState<A>> AnalysisState<A> fwdBinarySemantics(InterproceduralAnalysis<A> interprocedural,
                                                                        AnalysisState<A> state,
                                                                        SymbolicExpression left,
                                                                        SymbolicExpression right,
                                                                        StatementStore<A> expressions)
                                                                 throws SemanticException

Description copied from class: BinaryExpression

Computes the forward semantics of the expression, after the semantics of the sub-expressions have been computed. Meta variables from the sub-expressions will be forgotten after this expression returns.

Specified by:

fwdBinarySemantics in class BinaryExpression

Type Parameters:

A - the type of AbstractState

Parameters:

interprocedural - the interprocedural analysis of the program to analyze

state - the state where the expression is to be evaluated

left - the symbolic expression representing the computed value of the first sub-expression of this expression

right - the symbolic expression representing the computed value of the second sub-expression of this expression

expressions - the cache where analysis states of intermediate expressions are stored and that can be accessed to query for post-states of parameters expressions

Returns:

the AnalysisState representing the abstract result of the execution of this expression

Throws:

SemanticException - if something goes wrong during the computation