Uses of Interface
joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.Variable

Packages that use MethodSummary.Variable

joeq.Compiler.Analysis.FlowInsensitive

Uses of MethodSummary.Variable in joeq.Compiler.Analysis.FlowInsensitive

Classes in joeq.Compiler.Analysis.FlowInsensitive that implement MethodSummary.Variable

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