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: InterfaceDecl.xtext in de.cau.cs.kieler.synccharts.interfacedeclparser
    
  • ENBF: deInterfaceDecl.htmlde.cau.cs.kieler.synccharts.interfacedeclparser.InterfaceDecl.html

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

...