Chapitre 2 Keywords and base types
"on": ON
"true": TRUE
"false": FALSE
2.2 Symbols
"?": IN
"!": OUT
"->": TO
"<-": BACKARROW
'@': AT
'=': EQU
'\\': BACKSLASH
'*': TIMES
'/': DIV
'-': MINUS
'%': CEIL
'|': BAR
'[': LDIM
']': RDIM
'<': LARG
'>': RARG
'{': LLIST
'}': RLIST
'(': LPAR
')': RPAR
'&': AND
':': COL
'#'[^\n]*: COMMENT
'"'[^'"']*'"'*: STRING
['a'-'z''A'-'Z''_']['a'-'z''A'-'Z''_''-''0'-'9''*']*: NAME ( if not a keyword )
['+''-']?['0'-'9']+('.'['0'-'9']*)?('e'['+''-']?['0'-'9']+)?: VAL
2.3 General application information
"include": INCLUDE
"def": DEF
"main": MAIN
"application": APPLICATION
"description": DESCRIPTION
2.4 Algorithm
"constant": CONSTANT
"sensor": SENSOR
"actuator": ACTUATOR
"memory": DELAY
"algorithm": ALGORITHM
"internal": INTERNAL
"attach_all": ATTACH_ALL
"attach_ref": ATTACH_REF
"attach_condi": ATTACH_CONDI
"attach_condo": ATTACH_CONDO
"attach_explode": ATTACH_EXPLODE
"attach_implode": ATTACH_IMPLODE
"conditions": CONDITIONS
"references": REFERENCES
"dependences": DEPENDANCES
"strong_precedence_data": STRONGPRECEDENCEDATA
"weak_precedence_data": WEAKPRECEDENCEDATA
"precedence": PRECEDENCE
"data": DATA
"condition_synchro": CONDITION_SYNCHRO
2.5 Architecture
"architecture": ARCHITECTURE
"operator": OPERATOR
"operators": OPERATORS
"gate": GATE
"medium": MEDIUM
"media": MEDIA
"sampp": SAMPP
"sammp": SAMMP
"ram": RAM
"broadcast": BROADCAST
"no_broadcast": NOBROADCAST
"extra_durations_operator": EXTRA_DURATIONS_OPERATOR
"extra_durations_medium": EXTRA_DURATIONS_MEDIUM
"connections": CONNECTIONS
2.6 Operation groups (previously called software components)
"operation_group": OG
"software_component": XSC
"constraint": CONSTRAINT
"absolute": ABSOLUTE
"relative": RELATIVE
"union": UNION
"disjunction": DISJUNCTION
"syndex_version": SYNDEX_VERSION
"initseq": INIT_SEQ
"loopseq": LOOP_SEQ
"endseq": END_SEQ
"code_phases": CODE_PHASES
2.7 Adequation result
"ports": PORTS
"schedules": SCHEDULES
"operation_scheduled": OPERATION_SCHEDULED
"scheduled": SCHEDULED
"calcul": CALCUL
"communication": COMMUNICATION
"send": SEND
"receive": RECEIVE
"sync": SYNC
"send_synchro": SEND_SYNCHRO
"receive_synchro": RECEIVE_SYNCHRO
"read": READ
"write": WRITE
"ihm": IHM
"condI": CONDI
"condO": CONDO
"explode": EXPLODE
"implode": IMPLODE
"synchro_constant": SYNCHRO_CONSTANT
"cond_level": COND_LEVEL
"schedule_dependences": SCHEDULE_DEPENDENCES
"schedule_conditions": SCHEDULE_CONDITIONS