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

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

#ifndef CT_STATIC_ARRAY_EXCHANGE_AT_1_C
#define CT_STATIC_ARRAY_EXCHANGE_AT_1_C 1

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

#include "CT/Static_Array/Exchange_At_1.h"
#include "CT/Static_Array/Exchange_At_C.h"
/*!
    #include "AT/Static_Array/Kernel.h"
!*/

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

concrete_template <
	concrete_instance class Item,
	Integer_constant lower,
        Integer_constant upper,
	/*!
	    satisfies restriction
	        lower <= upper
	!*/
	concrete_instance class Static_Array_Checking_Base
	/*!
	    checks
	        abstract_instance Static_Array_Kernel <Item, lower, upper>
	!*/
    >
class Static_Array_Exchange_At_1_C :
    specializes
	Static_Array_Exchange_At_C <
		Item,
                lower,
                upper,
		Static_Array_Exchange_At_1 <
		        Item,
		        lower,
		        upper,
		        Static_Array_Checking_Base
		    >
	    >
{};

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

#endif // CT_STATIC_ARRAY_EXCHANGE_AT_1_C