Index
Date: 2008-02-28

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES

A C D E F G I L M N O P Q R S T V

## A

actionPerformed(ActionEvent) - Method in class tcra.gui.TestCaseReasoningAssistant
  Fires by any component this class is registered to as an ActionListener when its action is performed.
arg - Variable in class tcra.exercises.queue_reasoning_private.QueueEnqueueContract
arg - Variable in class tcra.exercises.stack_reasoning_private.StackPushContract
args - Variable in class tcra.math.MethodContract
Assertion - Interface in tcra.math
  Assertion represents the assertions present in a formal specification.

## C

check(List<MathType>) - Method in class tcra.exercises.general_assertions.StringLengthGTZAssertion
check(List<MathType>) - Method in class tcra.exercises.general_assertions.TrueAssertion
check(String[]) - Method in class tcra.exercises.queue_reasoning_private.QueueClearContract
check(String[]) - Method in class tcra.exercises.queue_reasoning_private.QueueDequeueContract
check(String[]) - Method in class tcra.exercises.queue_reasoning_private.QueueEnqueueContract
check(String[]) - Method in class tcra.exercises.queue_reasoning_private.QueueFrontContract
check(String[]) - Method in class tcra.exercises.queue_reasoning_private.QueueLengthContract
check(List<MathType>) - Method in class tcra.exercises.queue_reasoning_private.QueuePostClearAssertion
check(List<MathType>) - Method in class tcra.exercises.queue_reasoning_private.QueuePostDequeueAssertion
check(List<MathType>) - Method in class tcra.exercises.queue_reasoning_private.QueuePostEnqueueAssertion
check(List<MathType>) - Method in class tcra.exercises.queue_reasoning_private.QueuePostFrontAssertion
check(List<MathType>) - Method in class tcra.exercises.queue_reasoning_private.QueuePostLengthAssertion
check(String[]) - Method in class tcra.exercises.stack_reasoning_private.StackClearContract
check(String[]) - Method in class tcra.exercises.stack_reasoning_private.StackLengthContract
check(String[]) - Method in class tcra.exercises.stack_reasoning_private.StackPopContract
check(List<MathType>) - Method in class tcra.exercises.stack_reasoning_private.StackPostClearAssertion
check(List<MathType>) - Method in class tcra.exercises.stack_reasoning_private.StackPostLengthAssertion
check(List<MathType>) - Method in class tcra.exercises.stack_reasoning_private.StackPostPopAssertion
check(List<MathType>) - Method in class tcra.exercises.stack_reasoning_private.StackPostPushAssertion
check(List<MathType>) - Method in class tcra.exercises.stack_reasoning_private.StackPostTopAssertion
check(String[]) - Method in class tcra.exercises.stack_reasoning_private.StackPushContract
check(String[]) - Method in class tcra.exercises.stack_reasoning_private.StackTopContract
check(List<MathType>) - Method in interface tcra.math.Assertion
  check determines whether the values entered by the user hold to this assertion.
check(String[]) - Method in class tcra.math.MethodContract
  Returns whether the supplied values hold to the precondition and postcondition using the Assertions' check method.
  It is recommended that the parsed input is saved in a private variable of any extending class for use in the toInstanceString method.
compareElement(int, ElementType) - Method in class tcra.math.MathString
  Checks the provided [ElementType] and the element of the string at 'index' for equality.
concat(MathString<ElementType>) - Method in class tcra.math.MathString
  Returns a MathString that is the concatenation of this MathString and another MathString provided by the user.
concat(ElementType) - Method in class tcra.math.MathString
  Returns a MathString that has had the provided element concatenated on to it.
contracts - Variable in class tcra.math.TCRAExercise

## D

dequeue - Variable in class tcra.exercises.queue_reasoning_private.QueueDequeueContract

## E

eatWhitespace(StringBuilder) - Method in class tcra.math.MathTypeParser
  Removes all leading whitespaces.
