tcra.driver
Class StackPushContract

java.lang.Object
  tcra.driver.StackPushContract

All Implemented Interfaces:

MethodContract

public class StackPushContract
extends java.lang.Object
implements MethodContract

Constructor Summary

StackPushContract()

Method Summary

boolean	check(java.util.List<MathType> argVals) Returns whether the supplied values hold to the precondition and postcondition using the Assertion's check method.
java.util.List<Argument>	getArgs() Returns the list of arguments required by this method.
java.lang.String	getName() Returns the siganture of the method being tested.
Assertion	getPostcondition() Returns the postconditional Assertion.
Assertion	getPrecondition() Returns the preconditional Assertion.
Argument.Type	getReturnType() Returns the programming type of what is returned from this method.
java.lang.String	toString()
java.lang.String	toString(java.util.List<MathType> argVals)

Methods inherited from class java.lang.Object

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

Constructor Detail

StackPushContract

public StackPushContract()

Method Detail

check

public boolean check(java.util.List<MathType> argVals)

Description copied from interface: MethodContract

Returns whether the supplied values hold to the precondition and postcondition using the Assertion's check method.

Specified by:

check in interface MethodContract

Parameters:

argVals - list of MathType representing the value of the method's arguments

Returns:

true if the values supplied for the arguments of the method satisfy both the precondition and postcondition false if they do not

toString

public java.lang.String toString()

Specified by:

toString in interface MethodContract

Overrides:

toString in class java.lang.Object

toString

public java.lang.String toString(java.util.List<MathType> argVals)

Specified by:

toString in interface MethodContract

getReturnType

public Argument.Type getReturnType()

Description copied from interface: MethodContract

Returns the programming type of what is returned from this method.

Specified by:

getReturnType in interface MethodContract

Returns:

programming type of the return value

getName

public java.lang.String getName()

Description copied from interface: MethodContract

Returns the siganture of the method being tested.

Specified by:

getName in interface MethodContract

Returns:

the signature of the method

getPrecondition

public Assertion getPrecondition()

Description copied from interface: MethodContract

Returns the preconditional Assertion.

Specified by:

getPrecondition in interface MethodContract

Returns:

the preconditional assertion

getPostcondition

public Assertion getPostcondition()

Description copied from interface: MethodContract

Returns the postconditional Assertion.

Specified by:

getPostcondition in interface MethodContract

Returns:

the postconditional assertion

getArgs

public java.util.List<Argument> getArgs()

Description copied from interface: MethodContract

Returns the list of arguments required by this method.

Specified by:

getArgs in interface MethodContract

Returns:

list of Arguments