edu.utep.cs.utjml.tgen
Class TestCase

java.lang.Object
  edu.utep.cs.utjml.tgen.TestCase

public class TestCase
extends Object

A class to represent test cases. A test case consists of a receiver and a sequence of arguments.

Version:

$Revision: 1.4 $

Author:

Yoonsik Cheon

Constructor Summary

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

Method Summary

Denotable[]	arguments() Returns the arguments.
boolean	hasReceiver() Return true if this test case needs a receiver.
Denotable	receiver() Returns the receiver.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

TestCase

public TestCase(Denotable receiver,
                Denotable[] args)

Creates a new instance.

Method Detail

receiver

public Denotable receiver()

Returns the receiver.

hasReceiver

public boolean hasReceiver()

Return true if this test case needs a receiver.

arguments

public Denotable[] arguments()

Returns the arguments.