elementAt(int) - Method in class tcra.math.MathString
  Returns the element in the string at the specified index.
empty - Variable in class tcra.exercises.stack_reasoning_private.StackPostClearAssertion
equals(Object) - Method in class tcra.math.MathInteger
  Checks if the MathInteger representation of an integer and the stored integer value are equal.
equals(int) - Method in class tcra.math.MathInteger
  Compares the stored value to the integer supplied.
equals(Object) - Method in class tcra.math.MathString
  Tests the MathString provided and this MathString for equality.
ExerciseUtilities - Class in tcra.exercises
  Supplies general exercise utility functions.

## F

front - Variable in class tcra.exercises.queue_reasoning_private.QueueFrontContract

## G

getArgs() - Method in class tcra.math.MethodContract
  Returns the list of arguments required by this method.
getContracts() - Method in class tcra.math.TCRAExercise
  Returns a list of the MethodContracts this exercise contains.
getException() - Method in exception tcra.math.MathFormatException
  Return the wrapped exception.
getInterfaceName() - Method in class tcra.math.TCRAExercise
  Returns the signature of the interface.
getMathRep() - Method in class tcra.exercises.QueueReasoningExercise
getMathRep() - Method in class tcra.exercises.ResolveBoundedQueueExercise
getMathRep() - Method in class tcra.exercises.ResolveBoundedStackExercise
getMathRep() - Method in class tcra.exercises.ResolveStackMysteryExercise
getMathRep() - Method in class tcra.exercises.StackReasoningExercise
getMathRep() - Method in class tcra.math.TCRAExercise
  Returns the mathematical model of this interface.
getMaxDepth() - Static method in class tcra.exercises.ResolveBoundedStackExercise
getMaxDepth() - Static method in class tcra.exercises.ResolveStackMysteryExercise
getMaxLength() - Static method in class tcra.exercises.ResolveBoundedQueueExercise
getMessage() - Method in exception tcra.math.MathFormatException
  Return the exception message.
getMethodName() - Method in class tcra.math.MethodContract
  Returns the signature of the method being tested.
getName() - Method in class tcra.programmatic.MethodArgument
  Get this argument's name.
getPostcondition() - Method in class tcra.math.MethodContract
  Returns the postconditional Assertion.
getPrecondition() - Method in class tcra.math.MethodContract
  Returns the preconditional Assertion.
getReturnType() - Method in class tcra.math.MethodContract
  Returns the programming type of what is returned from this method.
getSelfString() - Method in class tcra.exercises.ResolveBoundedQueueExercise
getSelfString() - Method in class tcra.exercises.ResolveBoundedStackExercise
getSelfString() - Method in class tcra.exercises.ResolveStackMysteryExercise
getSelfString() - Method in class tcra.math.TCRAExercise
getType() - Method in class tcra.programmatic.MethodArgument
  Get this argument's programming type.
getValue() - Method in class tcra.math.MathInteger

## I

IntegerType - Class in tcra.math
IntegerType() - Constructor for class tcra.math.IntegerType
interfaceName - Variable in class tcra.math.TCRAExercise
IntType - Class in tcra.programmatic
IntType() - Constructor for class tcra.programmatic.IntType
isCellEditable(int, int) - Method in class tcra.gui.MyTableModel
isSuffix(MathString<ElementType>) - Method in class tcra.math.MathString
  Checks to see if the provided MathString is contained at the end of this MathString.

## L

