[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [Elist Home]
Subject: [xacml-comment] RE: [xacml] Section A.6. Function "expression"
I think this is a good way of putting that. We probably also want to add something to A.2 to mention the extensibility of the data type system.. -----Original Message----- From: Polar Humenn [mailto:polar@syr.edu] Sent: Wednesday, December 11, 2002 5:27 PM To: xacml-comment@lists.oasis-open.org; XACML Subject: [xacml] Section A.6. Function "expression" Section A.6 states that all expressions listed below evaluate to either a primitive type, or a bag of primitive types. This needs to be enhanced because of the <Function> argument, and also it states nothing of extension types. I suggest the following wording: Change the first paragraph to: XACML specifies expressions in terms of the following elements of which the <Apply> and <Condition> elements recursively compose greater expressions. Valid expressions shall be type correct, which means that the types of each of the elements contained within <Apply> and <Condition> elements shall agree with the respective argument types of the function that is named by the FunctionId attribute. The resultant type of the <Apply> or <Condition> element shall be the resultant type of the function, which may be narrowed to a primitive data type or a bag of a primitive data type by type unification. XACML defines an evaluation result of "Indeterminate", which is said to be the result of an invalid expression, or an operational error occurring during the evaluation of the expression. ---------------------------------------------------------------- To subscribe or unsubscribe from this elist use the subscription manager: <http://lists.oasis-open.org/ob/adm.pl>
[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [Elist Home]
Powered by eList eXpress LLC