mentionOf
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Sun, 08 Jul 2012 22:10:42 +0100
changeset 3786 051614aeb3ef
parent 3785 2924a3743712
child 3787 1db93aeaa3fa
mentionOf
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 22:00:04 2012 +0100
+++ b/model/grammar/ll.html	Sun Jul 08 22:10:42 2012 +0100
@@ -232,7 +232,7 @@
 <td><a id="prod-prov_n_LL-mentionExpression" name="prod-prov_n_LL-mentionExpression"></a>[<span class="prodNo">26</span>]&nbsp;&nbsp;&nbsp;</td>
 <td><code class="production prod">mentionExpression</code></td>
 <td>&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</td>
-<td><code class="content">"mentionOf" "(" <span class="prod"><a class="grammarRef" href="#prod-prov_n_LL-identifier">identifier</a></span> "," <span class="prod"><a class="grammarRef" href="#prod-prov_n_LL-identifier">identifier</a></span> "," <span class="prod"><a class="grammarRef" href="#prod-prov_n_LL-bIdentifier">bIdentifier</a></span> ")"</code></td>
+<td><code class="content">"mentionOf" "(" <span class="prod"><a class="grammarRef" href="#prod-prov_n_LL-eIdentifier">eIdentifier</a></span> "," <span class="prod"><a class="grammarRef" href="#prod-prov_n_LL-eIdentifier">eIdentifier</a></span> "," <span class="prod"><a class="grammarRef" href="#prod-prov_n_LL-bIdentifier">bIdentifier</a></span> ")"</code></td>
 </tr>
 </tbody>
 
--- a/model/grammar/ll.js	Sun Jul 08 22:00:04 2012 +0100
+++ b/model/grammar/ll.js	Sun Jul 08 22:10:42 2012 +0100
@@ -233,7 +233,7 @@
 '<td><a id="prod-mentionExpression" name="prod-mentionExpression"></a>[<span class="prodNo">26</span>]&nbsp;&nbsp;&nbsp;</td> ' + 
 '<td><code class="production prod">mentionExpression</code></td> ' + 
 '<td>&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</td> ' + 
-'<td><code class="content">"mentionOf" "(" <span class="prod"><a class="grammarRef" href="#prod-identifier">identifier</a></span> "," <span class="prod"><a class="grammarRef" href="#prod-identifier">identifier</a></span> "," <span class="prod"><a class="grammarRef" href="#prod-bIdentifier">bIdentifier</a></span> ")"</code></td> ' + 
+'<td><code class="content">"mentionOf" "(" <span class="prod"><a class="grammarRef" href="#prod-eIdentifier">eIdentifier</a></span> "," <span class="prod"><a class="grammarRef" href="#prod-eIdentifier">eIdentifier</a></span> "," <span class="prod"><a class="grammarRef" href="#prod-bIdentifier">bIdentifier</a></span> ")"</code></td> ' + 
 '</tr> ' + 
 '</tbody> ' + 
 ' ' + 
--- a/model/grammar/yack/prov-n-LL.bnf	Sun Jul 08 22:00:04 2012 +0100
+++ b/model/grammar/yack/prov-n-LL.bnf	Sun Jul 08 22:10:42 2012 +0100
@@ -84,7 +84,7 @@
 
 [27] specializationExpression::=	"specializationOf" "("  eIdentifier "," eIdentifier ")"
 
-[33] mentionExpression::=	"mentionOf" "(" identifier "," identifier "," bIdentifier ")" 
+[33] mentionExpression::=	"mentionOf" "(" eIdentifier "," eIdentifier "," bIdentifier ")" 
 
 
 
--- a/model/grammar/yack/prov-n-LL.bnf.html	Sun Jul 08 22:00:04 2012 +0100
+++ b/model/grammar/yack/prov-n-LL.bnf.html	Sun Jul 08 22:10:42 2012 +0100
@@ -231,7 +231,7 @@
 <td><a id="prod-prov_n_LL-mentionExpression" name="prod-prov_n_LL-mentionExpression"></a>[<span class="prodNo">26</span>]&nbsp;&nbsp;&nbsp;</td>
 <td><code class="production prod">mentionExpression</code></td>
 <td>&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</td>
-<td><code class="content">"mentionOf" "(" <span class="prod"><a class="grammarRef" href="#prod-prov_n_LL-identifier">identifier</a></span> "," <span class="prod"><a class="grammarRef" href="#prod-prov_n_LL-identifier">identifier</a></span> "," <span class="prod"><a class="grammarRef" href="#prod-prov_n_LL-bIdentifier">bIdentifier</a></span> ")"</code></td>
+<td><code class="content">"mentionOf" "(" <span class="prod"><a class="grammarRef" href="#prod-prov_n_LL-eIdentifier">eIdentifier</a></span> "," <span class="prod"><a class="grammarRef" href="#prod-prov_n_LL-eIdentifier">eIdentifier</a></span> "," <span class="prod"><a class="grammarRef" href="#prod-prov_n_LL-bIdentifier">bIdentifier</a></span> ")"</code></td>
 </tr>
 </tbody>