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

Packages that use Denotable

edu.utep.cs.utjml.tgen

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

Classes in edu.utep.cs.utjml.tgen 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.tgen 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.tgen 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.tgen 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 instance.

TestCase(Denotable receiver, Denotable[] args)
Creates a new instance.