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

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	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.