Resolve/C++ Catalog
AT/General/Test.h
Copyright © 2010, Reusable Software Research Group, The Ohio State University

//  /*-------------------------------------------------------------------*\
//  |   Abstract Template : General_Test
//  \*-------------------------------------------------------------------*/

#ifndef AT_GENERAL_TEST
#define AT_GENERAL_TEST 1

///------------------------------------------------------------------------
/// Interface -------------------------------------------------------------
///------------------------------------------------------------------------

abstract_template <
	concrete_instance class T
    >
utility_class General_Test
{
public:

    /*!
	math definition TEST (
		x: T
	    ): boolean
    !*/

    utility_function Boolean Test (
	    preserves T& x
	);
    /*!
	ensures
	    Test = TEST (x)		
    !*/

};

#endif // AT_GENERAL_TEST