de.unisaarland.cs.st.jerify.verifier.alias
Class AliasAnalysisSource

java.lang.Object
  de.unisaarland.cs.st.jerify.verifier.alias.AliasAnalysisSource

Direct Known Subclasses:

AliasAnalysisSourceFixed, AliasAnalysisSourceNew, AliasAnalysisSourceVar

public abstract class AliasAnalysisSource
extends java.lang.Object

Is everything objects may come from. E.g. "new class();" is a Source as it produces a new Object. "a;" with a being an Object is also a Source as it represent all objects which a can be an alias for. A Source is an wrapper around the aliasIDs (which are Integers). This abstract class hides which kind of source there is and how the aliasIDs are generated / fetched / ... .

Author:

dw

Constructor Summary

AliasAnalysisSource()

Method Summary

abstract java.util.Set<java.lang.Integer>	generateAliasIDs() All sources must return a Set of possible aliases.
abstract boolean	isField()

Methods inherited from class java.lang.Object

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

Constructor Detail

AliasAnalysisSource

public AliasAnalysisSource()

Method Detail

isField

public abstract boolean isField()

generateAliasIDs

public abstract java.util.Set<java.lang.Integer> generateAliasIDs()

All sources must return a Set of possible aliases.

Returns:

A Set of aliasIDs.