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

Class UnresolvedCall

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.call.Call

it.unive.lisa.program.cfg.statement.call.UnresolvedCall

All Implemented Interfaces:

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

public class UnresolvedCall
extends Call

A call that happens inside the program to analyze. At this stage, the target(s) of the call is (are) unknown. During the semantic computation, the CallGraph used by the analysis will resolve this to a CFGCall or to an OpenCall.

Nested Class Summary

Nested classes/interfaces inherited from class it.unive.lisa.program.cfg.statement.call.Call

Call.CallType

Constructor Summary

Constructors

Constructor	Description
UnresolvedCall(CFG cfg, CodeLocation location, Call.CallType callType, java.lang.String qualifier, java.lang.String targetName, EvaluationOrder order, Expression... parameters)	Builds the unresolved call, happening at the given location in the program.
UnresolvedCall(CFG cfg, CodeLocation location, Call.CallType callType, java.lang.String qualifier, java.lang.String targetName, EvaluationOrder order, Type staticType, Expression... parameters)	Builds the unresolved call, happening at the given location in the program.
UnresolvedCall(CFG cfg, CodeLocation location, Call.CallType callType, java.lang.String qualifier, java.lang.String targetName, Expression... parameters)	Builds the unresolved call, happening at the given location in the program.
UnresolvedCall(CFG cfg, CodeLocation location, Call.CallType callType, java.lang.String qualifier, java.lang.String targetName, Type staticType, Expression... parameters)	Builds the unresolved call, happening at the given location in the program.

Method Summary

Modifier and Type	Method	Description
protected int	compareCallAux(Call o)	Auxiliary method for Statement.compareTo(Statement) that can safely assume that the two calls happen at the same CodeLocation, are instances of the same class, have the same parameters according to their implementation of Statement.compareTo(Statement), and have all fields defined in the Call class equal according to their Comparable.compareTo(Object).
<A extends AbstractState<A>> AnalysisState<A>	forwardSemanticsAux(InterproceduralAnalysis<A> interprocedural, AnalysisState<A> state, ExpressionSet[] params, StatementStore<A> expressions)	Computes the forward semantics of the expression, after the semantics of all sub-expressions have been computed.

Methods inherited from class it.unive.lisa.program.cfg.statement.call.Call

compareSameClassAndParams, equals, getCallType, getFullTargetName, getParameters, getQualifier, getSource, getTargetName, hashCode, parameterTypes, setSource, toString

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

accept, backwardSemantics, backwardSemanticsAux, compareSameClass, forwardSemantics, getConstructName, getOrder, getStatementEvaluatedAfter, getStatementEvaluatedBefore, getSubExpressions

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

UnresolvedCall

public UnresolvedCall(CFG cfg,
                      CodeLocation location,
                      Call.CallType callType,
                      java.lang.String qualifier,
                      java.lang.String targetName,
                      Expression... parameters)

Builds the unresolved call, happening at the given location in the program. The static type of this call is Untyped. The EvaluationOrder of the parameter is LeftToRightEvaluation.

Parameters:

cfg - the cfg that this expression belongs to

location - the location where the expression is defined within the program

callType - the call type of this call

qualifier - the optional qualifier of the call (can be null or empty - see Call.getFullTargetName() for more info)

targetName - the name of the target of this call

parameters - the parameters of this call

UnresolvedCall

public UnresolvedCall(CFG cfg,
                      CodeLocation location,
                      Call.CallType callType,
                      java.lang.String qualifier,
                      java.lang.String targetName,
                      Type staticType,
                      Expression... parameters)

Builds the unresolved call, happening at the given location in the program. The EvaluationOrder of the parameter is LeftToRightEvaluation.

Parameters:

cfg - the cfg that this expression belongs to

location - the location where the expression is defined within the program

callType - the call type of this call

qualifier - the optional qualifier of the call (can be null or empty - see Call.getFullTargetName() for more info)

targetName - the name of the target of this call

staticType - the static type of this call

parameters - the parameters of this call

UnresolvedCall

public UnresolvedCall(CFG cfg,
                      CodeLocation location,
                      Call.CallType callType,
                      java.lang.String qualifier,
                      java.lang.String targetName,
                      EvaluationOrder order,
                      Expression... parameters)

Builds the unresolved call, happening at the given location in the program. The static type of this call is Untyped.

Parameters:

cfg - the cfg that this expression belongs to

location - the location where the expression is defined within the program

callType - the call type of this call

qualifier - the optional qualifier of the call (can be null or empty - see Call.getFullTargetName() for more info)

targetName - the name of the target of this call

order - the evaluation order of the sub-expressions

parameters - the parameters of this call

UnresolvedCall

public UnresolvedCall(CFG cfg,
                      CodeLocation location,
                      Call.CallType callType,
                      java.lang.String qualifier,
                      java.lang.String targetName,
                      EvaluationOrder order,
                      Type staticType,
                      Expression... parameters)

Builds the unresolved call, happening at the given location in the program.

Parameters:

cfg - the cfg that this expression belongs to

location - the location where the expression is defined within the program

callType - the call type of this call

qualifier - the optional qualifier of the call (can be null or empty - see Call.getFullTargetName() for more info)

targetName - the name of the target of this call

order - the evaluation order of the sub-expressions

staticType - the static type of this call

parameters - the parameters of this call

Method Detail

compareCallAux

protected int compareCallAux(Call o)

Description copied from class: Call

Auxiliary method for Statement.compareTo(Statement) that can safely assume that the two calls happen at the same CodeLocation, are instances of the same class, have the same parameters according to their implementation of Statement.compareTo(Statement), and have all fields defined in the Call class equal according to their Comparable.compareTo(Object). This method is thus responsible for only comparing the implementation-specific fields.

Specified by:

compareCallAux in class Call

Parameters:

o - the other call

Returns:

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

forwardSemanticsAux

public <A extends AbstractState<A>> AnalysisState<A> forwardSemanticsAux(InterproceduralAnalysis<A> interprocedural,
                                                                         AnalysisState<A> state,
                                                                         ExpressionSet[] params,
                                                                         StatementStore<A> expressions)
                                                                  throws SemanticException

Description copied from class: NaryExpression

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

Specified by:

forwardSemanticsAux in class NaryExpression

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

params - the symbolic expressions representing the computed values of the sub-expressions 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