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