////////////////////////////////////////////////////////////////////////////
// ---------------------------------------------------------------------- //
// Copyright © 2010 Michal Sojka 					  //
// 	     	      	     						  //
// This file is part of FRSH/FORB.					  //
// 									  //
// FRSH/FORB is free software; you can redistribute it and/or modify it	  //
// under terms of the GNU General Public License as published by the	  //
// Free Software Foundation; either version 2, or (at your option) any	  //
// later version.  FORB is distributed in the hope that it will be	  //
// useful, but WITHOUT ANY WARRANTY; without even the implied warranty	  //
// of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU	  //
// General Public License for more details. You should have received a	  //
// copy of the GNU General Public License along with FORB; see file	  //
// COPYING. If not, write to the Free Software Foundation, 675 Mass Ave,  //
// Cambridge, MA 02139, USA.						  //
// 									  //
// As a special exception, including FRSH/FORB header files in a file,	  //
// instantiating FRSH/FORB generics or templates, or linking other files  //
// with FRSH/FORB objects to produce an executable application, does not  //
// by itself cause the resulting executable application to be covered	  //
// by the GNU General Public License. This exception does not		  //
// however invalidate any other reasons why the executable file might be  //
// covered by the GNU Public License.					  //
////////////////////////////////////////////////////////////////////////////

/**
 * @file   fres_transaction_idl.idl
 * @author Michal Sojka <sojkam1@fel.cvut.cz>
 * 
 * @brief Definitions of data types and constants for FRSH distributed
 * transactions.
 * 
 */

#ifndef _TRANSACTION_IDL
#define _TRANSACTION_IDL

#include "fres_contract_idl.idl"

module fres {
	struct transaction_t {
		string name;
		contract::ptr_seq contracts;
		boolean consistent_spare_capacity;
	};
};

#endif