tcra.exercises.resolve_stack_private
Class ResolveStackPopContract

java.lang.Object
  tcra.math.MethodContract
      tcra.exercises.stack_reasoning_private.StackPopContract
          tcra.exercises.resolve_stack_private.ResolveStackPopContract

public class ResolveStackPopContract
extends StackPopContract

Field Summary

Fields inherited from class tcra.exercises.stack_reasoning_private.StackPopContract

lb_self, pop, self

Fields inherited from class tcra.math.MethodContract

args, name, postcondition, precondition, returnType

Constructor Summary

ResolveStackPopContract()

Method Summary

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

Methods inherited from class tcra.exercises.stack_reasoning_private.StackPopContract

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

ResolveStackPopContract

public ResolveStackPopContract()

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class StackPopContract

toInstanceString

public java.lang.String toInstanceString()

Overrides:

toInstanceString in class StackPopContract