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