W3C home > Mailing lists > Public > xproc-dev@w3.org > September 2010

RE: [xproc-dev] <none>

From: <vojtech.toman@emc.com>
Date: Mon, 13 Sep 2010 03:35:42 -0400
Message-ID: <997C307BEB90984EBE935699389EC41C0239FADE@CORPUSMX70C.corp.emc.com>
To: <xproc-dev@w3.org>
The WG discussed this before internally, and decided to keep both errors despite the overlap:

 

http://lists.w3.org/Archives/Public/public-xml-processing-model-comments/2009Apr/0070.html

 

Regards,

Vojtech

 

--
Vojtech Toman
Consultant Software Engineer
EMC | Information Intelligence Group
vojtech.toman@emc.com
http://developer.emc.com/xmltech

 

From: xproc-dev-request@w3.org [mailto:xproc-dev-request@w3.org] On Behalf Of mozer
Sent: Sunday, September 05, 2010 7:44 PM
To: temp44@szm.sk
Cc: xproc-dev@w3.org
Subject: Re: [xproc-dev] <none>

 

So you're comparing

err:XS0010

It is a static error if a pipeline contains a step whose specified inputs, outputs, and options do not match the signature for steps of that type.

See: Extension Steps <http://www.w3.org/TR/xproc/#err.inline.S0010> 

and

err:XS0031

It is a static error to use an option on an atomic step that is not declared on steps of that type.

See: Syntactic Shortcut for Option Values <http://www.w3.org/TR/xproc/#err.inline.S0031> , p:with-option <http://www.w3.org/TR/xproc/#err.inline.S0031.1> 

We can indeed say that XS0010 is more general than XS0031

 

Hope this helps

 

Xmlizer

On Mon, Aug 30, 2010 at 11:54 PM, temp <temp44@szm.sk> wrote:

Hello,
I would like to ask, what exactly is the difference between XS0010 and XS0031? I mean, isn't XS0031 a subset of XS0010?
Thanks



=== reklama ======================================
http://mail.szm.com - e-mail a priestor na www stranku zadarmo
http://webhosting.szm.com - domény a webhosting za najnižšie ceny
SZM.com používa COMDOM Antispam - www.comdomsoft.com <http://www.comdomsoft.com>  

 
Received on Monday, 13 September 2010 07:57:49 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 13 September 2010 07:57:50 GMT