Uses of Interface
edu.utep.cs.utjml.rat.Denotable

Packages that use Denotable

edu.utep.cs.utjml.rat

Contains the source code to generate test cases randomly for Java classes.

Uses of Denotable in edu.utep.cs.utjml.rat

Classes in edu.utep.cs.utjml.rat that implement Denotable

class	ArrayValue A class to represent array values.
class	BooleanValue A class to represent boolean values.
class	IntValue A class to represent int values.
class	MethodCall A class to represent method calls.
class	Value An abstract class to denote various values.

Methods in edu.utep.cs.utjml.rat that return Denotable

Denotable[]	TestCase.arguments() Returns the arguments.
Denotable	ValueCreator.chooseValue() Creates and return a new value.
Denotable	StringValueCreator.chooseValue() Creates and returns a new string value.
Denotable	ClassValueCreator.chooseValue() Choose a value of the target type.
Denotable	ArrayValueCreator.chooseValue() Creates an array value.
Denotable	TestCase.receiver() Returns the receiver.

Methods in edu.utep.cs.utjml.rat with parameters of type Denotable

static void

ArrayValue.assign(Object array, int i, Denotable elem) Unwraps the given denotable, elem, and assigns it to the i-th element of the given array, array.

Constructors in edu.utep.cs.utjml.rat with parameters of type Denotable

ArrayValue(CType type, Denotable[] values)
Creates an array of given type and value.

MethodCall(CMethod method, Denotable[] args)
Creates a new instance.

TestCase(Denotable receiver, Denotable[] args)
Creates a new test case with the given receiver and arguments.

TestCase(Denotable receiver, Denotable[] args)
Creates a new test case with the given receiver and arguments.