public class CONSTRUCTOR extends STEP implements java.io.Serializable
Modifier and Type | Field and Description |
---|---|
java.lang.reflect.Constructor |
con |
JType |
cty
The concrete type of the object to create with this constructor.
|
boolean |
isObjectUnderTestCreationStep
Flag to indicate whether the step is a step that creates the object under test.
|
Oracle |
oracle
An oracle, if any.
|
STEP[] |
params |
Constructor and Description |
---|
CONSTRUCTOR() |
CONSTRUCTOR(JType concreteType,
java.lang.reflect.Constructor c,
STEP[] ps) |
Modifier and Type | Method and Description |
---|---|
void |
clearOracle()
For clearing out all oracles attached to this step, if any.
|
STEP_RT_info |
exec(java.lang.Class CUT,
Pool pool)
To execute a STEP.
|
boolean |
isCreationStep() |
java.lang.String |
toString() |
checkClassinv, execMany
public JType cty
public java.lang.reflect.Constructor con
public STEP[] params
public boolean isObjectUnderTestCreationStep
public Oracle oracle
public CONSTRUCTOR(JType concreteType, java.lang.reflect.Constructor c, STEP[] ps)
c
- The constructor used in this step.ps
- STEPs needed to generate parameters for c.public CONSTRUCTOR()
public boolean isCreationStep()
isCreationStep
in class STEP
public STEP_RT_info exec(java.lang.Class CUT, Pool pool) throws java.lang.Exception
STEP
public void clearOracle()
STEP
clearOracle
in class STEP
public java.lang.String toString()
toString
in class java.lang.Object