MHonArc v2.5.2 -->

















xacml message






[Date Prev]
 | [Thread Prev]
 | [Thread Next]
 | [Date Next]

--

[Date Index]
 | [Thread Index]
 | [Elist Home]








Subject: Re: [xacml] IIC012: syntax-error or processing-error?




From: Polar Humenn <polar@syr.edu>
To: Anne Anderson <Anne.Anderson@Sun.com>
Date: Wed, 04 Dec 2002 14:07:03 -0500 (EST)






On Wed, 4 Dec 2002, Anne Anderson wrote:

> Polar,
>
> How do you handle the type-correctness checking in the case of
> custom functions?

Custom functions must present its type, which is a valid type expression.

> Do all custom functions have to be hardwired into your XACML evaluation
> engine?

No.

> If not, and you have a pluggable interface, is there some method to
> query for the types of the arguments that a given function expects?  Or
> what?

Yes. A function expresses its type.

The function "integer-to-double" expresses its type as

("http://......#integer"; -> "http://.....#double";)

Even the function map has a type:

( ( a -> b ) -> Bag a  -> Bag b )

where a and b are type variables.

-Polar

>
> Anne
> --
> Anne H. Anderson             Email: Anne.Anderson@Sun.COM
> Sun Microsystems Laboratories
> 1 Network Drive,UBUR02-311     Tel: 781/442-0928
> Burlington, MA 01803-0902 USA  Fax: 781/442-1692
>
>
> ----------------------------------------------------------------
> To subscribe or unsubscribe from this elist use the subscription
> manager: <http://lists.oasis-open.org/ob/adm.pl>
>









References:

Re: [xacml] IIC012: syntax-error or processing-error?
From: Anne Anderson <Anne.Anderson@Sun.com>






[Date Prev]
 | [Thread Prev]
 | [Thread Next]
 | [Date Next]

--

[Date Index]
 | [Thread Index]
 | [Elist Home]


  









Powered by eList eXpress LLC