Package it.unive.lisa.analysis.impl.dataflow

Class ReachingDefinitions

java.lang.Object

it.unive.lisa.analysis.impl.dataflow.ReachingDefinitions

All Implemented Interfaces:

DataflowElement<PossibleForwardDataflowDomain<ReachingDefinitions>,ReachingDefinitions>, SemanticEvaluator

public class ReachingDefinitions
extends java.lang.Object
implements DataflowElement<PossibleForwardDataflowDomain<ReachingDefinitions>,ReachingDefinitions>

An implementation of the reaching definition dataflow analysis.

Constructor Summary

Constructors

Constructor	Description
ReachingDefinitions()	Builds an empty reaching definition object.

Method Summary

Modifier and Type	Method	Description
boolean	canProcess(SymbolicExpression expression)	Yields true if the domain can process expression, false otherwise.
boolean	equals(java.lang.Object obj)
java.util.Collection<ReachingDefinitions>	gen(Identifier id, ValueExpression expression, ProgramPoint pp, PossibleForwardDataflowDomain<ReachingDefinitions> domain)	The dataflow gen operation, yielding the dataflow elements that are generated by the assignment of the given expression to the given id.
java.util.Collection<ReachingDefinitions>	gen(ValueExpression expression, ProgramPoint pp, PossibleForwardDataflowDomain<ReachingDefinitions> domain)	The dataflow gen operation, yielding the dataflow elements that are generated by evaluating the given non-assigning expression.
java.util.Collection<Identifier>	getInvolvedIdentifiers()	Yields all the Identifiers that are involved in the definition of this element.
int	hashCode()
java.util.Collection<ReachingDefinitions>	kill(Identifier id, ValueExpression expression, ProgramPoint pp, PossibleForwardDataflowDomain<ReachingDefinitions> domain)	The dataflow kill operation, yielding the dataflow elements that are killed by the assignment of the given expression to the given id.
java.util.Collection<ReachingDefinitions>	kill(ValueExpression expression, ProgramPoint pp, PossibleForwardDataflowDomain<ReachingDefinitions> domain)	The dataflow kill operation, yielding the dataflow elements that are killed by evaluating the given non-assigning expression.
ReachingDefinitions	popScope(ScopeToken scope)	Pop a scope to the dataflow element.
ReachingDefinitions	pushScope(ScopeToken scope)	Push a scope to the dataflow element.
DomainRepresentation	representation()	Yields a DomainRepresentation of the information contained in this domain's instance.
java.lang.String	toString()
boolean	tracksIdentifiers(Identifier id)	Yields true if the domain tracks information on the identifier id, false otherwise.

Methods inherited from class java.lang.Object

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

Constructor Detail

ReachingDefinitions

public ReachingDefinitions()

Builds an empty reaching definition object.

Method Detail

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getInvolvedIdentifiers

public java.util.Collection<Identifier> getInvolvedIdentifiers()

Description copied from interface: DataflowElement

Yields all the Identifiers that are involved in the definition of this element.

Specified by:

getInvolvedIdentifiers in interface DataflowElement<PossibleForwardDataflowDomain<ReachingDefinitions>,ReachingDefinitions>

Returns:

the identifiers

gen

public java.util.Collection<ReachingDefinitions> gen(Identifier id,
                                                     ValueExpression expression,
                                                     ProgramPoint pp,
                                                     PossibleForwardDataflowDomain<ReachingDefinitions> domain)

Description copied from interface: DataflowElement

The dataflow gen operation, yielding the dataflow elements that are generated by the assignment of the given expression to the given id.

Specified by:

gen in interface DataflowElement<PossibleForwardDataflowDomain<ReachingDefinitions>,ReachingDefinitions>

Parameters:

id - the Identifier being assigned

expression - the expressions that is being assigned to id

pp - the program point where this operation happens

domain - the DataflowDomain that is being used to track instances of this element

Returns:

the collection of dataflow elements that are generated by the assignment

gen

