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

Packages that use MethodSummary.State

joeq.Compiler.Analysis.FlowInsensitive

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

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

protected MethodSummary.State	MethodSummary.BuildMethodSummary.s The current state.
protected MethodSummary.State[]	MethodSummary.BuildMethodSummary.start_states The start states of the iteration.

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

MethodSummary.State

MethodSummary.State.copy() Return a shallow copy of this state.

Methods in joeq.Compiler.Analysis.FlowInsensitive with parameters of type MethodSummary.State

boolean	MethodSummary.State.merge(MethodSummary.State that) Merge two states.
protected void	MethodSummary.BuildMethodSummary.mergeWithJSR(BasicBlock succ, MethodSummary.State s2, boolean[] changedLocals)