lb_arg - Variable in class tcra.exercises.queue_reasoning_private.QueueEnqueueContract
lb_arg - Variable in class tcra.exercises.stack_reasoning_private.StackPushContract
lb_self - Variable in class tcra.exercises.queue_reasoning_private.QueueClearContract
lb_self - Variable in class tcra.exercises.queue_reasoning_private.QueueDequeueContract
lb_self - Variable in class tcra.exercises.queue_reasoning_private.QueueEnqueueContract
lb_self - Variable in class tcra.exercises.queue_reasoning_private.QueueFrontContract
lb_self - Variable in class tcra.exercises.queue_reasoning_private.QueueLengthContract
lb_self - Variable in class tcra.exercises.stack_reasoning_private.StackClearContract
lb_self - Variable in class tcra.exercises.stack_reasoning_private.StackLengthContract
lb_self - Variable in class tcra.exercises.stack_reasoning_private.StackPopContract
lb_self - Variable in class tcra.exercises.stack_reasoning_private.StackPushContract
lb_self - Variable in class tcra.exercises.stack_reasoning_private.StackTopContract
length - Variable in class tcra.exercises.queue_reasoning_private.QueueLengthContract
length - Variable in class tcra.exercises.stack_reasoning_private.StackLengthContract
length() - Method in class tcra.math.MathString
  Returns the number of elements in the MathString
loadFile() - Static method in class tcra.exercises.ExerciseUtilities
  Opens a FileChooser to allow the user to select the exercise to be opened.

## M

MathFormatException - Exception in tcra.math
  MathFormatException is thrown by MathTypeParsers when it discovers it is parsing a malformed String format.
MathFormatException() - Constructor for exception tcra.math.MathFormatException
  Default constructor.
MathFormatException(String) - Constructor for exception tcra.math.MathFormatException
  Constructor specifying message to be printed.
MathFormatException(Exception) - Constructor for exception tcra.math.MathFormatException
  Constructor specifying the exception to be wrapped.
MathFormatException(String, Exception) - Constructor for exception tcra.math.MathFormatException
  Constructor specifying a custom error message and a wrapped exception.
MathInteger - Class in tcra.math
  MathInteger is the mathematical representation of an integer inside another MathType or an integer argument to a method.
MathInteger(int) - Constructor for class tcra.math.MathInteger
  Constructor specifying the value of the integer.
MathIntegerParser - Class in tcra.math
  MathIntegerParser is used to parse a MathInteger out of a String.
MathIntegerParser() - Constructor for class tcra.math.MathIntegerParser
MathModel - Interface in tcra.math
  Used to specify the mathematical model of an interface.
MathString<ElementType extends MathType> - Class in tcra.math
  MathString is an abstraction of the mathematical "String of [ElementType]".
MathString(Vector<ElementType>, MathStringParser) - Constructor for class tcra.math.MathString
  Class constructor specifying the elements in the string and the MathStringParser used to parse the String from user input.
MathStringModel - Class in tcra.math
MathStringModel() - Constructor for class tcra.math.MathStringModel
MathStringParser - Class in tcra.math
  MathStringParser is used to parse a StringBuilder for one single list.
MathStringParser(MathTypeParser) - Constructor for class tcra.math.MathStringParser
  Constructor specifying the parser to use to parse the elements of the string.
MathType - Interface in tcra.math
  MathType is the mathematical representation of an Argument.
MathTypeParser - Class in tcra.math
  MathTypeParser is the base MathType parser that must be extended to parser a specific MathType.
MathTypeParser() - Constructor for class tcra.math.MathTypeParser
max_depth - Static variable in class tcra.exercises.ResolveStackMysteryExercise
MethodArgument - Class in tcra.programmatic
  MethodArgument provides a way to represent an argument to a specification's method.
MethodArgument(String, ProgrammingType) - Constructor for class tcra.programmatic.MethodArgument
  Class constructor specifying the name, programming type, and formal mathematical type of the argument.
MethodContract - Class in tcra.math
  Representation of a method's formal contract.
MethodContract(String) - Constructor for class tcra.math.MethodContract
MyTableModel - Class in tcra.gui
MyTableModel(Object[][], Object[]) - Constructor for class tcra.gui.MyTableModel

## N

name - Variable in class tcra.math.MethodContract
nextToken(String) - Method in class tcra.math.MathTypeParser
  Returns the index of the next non-whitespace character.

## O

