ResolveStackTopContract
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 ResolveStackTopContract

    java.lang.Object
      tcra.math.MethodContract
          tcra.exercises.stack_reasoning_private.StackTopContract
              tcra.exercises.resolve_stack_private.ResolveStackTopContract

    public class ResolveStackTopContract

extends StackTopContract

Field Summary

Fields inherited from class tcra.exercises.stack_reasoning_private.StackTopContract
`lb_self, self, top`

Fields inherited from class tcra.math.MethodContract
`args, name, postcondition, precondition, returnType`

Constructor Summary
`ResolveStackTopContract()`

Method Summary
`java.lang.String` | `toInstanceString()`
`java.lang.String` | `toString()`

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

Methods inherited from class tcra.math.MethodContract
`getArgs, getMethodName, getPostcondition, getPrecondition, getReturnType`

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

Constructor Detail

### ResolveStackTopContract

    public ResolveStackTopContract()

Method Detail

### toString

    public java.lang.String toString()

  Overrides:
    `toString` in class `StackTopContract`

### toInstanceString

    public java.lang.String toInstanceString()

  Overrides:
    `toInstanceString` in class `StackTopContract`

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