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

    java.lang.Object
      tcra.math.MethodContract
          tcra.exercises.stack_reasoning_private.StackLengthContract
              tcra.exercises.resolve_stack_private.ResolveStackDepthContract

    public class ResolveStackDepthContract

extends StackLengthContract

Field Summary

Fields inherited from class tcra.exercises.stack_reasoning_private.StackLengthContract
`lb_self, length, self`

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

Constructor Summary
`ResolveStackDepthContract()`

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

Methods inherited from class tcra.exercises.stack_reasoning_private.StackLengthContract
`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

### ResolveStackDepthContract

    public ResolveStackDepthContract()

Method Detail

### toString

    public java.lang.String toString()

  Overrides:
    `toString` in class `StackLengthContract`

### toInstanceString

    public java.lang.String toInstanceString()

  Overrides:
    `toInstanceString` in class `StackLengthContract`

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