Extend grammar with source location decorations

RationaleMCP/0031/grammar.md

@@ -66,10 +66,10 @@ The _S-CHAR_ accepts Unicode other than " and \\:
 > _flat-modelica_ →\
 >   _VERSION-HEADER_\
 >   **package** _IDENT_\
->    ( _class-definition_ **;**\
->    | _global-constant_ **;**\
+>    ( _decoration_? _class-definition_ **;**\
+>    | _decoration_? _global-constant_ **;**\
 >    )*\
->    **model** _long-class-specifier_ **;**\
+>    _decoration_? **model** _long-class-specifier_ **;**\
 >    ( _annotation-comment_ **;** )?
 >   **end** _IDENT_ **;**
 
@@ -130,14 +130,14 @@ end _F;
 > _enumeration-literal_ → _IDENT_ _comment_
 
 > _composition_ →\
->   (_generic-element_ **;**)* \
+>   (_decoration_? _generic-element_ **;**)* \
 >   ( **equation** ( _equation_ **;** )* \
 >   | **initial** **equation** ( _initial-equation_ **;** )* \
 >   | **initial**? **algorithm** ( _statement_ **;** )* \
 >   ~~| **public** (_generic-element_ **;**)*~~ \
 >   ~~| **protected** (_generic-element_ **;**)*~~ \
 >   )* \
->   ( **external** _language-specification_?\
+>   ( _decoration_? **external** _language-specification_?\
 >    _external-function-call_? _annotation-comment_? **;**\
 >   )?\
 >   _base-partition_* \
@@ -190,7 +190,7 @@ end _F;
 >   | **algorithm** ( _statement_ **;** )* \
 >   )*
 
-> _clock-clause_ → **Clock** _IDENT_ **=** _expression_ _comment_
+> _clock-clause_ → _decoration_? **Clock** _IDENT_ **=** _expression_ _comment_
 
 
 ## B23 Extends
@@ -231,7 +231,7 @@ end _F;
 > _argument-list_ → _argument_ ( **,** _argument_ )*
 
 > _argument_\
->   → _element-modification-or-replaceable_\
+>   → _decoration_? _element-modification-or-replaceable_\
 >   ~~| _element-redeclaration_~~
 
 > _element-modification-or-replaceable_ →\
@@ -266,7 +266,8 @@ end _F;
 ## B26 Equations
 
 > _equation_ →\
->   ( _simple-expression_ ( **=** _expression_ )?\
+>   _decoration_?\
+>   ( _simple-expression_ _decoration_? ( **=** _expression_ )?\
 >   | _if-equation_\
 >   | _for-equation_\
 >   ~~| _connect-clause_~~\
@@ -277,6 +278,7 @@ end _F;
 > _initial-equation_ → _equation_ | _prioritize-equation_
 
 > _statement_ →\
+>   _decoration_?\
 >   ( _component-reference_ ( **:=** _expression_ | _function-call-args_ )\
 >   | `[(]` _output-expression-list_ `[)]` **:=** _component-reference_ _function-call-args_\
 >   | **break**\
@@ -356,12 +358,16 @@ end _F;
 
 ## Expressions
 
-> _expression_ → _simple-expression_ | _if-expression_
+> _decoration_ → **@** UNSIGNED-INTEGER
+
+> _expression_ → _expression-no-decoration_ _decoration_?
+
+> _expression-no-decoration_ → _simple-expression_ | _if-expression_
 
 > _if-expression_ →\
 >   **if** _expression_ **then** _expression_\
 >   ( **elseif** _expression_ **then** _expression_ )* \
->   **else** _expression_
+>   **else** _expression-no-decoration_
 
 > _simple-expression_ → _logical-expression_ ( **:** _logical-expression_ ( **:** _logical-expression_ )? )?
 
@@ -392,7 +398,7 @@ end _F;
 >   | **true**\
 >   | ( **der** | **initial** | **pure** ) _function-call-args_\
 >   | _component-reference_ _function-call-args_?\
->   | `[(]` _output-expression-list_ `[)]` _array-subscripts_?\
+>   | `[(]` _decoration_? _output-expression-list_ `[)]` _array-subscripts_?\
 >   | `[[]` _expression-list_ ( **;** _expression-list_ )* `[]]`\
 >   | **{** _array-arguments_ **}**\
 >   | **end**