public class CONSTRUCT_COLLECTION extends STEP implements java.io.Serializable
Modifier and Type | Field and Description |
---|---|
JType |
cty
The concrete type of the array/collection to generate.
|
STEP[] |
elements |
STEP[] |
keys |
Constructor and Description |
---|
CONSTRUCT_COLLECTION() |
CONSTRUCT_COLLECTION(JType concreteType,
STEP[] elems) |
CONSTRUCT_COLLECTION(JType concreteType,
STEP[] keys,
STEP[] elems) |
Modifier and Type | Method and Description |
---|---|
STEP_RT_info |
exec(java.lang.Class CUT,
Pool pool)
Note: collection-like will not be put in the Pool.
|
boolean |
isCreationStep() |
java.lang.String |
toString() |
checkClassinv, clearOracle, execMany
public JType cty
public STEP[] elements
public STEP[] keys
public CONSTRUCT_COLLECTION(JType concreteType, STEP[] keys, STEP[] elems)
concreteType
- The type of the structure to construct.elems
- The STEPs to construct the elements.keys
- The STEPs to construct the keys. Only needed for maps, and should be
of equal length as elems. For other types, this should be null.public CONSTRUCT_COLLECTION()
public boolean isCreationStep()
isCreationStep
in class STEP
public STEP_RT_info exec(java.lang.Class CUT, Pool pool) throws java.lang.Exception
public java.lang.String toString()
toString
in class java.lang.Object