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

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

public class AliasAnalysisSourceVar
extends AliasAnalysisSource

Represents all Sources which are uses of an variable. It will ask the handle for that variable for its aliasIDs and will return those.

Author:

Daniel Wand (typestate@ewand.e)

Constructor Summary

AliasAnalysisSourceVar(AliasAnalysisVarHandle handle)
Constructs a new Source based on an alias variable handle.

Method Summary

java.util.Set<java.lang.Integer>	generateAliasIDs() Asks the alias handle which aliasIDs it represents and returns those.
AliasAnalysisVarHandle	getHandle() Returns the handle this Source represents.
boolean	isField()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

AliasAnalysisSourceVar

public AliasAnalysisSourceVar(AliasAnalysisVarHandle handle)

Constructs a new Source based on an alias variable handle.

Parameters:

handle -

Method Detail

generateAliasIDs

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

Asks the alias handle which aliasIDs it represents and returns those.

Specified by:

generateAliasIDs in class AliasAnalysisSource

Returns:

A Set of aliasIDs.

getHandle

public AliasAnalysisVarHandle getHandle()

Returns the handle this Source represents.

Returns:

the handle this Source represents.

isField

public boolean isField()

Specified by:

isField in class AliasAnalysisSource

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object