ptolemy.copernicus.kernel

Interface AliasAnalysis

public interface AliasAnalysis

An analysis that maps each local and field to the set of locals and fields that alias that value. Implementors of this interface determine the strength of the analysis. i.e. must-aliases vs. maybe aliases, flow sensitive vs. flow insensitive, etc. FIXME: I think we need an augmented interface for flow-sensitive analysis?

Since:

Ptolemy II 4.0

Version:

$Id$

Author:

Stephen Neuendorffer

Pt.AcceptedRating:

Red (cxh)

Pt.ProposedRating:

Red (cxh)

Method Summary

Modifier and Type	Method and Description
java.util.Set	getAliasesOfAfter(soot.Local local, soot.Unit unit) Return the set of other fields and locals that maybe reference the same object as the given field, at a point after the given unit.
java.util.Set	getAliasesOfAfter(soot.SootField field, soot.Unit unit) Return the set of other fields and locals that reference the same object as the given field, at a point after the given unit.
java.util.Set	getAliasesOfBefore(soot.Local local, soot.Unit unit) Return the set of other fields and locals that reference the same object as the given local, at a point before the given unit.
java.util.Set	getAliasesOfBefore(soot.SootField field, soot.Unit unit) Return the set of other fields and locals that reference the same object as the given field, at a point before the given unit.

Method Detail

getAliasesOfBefore

java.util.Set getAliasesOfBefore(soot.SootField field,
                                 soot.Unit unit)

Return the set of other fields and locals that reference the same object as the given field, at a point before the given unit.

getAliasesOfAfter

java.util.Set getAliasesOfAfter(soot.SootField field,
                                soot.Unit unit)

Return the set of other fields and locals that reference the same object as the given field, at a point after the given unit.

getAliasesOfBefore

java.util.Set getAliasesOfBefore(soot.Local local,
                                 soot.Unit unit)

Return the set of other fields and locals that reference the same object as the given local, at a point before the given unit.

getAliasesOfAfter

java.util.Set getAliasesOfAfter(soot.Local local,
                                soot.Unit unit)

Return the set of other fields and locals that maybe reference the same object as the given field, at a point after the given unit.