ObjectType - Class in tcra.programmatic
ObjectType() - Constructor for class tcra.programmatic.ObjectType

## P

parse(StringBuilder) - Method in class tcra.math.MathIntegerParser
  Consumes all the characters from the front of a StringBuilder until it finds a ',' or '>'.
parse(StringBuilder) - Method in class tcra.math.MathStringParser
  Destructively parses the StringBuilder provided for a single list of elements.
parse(StringBuilder) - Method in class tcra.math.MathTypeParser
  Does nothing.
pop - Variable in class tcra.exercises.stack_reasoning_private.StackPopContract
postcondition - Variable in class tcra.math.MethodContract
precondition - Variable in class tcra.math.MethodContract
prepend(MathString<ElementType>) - Method in class tcra.math.MathString
  Returns a MathString that has had the provided MathString concatenated on to the beginning of this string.
prepend(ElementType) - Method in class tcra.math.MathString
  Returns a MathString that has had the provided element concatenated on to the beginning of this string.
ProgrammingType - Interface in tcra.programmatic
  Represents the programming language variable type.

## Q

QueueClearContract - Class in tcra.exercises.queue_reasoning_private
QueueClearContract() - Constructor for class tcra.exercises.queue_reasoning_private.QueueClearContract
QueueDequeueContract - Class in tcra.exercises.queue_reasoning_private
QueueDequeueContract() - Constructor for class tcra.exercises.queue_reasoning_private.QueueDequeueContract
QueueEnqueueContract - Class in tcra.exercises.queue_reasoning_private
QueueEnqueueContract() - Constructor for class tcra.exercises.queue_reasoning_private.QueueEnqueueContract
QueueFrontContract - Class in tcra.exercises.queue_reasoning_private
QueueFrontContract() - Constructor for class tcra.exercises.queue_reasoning_private.QueueFrontContract
QueueLengthContract - Class in tcra.exercises.queue_reasoning_private
QueueLengthContract() - Constructor for class tcra.exercises.queue_reasoning_private.QueueLengthContract
QueuePostClearAssertion - Class in tcra.exercises.queue_reasoning_private
QueuePostClearAssertion() - Constructor for class tcra.exercises.queue_reasoning_private.QueuePostClearAssertion
QueuePostDequeueAssertion - Class in tcra.exercises.queue_reasoning_private
QueuePostDequeueAssertion() - Constructor for class tcra.exercises.queue_reasoning_private.QueuePostDequeueAssertion
QueuePostEnqueueAssertion - Class in tcra.exercises.queue_reasoning_private
QueuePostEnqueueAssertion() - Constructor for class tcra.exercises.queue_reasoning_private.QueuePostEnqueueAssertion
QueuePostFrontAssertion - Class in tcra.exercises.queue_reasoning_private
QueuePostFrontAssertion() - Constructor for class tcra.exercises.queue_reasoning_private.QueuePostFrontAssertion
QueuePostLengthAssertion - Class in tcra.exercises.queue_reasoning_private
QueuePostLengthAssertion() - Constructor for class tcra.exercises.queue_reasoning_private.QueuePostLengthAssertion
QueueReasoningExercise - Class in tcra.exercises
QueueReasoningExercise() - Constructor for class tcra.exercises.QueueReasoningExercise
QueueType - Class in tcra.programmatic
QueueType() - Constructor for class tcra.programmatic.QueueType

## R

