Resolve/C++ Catalog
CT/Array/Are_In_Order_At_1_C.h
Copyright © 2010, Reusable Software Research Group, The Ohio State University

//  /*-------------------------------------------------------------------*\
//  |   Concrete Template : Array_Are_In_Order_At_1_C
//  \*-------------------------------------------------------------------*/

#ifndef CT_ARRAY_ARE_IN_ORDER_AT_1_C
#define CT_ARRAY_ARE_IN_ORDER_AT_1_C 1

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

#include "CT/Array/Are_In_Order_At_1.h"
#include "CT/Array/Are_In_Order_At_C.h"
/*!
    #include "AT/General/Are_In_Order.h"
    #include "AT/Array/Kernel.h"
!*/

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

concrete_template <
	concrete_instance class Item,
        concrete_instance utility_class Item_Are_In_Order,
	/*!
	    implements
		abstract_instance General_Are_In_Order <Item>
	!*/
	concrete_instance class Array_Checking_Base
	/*!
	    checks
		abstract_instance Array_Kernel <Item>
	!*/
    >
class Array_Are_In_Order_At_1_C :
    specializes
	Array_Are_In_Order_At_C <
		Item,
	        /*!
	            Item_Are_In_Order,
	        !*/
		Array_Are_In_Order_At_1 <
	                Item,
	                Item_Are_In_Order,
	                Array_Checking_Base
	            >
	    >
{};

//----------------------------------------------------------------------

#endif // CT_ARRAY_ARE_IN_ORDER_AT_1_C