joeq.Compiler.Analysis.FlowInsensitive
Class MethodSummary.State

java.lang.Object
  joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.State

All Implemented Interfaces:

Cloneable

Enclosing class:

MethodSummary

public static final class MethodSummary.State
extends Object
implements Cloneable

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

Constructor Summary

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

Method Summary

MethodSummary.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(MethodSummary.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

MethodSummary.State

public MethodSummary.State(int nRegisters)

Return a new state with the given number of registers.

Method Detail

copy

public MethodSummary.State copy()

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

merge

public boolean merge(MethodSummary.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.