Uses of Class
joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.Node

Packages that use PrimitiveMethodSummary.Node

joeq.Compiler.Analysis.Primitive

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

Subclasses of PrimitiveMethodSummary.Node in joeq.Compiler.Analysis.Primitive

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

Methods in joeq.Compiler.Analysis.Primitive that return PrimitiveMethodSummary.Node

abstract PrimitiveMethodSummary.Node	PrimitiveMethodSummary.Node.copy() Return a shallow copy of this node.
PrimitiveMethodSummary.Node	PrimitiveMethodSummary.CheckCastNode.copy()
PrimitiveMethodSummary.Node	PrimitiveMethodSummary.ConcreteTypeNode.copy()
PrimitiveMethodSummary.Node	PrimitiveMethodSummary.ConcreteObjectNode.copy()
PrimitiveMethodSummary.Node	PrimitiveMethodSummary.UnknownTypeNode.copy()
PrimitiveMethodSummary.Node	PrimitiveMethodSummary.PlaceholderNode.copy()
PrimitiveMethodSummary.Node	PrimitiveMethodSummary.GlobalNode.copy()
PrimitiveMethodSummary.Node	PrimitiveMethodSummary.ReturnValueNode.copy()
PrimitiveMethodSummary.Node	PrimitiveMethodSummary.ThrownExceptionNode.copy()
PrimitiveMethodSummary.Node	PrimitiveMethodSummary.ParamNode.copy()
PrimitiveMethodSummary.Node	PrimitiveMethodSummary.FakeParamNode.copy()
PrimitiveMethodSummary.Node	PrimitiveMethodSummary.FieldNode.copy()
static PrimitiveMethodSummary.Node	PrimitiveMethodSummary.CheckCastNode.read(StringTokenizer st)
static PrimitiveMethodSummary.Node	PrimitiveMethodSummary.ConcreteObjectNode.read(StringTokenizer st)

Methods in joeq.Compiler.Analysis.Primitive with parameters of type PrimitiveMethodSummary.Node

