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

[Polar Humenn <polar@syr.edu>]

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>
>