public final class State extends BlockState<State,CallContext,CallEdge<State>>
BlockState.Properties| Constructor and Description |
|---|
State(GenericSolver.SolverInterface c,
BasicBlock block)
Constructs a new abstract state.
|
| Modifier and Type | Method and Description |
|---|---|
State |
clone()
Constructs a new state as a copy of this state.
|
String |
diff(State old)
Returns a description of the changes from the old state to this state.
|
boolean |
propagate(State s)
Propagates the given state into this state.
|
void |
remove(State other)
Removes value parts that are in the other state from this state.
|
check, checkNoDanglingRefs, checkOwner, clearEffects, clearOrdinaryRegisters, clearRegisters, copyUnknowns, declareAndWriteVariable, deleteProperty, deleteVariable, diff, equals, freezeBasisStore, gc, getBasicBlock, getContext, getEnumProperties, getExecutionContext, getExtras, getNumberOfMakeWritableRegistersCalls, getNumberOfMakeWritableStoreCalls, getNumberOfRegisters, getNumberOfStatesCreated, getObject, getPrototypesUsedForUnknown, getPrototypeWithProperty, getScopeChain, getSolverInterface, getStore, getStoreSize, getSummarized, hashCode, hasInstance, hasProperty, isNone, isRegisterDefined, mergeForInEnd, mergeFunctionReturn, multiplyObject, newObject, popRegister, popScopeChain, printObject, printObjectOrigins, propagate, pushRegister, pushScopeChain, readInternalPrototype, readInternalValue, readObjectScope, readPropertyDirect, readPropertyValue, readPropertyValue, readPropertyWithAttributes, readPropertyWithAttributes, readRegister, readThis, readThisObjects, readVariable, reduce, remove, removeRegister, reset, setBasicBlock, setContext, setExecutionContext, setToNone, setToUnknown, stackObjectLabels, toDot, toString, toStringBrief, toStringModified, transform, transformInverse, trim, writeInternalPrototype, writeInternalPrototype, writeInternalValue, writeInternalValue, writeObjectScope, writeProperty, writeProperty, writePropertyWithAttributes, writePropertyWithAttributes, writePropertyWithAttributes, writeRegister, writeVariablepublic State(GenericSolver.SolverInterface c, BasicBlock block)
public State clone()
BlockStateclone in interface IBlockState<State,CallContext,CallEdge<State>>clone in class BlockState<State,CallContext,CallEdge<State>>public String diff(State old)
IBlockStatepublic boolean propagate(State s)
IBlockStatepublic void remove(State other)
IBlockStateCopyright © 2012 Aarhus University