usage production
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Sun, 08 Jul 2012 22:00:04 +0100
changeset 3785 2924a3743712
parent 3784 a4fd318253c6
child 3786 051614aeb3ef
usage production
model/grammar/ll.html
model/grammar/ll.js
model/grammar/yack/prov-n-LL.bnf
model/grammar/yack/prov-n-LL.bnf.html
--- a/model/grammar/ll.html	Sun Jul 08 21:59:18 2012 +0100
+++ b/model/grammar/ll.html	Sun Jul 08 22:00:04 2012 +0100
@@ -106,7 +106,7 @@
 <td><a id="prod-prov_n_LL-usageExpression" name="prod-prov_n_LL-usageExpression"></a>[<span class="prodNo">12</span>]&nbsp;&nbsp;&nbsp;</td>
 <td><code class="production prod">usageExpression</code></td>
 <td>&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</td>
-<td><code class="content">"used" "(" <span class="prod"><a class="grammarRef" href="#prod-prov_n_LL-optionalIdentifier">optionalIdentifier</a></span> <span class="prod"><a class="grammarRef" href="#prod-prov_n_LL-aIdentifier">aIdentifier</a></span> "," (( "," <span class="prod"><a class="grammarRef" href="#prod-prov_n_LL-eIdentifierOrMarker">eIdentifierOrMarker</a></span> "," <span class="prod"><a class="grammarRef" href="#prod-prov_n_LL-timeOrMarker">timeOrMarker</a></span> ))? <span class="prod"><a class="grammarRef" href="#prod-prov_n_LL-optionalAttributeValuePairs">optionalAttributeValuePairs</a></span> ")"</code></td>
+<td><code class="content">"used" "(" <span class="prod"><a class="grammarRef" href="#prod-prov_n_LL-optionalIdentifier">optionalIdentifier</a></span> <span class="prod"><a class="grammarRef" href="#prod-prov_n_LL-aIdentifier">aIdentifier</a></span> (( "," <span class="prod"><a class="grammarRef" href="#prod-prov_n_LL-eIdentifierOrMarker">eIdentifierOrMarker</a></span> "," <span class="prod"><a class="grammarRef" href="#prod-prov_n_LL-timeOrMarker">timeOrMarker</a></span> ))? <span class="prod"><a class="grammarRef" href="#prod-prov_n_LL-optionalAttributeValuePairs">optionalAttributeValuePairs</a></span> ")"</code></td>
 </tr>
 </tbody>
 
--- a/model/grammar/ll.js	Sun Jul 08 21:59:18 2012 +0100
+++ b/model/grammar/ll.js	Sun Jul 08 22:00:04 2012 +0100
@@ -107,7 +107,7 @@
 '<td><a id="prod-usageExpression" name="prod-usageExpression"></a>[<span class="prodNo">12</span>]&nbsp;&nbsp;&nbsp;</td> ' + 
 '<td><code class="production prod">usageExpression</code></td> ' + 
 '<td>&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</td> ' + 
-'<td><code class="content">"used" "(" <span class="prod"><a class="grammarRef" href="#prod-optionalIdentifier">optionalIdentifier</a></span> <span class="prod"><a class="grammarRef" href="#prod-aIdentifier">aIdentifier</a></span> "," ( "," <span class="prod"><a class="grammarRef" href="#prod-eIdentifierOrMarker">eIdentifierOrMarker</a></span> "," <span class="prod"><a class="grammarRef" href="#prod-timeOrMarker">timeOrMarker</a></span> )? <span class="prod"><a class="grammarRef" href="#prod-optionalAttributeValuePairs">optionalAttributeValuePairs</a></span> ")"</code></td> ' + 
+'<td><code class="content">"used" "(" <span class="prod"><a class="grammarRef" href="#prod-optionalIdentifier">optionalIdentifier</a></span> <span class="prod"><a class="grammarRef" href="#prod-aIdentifier">aIdentifier</a></span> ( "," <span class="prod"><a class="grammarRef" href="#prod-eIdentifierOrMarker">eIdentifierOrMarker</a></span> "," <span class="prod"><a class="grammarRef" href="#prod-timeOrMarker">timeOrMarker</a></span> )? <span class="prod"><a class="grammarRef" href="#prod-optionalAttributeValuePairs">optionalAttributeValuePairs</a></span> ")"</code></td> ' + 
 '</tr> ' + 
 '</tbody> ' + 
 ' ' + 
--- a/model/grammar/yack/prov-n-LL.bnf	Sun Jul 08 21:59:18 2012 +0100
+++ b/model/grammar/yack/prov-n-LL.bnf	Sun Jul 08 22:00:04 2012 +0100
@@ -36,7 +36,7 @@
 [11] identifierOrMarker::=(identifier | "-")
 
 
-[12] usageExpression::=	"used" "(" optionalIdentifier  aIdentifier "," ("," eIdentifierOrMarker "," timeOrMarker)? optionalAttributeValuePairs ")"
+[12] usageExpression::=	"used" "(" optionalIdentifier  aIdentifier ("," eIdentifierOrMarker "," timeOrMarker)? optionalAttributeValuePairs ")"
 
 [16] communicationExpression::=	"wasInformedBy" "(" optionalIdentifier aIdentifier "," aIdentifier optionalAttributeValuePairs ")"
 
--- a/model/grammar/yack/prov-n-LL.bnf.html	Sun Jul 08 21:59:18 2012 +0100
+++ b/model/grammar/yack/prov-n-LL.bnf.html	Sun Jul 08 22:00:04 2012 +0100
@@ -105,7 +105,7 @@
 <td><a id="prod-prov_n_LL-usageExpression" name="prod-prov_n_LL-usageExpression"></a>[<span class="prodNo">12</span>]&nbsp;&nbsp;&nbsp;</td>
 <td><code class="production prod">usageExpression</code></td>
 <td>&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</td>
-<td><code class="content">"used" "(" <span class="prod"><a class="grammarRef" href="#prod-prov_n_LL-optionalIdentifier">optionalIdentifier</a></span> <span class="prod"><a class="grammarRef" href="#prod-prov_n_LL-aIdentifier">aIdentifier</a></span> "," (( "," <span class="prod"><a class="grammarRef" href="#prod-prov_n_LL-eIdentifierOrMarker">eIdentifierOrMarker</a></span> "," <span class="prod"><a class="grammarRef" href="#prod-prov_n_LL-timeOrMarker">timeOrMarker</a></span> ))? <span class="prod"><a class="grammarRef" href="#prod-prov_n_LL-optionalAttributeValuePairs">optionalAttributeValuePairs</a></span> ")"</code></td>
+<td><code class="content">"used" "(" <span class="prod"><a class="grammarRef" href="#prod-prov_n_LL-optionalIdentifier">optionalIdentifier</a></span> <span class="prod"><a class="grammarRef" href="#prod-prov_n_LL-aIdentifier">aIdentifier</a></span> (( "," <span class="prod"><a class="grammarRef" href="#prod-prov_n_LL-eIdentifierOrMarker">eIdentifierOrMarker</a></span> "," <span class="prod"><a class="grammarRef" href="#prod-prov_n_LL-timeOrMarker">timeOrMarker</a></span> ))? <span class="prod"><a class="grammarRef" href="#prod-prov_n_LL-optionalAttributeValuePairs">optionalAttributeValuePairs</a></span> ")"</code></td>
 </tr>
 </tbody>