public interface IBlockState<BlockStateType extends IBlockState<BlockStateType,CallContextType,CallEdgeType>,CallContextType extends ICallContext<CallContextType>,CallEdgeType extends ICallEdge<BlockStateType>> extends Cloneable
| 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.
|
void check()
AnalysisException - if inconsistentBlockStateType clone()
String diff(BlockStateType old)
boolean isNone()
boolean propagate(BlockStateType s)
void remove(BlockStateType other)
String toDot()
String toStringBrief()
void transform(CallEdgeType edge, BlockStateType callee_entry_state, Function callee, CallContextType callee_context)
void transformInverse(CallEdgeType edge, BlockStateType callee_entry_state)
void trim(BlockStateType s)
Copyright © 2012 Aarhus University