Uses of Class
joeq.Compiler.BytecodeAnalysis.LiveRefAnalysis.Type

Packages that use LiveRefAnalysis.Type

joeq.Compiler.BytecodeAnalysis

Uses of LiveRefAnalysis.Type in joeq.Compiler.BytecodeAnalysis

Subclasses of LiveRefAnalysis.Type in joeq.Compiler.BytecodeAnalysis

static class	LiveRefAnalysis.DerivedRef
static class	LiveRefAnalysis.HalfOfNumber
static class	LiveRefAnalysis.NullConstant
static class	LiveRefAnalysis.Retaddr
static class	LiveRefAnalysis.SystemType

Fields in joeq.Compiler.BytecodeAnalysis declared as LiveRefAnalysis.Type

protected LiveRefAnalysis.Type[]	LiveRefAnalysis.ExactState.locals
protected LiveRefAnalysis.Type[]	LiveRefAnalysis.ExactState.stack

Methods in joeq.Compiler.BytecodeAnalysis that return LiveRefAnalysis.Type

abstract LiveRefAnalysis.Type	LiveRefAnalysis.Type.findCommonSuperclass(LiveRefAnalysis.Type that)
LiveRefAnalysis.Type	LiveRefAnalysis.SystemType.findCommonSuperclass(LiveRefAnalysis.Type that)
LiveRefAnalysis.Type	LiveRefAnalysis.DerivedRef.findCommonSuperclass(LiveRefAnalysis.Type that)
LiveRefAnalysis.Type	LiveRefAnalysis.NullConstant.findCommonSuperclass(LiveRefAnalysis.Type that)
LiveRefAnalysis.Type	LiveRefAnalysis.HalfOfNumber.findCommonSuperclass(LiveRefAnalysis.Type that)
LiveRefAnalysis.Type	LiveRefAnalysis.Retaddr.findCommonSuperclass(LiveRefAnalysis.Type that)
LiveRefAnalysis.Type	LiveRefAnalysis.Type.getElementType()
LiveRefAnalysis.Type	LiveRefAnalysis.SystemType.getElementType()
LiveRefAnalysis.Type	LiveRefAnalysis.ExactState.getLiveLocal(int i)
LiveRefAnalysis.Type	LiveRefAnalysis.ExactState.getLocal(int i)
LiveRefAnalysis.Type	LiveRefAnalysis.ExactState.getStack(int i)

Methods in joeq.Compiler.BytecodeAnalysis with parameters of type LiveRefAnalysis.Type

abstract LiveRefAnalysis.Type	LiveRefAnalysis.Type.findCommonSuperclass(LiveRefAnalysis.Type that)
LiveRefAnalysis.Type	LiveRefAnalysis.SystemType.findCommonSuperclass(LiveRefAnalysis.Type that)
LiveRefAnalysis.Type	LiveRefAnalysis.DerivedRef.findCommonSuperclass(LiveRefAnalysis.Type that)
LiveRefAnalysis.Type	LiveRefAnalysis.NullConstant.findCommonSuperclass(LiveRefAnalysis.Type that)
LiveRefAnalysis.Type	LiveRefAnalysis.HalfOfNumber.findCommonSuperclass(LiveRefAnalysis.Type that)
LiveRefAnalysis.Type	LiveRefAnalysis.Retaddr.findCommonSuperclass(LiveRefAnalysis.Type that)