ResolveAppendingCapabilityExercise - Class in tcra.exercises
ResolveAppendingCapabilityExercise() - Constructor for class tcra.exercises.ResolveAppendingCapabilityExercise
ResolveBoundedQueueExercise - Class in tcra.exercises
ResolveBoundedQueueExercise() - Constructor for class tcra.exercises.ResolveBoundedQueueExercise
ResolveBoundedStackExercise - Class in tcra.exercises
ResolveBoundedStackExercise() - Constructor for class tcra.exercises.ResolveBoundedStackExercise
ResolveDeleteEntriesExercise - Class in tcra.exercises
ResolveDeleteEntriesExercise() - Constructor for class tcra.exercises.ResolveDeleteEntriesExercise
ResolveDequeExercise - Class in tcra.exercises
ResolveDequeExercise() - Constructor for class tcra.exercises.ResolveDequeExercise
ResolvePreemptableQueueExercise - Class in tcra.exercises
ResolvePreemptableQueueExercise() - Constructor for class tcra.exercises.ResolvePreemptableQueueExercise
ResolvePrefixReversalCapabilityExercise - Class in tcra.exercises
ResolvePrefixReversalCapabilityExercise() - Constructor for class tcra.exercises.ResolvePrefixReversalCapabilityExercise
ResolveRandomAccessCapabilityExercise - Class in tcra.exercises
ResolveRandomAccessCapabilityExercise() - Constructor for class tcra.exercises.ResolveRandomAccessCapabilityExercise
ResolveReplicaCapabilityExercise - Class in tcra.exercises
ResolveReplicaCapabilityExercise() - Constructor for class tcra.exercises.ResolveReplicaCapabilityExercise
ResolveStackMysteryExercise - Class in tcra.exercises
ResolveStackMysteryExercise() - Constructor for class tcra.exercises.ResolveStackMysteryExercise
returnType - Variable in class tcra.math.MethodContract
reverse() - Method in class tcra.math.MathString
  Get the reverse of this MathString

## S

self - Variable in class tcra.exercises.queue_reasoning_private.QueueClearContract
self - Variable in class tcra.exercises.queue_reasoning_private.QueueDequeueContract
self - Variable in class tcra.exercises.queue_reasoning_private.QueueEnqueueContract
self - Variable in class tcra.exercises.queue_reasoning_private.QueueFrontContract
self - Variable in class tcra.exercises.queue_reasoning_private.QueueLengthContract
self - Variable in class tcra.exercises.stack_reasoning_private.StackClearContract
self - Variable in class tcra.exercises.stack_reasoning_private.StackLengthContract
self - Variable in class tcra.exercises.stack_reasoning_private.StackPopContract
self - Variable in class tcra.exercises.stack_reasoning_private.StackPushContract
self - Variable in class tcra.exercises.stack_reasoning_private.StackTopContract
split(int) - Method in class tcra.math.MathString
  Returns two seperate MathStrings that this MathString split after the specified element number.
StackClearContract - Class in tcra.exercises.stack_reasoning_private
StackClearContract() - Constructor for class tcra.exercises.stack_reasoning_private.StackClearContract
StackLengthContract - Class in tcra.exercises.stack_reasoning_private
StackLengthContract() - Constructor for class tcra.exercises.stack_reasoning_private.StackLengthContract
StackPopContract - Class in tcra.exercises.stack_reasoning_private
StackPopContract() - Constructor for class tcra.exercises.stack_reasoning_private.StackPopContract
StackPostClearAssertion - Class in tcra.exercises.stack_reasoning_private
StackPostClearAssertion() - Constructor for class tcra.exercises.stack_reasoning_private.StackPostClearAssertion
StackPostLengthAssertion - Class in tcra.exercises.stack_reasoning_private
StackPostLengthAssertion() - Constructor for class tcra.exercises.stack_reasoning_private.StackPostLengthAssertion
StackPostPopAssertion - Class in tcra.exercises.stack_reasoning_private
StackPostPopAssertion() - Constructor for class tcra.exercises.stack_reasoning_private.StackPostPopAssertion
StackPostPushAssertion - Class in tcra.exercises.stack_reasoning_private
StackPostPushAssertion() - Constructor for class tcra.exercises.stack_reasoning_private.StackPostPushAssertion
  Default Constructor
