Sequenic.T3.Sequence.Datatype

Class METHOD

java.lang.Object

Sequenic.T3.Sequence.Datatype.STEP

Sequenic.T3.Sequence.Datatype.METHOD

All Implemented Interfaces:

java.io.Serializable

public class METHOD
extends STEP
implements java.io.Serializable

This represents a STEP to call a method.

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class Sequenic.T3.Sequence.Datatype.STEP

STEP.PreConditionCheckPlaceHolder

Field Summary

Fields

Modifier and Type	Field and Description
boolean	isObjectUnderTestCreationStep Flag to indicate whether the step is a step that creates the object under test.
java.lang.reflect.Method	method
Oracle	oracle
STEP[]	params
STEP	target

Constructor Summary

Constructors

Constructor and Description
METHOD()
METHOD(java.lang.reflect.Method m, STEP target, STEP[] params)

Method Summary

Modifier and Type	Method and Description
void	clearOracle() For clearing out all oracles attached to this step, if any.
STEP	clone_withoutOracles() This creates a clone of this STEP.
STEP_RT_info	exec(java.lang.Class CUT, Pool pool, STEP.PreConditionCheckPlaceHolder precondPlaceHolder) To execute a STEP.
boolean	isCreationStep()
java.lang.String	toString()

Methods inherited from class Sequenic.T3.Sequence.Datatype.STEP

checkClassinv, execMany

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

method

public java.lang.reflect.Method method

target

public STEP target

params

public STEP[] params

isObjectUnderTestCreationStep

public boolean isObjectUnderTestCreationStep

Flag to indicate whether the step is a step that creates the object under test.

oracle

public Oracle oracle

Constructor Detail

METHOD

public METHOD(java.lang.reflect.Method m,
              STEP target,
              STEP[] params)

Parameters:

m - The method to call in this step.

target - The target/receiver of the call. If there is none, set this to null.

params - The STEPs needed to construct the parameters for m.

METHOD

public METHOD()

Method Detail

isCreationStep

public boolean isCreationStep()

Specified by:

isCreationStep in class STEP

exec

public STEP_RT_info exec(java.lang.Class CUT,
                         Pool pool,
                         STEP.PreConditionCheckPlaceHolder precondPlaceHolder)
                  throws java.lang.Exception

Description copied from class: STEP

To execute a STEP.

Specified by:

exec in class STEP

Throws:

java.lang.Exception

clearOracle

public void clearOracle()

Description copied from class: STEP

For clearing out all oracles attached to this step, if any.

Overrides:

clearOracle in class STEP

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

clone_withoutOracles

public STEP clone_withoutOracles()

Description copied from class: STEP

This creates a clone of this STEP. However if this STEP is a CONST, its val will not be deeply cloned. Instead, the new copy of the CONST will be a pointer to the same val. Furthermore, oracles stored in the step will be cleared.

Specified by:

clone_withoutOracles in class STEP