Re: Clarification re DAML-S

Yes, you were right about this.  It's been fixed for the soon-to-be-announced
new release.

Thanks!  (belatedly)

- David Martin

shalil.majithia@cs.cardiff.ac.uk wrote:

> To the DAML-S team:
>
> Shouldn't the input parameter "CreateAcctInfo" be restricted to "#AcctInfo"
> in CongoProfile.daml? Thanks for clarifying.
>
> Extract from CongoProfile.daml
>
> <profile:input>
>       <profile:ParameterDescription rdf:ID="CreateAcctInfo">
>         <profile:parameterName> createAcctInfo </profile:parameterName>
>         <profile:restrictedTo rdf:resource="&congoProcess;#CreateAcct"/>
>         <profile:refersTo rdf:resource="&congoProcess;#createAcctInfo"/>
>       </profile:ParameterDescription>
> </profile:input>
>
> Extract from CongoProcess.daml
>
> <rdf:Property rdf:ID="createAcctInfo">
>   <rdfs:subPropertyOf rdf:resource="&process;#input"/>
>   <rdfs:domain rdf:resource="#CreateAcct"/>
>   <rdfs:range rdf:resource="#AcctInfo"/>
> </rdf:Property>
>
> Rgds
> Shalil

Received on Monday, 5 May 2003 21:36:54 UTC