joeq.Compiler.BytecodeAnalysis
Class LiveRefAnalysis.DerivedRef

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

Enclosing class:

LiveRefAnalysis

public static class LiveRefAnalysis.DerivedRef
extends LiveRefAnalysis.Type

Field Summary

static LiveRefAnalysis.DerivedRef

INSTANCE

Constructor Summary

LiveRefAnalysis.DerivedRef()

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

Constructor Detail

LiveRefAnalysis.DerivedRef

public LiveRefAnalysis.DerivedRef()

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