JET

edu.utep.cs.et.rat
Interface Context

All Known Implementing Classes:
AllTestSuite.TestingContext, TestingContext

public interface Context

An interface representing a testing context.

Version:
$Revision: 1.9 $
Author:
Yoonsik Cheon

Method Summary
 Class getClazz()
          Returns the class under test.
 PrintWriter getErrWriter()
          Returns the print writer that accepts error messages.
 Map<String,Set<String>> getImplClasses()
          Returns the concrete implemenation classes of interfaces and abstract classes.
 int getMaxHeight()
          Returns the maximum height of test case objects.
 Member getMethod()
          Returns the method or constructor under test.
 Iterable<? extends MethodWrapper> getMethods()
          Returns all the methods of the class under test.
 int getNumOfAttempts()
          Returns the number of test attempts.
 int getNumOfIncAttempts()
          Returns the maximum number of attempts to be tried when an incremental construction of an object fails.
 int getObjectPoolSize()
          Returns the size of object pool.
 Set<String> getWarnedInterfaces()
          Returns the set of interface names that are already warned about no known implementation classes.
 boolean isObjectPooling()
          Returns true if object pooling should be enabled.
 boolean isRedundancyChecked()
          Returns true if the redundancy of generated test cases has to be checked.
 boolean isStopRequested()
          Returns true if testing should terminate immediately.
 

Method Detail

getMethod

Member getMethod()
Returns the method or constructor under test.


getClazz

Class getClazz()
Returns the class under test.


getMethods

Iterable<? extends MethodWrapper> getMethods()
Returns all the methods of the class under test. If the return value is null, it means that this informatin is not provided by the caller.


getMaxHeight

int getMaxHeight()
Returns the maximum height of test case objects.


getNumOfAttempts

int getNumOfAttempts()
Returns the number of test attempts.


getNumOfIncAttempts

int getNumOfIncAttempts()
Returns the maximum number of attempts to be tried when an incremental construction of an object fails.


isObjectPooling

boolean isObjectPooling()
Returns true if object pooling should be enabled.


getObjectPoolSize

int getObjectPoolSize()
Returns the size of object pool.


getImplClasses

Map<String,Set<String>> getImplClasses()
Returns the concrete implemenation classes of interfaces and abstract classes. The returned object is a map from interface names to lists of (concrete) classes.


getWarnedInterfaces

Set<String> getWarnedInterfaces()
Returns the set of interface names that are already warned about no known implementation classes.


getErrWriter

PrintWriter getErrWriter()
Returns the print writer that accepts error messages.


isRedundancyChecked

boolean isRedundancyChecked()
Returns true if the redundancy of generated test cases has to be checked.


isStopRequested

boolean isStopRequested()
Returns true if testing should terminate immediately.


JET

JET is Copyright (C) 2005-2007 by The University of Texas at El Paso and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version.