StackPostTopAssertion - Class in tcra.exercises.stack_reasoning_private
StackPostTopAssertion() - Constructor for class tcra.exercises.stack_reasoning_private.StackPostTopAssertion
StackPushContract - Class in tcra.exercises.stack_reasoning_private
StackPushContract() - Constructor for class tcra.exercises.stack_reasoning_private.StackPushContract
StackReasoningExercise - Class in tcra.exercises
StackReasoningExercise() - Constructor for class tcra.exercises.StackReasoningExercise
StackTopContract - Class in tcra.exercises.stack_reasoning_private
StackTopContract() - Constructor for class tcra.exercises.stack_reasoning_private.StackTopContract
StackType - Class in tcra.programmatic
StackType() - Constructor for class tcra.programmatic.StackType
StringLengthGTZAssertion - Class in tcra.exercises.general_assertions
StringLengthGTZAssertion() - Constructor for class tcra.exercises.general_assertions.StringLengthGTZAssertion
StringType - Class in tcra.programmatic
StringType() - Constructor for class tcra.programmatic.StringType

## T

tcra.exercises - package tcra.exercises
tcra.exercises.general_assertions - package tcra.exercises.general_assertions
tcra.exercises.queue_reasoning_private - package tcra.exercises.queue_reasoning_private
tcra.exercises.stack_reasoning_private - package tcra.exercises.stack_reasoning_private
tcra.gui - package tcra.gui
tcra.math - package tcra.math
tcra.programmatic - package tcra.programmatic
TCRAExercise - Class in tcra.math
  TCRAExercise represents the formal specification of an interface.
TCRAExercise(String) - Constructor for class tcra.math.TCRAExercise
TestCaseReasoningAssistant - Class in tcra.gui
TestCaseReasoningAssistant() - Constructor for class tcra.gui.TestCaseReasoningAssistant
  Default constructor.
toHTMLString() - Method in class tcra.math.MathInteger
toHTMLString() - Method in class tcra.math.MathString
toHTMLString() - Method in interface tcra.math.MathType
  In case the toString() function includes character that would not properly display in HTML, this string returns an HTML compliant version.
