joeq.Compiler.BytecodeAnalysis
Class LiveRefAnalysis.Type

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

Direct Known Subclasses:

LiveRefAnalysis.DerivedRef, LiveRefAnalysis.HalfOfNumber, LiveRefAnalysis.NullConstant, LiveRefAnalysis.Retaddr, LiveRefAnalysis.SystemType

Enclosing class:

LiveRefAnalysis

public abstract static class LiveRefAnalysis.Type
extends Object

Constructor Summary

LiveRefAnalysis.Type()

Method Summary

abstract LiveRefAnalysis.Type	findCommonSuperclass(LiveRefAnalysis.Type that)
LiveRefAnalysis.Type	getElementType()
abstract boolean	isReferenceType()

Methods inherited from class java.lang.Object

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

Constructor Detail

LiveRefAnalysis.Type

public LiveRefAnalysis.Type()

Method Detail

findCommonSuperclass

public abstract LiveRefAnalysis.Type findCommonSuperclass(LiveRefAnalysis.Type that)

isReferenceType

public abstract boolean isReferenceType()

getElementType

public LiveRefAnalysis.Type getElementType()