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

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

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

#include "AT/List/Kernel.h"

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

abstract_template <
	concrete_instance class Item
    >
class List_Swap_Rights :
    extends
	abstract_instance List_Kernel <Item>
{
public:

    procedure Swap_Rights (
	    alters List_Swap_Rights& rhs
	) is_abstract;
	/*!
	    ensures
                self.left = #self.left and
                rhs.left = #rhs.left and
                self.right = #rhs.right and
                rhs.right = #self.right
	!*/

};

#endif // AT_LIST_SWAP_RIGHTS