dk.brics.string.intermediate.operations
Class ReachingDefinitions

java.lang.Object
  dk.brics.string.intermediate.operations.ReachingDefinitions

public class ReachingDefinitions
extends Object

Intra-procedural reaching definitions analysis performed on a set of methods.

Reaching definitions are only made on local variables; not on fields.

Constructor Summary

ReachingDefinitions(Application app, LivenessAnalysis la, AliasAnalysis aa)

Method Summary

Set<Statement>

getReachingDefs(Statement s, Variable v) Returns the (unmodifiable) set of definitions of the given variable reaching the given statement.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ReachingDefinitions

public ReachingDefinitions(Application app,
                           LivenessAnalysis la,
                           AliasAnalysis aa)

Method Detail

getReachingDefs

public Set<Statement> getReachingDefs(Statement s,
                                      Variable v)

Returns the (unmodifiable) set of definitions of the given variable reaching the given statement. The result is sorted if in test mode.

Parameters:

s - the reached statement.

v - the variable.

Returns:

a set of Statement objects.