toInstanceString(List<MathType>) - Method in class tcra.exercises.general_assertions.StringLengthGTZAssertion
toInstanceString(List<MathType>) - Method in class tcra.exercises.general_assertions.TrueAssertion
toInstanceString() - Method in class tcra.exercises.queue_reasoning_private.QueueClearContract
toInstanceString() - Method in class tcra.exercises.queue_reasoning_private.QueueDequeueContract
toInstanceString() - Method in class tcra.exercises.queue_reasoning_private.QueueEnqueueContract
toInstanceString() - Method in class tcra.exercises.queue_reasoning_private.QueueFrontContract
toInstanceString() - Method in class tcra.exercises.queue_reasoning_private.QueueLengthContract
toInstanceString(List<MathType>) - Method in class tcra.exercises.queue_reasoning_private.QueuePostClearAssertion
toInstanceString(List<MathType>) - Method in class tcra.exercises.queue_reasoning_private.QueuePostDequeueAssertion
toInstanceString(List<MathType>) - Method in class tcra.exercises.queue_reasoning_private.QueuePostEnqueueAssertion
toInstanceString(List<MathType>) - Method in class tcra.exercises.queue_reasoning_private.QueuePostFrontAssertion
toInstanceString(List<MathType>) - Method in class tcra.exercises.queue_reasoning_private.QueuePostLengthAssertion
toInstanceString() - Method in class tcra.exercises.stack_reasoning_private.StackClearContract
toInstanceString() - Method in class tcra.exercises.stack_reasoning_private.StackLengthContract
toInstanceString() - Method in class tcra.exercises.stack_reasoning_private.StackPopContract
toInstanceString(List<MathType>) - Method in class tcra.exercises.stack_reasoning_private.StackPostClearAssertion
toInstanceString(List<MathType>) - Method in class tcra.exercises.stack_reasoning_private.StackPostLengthAssertion
toInstanceString(List<MathType>) - Method in class tcra.exercises.stack_reasoning_private.StackPostPopAssertion
toInstanceString(List<MathType>) - Method in class tcra.exercises.stack_reasoning_private.StackPostPushAssertion
toInstanceString(List<MathType>) - Method in class tcra.exercises.stack_reasoning_private.StackPostTopAssertion
toInstanceString() - Method in class tcra.exercises.stack_reasoning_private.StackPushContract
toInstanceString() - Method in class tcra.exercises.stack_reasoning_private.StackTopContract
toInstanceString(List<MathType>) - Method in interface tcra.math.Assertion
toInstanceString() - Method in class tcra.math.MethodContract
top - Variable in class tcra.exercises.stack_reasoning_private.StackTopContract
toString() - Method in class tcra.exercises.general_assertions.StringLengthGTZAssertion
toString() - Method in class tcra.exercises.general_assertions.TrueAssertion
toString() - Method in class tcra.exercises.queue_reasoning_private.QueueClearContract
toString() - Method in class tcra.exercises.queue_reasoning_private.QueueDequeueContract
toString() - Method in class tcra.exercises.queue_reasoning_private.QueueEnqueueContract
toString() - Method in class tcra.exercises.queue_reasoning_private.QueueFrontContract
toString() - Method in class tcra.exercises.queue_reasoning_private.QueueLengthContract
toString() - Method in class tcra.exercises.queue_reasoning_private.QueuePostClearAssertion
toString() - Method in class tcra.exercises.queue_reasoning_private.QueuePostDequeueAssertion
toString() - Method in class tcra.exercises.queue_reasoning_private.QueuePostEnqueueAssertion
toString() - Method in class tcra.exercises.queue_reasoning_private.QueuePostFrontAssertion
toString() - Method in class tcra.exercises.queue_reasoning_private.QueuePostLengthAssertion
toString() - Method in class tcra.exercises.stack_reasoning_private.StackClearContract
toString() - Method in class tcra.exercises.stack_reasoning_private.StackLengthContract
toString() - Method in class tcra.exercises.stack_reasoning_private.StackPopContract
toString() - Method in class tcra.exercises.stack_reasoning_private.StackPostClearAssertion
toString() - Method in class tcra.exercises.stack_reasoning_private.StackPostLengthAssertion
toString() - Method in class tcra.exercises.stack_reasoning_private.StackPostPopAssertion
toString() - Method in class tcra.exercises.stack_reasoning_private.StackPostPushAssertion
toString() - Method in class tcra.exercises.stack_reasoning_private.StackPostTopAssertion
toString() - Method in class tcra.exercises.stack_reasoning_private.StackPushContract
toString() - Method in class tcra.exercises.stack_reasoning_private.StackTopContract
toString() - Method in class tcra.math.IntegerType
toString() - Method in exception tcra.math.MathFormatException
toString() - Method in class tcra.math.MathInteger
toString() - Method in class tcra.math.MathString
toString() - Method in class tcra.math.MathStringModel
toString() - Method in class tcra.math.TCRAExercise
toString() - Method in class tcra.programmatic.IntType
toString() - Method in class tcra.programmatic.MethodArgument
toString() - Method in class tcra.programmatic.ObjectType
toString() - Method in class tcra.programmatic.QueueType
toString() - Method in class tcra.programmatic.StackType
toString() - Method in class tcra.programmatic.StringType
toString() - Method in class tcra.programmatic.VoidType
TrueAssertion - Class in tcra.exercises.general_assertions
TrueAssertion() - Constructor for class tcra.exercises.general_assertions.TrueAssertion

## V

valueChanged(TreeSelectionEvent) - Method in class tcra.gui.TestCaseReasoningAssistant
  Fires when a method from the JTree has been selected.
VoidType - Class in tcra.programmatic
VoidType() - Constructor for class tcra.programmatic.VoidType

A C D E F G I L M N O P Q R S T V

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES