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

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

public class AliasAnalysisSourceFixed
extends AliasAnalysisSource

Represents all Sources which are create by a "new class();" like part of the code. It generates a new Alias ID every time it is asked for them (because every time you execute a new a new object is created).

Author:

Daniel Wand (typestate@ewand.e)

Constructor Summary

AliasAnalysisSourceFixed()

Method Summary

java.util.Set<java.lang.Integer>	generateAliasIDs() Because this represents the creation of new objects, each time it is asked to generate aliasIDs it must return a new aliasID.
int	getID()
boolean	isField()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

AliasAnalysisSourceFixed

public AliasAnalysisSourceFixed()

Method Detail

getID

public int getID()

generateAliasIDs

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

Because this represents the creation of new objects, each time it is asked to generate aliasIDs it must return a new aliasID.

Specified by:

generateAliasIDs in class AliasAnalysisSource

Returns:

a new aliasID

isField

public boolean isField()

Specified by:

isField in class AliasAnalysisSource

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object