joeq.Compiler.BytecodeAnalysis
Class LiveRefAnalysis.HalfOfNumber

java.lang.Object
  extended by joeq.Compiler.BytecodeAnalysis.LiveRefAnalysis.Type
      extended by 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


Copyright © 2001-2008 John Whaley. All Rights Reserved.