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

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

public class AliasAnalysisSourceNew
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

AliasAnalysisSourceNew()

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.
boolean	isField()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

AliasAnalysisSourceNew

public AliasAnalysisSourceNew()

Method Detail

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