// SPDL Specification 

SecurityPolicyDescriptionLanguage = "SPDL"
  "policy" <currentPolicy> Policy
  EOF.

Policy = <URLs> List(URL)
       	 [ "cookies" <Cookies> List(Cookie) ].

URL = "prefix" <prefix> PrefixName
      [ <parameters> List(Parameter) ].

Parameter = "parameter" [ "validations" <validations>
	    		  List(Validation) ]
	    [ "transformations" <transformations> List(Transformation) ]
	    [ "method" <method> Method ]
	    "name" <param_name> Name
	    "maxlength" <maxlength> Max_Length
	    [ "minlength" <minlength> Min_Length ]
	    [ "required" <required> Required ]
	    [ "MAC" <MAC> MAC ]
	    "type" <type> Type.

Cookie = "cookie" [ "validations" <validations> List(Validation) ]
	 [ "transformations" <transformations> List(Transformation) ]
	 "name" <cookie_name> Name
	 "maxlength" <maxlength> Max_Length
	 [ "minlength" <minlength> Min_Length ]
	 [ "MAC" <MAC> MAC ]
	 "type" <type> Type.

PrefixName = String.
Name = Ident.
Max_Length = String.
Min_Length = String.
Required = Bool.
MAC = Bool.
Type = Ident.
Transformation_Desc = String.
HTML_Encode = Bool.
Validation = String.
Method = MethodType.
Transformation = <description> Transformation_Desc
	       	 <encode> HTML_Encode.


// Some enumerated data types
MethodType : GET | POST | GETandPOST.

GET = "GET".
POST = "POST".
GETandPOST = "GETandPOST".


Bool : Yes | No.

Yes : YesUpper | YesLower.
No : NoUpper | NoLower.

YesUpper = "Y".
YesLower = "y".

NoUpper = "N".
NoLower = "n".

List(S) ~ "(" {S} ")".