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

Packages that use PrimitiveMethodSummary.State

joeq.Compiler.Analysis.Primitive

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

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

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

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

PrimitiveMethodSummary.State

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

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

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