joeq.Compiler.BytecodeAnalysis
Class LiveRefAnalysis.HalfOfNumber

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

Enclosing class:

LiveRefAnalysis

public static class LiveRefAnalysis.HalfOfNumber
extends LiveRefAnalysis.Type

Field Summary

static LiveRefAnalysis.HalfOfNumber

INSTANCE

Constructor Summary

LiveRefAnalysis.HalfOfNumber()

Method Summary

LiveRefAnalysis.Type	findCommonSuperclass(LiveRefAnalysis.Type that)
boolean	isReferenceType()
String	toString()

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

getElementType

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

INSTANCE

public static final LiveRefAnalysis.HalfOfNumber INSTANCE

Constructor Detail

LiveRefAnalysis.HalfOfNumber

public LiveRefAnalysis.HalfOfNumber()

Method Detail

findCommonSuperclass

public LiveRefAnalysis.Type findCommonSuperclass(LiveRefAnalysis.Type that)

Specified by:

findCommonSuperclass in class LiveRefAnalysis.Type

isReferenceType

public boolean isReferenceType()

Specified by:

isReferenceType in class LiveRefAnalysis.Type

toString

public String toString()

Overrides:

toString in class Object