joeq.Compiler.BytecodeAnalysis
Class LiveRefAnalysis.SystemType

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

Enclosing class:

LiveRefAnalysis

public static class LiveRefAnalysis.SystemType
extends LiveRefAnalysis.Type

Field Summary

static LiveRefAnalysis.SystemType	DOUBLE
static LiveRefAnalysis.SystemType	FLOAT
static LiveRefAnalysis.SystemType	INT
static LiveRefAnalysis.SystemType	LONG
static LiveRefAnalysis.SystemType	OBJECT

Method Summary

boolean	equals(LiveRefAnalysis.SystemType that)
boolean	equals(Object that)
LiveRefAnalysis.Type	findCommonSuperclass(LiveRefAnalysis.Type that)
LiveRefAnalysis.Type	getElementType()
jq_Type	getType()
int	hashCode()
boolean	isReferenceType()
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

INT

public static final LiveRefAnalysis.SystemType INT

FLOAT

public static final LiveRefAnalysis.SystemType FLOAT

LONG

public static final LiveRefAnalysis.SystemType LONG

DOUBLE

public static final LiveRefAnalysis.SystemType DOUBLE

OBJECT

public static final LiveRefAnalysis.SystemType OBJECT

Method Detail

getType

public jq_Type getType()

findCommonSuperclass

public LiveRefAnalysis.Type findCommonSuperclass(LiveRefAnalysis.Type that)

Specified by:

findCommonSuperclass in class LiveRefAnalysis.Type

getElementType

public LiveRefAnalysis.Type getElementType()

Overrides:

getElementType in class LiveRefAnalysis.Type

equals

public boolean equals(LiveRefAnalysis.SystemType 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