joeq.Compiler.Analysis.Primitive
Class PrimitiveMethodSummary.State

java.lang.Object
  joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.State

All Implemented Interfaces:

Cloneable

Enclosing class:

PrimitiveMethodSummary

public static final class PrimitiveMethodSummary.State
extends Object
implements Cloneable

Records the state of the intramethod analysis at some point in the method.

Constructor Summary

PrimitiveMethodSummary.State(int nRegisters)
Return a new state with the given number of registers.

Method Summary

PrimitiveMethodSummary.State	copy() Return a shallow copy of this state.
void	dump(PrintStream out) Dump a textual representation of the state to the given print stream.
boolean	merge(int i, Object b) Merge the given node or set of nodes into the given register.
boolean	merge(PrimitiveMethodSummary.State that) Merge two states.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PrimitiveMethodSummary.State

public PrimitiveMethodSummary.State(int nRegisters)

Return a new state with the given number of registers.

Method Detail

copy

public PrimitiveMethodSummary.State copy()

Return a shallow copy of this state. Sets of nodes are copied, but the individual nodes are not.

merge

public boolean merge(PrimitiveMethodSummary.State that)

Merge two states. Mutates this state, the other is unchanged.

merge

public boolean merge(int i,
                     Object b)

Merge the given node or set of nodes into the given register.

dump

public void dump(PrintStream out)

Dump a textual representation of the state to the given print stream.