Page History
...
- Signals and Variables can be declared in a textual representation for a specific state and this state's subregions.
- If you are familiar with Xtext grammars or ENBF see following links for the complete syntax
- Xtext: http://trac.rtsys.informatik.uni-kiel.de/trac/kieler/browser/plugins/ InterfaceDecl.xtext!de.cau.cs.kieler.synccharts.interfacedeclparser/src/de/cau/cs/kieler/synccharts/interfacedeclparser/InterfaceDecl.xtext
- ENBF
- Xtext: http://trac.rtsys.informatik.uni-kiel.de/trac/kieler/browser/plugins/ InterfaceDecl.xtext!de.cau.cs.kieler.synccharts.interfacedeclparser/src/de/cau/cs/kieler/synccharts/interfacedeclparser/InterfaceDecl.xtext
Short Sample
- signals can be added using the signalkeyword finished by a semicolon.
- there can be an arbitrary number of comma separated signals
- inputs are declared by using the keyword input (same for output and input output)
- variables are added in a similar way like signals by using the varkeyword finished by a semicolon.
- there can be an arbitrary number of comma separated variables just like for the signals
- an initial value is defined by :=following directly after the signal's name (care: use quotation marks for the value, as the underlying type is EString)
- the value type can be declared directly afterwards with a preceding colon
- the combine operator and value type are declared by the keywords combine ... with
- possible combine operators : NONE, +, *, max, min, or, and, host
- possible value types : PURE, BOOL, UNSIGNED, INT, FLOAT,HOST
- signals and variables for a state's subregions are declared starting with region's identifier followed by a colon (R0: signal... for region R0)
- you can use single line comments and multi line comments /* */ as you like
...
Overview
Content Tools