Author: niels
Date: Mon May 26 23:39:21 2014
New Revision: 9467
URL: http://svn.gna.org/viewcvs/service-tech?rev=9467&view=rev
Log:
* updated grammar diagrams
Added:
trunk/lola2/doc/grammars/formula/rr-1.34.833.png (with props)
Removed:
trunk/lola2/doc/grammars/formula/rr-1.31.721.png
Modified:
trunk/lola2/doc/grammars/formula.html
trunk/lola2/doc/grammars/formula/atomic_proposition.png
trunk/lola2/doc/grammars/formula/binary_temporal_operator.png
trunk/lola2/doc/grammars/formula/boolean_operator.png
trunk/lola2/doc/grammars/formula/formula.png
trunk/lola2/doc/grammars/formula/path_quantifier.png
trunk/lola2/doc/grammars/formula/statepredicate.png
trunk/lola2/doc/grammars/formula/term.png
trunk/lola2/doc/grammars/formula/term_comparison_operator.png
trunk/lola2/doc/grammars/formula/unary_temporal_operator.png
Modified: trunk/lola2/doc/grammars/formula.html
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/doc/grammars/formula.html?rev=9467&r1=9466&r2=9467&view=diff
==============================================================================
--- trunk/lola2/doc/grammars/formula.html (original)
+++ trunk/lola2/doc/grammars/formula.html Mon May 26 23:39:21 2014
@@ -1,7 +1,7 @@
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
- <meta content="Railroad Diagram Generator 1.33.807"
name="generator"><style type="text/css" xml:space="preserve">
+ <meta content="Railroad Diagram Generator 1.34.833"
name="generator"><style type="text/css" xml:space="preserve">
::-moz-selection
{
color: #FFFCF0;
@@ -159,12 +159,20 @@
-ms-user-select: none;
}
</style><style type="text/css" xml:space="preserve"></style></head>
- <body>
- <p style="font-size: 14px; font-weight:bold"><a
name="formula">formula:</a></p><img border="0" height="52"
src="formula/formula.png" usemap="#formula.map" width="400"><map
name="formula.map">
- <area coords="175,1,287,33" href="#statepredicate" shape="rect"
title="statepredicate"></map><p>
+ <body style="">
+
+ <p style="font-size: 14px; font-weight:bold"><a
name="formula">formula:</a></p>
+ <img border="0" height="52" src="formula/formula.png"
usemap="#formula.map" width="400"><map name="formula.map">
+ <area coords="175,1,287,33" href="#statepredicate" shape="rect"
title="statepredicate"></map>
+
+ <p>
+
<div class="ebnf"><pre><a href="#formula" shape="rect"
title="formula">formula</a> ::= 'FORMULA'? <a href="#statepredicate"
shape="rect" title="statepredicate">statepredicate</a> ';'?</pre></div>
- </p>
- <p>no references</p><br><p style="font-size: 14px; font-weight:bold"><a
name="statepredicate">statepredicate:</a></p><img border="0" height="300"
src="formula/statepredicate.png" usemap="#statepredicate.map" width="640"><map
name="statepredicate.map">
+
+ </p>
+
+ <p>no references</p><br><p style="font-size: 14px; font-weight:bold"><a
name="statepredicate">statepredicate:</a></p>
+ <img border="0" height="300" src="formula/statepredicate.png"
usemap="#statepredicate.map" width="640"><map name="statepredicate.map">
<area coords="95,1,207,33" href="#statepredicate" shape="rect"
title="statepredicate">
<area coords="49,45,189,77" href="#atomic_proposition" shape="rect"
title="atomic_proposition">
<area coords="117,89,229,121" href="#statepredicate" shape="rect"
title="statepredicate">
@@ -177,7 +185,10 @@
<area coords="251,221,363,253" href="#statepredicate" shape="rect"
title="statepredicate">
<area coords="95,265,207,297" href="#statepredicate" shape="rect"
title="statepredicate">
<area coords="227,265,413,297" href="#binary_temporal_operator"
shape="rect" title="binary_temporal_operator">
- <area coords="433,265,545,297" href="#statepredicate" shape="rect"
title="statepredicate"></map><p>
+ <area coords="433,265,545,297" href="#statepredicate" shape="rect"
title="statepredicate"></map>
+
+ <p>
+
<div class="ebnf"><pre><a href="#statepredicate" shape="rect"
title="statepredicate">statepredicate</a>
::= '(' <a href="#statepredicate" shape="rect"
title="statepredicate">statepredicate</a> ')'
| <a href="#atomic_proposition" shape="rect"
title="atomic_proposition">atomic_proposition</a>
@@ -186,71 +197,129 @@
| <a href="#path_quantifier" shape="rect"
title="path_quantifier">path_quantifier</a> <a href="#statepredicate"
shape="rect" title="statepredicate">statepredicate</a>
| <a href="#unary_temporal_operator" shape="rect"
title="unary_temporal_operator">unary_temporal_operator</a> <a
href="#statepredicate" shape="rect" title="statepredicate">statepredicate</a>
| '(' <a href="#statepredicate" shape="rect"
title="statepredicate">statepredicate</a> <a href="#binary_temporal_operator"
shape="rect" title="binary_temporal_operator">binary_temporal_operator</a> <a
href="#statepredicate" shape="rect" title="statepredicate">statepredicate</a>
')'</pre></div>
- </p>
- <p>referenced by:
- <ul>
+
+ </p>
+
+ <p>referenced by:
+
+ <ul>
+
<li><a href="#formula" title="formula">formula</a></li>
- <li><a href="#statepredicate"
title="statepredicate">statepredicate</a></li>
- </ul>
- </p><br><p style="font-size: 14px; font-weight:bold"><a
name="boolean_operator">boolean_operator:</a></p><img border="0" height="212"
src="formula/boolean_operator.png" width="146"><p>
+
+ <li><a href="#statepredicate"
title="statepredicate">statepredicate</a></li>
+
+ </ul>
+
+ </p><br><p style="font-size: 14px; font-weight:bold"><a
name="boolean_operator">boolean_operator:</a></p>
+ <img border="0" height="212" src="formula/boolean_operator.png"
width="146">
+
+ <p>
+
<div class="ebnf"><pre><a href="#boolean_operator" shape="rect"
title="boolean_operator">boolean_operator</a>
::= 'AND'
| 'OR'
| 'XOR'
| '->'
| '<->'</pre></div>
- </p>
- <p>referenced by:
- <ul>
- <li><a href="#statepredicate"
title="statepredicate">statepredicate</a></li>
- </ul>
- </p><br><p style="font-size: 14px; font-weight:bold"><a
name="unary_temporal_operator">unary_temporal_operator:</a></p><img border="0"
height="256" src="formula/unary_temporal_operator.png" width="206"><p>
+
+ </p>
+
+ <p>referenced by:
+
+ <ul>
+
+ <li><a href="#statepredicate"
title="statepredicate">statepredicate</a></li>
+
+ </ul>
+
+ </p><br><p style="font-size: 14px; font-weight:bold"><a
name="unary_temporal_operator">unary_temporal_operator:</a></p>
+ <img border="0" height="124" src="formula/unary_temporal_operator.png"
width="206">
+
+ <p>
+
<div class="ebnf"><pre><a href="#unary_temporal_operator"
shape="rect" title="unary_temporal_operator">unary_temporal_operator</a>
::= 'ALWAYS'
| 'EVENTUALLY'
- | 'NEXTSTATE'
- | 'REACHABLE'
- | 'INVARIANT'
- | 'IMPOSSIBLE'</pre></div>
- </p>
- <p>referenced by:
- <ul>
- <li><a href="#statepredicate"
title="statepredicate">statepredicate</a></li>
- </ul>
- </p><br><p style="font-size: 14px; font-weight:bold"><a
name="binary_temporal_operator">binary_temporal_operator:</a></p><img
border="0" height="80" src="formula/binary_temporal_operator.png"
width="176"><p>
+ | 'NEXTSTATE'</pre></div>
+
+ </p>
+
+ <p>referenced by:
+
+ <ul>
+
+ <li><a href="#statepredicate"
title="statepredicate">statepredicate</a></li>
+
+ </ul>
+
+ </p><br><p style="font-size: 14px; font-weight:bold"><a
name="binary_temporal_operator">binary_temporal_operator:</a></p>
+ <img border="0" height="80" src="formula/binary_temporal_operator.png"
width="176">
+
+ <p>
+
<div class="ebnf"><pre><a href="#binary_temporal_operator"
shape="rect" title="binary_temporal_operator">binary_temporal_operator</a>
::= 'UNTIL'
| 'RELEASE'</pre></div>
- </p>
- <p>referenced by:
- <ul>
- <li><a href="#statepredicate"
title="statepredicate">statepredicate</a></li>
- </ul>
- </p><br><p style="font-size: 14px; font-weight:bold"><a
name="path_quantifier">path_quantifier:</a></p><img border="0" height="80"
src="formula/path_quantifier.png" width="178"><p>
+
+ </p>
+
+ <p>referenced by:
+
+ <ul>
+
+ <li><a href="#statepredicate"
title="statepredicate">statepredicate</a></li>
+
+ </ul>
+
+ </p><br><p style="font-size: 14px; font-weight:bold"><a
name="path_quantifier">path_quantifier:</a></p>
+ <img border="0" height="80" src="formula/path_quantifier.png"
width="178">
+
+ <p>
+
<div class="ebnf"><pre><a href="#path_quantifier" shape="rect"
title="path_quantifier">path_quantifier</a>
::= 'ALLPATH'
| 'EXPATH'</pre></div>
- </p>
- <p>referenced by:
- <ul>
- <li><a href="#statepredicate"
title="statepredicate">statepredicate</a></li>
- </ul>
- </p><br><p style="font-size: 14px; font-weight:bold"><a
name="atomic_proposition">atomic_proposition:</a></p><img border="0"
height="212" src="formula/atomic_proposition.png"
usemap="#atomic_proposition.map" width="426"><map name="atomic_proposition.map">
+
+ </p>
+
+ <p>referenced by:
+
+ <ul>
+
+ <li><a href="#statepredicate"
title="statepredicate">statepredicate</a></li>
+
+ </ul>
+
+ </p><br><p style="font-size: 14px; font-weight:bold"><a
name="atomic_proposition">atomic_proposition:</a></p>
+ <img border="0" height="212" src="formula/atomic_proposition.png"
usemap="#atomic_proposition.map" width="426"><map name="atomic_proposition.map">
<area coords="49,1,97,33" href="#term" shape="rect" title="term">
<area coords="117,1,309,33" href="#term_comparison_operator"
shape="rect" title="term_comparison_operator">
- <area coords="329,1,377,33" href="#term" shape="rect"
title="term"></map><p>
+ <area coords="329,1,377,33" href="#term" shape="rect"
title="term"></map>
+
+ <p>
+
<div class="ebnf"><pre><a href="#atomic_proposition" shape="rect"
title="atomic_proposition">atomic_proposition</a>
::= <a href="#term" shape="rect" title="term">term</a> <a
href="#term_comparison_operator" shape="rect"
title="term_comparison_operator">term_comparison_operator</a> <a href="#term"
shape="rect" title="term">term</a>
| 'TRUE'
| 'FALSE'
| 'FIREABLE' '(' 'IDENTIFIER' ')'
| 'INITIAL'</pre></div>
- </p>
- <p>referenced by:
- <ul>
- <li><a href="#statepredicate"
title="statepredicate">statepredicate</a></li>
- </ul>
- </p><br><p style="font-size: 14px; font-weight:bold"><a
name="term_comparison_operator">term_comparison_operator:</a></p><img
border="0" height="256" src="formula/term_comparison_operator.png"
width="138"><p>
+
+ </p>
+
+ <p>referenced by:
+
+ <ul>
+
+ <li><a href="#statepredicate"
title="statepredicate">statepredicate</a></li>
+
+ </ul>
+
+ </p><br><p style="font-size: 14px; font-weight:bold"><a
name="term_comparison_operator">term_comparison_operator:</a></p>
+ <img border="0" height="256" src="formula/term_comparison_operator.png"
width="138">
+
+ <p>
+
<div class="ebnf"><pre><a href="#term_comparison_operator"
shape="rect" title="term_comparison_operator">term_comparison_operator</a>
::= '='
| '!='
@@ -258,41 +327,72 @@
| '>='
| '<'
| '<='</pre></div>
- </p>
- <p>referenced by:
- <ul>
+
+ </p>
+
+ <p>referenced by:
+
+ <ul>
+
<li><a href="#atomic_proposition"
title="atomic_proposition">atomic_proposition</a></li>
- </ul>
- </p><br><p style="font-size: 14px; font-weight:bold"><a
name="term">term:</a></p><img border="0" height="256" src="formula/term.png"
usemap="#term.map" width="290"><map name="term.map">
+
+ </ul>
+
+ </p><br><p style="font-size: 14px; font-weight:bold"><a
name="term">term:</a></p>
+ <img border="0" height="300" src="formula/term.png" usemap="#term.map"
width="290"><map name="term.map">
<area coords="95,1,143,33" href="#term" shape="rect" title="term">
<area coords="49,133,97,165" href="#term" shape="rect" title="term">
<area coords="167,133,215,165" href="#term" shape="rect" title="term">
<area coords="49,177,97,209" href="#term" shape="rect" title="term">
<area coords="163,177,211,209" href="#term" shape="rect" title="term">
- <area coords="193,221,241,253" href="#term" shape="rect"
title="term"></map><p>
+ <area coords="193,221,241,253" href="#term" shape="rect"
title="term"></map>
+
+ <p>
+
<div class="ebnf"><pre><a href="#term" shape="rect"
title="term">term</a> ::= '(' <a href="#term" shape="rect"
title="term">term</a> ')'
| 'IDENTIFIER'
| 'NUMBER'
| <a href="#term" shape="rect" title="term">term</a> '+' <a
href="#term" shape="rect" title="term">term</a>
| <a href="#term" shape="rect" title="term">term</a> '-' <a
href="#term" shape="rect" title="term">term</a>
- | 'NUMBER' '*' <a href="#term" shape="rect"
title="term">term</a></pre></div>
- </p>
- <p>referenced by:
- <ul>
+ | 'NUMBER' '*' <a href="#term" shape="rect" title="term">term</a>
+ | 'oo'</pre></div>
+
+ </p>
+
+ <p>referenced by:
+
+ <ul>
+
<li><a href="#atomic_proposition"
title="atomic_proposition">atomic_proposition</a></li>
+
<li><a href="#term" title="term">term</a></li>
- </ul>
+
+ </ul>
+
</p><br><hr>
- <p>
+
+ <p>
+
<table border="0" class="signature">
+
<tr>
+
<td style="width: 100%"> </td>
+
<td valign="top">
+
<nobr class="signature">... generated by <a
class="signature" href="http://www.bottlecaps.de/rr/ui";
name="Railroad-Diagram-Generator" target="_blank"
title="http://www.bottlecaps.de/rr/ui";>Railroad Diagram Generator</a></nobr>
+
</td>
- <td><a href="http://www.bottlecaps.de/rr/ui";
name="Railroad-Diagram-Generator" target="_blank"
title="http://www.bottlecaps.de/rr/ui";><img border="0" height="16"
src="formula/rr-1.33.807.png" width="16"></a></td>
+
+ <td><a href="http://www.bottlecaps.de/rr/ui";
name="Railroad-Diagram-Generator" target="_blank"
title="http://www.bottlecaps.de/rr/ui";>
+ <img border="0" height="16" src="formula/rr-1.34.833.png"
width="16"></a></td>
+
</tr>
+
</table>
- </p>
+
+ </p>
+
</body>
</html>
Modified: trunk/lola2/doc/grammars/formula/atomic_proposition.png
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/doc/grammars/formula/atomic_proposition.png?rev=9467&r1=9466&r2=9467&view=diff
==============================================================================
Binary files - no diff available.
Modified: trunk/lola2/doc/grammars/formula/binary_temporal_operator.png
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/doc/grammars/formula/binary_temporal_operator.png?rev=9467&r1=9466&r2=9467&view=diff
==============================================================================
Binary files - no diff available.
Modified: trunk/lola2/doc/grammars/formula/boolean_operator.png
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/doc/grammars/formula/boolean_operator.png?rev=9467&r1=9466&r2=9467&view=diff
==============================================================================
Binary files - no diff available.
Modified: trunk/lola2/doc/grammars/formula/formula.png
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/doc/grammars/formula/formula.png?rev=9467&r1=9466&r2=9467&view=diff
==============================================================================
Binary files - no diff available.
Modified: trunk/lola2/doc/grammars/formula/path_quantifier.png
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/doc/grammars/formula/path_quantifier.png?rev=9467&r1=9466&r2=9467&view=diff
==============================================================================
Binary files - no diff available.
Removed: trunk/lola2/doc/grammars/formula/rr-1.31.721.png
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/doc/grammars/formula/rr-1.31.721.png?rev=9466&view=auto
==============================================================================
Binary file - no diff available.
Added: trunk/lola2/doc/grammars/formula/rr-1.34.833.png
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/doc/grammars/formula/rr-1.34.833.png?rev=9467&view=auto
==============================================================================
Binary file - no diff available.
Propchange: trunk/lola2/doc/grammars/formula/rr-1.34.833.png
------------------------------------------------------------------------------
svn:executable = *
Propchange: trunk/lola2/doc/grammars/formula/rr-1.34.833.png
------------------------------------------------------------------------------
svn:mime-type = application/octet-stream
Modified: trunk/lola2/doc/grammars/formula/statepredicate.png
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/doc/grammars/formula/statepredicate.png?rev=9467&r1=9466&r2=9467&view=diff
==============================================================================
Binary files - no diff available.
Modified: trunk/lola2/doc/grammars/formula/term.png
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/doc/grammars/formula/term.png?rev=9467&r1=9466&r2=9467&view=diff
==============================================================================
Binary files - no diff available.
Modified: trunk/lola2/doc/grammars/formula/term_comparison_operator.png
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/doc/grammars/formula/term_comparison_operator.png?rev=9467&r1=9466&r2=9467&view=diff
==============================================================================
Binary files - no diff available.
Modified: trunk/lola2/doc/grammars/formula/unary_temporal_operator.png
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/doc/grammars/formula/unary_temporal_operator.png?rev=9467&r1=9466&r2=9467&view=diff
==============================================================================
Binary files - no diff available.
--
You received this e-mail, because you subscribed the mailing list
"service-tech-commits" which will forward you any e-mail addressed to
[email protected]. If you want to unsubscribe or make any changes to
your subscription, please go to
https://mail.gna.org/listinfo/service-tech-commits.
