dk.brics.tajs.solver

Interface IBlockState<BlockStateType extends IBlockState<BlockStateType,CallContextType,CallEdgeType>,CallContextType extends ICallContext<CallContextType>,CallEdgeType extends ICallEdge<BlockStateType>>

All Superinterfaces:

Cloneable

All Known Implementing Classes:

BlockState, State

public interface IBlockState<BlockStateType extends IBlockState<BlockStateType,CallContextType,CallEdgeType>,CallContextType extends ICallContext<CallContextType>,CallEdgeType extends ICallEdge<BlockStateType>>
extends Cloneable

Interface for abstract states for block entries.

Method Summary

Methods

Modifier and Type	Method and Description
void	check() Checks that this state is consistent.
BlockStateType	clone() Constructs a new state as a copy of this state.
String	diff(BlockStateType old) Returns a description of the changes from the old state to this state.
boolean	isNone() Checks whether this abstract state represents the empty set of concrete states.
boolean	propagate(BlockStateType s) Propagates the given state into this state.
void	remove(BlockStateType other) Removes value parts that are in the other state from this state.
String	toDot() Produces a graphviz dot representation of this state.
String	toStringBrief() Returns a brief description of the state.
void	transform(CallEdgeType edge, BlockStateType callee_entry_state, Function callee, CallContextType callee_context) Transforms this state according to the given edge.
void	transformInverse(CallEdgeType edge, BlockStateType callee_entry_state) Transforms this state inversely according to the given edge.
void	trim(BlockStateType s) Trims this state according to the given existing state.

Method Detail

check

void check()

Checks that this state is consistent. Does nothing if debug mode and test mode are disabled.

Throws:

AnalysisException - if inconsistent

clone

BlockStateType clone()

Constructs a new state as a copy of this state.

diff

String diff(BlockStateType old)

Returns a description of the changes from the old state to this state. It is assumed that the old state is less than this state.

isNone

boolean isNone()

Checks whether this abstract state represents the empty set of concrete states. This is an approximation in the sense that not all possible inconsistencies may be discovered, i.e. if true is returned then the abstract state definitely represents the empty set of concrete states but maybe not the other way around.

propagate

boolean propagate(BlockStateType s)

Propagates the given state into this state.

Returns:

true if changed

remove

void remove(BlockStateType other)

Removes value parts that are in the other state from this state. It is assumed that this state subsumes the other state.

toDot

String toDot()

Produces a graphviz dot representation of this state.

toStringBrief

String toStringBrief()

Returns a brief description of the state.

transform

void transform(CallEdgeType edge,
             BlockStateType callee_entry_state,
             Function callee,
             CallContextType callee_context)

Transforms this state according to the given edge.

transformInverse

void transformInverse(CallEdgeType edge,
                    BlockStateType callee_entry_state)

Transforms this state inversely according to the given edge.

trim

void trim(BlockStateType s)

Trims this state according to the given existing state.