tcra.exercises.resolve_stack_private
Class ResolveStackPushContract

java.lang.Object
  tcra.math.MethodContract
      tcra.exercises.stack_reasoning_private.StackPushContract
          tcra.exercises.resolve_stack_private.ResolveStackPushContract

public class ResolveStackPushContract
extends StackPushContract

Field Summary

Fields inherited from class tcra.exercises.stack_reasoning_private.StackPushContract

arg, lb_arg, lb_self, self

Fields inherited from class tcra.math.MethodContract

args, name, postcondition, precondition, returnType

Constructor Summary

ResolveStackPushContract()

Method Summary

java.lang.String	toInstanceString()
java.lang.String	toString()

Methods inherited from class tcra.exercises.stack_reasoning_private.StackPushContract

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

ResolveStackPushContract

public ResolveStackPushContract()

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class StackPushContract

toInstanceString

public java.lang.String toInstanceString()

Overrides:

toInstanceString in class StackPushContract