| 1 | (* HCoop Domtool (http://hcoop.sourceforge.net/) |
| 2 | * Copyright (c) 2006, Adam Chlipala |
| 3 | * |
| 4 | * This program is free software; you can redistribute it and/or |
| 5 | * modify it under the terms of the GNU General Public License |
| 6 | * as published by the Free Software Foundation; either version 2 |
| 7 | * of the License, or (at your option) any later version. |
| 8 | * |
| 9 | * This program is distributed in the hope that it will be useful, |
| 10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of |
| 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| 12 | * GNU General Public License for more details. |
| 13 | * |
| 14 | * You should have received a copy of the GNU General Public License |
| 15 | * along with this program; if not, write to the Free Software |
| 16 | * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. |
| 17 | *) |
| 18 | |
| 19 | (* Network message data structures *) |
| 20 | |
| 21 | structure MsgTypes = struct |
| 22 | |
| 23 | datatype msg = |
| 24 | MsgOk |
| 25 | (* Your request was processed successfully. *) |
| 26 | | MsgError of string |
| 27 | (* Your request went wrong in some way. *) |
| 28 | | MsgConfig of string |
| 29 | (* Configuration source code *) |
| 30 | | MsgFile of Slave.file_status |
| 31 | (* The status of a configuration file has changed. *) |
| 32 | | MsgDoFiles |
| 33 | (* Perform the actions associated with the MsgFiles sent previously. *) |
| 34 | | MsgGrant of Acl.acl |
| 35 | (* Grant a permission *) |
| 36 | | MsgRevoke of Acl.acl |
| 37 | (* Revoke a permission *) |
| 38 | | MsgListPerms of string |
| 39 | (* List all of a user's permissions *) |
| 40 | | MsgPerms of (string * string list) list |
| 41 | (* A response to MsgListPerms, giving a permission class and all values |
| 42 | * for which the user is authorized in that class *) |
| 43 | | MsgWhoHas of {class : string, value : string} |
| 44 | (* Which users have this permission? *) |
| 45 | | MsgWhoHasResponse of string list |
| 46 | (* These are the users! *) |
| 47 | | MsgMultiConfig of string list |
| 48 | (* Multiple Domtool sources in dependency order *) |
| 49 | | MsgRmdom of string |
| 50 | (* Remove all configuration associated with a domain and revoke rights |
| 51 | * to that domain from all users. *) |
| 52 | |
| 53 | end |