Page History

...

Graphical Elements in a ThinKCharts SyncChart

Image Removed 

Interface Declaration Parser

• 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/de.cau.cs.kieler.synccharts.interfacedeclparser/src/de/cau/cs/kieler/synccharts/interfacedeclparser/InterfaceDecl.xtext
    
  • ENBF

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

...