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

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

#ifndef AT_QUEUE_CONCATENATE
#define AT_QUEUE_CONCATENATE 1
 
///------------------------------------------------------------------------
/// Global Context --------------------------------------------------------
///------------------------------------------------------------------------

#include "AT/Queue/Kernel.h"

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

abstract_template <
	concrete_instance class Item
    >
class Queue_Concatenate :
    extends
	abstract_instance Queue_Kernel <Item>
{
public:

    procedure Concatenate (
	    consumes Queue_Concatenate <Item>& q
	) is_abstract;
    /*!
	ensures
	    self = #self * #q
    !*/

};

#endif // AT_QUEUE_CONCATENATE