tcra.exercises.resolve_stack_private
Class ResolveStackClearContract

java.lang.Object
  tcra.math.MethodContract
      tcra.exercises.stack_reasoning_private.StackClearContract
          tcra.exercises.resolve_stack_private.ResolveStackClearContract

public class ResolveStackClearContract
extends StackClearContract

Field Summary

Fields inherited from class tcra.exercises.stack_reasoning_private.StackClearContract

lb_self, self

Fields inherited from class tcra.math.MethodContract

args, name, postcondition, precondition, returnType

Constructor Summary

ResolveStackClearContract()

Method Summary

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

Methods inherited from class tcra.exercises.stack_reasoning_private.StackClearContract

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

ResolveStackClearContract

public ResolveStackClearContract()

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class StackClearContract

toInstanceString

public java.lang.String toInstanceString()

Overrides:

toInstanceString in class StackClearContract