boolean	PrimitiveMethodSummary.NodeSet.add(PrimitiveMethodSummary.Node arg0)
boolean	PrimitiveMethodSummary.Node.addEdge(jq_Field m, PrimitiveMethodSummary.Node n) Add the given successor node on the given field to the inside edge set.
static boolean	PrimitiveMethodSummary.Node.addEdges(Set s, jq_Field f, PrimitiveMethodSummary.Node n) Add the given successor node on the given field to the inside edge set of all of the given set of nodes.
void	PrimitivePA.addFinalizer(jq_Class c, PrimitiveMethodSummary.Node h)
boolean	PrimitiveMethodSummary.Node.addPredecessor(jq_Field m, PrimitiveMethodSummary.Node n) Add the given predecessor node on the given field to the predecessor set.
void	PrimitivePA.addThreadRun(jq_Method caller, PrimitiveMethodSummary.Node h, jq_Class c)
int	PrimitiveMethodSummary.Node.compareTo(PrimitiveMethodSummary.Node that)
boolean	PrimitiveMethodSummary.NodeSet.contains(PrimitiveMethodSummary.Node arg0)
static PrimitiveMethodSummary.AccessPath	PrimitiveMethodSummary.AccessPath.create(jq_Field f, PrimitiveMethodSummary.Node n, PrimitiveMethodSummary.AccessPath p) Return an access path that is equivalent to the given access path prepended with a transition on the given field and node.
static PrimitiveMethodSummary.AccessPath	PrimitiveMethodSummary.AccessPath.create(PrimitiveMethodSummary.AccessPath p, jq_Field f, PrimitiveMethodSummary.Node n) Return an access path that is equivalent to the given access path appended with a transition on the given field and node.
PrimitiveMethodSummary.AccessPath	PrimitiveMethodSummary.AccessPath.findNode(PrimitiveMethodSummary.Node n) Find the AccessPath object that corresponds to the given node.
static PrimitiveMethodSummary.FieldNode	PrimitiveMethodSummary.FieldNode.get(PrimitiveMethodSummary.Node base, jq_Field f, ProgramLocation obj)
int	PrimitivePA.getThreadRunIndex(jq_Method m, PrimitiveMethodSummary.Node n)
boolean	PrimitiveMethodSummary.Node.hasAccessPathEdge(jq_Field m, PrimitiveMethodSummary.Node n)
boolean	PrimitiveMethodSummary.Node.hasNonEscapingEdge(jq_Field m, PrimitiveMethodSummary.Node n)
boolean	PrimitiveMethodSummary.ConcreteObjectNode.hasNonEscapingEdge(jq_Field m, PrimitiveMethodSummary.Node n)
boolean	PrimitiveMethodSummary.Node.hasPredecessor(jq_Field f, PrimitiveMethodSummary.Node n)
protected void	PrimitiveMethodSummary.BuildMethodSummary.heapLoad(ProgramLocation obj, RegisterFactory.Register dest_r, PrimitiveMethodSummary.Node base_n, jq_Field f) Abstractly perform a heap load operation corresponding to quad 'obj' with the given destination register, base and field.
protected void	PrimitiveMethodSummary.BuildMethodSummary.heapLoad(Set result, PrimitiveMethodSummary.Node base, jq_Field f, PrimitiveMethodSummary.FieldNode fn) Abstractly perform a heap load operation on the given base and field with the given field node, putting the result in the given set.
protected void	PrimitiveMethodSummary.BuildMethodSummary.heapStore(PrimitiveMethodSummary.Node base, Object src, jq_Field f)
protected void	PrimitiveMethodSummary.BuildMethodSummary.heapStore(PrimitiveMethodSummary.Node base, PrimitiveMethodSummary.Node src, jq_Field f) Abstractly perform a heap store operation of the given source node on the given base node and field.
protected void	PrimitiveMethodSummary.BuildMethodSummary.heapStore(PrimitiveMethodSummary.Node base, Set src, jq_Field f) Abstractly perform a heap store operation of the given source nodes on the given base node and field.
int	PrimitiveMethodSummary.NodeSet.indexOf(PrimitiveMethodSummary.Node arg0)
boolean	PrimitivePA.isNullConstant(PrimitiveMethodSummary.Node node)
static boolean	PrimitiveMethodSummary.isNullConstant(PrimitiveMethodSummary.Node node)
boolean	PrimitiveMethodSummary.NodeSet.remove(PrimitiveMethodSummary.Node arg0)
boolean	PrimitiveMethodSummary.Node.removeEdge(jq_Field m, PrimitiveMethodSummary.Node n) Remove the given successor node on the given field from the inside edge set.
boolean	PrimitiveMethodSummary.ConcreteObjectNode.removeEdge(jq_Field m, PrimitiveMethodSummary.Node n)
boolean	PrimitiveMethodSummary.Node.removePredecessor(jq_Field m, PrimitiveMethodSummary.Node n) Remove the given predecessor node on the given field from the predecessor set.
protected void	PrimitiveMethodSummary.BuildMethodSummary.setLocal(int i, PrimitiveMethodSummary.Node n) Set the given local in the current state to point to the given node.
protected void	PrimitiveMethodSummary.BuildMethodSummary.setRegister(RegisterFactory.Register r, PrimitiveMethodSummary.Node n) Set the given register in the current state to point to the given node.
void	PrimitiveMethodSummary.unifyAccessPathEdges(PrimitiveMethodSummary.Node n) Unify similar access path edges from the given node.
void	PrimitivePA.visitGlobalNode(PrimitiveMethodSummary.Node node)
void	PrimitivePAMethodSummary.visitNode(PrimitiveMethodSummary.Node node)

Constructors in joeq.Compiler.Analysis.Primitive with parameters of type PrimitiveMethodSummary.Node

PrimitiveMethodSummary.Node(PrimitiveMethodSummary.Node that)