joeq.Compiler.BytecodeAnalysis
Class LiveRefAnalysis.Retaddr

java.lang.Object
  joeq.Compiler.BytecodeAnalysis.LiveRefAnalysis.Type
      joeq.Compiler.BytecodeAnalysis.LiveRefAnalysis.Retaddr

Enclosing class:

LiveRefAnalysis

public static class LiveRefAnalysis.Retaddr
extends LiveRefAnalysis.Type

Method Summary

boolean	equals(LiveRefAnalysis.Retaddr that)
boolean	equals(Object that)
LiveRefAnalysis.Type	findCommonSuperclass(LiveRefAnalysis.Type that)
int	hashCode()
boolean	isReferenceType()
String	toString()

Methods inherited from class joeq.Compiler.BytecodeAnalysis.LiveRefAnalysis.Type

getElementType

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Method Detail

findCommonSuperclass

public LiveRefAnalysis.Type findCommonSuperclass(LiveRefAnalysis.Type that)

Specified by:

findCommonSuperclass in class LiveRefAnalysis.Type

equals

public boolean equals(LiveRefAnalysis.Retaddr that)

equals

public boolean equals(Object that)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

isReferenceType

public boolean isReferenceType()

Specified by:

isReferenceType in class LiveRefAnalysis.Type

toString

public String toString()

Overrides:

toString in class Object