<?xml version="1.0" encoding="UTF-8" standalone="yes" ?>
<!DOCTYPE bugzilla SYSTEM "https://www.w3.org/Bugs/Public/page.cgi?id=bugzilla.dtd">

<bugzilla version="5.0.4"
          urlbase="https://www.w3.org/Bugs/Public/"
          
          maintainer="sysbot+bugzilla@w3.org"
>

    <bug>
          <bug_id>21002</bug_id>
          
          <creation_ts>2013-02-15 08:40:37 +0000</creation_ts>
          <short_desc>[XPROC10] Error in XS0018</short_desc>
          <delta_ts>2014-02-19 10:26:22 +0000</delta_ts>
          <reporter_accessible>1</reporter_accessible>
          <cclist_accessible>1</cclist_accessible>
          <classification_id>1</classification_id>
          <classification>Unclassified</classification>
          <product>XML Processing Model</product>
          <component>Pipeline language</component>
          <version>unspecified</version>
          <rep_platform>PC</rep_platform>
          <op_sys>Windows NT</op_sys>
          <bug_status>ASSIGNED</bug_status>
          <resolution></resolution>
          
          
          <bug_file_loc></bug_file_loc>
          <status_whiteboard></status_whiteboard>
          <keywords></keywords>
          <priority>P2</priority>
          <bug_severity>normal</bug_severity>
          <target_milestone>---</target_milestone>
          
          
          <everconfirmed>1</everconfirmed>
          <reporter name="Tim Mills">tim</reporter>
          <assigned_to name="Norman Walsh">ndw</assigned_to>
          <cc>vojtech.toman</cc>
          
          

      

      

      

          <comment_sort_order>oldest_to_newest</comment_sort_order>  
          <long_desc isprivate="0" >
    <commentid>83177</commentid>
    <comment_count>0</comment_count>
    <who name="Tim Mills">tim</who>
    <bug_when>2013-02-15 08:40:37 +0000</bug_when>
    <thetext>Static error XS0018 is defined as follows.

&quot;If an option is required, it is a static error to invoke the step 
without specifying a value for that option.&quot;

Section 6.1 Static Errors defines the meaning of static error.

&quot;[Definition: A static error is one which can be detected before 
pipeline evaluation is even attempted.] Examples of static errors 
include cycles and incorrect specification of inputs and outputs.

Static errors are fatal and must be detected before any steps are 
evaluated.&quot;

Invocation of a step is typically something performed during 
evaluation.  Therefore either this error should be a dynamic error, or 
it should be redefined to avoid use of &quot;invoke&quot;, e.g.

&quot;If an option is required, it is a static error to specify the 
invocation of a step without specifying a value for that option.&quot;

Test case &quot;Test for err:XS0018 - 002&quot; illustrates an example where this 
error condition can only be detected at run time - when options are not 
supplied when invoking the top-level pipeline.  It is only when the host 
language fails to pass an option which is required that the invocation 
will fail.</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>83802</commentid>
    <comment_count>1</comment_count>
    <who name="Vojtech Toman">vojtech.toman</who>
    <bug_when>2013-02-27 14:14:54 +0000</bug_when>
    <thetext>Good observation. The simplest solution probably is to remove the test err-s0018-002 (and replace it with err-s0018-003).</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>84903</commentid>
    <comment_count>2</comment_count>
    <who name="Tim Mills">tim</who>
    <bug_when>2013-03-24 21:55:47 +0000</bug_when>
    <thetext>Having read the minutes of the WG teleconference, might I suggest adding new dynamic error codes to cover the case of (external) initiation of a pipeline, analogous to those in XSLT for initiating a transformation.</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>100869</commentid>
    <comment_count>3</comment_count>
    <who name="Norman Walsh">ndw</who>
    <bug_when>2014-02-19 10:24:46 +0000</bug_when>
    <thetext>In 5.7.2 p:option, replace the first paragraph after the first
p:option syntax diagram with:


  An option may be declared as required. If an option is required, it
  is an error to invoke that step without specifying a value for that
  option. For steps invoked within a pipeline, it is a static error
  (err:XS0018) to specify an invocation without specifying a value for
  a requried option. For pipelines invoked directly by an external
  environment (informally, top-level pipelines), this error cannot be
  detected statically. It is a dymamic error (err:XD????) to invoke
  a pipeline without specifying a value for a required option.</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>100870</commentid>
    <comment_count>4</comment_count>
    <who name="Tim Mills">tim</who>
    <bug_when>2014-02-19 10:26:22 +0000</bug_when>
    <thetext>Thanks.</thetext>
  </long_desc>
      
      

    </bug>

</bugzilla>