joeq.Compiler.BytecodeAnalysis
Class LiveRefAnalysis.NullConstant

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

Enclosing class:

LiveRefAnalysis

public static class LiveRefAnalysis.NullConstant
extends LiveRefAnalysis.Type

Field Summary

static LiveRefAnalysis.NullConstant

INSTANCE

Constructor Summary

LiveRefAnalysis.NullConstant()

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.NullConstant INSTANCE

Constructor Detail

LiveRefAnalysis.NullConstant

public LiveRefAnalysis.NullConstant()

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