Special characters in M5 specifications
( -> atom_class_def
-> cardinal_decl
-> object_elab
-> tuple_class_def
) -> atom_class_def
-> cardinal_decl
-> object_elab
-> tuple_class_def
+ -> float_constant
-> literal
- -> context_specif
-> float_constant
-> literal
* -> cardinal_decl
, -> object_elab
-> process_specif
-> tuple_class_def
.... -> letter
... -> letter
.. -> atom_class_def
-> cardinal_decl
. -> float_constant
-> process_specif
: -> atom_class_def
-> context_specif
-> node
-> tuple_class_def
; -> event_cycle_specif
-> m5_specification
-> object_cycle_specif
!= -> spec_condition
= -> object_elab
-> spec_condition
< -> cycle
-> refinement
-> spec_condition
-> synchro
> -> cycle
-> refinement
-> spec_condition
-> synchro
>= -> spec_condition
<= -> spec_condition
[ -> base_type
-> connection_list
] -> base_type
-> connection_list
_ -> identifier
0 -> digit
1 -> digit
2 -> digit
3 -> digit
4 -> digit
5 -> digit
6 -> digit
7 -> digit
8 -> digit
9 -> digit
A -> letter
B -> letter
E -> float_constant
Z -> letter
a -> letter
b -> letter
z -> letter
any_character -> string_constant