tcra.exercises.stack_reasoning_private
Class StackPostClearAssertion

java.lang.Object
  tcra.exercises.stack_reasoning_private.StackPostClearAssertion

All Implemented Interfaces:

Assertion

public class StackPostClearAssertion
extends java.lang.Object
implements Assertion

Field Summary

protected MathString<MathType>

empty

Constructor Summary

StackPostClearAssertion()

Method Summary

boolean	check(java.util.List<MathType> l) check determines whether the values entered by the user hold to this assertion.
java.lang.String	toInstanceString(java.util.List<MathType> l)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

empty

protected MathString<MathType> empty

Constructor Detail

StackPostClearAssertion

public StackPostClearAssertion()

Method Detail

check

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

Description copied from interface: Assertion

check determines whether the values entered by the user hold to this assertion.

Specified by:

check in interface Assertion

Parameters:

l - list of values for the method arguments

Returns:

true if the supplied values of the method arguments hold to the assertion false otherwise

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

toInstanceString

public java.lang.String toInstanceString(java.util.List<MathType> l)

Specified by:

toInstanceString in interface Assertion