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

java.lang.Object
  de.unisaarland.cs.st.jerify.verifier.alias.AliasAnalysisVarHandle
      de.unisaarland.cs.st.jerify.verifier.alias.AliasAnalysisFieldHandle

public class AliasAnalysisFieldHandle
extends AliasAnalysisVarHandle

Constructor Summary

AliasAnalysisFieldHandle(java.lang.String name)

Method Summary

boolean

isField()

Methods inherited from class de.unisaarland.cs.st.jerify.verifier.alias.AliasAnalysisVarHandle

equals, getIDs, hashCode, toString, updateIDs

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

AliasAnalysisFieldHandle

public AliasAnalysisFieldHandle(java.lang.String name)

Method Detail

isField

public boolean isField()

Overrides:

isField in class AliasAnalysisVarHandle