Uses of Interface
joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.Variable

Packages that use PrimitiveMethodSummary.Variable

joeq.Compiler.Analysis.Primitive

Uses of PrimitiveMethodSummary.Variable in joeq.Compiler.Analysis.Primitive

Classes in joeq.Compiler.Analysis.Primitive that implement PrimitiveMethodSummary.Variable

static class	PrimitiveMethodSummary.CheckCastNode A CheckCastNode refers to the result of a CheckCast instruction
static class	PrimitiveMethodSummary.ConcreteObjectNode A ConcreteObjectNode refers to an object that we discovered through reflection.
static class	PrimitiveMethodSummary.ConcreteTypeNode A ConcreteTypeNode refers to an object with a concrete type.
static class	PrimitiveMethodSummary.FakeParamNode
static class	PrimitiveMethodSummary.FieldNode A FieldNode represents the result of a 'load' instruction.
static class	PrimitiveMethodSummary.GlobalNode A GlobalNode stores references to the static variables.
static class	PrimitiveMethodSummary.Node
static class	PrimitiveMethodSummary.OutsideNode An outside node is some node that can be mapped to other nodes.
static class	PrimitiveMethodSummary.ParamNode A ParamNode represents an incoming parameter.
static class	PrimitiveMethodSummary.PlaceholderNode A PlaceholderNode is used to signify an object that is out-of-scope.
static class	PrimitiveMethodSummary.ReturnedNode A ReturnedNode represents a return value or thrown exception from a method call.
static class	PrimitiveMethodSummary.ReturnValueNode A ReturnValueNode represents the return value of a method call.
static class	PrimitiveMethodSummary.ThrownExceptionNode A ThrownExceptionNode represents the thrown exception of a method call.
static class	PrimitiveMethodSummary.UnknownTypeNode A UnknownTypeNode refers to an object with an unknown type.