ResolveStackPostPushAssertion
Date: 2007-09-18

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## tcra.exercises.resolve_stack_private
Class ResolveStackPostPushAssertion

    java.lang.Object
      tcra.exercises.stack_reasoning_private.StackPostPushAssertion
          tcra.exercises.resolve_stack_private.ResolveStackPostPushAssertion

All Implemented Interfaces:
  Assertion

    public class ResolveStackPostPushAssertion

extends StackPostPushAssertion

Constructor Summary
`ResolveStackPostPushAssertion()`

Method Summary
`java.lang.String` | `toInstanceString(java.util.List<MathType> argVals)`
`java.lang.String` | `toString()`

Methods inherited from class tcra.exercises.stack_reasoning_private.StackPostPushAssertion
`check`

Methods inherited from class java.lang.Object
`clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait`

Constructor Detail

### ResolveStackPostPushAssertion

    public ResolveStackPostPushAssertion()

Method Detail

### toString

    public java.lang.String toString()

  Overrides:
    `toString` in class `StackPostPushAssertion`

### toInstanceString

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

  Specified by:
    `toInstanceString` in interface `Assertion`
  Overrides:
    `toInstanceString` in class `StackPostPushAssertion`

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD