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

Packages that use PrimitiveMethodSummary.GlobalNode

joeq.Compiler.Analysis.Primitive

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

Fields in joeq.Compiler.Analysis.Primitive declared as PrimitiveMethodSummary.GlobalNode

static PrimitiveMethodSummary.GlobalNode	PrimitiveMethodSummary.GlobalNode.GLOBAL
protected PrimitiveMethodSummary.GlobalNode	PrimitiveMethodSummary.BuildMethodSummary.my_global The global node.

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

static PrimitiveMethodSummary.GlobalNode	PrimitiveMethodSummary.GlobalNode.get(jq_Method m)
PrimitiveMethodSummary.GlobalNode	PrimitiveMethodSummary.getGlobal() Get the global node for this method.
static PrimitiveMethodSummary.GlobalNode	PrimitiveMethodSummary.GlobalNode.read(StringTokenizer st)

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

PrimitiveMethodSummary(PrimitiveMethodSummary.BuildMethodSummary builder, jq_Method method, PrimitiveMethodSummary.ParamNode[] param_nodes, PrimitiveMethodSummary.GlobalNode my_global, Set methodCalls, Map callToRVN, Map callToTEN, Map castMap, Set castPredecessors, Set returned, Set thrown, Set passedAsParameters, Map sync_ops, Collection string_nodes)