public class SEQ_RT_info
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
int |
executionCounter
The index of the next step to execute.
|
STEP_RT_info |
lastInfo
This contains the info of the last step executed.
|
SEQ |
seq
The test-sequence to which this info belongs to.
|
java.util.Map<java.lang.String,JType> |
tySubsts
Type substitution to be used for the entire sequence.
|
Constructor and Description |
---|
SEQ_RT_info(SEQ s) |
Modifier and Type | Method and Description |
---|---|
boolean |
executionWasMaximal()
check if the execution was maximal (all steps in the sequence were executed).
|
boolean |
isFail()
True if the execution passes a step that produces an exception.
|
public SEQ seq
public int executionCounter
public java.util.Map<java.lang.String,JType> tySubsts
public STEP_RT_info lastInfo
public SEQ_RT_info(SEQ s)