Uses of Class
joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.GlobalNode

Packages that use MethodSummary.GlobalNode

joeq.Compiler.Analysis.FlowInsensitive

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

Fields in joeq.Compiler.Analysis.FlowInsensitive declared as MethodSummary.GlobalNode

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

Methods in joeq.Compiler.Analysis.FlowInsensitive that return MethodSummary.GlobalNode

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

Constructors in joeq.Compiler.Analysis.FlowInsensitive with parameters of type MethodSummary.GlobalNode

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