1 ////////////////////////////////////////////////////////////////////////////
2 // ---------------------------------------------------------------------- //
3 // Copyright © 2010 Michal Sojka //
5 // This file is part of FRSH/FORB. //
7 // FRSH/FORB is free software; you can redistribute it and/or modify it //
8 // under terms of the GNU General Public License as published by the //
9 // Free Software Foundation; either version 2, or (at your option) any //
10 // later version. FORB is distributed in the hope that it will be //
11 // useful, but WITHOUT ANY WARRANTY; without even the implied warranty //
12 // of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU //
13 // General Public License for more details. You should have received a //
14 // copy of the GNU General Public License along with FORB; see file //
15 // COPYING. If not, write to the Free Software Foundation, 675 Mass Ave, //
16 // Cambridge, MA 02139, USA. //
18 // As a special exception, including FRSH/FORB header files in a file, //
19 // instantiating FRSH/FORB generics or templates, or linking other files //
20 // with FRSH/FORB objects to produce an executable application, does not //
21 // by itself cause the resulting executable application to be covered //
22 // by the GNU General Public License. This exception does not //
23 // however invalidate any other reasons why the executable file might be //
24 // covered by the GNU Public License. //
25 ////////////////////////////////////////////////////////////////////////////
28 * @file fres_transaction_idl.idl
29 * @author Michal Sojka <sojkam1@fel.cvut.cz>
31 * @brief Definitions of data types and constants for FRSH distributed
36 #ifndef _TRANSACTION_IDL
37 #define _TRANSACTION_IDL
39 #include "fres_contract_idl.idl"
42 struct transaction_t {
44 contract::ptr_seq contracts;
45 boolean consistent_spare_capacity;