X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/599a99d3b90eb0ba81ba09cca4d69fff45f6eae6..1a03ee46591f6ca75921e1929a10cdd559c2d405:/src/plugins/firewall.sig diff --git a/src/plugins/firewall.sig b/src/plugins/firewall.sig index 3283824..d69f3b7 100644 --- a/src/plugins/firewall.sig +++ b/src/plugins/firewall.sig @@ -1,6 +1,6 @@ (* HCoop Domtool (http://hcoop.sourceforge.net/) * Copyright (c) 2006-2007, Adam Chlipala - * Copyright (c) 2011, Clinton Ebadi + * Copyright (c) 2011,2013 Clinton Ebadi * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License @@ -21,8 +21,16 @@ signature FIREWALL = sig - type firewall_rules = { server_rules : ((string * string) list DataStructures.StringMap.map), - client_rules : ((string * string) list DataStructures.StringMap.map)} + datatype user = User of string + + datatype fwnode = FirewallNode of string + + datatype fwrule = Client of int list * string list + | Server of int list * string list + | ProxiedServer of int list + | LocalServer of int list + + type firewall_rules = (user * fwnode * fwrule) list val query : string -> string list (* List a user's local firewall rules. *)