tcra.exercises.resolve_stack_private
Class ResolveStackPostClearAssertion

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

All Implemented Interfaces:

Assertion

public class ResolveStackPostClearAssertion
extends StackPostClearAssertion

Field Summary

Fields inherited from class tcra.exercises.stack_reasoning_private.StackPostClearAssertion

empty

Constructor Summary

ResolveStackPostClearAssertion()

Method Summary

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

Methods inherited from class tcra.exercises.stack_reasoning_private.StackPostClearAssertion

check

Methods inherited from class java.lang.Object

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

Constructor Detail

ResolveStackPostClearAssertion

public ResolveStackPostClearAssertion()

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class StackPostClearAssertion

toInstanceString

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

Specified by:

toInstanceString in interface Assertion

Overrides:

toInstanceString in class StackPostClearAssertion