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

Packages that use PrimitiveMethodSummary.FieldNode

joeq.Compiler.Analysis.Primitive

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

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

static PrimitiveMethodSummary.FieldNode	PrimitiveMethodSummary.FieldNode.get(PrimitiveMethodSummary.Node base, jq_Field f, ProgramLocation obj)
static PrimitiveMethodSummary.FieldNode	PrimitiveMethodSummary.FieldNode.read(StringTokenizer st)
static PrimitiveMethodSummary.FieldNode	PrimitiveMethodSummary.FieldNode.unify(jq_Field f, Set s) Returns a new FieldNode that is the unification of the given set of FieldNodes.

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

boolean	PrimitiveMethodSummary.Node.addAccessPathEdge(jq_Field m, PrimitiveMethodSummary.FieldNode n) Add the given successor node on the given field to the outside edge set.
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.
boolean	PrimitiveMethodSummary.Node.removeAccessPathEdge(jq_Field m, PrimitiveMethodSummary.FieldNode n) Remove the given successor node on the given field from the outside edge set.