public java.util.Collection<ReachingDefinitions> gen(ValueExpression expression,
                                                     ProgramPoint pp,
                                                     PossibleForwardDataflowDomain<ReachingDefinitions> domain)

Description copied from interface: DataflowElement

The dataflow gen operation, yielding the dataflow elements that are generated by evaluating the given non-assigning expression.

Specified by:

gen in interface DataflowElement<PossibleForwardDataflowDomain<ReachingDefinitions>,ReachingDefinitions>

Parameters:

expression - the expressions that is being evaluated

pp - the program point where this operation happens

domain - the DataflowDomain that is being used to track instances of this element

Returns:

the collection of dataflow elements that are generated by the expression

kill

public java.util.Collection<ReachingDefinitions> kill(Identifier id,
                                                      ValueExpression expression,
                                                      ProgramPoint pp,
                                                      PossibleForwardDataflowDomain<ReachingDefinitions> domain)

Description copied from interface: DataflowElement

The dataflow kill operation, yielding the dataflow elements that are killed by the assignment of the given expression to the given id.

Specified by:

kill in interface DataflowElement<PossibleForwardDataflowDomain<ReachingDefinitions>,ReachingDefinitions>

Parameters:

id - the Identifier being assigned

expression - the expressions that is being assigned to id

pp - the program point where this operation happens

domain - the DataflowDomain that is being used to track instances of this element

Returns:

the collection of dataflow elements that are killed by the assignment

kill

public java.util.Collection<ReachingDefinitions> kill(ValueExpression expression,
                                                      ProgramPoint pp,
                                                      PossibleForwardDataflowDomain<ReachingDefinitions> domain)

Description copied from interface: DataflowElement

The dataflow kill operation, yielding the dataflow elements that are killed by evaluating the given non-assigning expression.

Specified by:

kill in interface DataflowElement<PossibleForwardDataflowDomain<ReachingDefinitions>,ReachingDefinitions>

Parameters:

expression - the expressions that is being evaluated

pp - the program point where this operation happens

domain - the DataflowDomain that is being used to track instances of this element

Returns:

the collection of dataflow elements that are killed by the expression

tracksIdentifiers

public boolean tracksIdentifiers(Identifier id)

Description copied from interface: SemanticEvaluator

Yields true if the domain tracks information on the identifier id, false otherwise.

Specified by:

tracksIdentifiers in interface SemanticEvaluator

Parameters:

id - the identifier

Returns:

true if the domain tracks information on the identifier id, false otherwise

canProcess

public boolean canProcess(SymbolicExpression expression)

Description copied from interface: SemanticEvaluator

Yields true if the domain can process expression, false otherwise.

Specified by:

canProcess in interface SemanticEvaluator

Parameters:

expression - the expression

Returns:

true if the domain can process expression, false otherwise.

representation

public DomainRepresentation representation()

Description copied from interface: DataflowElement

Yields a DomainRepresentation of the information contained in this domain's instance.

Specified by:

representation in interface DataflowElement<PossibleForwardDataflowDomain<ReachingDefinitions>,ReachingDefinitions>

Returns:

the representation

pushScope

public ReachingDefinitions pushScope(ScopeToken scope)
                              throws SemanticException

Description copied from interface: DataflowElement

Push a scope to the dataflow element.

Specified by:

pushScope in interface DataflowElement<PossibleForwardDataflowDomain<ReachingDefinitions>,ReachingDefinitions>

Parameters:

scope - the scope to be pushed

Returns:

the element with the pushed scope

Throws:

SemanticException - if the scope cannot be pushed

See Also:

SemanticDomain.pushScope(ScopeToken)

popScope

public ReachingDefinitions popScope(ScopeToken scope)
                             throws SemanticException

Description copied from interface: DataflowElement

Pop a scope to the dataflow element.

Specified by:

popScope in interface DataflowElement<PossibleForwardDataflowDomain<ReachingDefinitions>,ReachingDefinitions>

Parameters:

scope - the scope to be popped

Returns:

the element with the popped scope

Throws:

SemanticException - if the scope cannot be popped

See Also:

SemanticDomain.popScope(ScopeToken)