|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
DefaultBogorConfiguration.createCheckedInstance(Class, String, Collection).
exp, transformed to remove inline function application
and respect the atomicity context of the current statment.
e.
currentDSSI.
IArrayValue.IDoubleValue.IExpASTValue.IFloatValue.IIntValue.ILockValue.ILongValue.INullValue.IRecordValue.IState.IStateFactory.IStringValue.IValueFactory.getEnabledTransformation
result sets.
intElementValues,longElementValues,
floatElementValues,doubleElementValues,
or nonPrimitiveElementValues).
INT_TYPE,
LONG_TYPE,FLOAT_TYPE,
DOUBLE_TYPE, or NON_PRIMITIVE_TYPE).
getEnabledTransformations (all varieties)
from stripping out transitions from all threads except the one which
most recently moved.
IValue should provide their own
equality tests.
BitBuffer instances for semantic
equivalence.
ISchedulingStrategist.enterSimulation()
call.
let
constructs.getThreadId) killed in
the case of an uncaught exception (isUncaught() == true).
ignoredTransformations.
SymbolTable.getIdentifierDefTable().
IBacktrackingInfo.getStateId()
was stored
IModule).
ITransformationsBacktrackingInfo.getThreadIds() and
ITransformationsBacktrackingInfo.getTransformations() which gives this move (and the thread
which executed it)
ITransformationsBacktrackingInfo.getTransformations()
IState.getThreadIds()) at which
IBacktrackingInfo.getThreadId() lives
ISchedulingStrategist.TRANSFORMATION_FILTER_ID option.
null if it wasn't either a const reference or
literal.
IValue should provide their own
hashing method.
HighToLowNonAtomicExpCompiler.IExpCompiler provides an encapsulation of
the logic to produce low-level BIR control point graphs
which can evaluate nested, high-level BIR expressions.search().
INonPrimitiveExtValue.IntLiteral(BigInteger.valueOf(integer))
IntLiteral(BigInteger.valueOf(integer), radix)
cfg should be read
in reverse or forwards.
ISelfDescribingModule#getSuggestedValues(String, SymbolTable)
to get a set of reasonable choices for the option's value.
ISystemTransformer's
sole operation.LongLiteral(BigInteger.valueOf(l), radix)
LongLiteral(BigInteger.valueOf(l))
-v, where
v is the value in the pre-state.
-v, where
v is the value in the pre-state.
-v, where
v is the value in the pre-state.
-v, where
v is the value in the pre-state.
-v, where
v is the value in the pre-state.
-v, where
v is the value in the pre-state.
-v, where
v is the value in the pre-state.
-v, where
v is the value in the pre-state.
-v, where
v is the value in the pre-state.
Literal or Constant
inheritance hierarchies) which contains a numerical value
which could be negated.FSM definition.newParent the parent of this node.
return.ITransformationFilter to provide domain-customized
removal of infeasible transformations.
ast.
IValueArrayIValueArray
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||