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