public abstract class STEP
extends java.lang.Object
Constructor and Description |
---|
STEP() |
Modifier and Type | Method and Description |
---|---|
protected void |
checkClassinv(java.lang.Class CUT,
Pool pool,
java.lang.Object targetObj,
STEP_RT_info info)
check CUT's invariant, if any.
|
void |
clearOracle()
For clearing out all oracles attached to this step, if any.
|
abstract STEP_RT_info |
exec(java.lang.Class CUT,
Pool pool)
To execute a STEP.
|
static STEP_RT_info[] |
execMany(java.lang.Class CUT,
Pool pool,
STEP[] steps)
Execute an aray of STEPs.
|
abstract boolean |
isCreationStep() |
public abstract boolean isCreationStep()
public abstract STEP_RT_info exec(java.lang.Class CUT, Pool pool) throws java.lang.Exception
java.lang.Exception
public static STEP_RT_info[] execMany(java.lang.Class CUT, Pool pool, STEP[] steps) throws java.lang.Exception
java.lang.Exception
protected void checkClassinv(java.lang.Class CUT, Pool pool, java.lang.Object targetObj, STEP_RT_info info)
public void clearOracle()