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

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

#ifndef AT_XYZ_OPE
#define AT_XYZ_OPE 1

///------------------------------------------------------------------------
/// Global Context --------------------------------------------------------
///------------------------------------------------------------------------

#include "AT/XYZ/Kernel.h"

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

abstract_template <
	concrete_instance class Item
    >
class XYZ_OpE :
    extends
	abstract_instance XYZ_Kernel <Item>
{
public:
    
    /*!
	[mathematics needed to explain OpE]
    !*/

    procedure OpE (
	    /* formal parameters of OpE, if any, with their modes and
	       types */
	) is_abstract;
    /*!
	requires
	    [precondition of OpA]
	ensures
	    [postcondition of OpA]
    !*/

};

#endif // AT_XYZ_OPE