edu.utep.cs.jet.rat
Interface MethodWrapper

public interface MethodWrapper

An interface to wrap a Java method or constructor. This interface is used to pass per-method test-related information to the test case generator, e.g., user-supplied test data.

Version:

$Revision: 1.4 $

Author:

Yoonsik Cheon

Field Summary

static int	BASIC_CONSTRUCTOR A basic constructor is a constructor or a static method that can create an instance of a class without needing another instance of the class.
static int	EXTENDED_CONSTRUCTOR An extended constructor is a constructor or a static method that can create an instance of a class, given other instances of the class.
static int	MUTATOR A mutator is an instance method that may modify the object.
static int	OBSERVER All other methods that are not mutators are observers.

Method Summary

int	getKind() Returns the kind of wrapped object.
Member	getWrapped() Returns the wrapped method or constructor.
boolean	isConstructor() Returns true if the wrapped is a Java constructor.

Field Detail

BASIC_CONSTRUCTOR

static final int BASIC_CONSTRUCTOR

A basic constructor is a constructor or a static method that can create an instance of a class without needing another instance of the class.

See Also:

Constant Field Values

EXTENDED_CONSTRUCTOR

static final int EXTENDED_CONSTRUCTOR

An extended constructor is a constructor or a static method that can create an instance of a class, given other instances of the class.

See Also:

Constant Field Values

MUTATOR

static final int MUTATOR

A mutator is an instance method that may modify the object.

See Also:

Constant Field Values

OBSERVER

static final int OBSERVER

All other methods that are not mutators are observers. Thus, an observer also implies that its kind is unknown or not classified yet.

See Also:

Constant Field Values

Method Detail

getWrapped

Member getWrapped()

Returns the wrapped method or constructor. The returned object is either a Java method or constructor.

isConstructor

boolean isConstructor()

Returns true if the wrapped is a Java constructor. Note that this method returns true if the wrapped object is a Java constructor, an instance of Constructor, not of kind BASIC_CONSTRUCTOR or EXTENDED_CONSTRUCTOR.

getKind

int getKind()

Returns the kind of wrapped object. The return value is one of BASIC_CONSTRUCTOR, EXTENDED_CONSTRUCTOR, MUTATOR, and OBSERVER.