| <html> | |
| <body> | |
| <h1>Naming rules and conventions</h1> | |
| <h2>Reserved Keywords</h2> | |
| <p>In XLIA, some keywords are reserved and therefore cannot be used to name any state, machine, property or transition. Those are the following :</p> | |
| <table> | |
| <tr> | |
| <th>.</th> | |
| <th>.</th> | |
| <th>.</th> | |
| <th>.</th> | |
| <th>.</th> | |
| <th>.</th> | |
| <th>.</th> | |
| </tr> | |
| <tr> | |
| <td>'package'</td> | |
| <td>'system'</td> | |
| <td>'machine'</td> | |
| </tr> | |
| <tr> | |
| <td>'statemachine'</td> | |
| <td>'state'</td> | |
| <td>'pseudostate'</td> | |
| <td>'vertex'</td> | |
| </tr> | |
| <tr> | |
| <td>'procedure'</td> | |
| <td>'macro'</td> | |
| <td>'routine'</td> | |
| <td>'transition'</td> | |
| </tr> | |
| <tr> | |
| <td>'public'</td> | |
| <td>'private'</td> | |
| <td>'protected'</td> | |
| </tr> | |
| <tr> | |
| <td>'static'</td> | |
| <td>'final'</td> | |
| <td>'reference'</td> | |
| <td>'volatile'</td> | |
| <td>'transient'</td> | |
| </tr> | |
| <tr> | |
| <td>'model'</td> | |
| <td>'prototype'</td> | |
| <td>'instance'</td> | |
| </tr> | |
| <tr> | |
| <td>'timed'</td> | |
| <td>'input_enabled'</td> | |
| </tr> | |
| <tr> | |
| <td>'port'</td> | |
| <td>'signal'</td> | |
| <td>'buffer'</td> | |
| <td>'channel'</td> | |
| </tr> | |
| <tr> | |
| <td>'var'</td> | |
| <td>'val'</td> | |
| <td>'const'</td> | |
| </tr> | |
| <tr> | |
| <td>'input'</td> | |
| <td>'in'</td> | |
| <td>'inout'</td> | |
| <td>'output'</td> | |
| <td>'out'</td> | |
| <td>'return'</td> | |
| </tr> | |
| <tr> | |
| <td>'simple'</td> | |
| <td>'start'</td> | |
| <td>'final'</td> | |
| <td>'initial'</td> | |
| <td>'terminal'</td> | |
| <td>'junction'</td> | |
| </tr> | |
| <tr> | |
| <td>'choice'</td> | |
| <td>'fork'</td> | |
| <td>'join'</td> | |
| <td>'dhistory'</td> | |
| <td>'shistory'</td> | |
| </tr> | |
| <tr> | |
| <td>'route'</td> | |
| <td>'connect'</td> | |
| <td>'env'</td> | |
| <td>'rdv'</td> | |
| <td>'multi_rdv'</td> | |
| <td>'buffer'</td> | |
| </tr> | |
| <tr> | |
| <td>'unicast'</td> | |
| <td>'anycast'</td> | |
| <td>'multicast'</td> | |
| <td>'broadcast'</td> | |
| </tr> | |
| <tr> | |
| <td>'boolean'</td> | |
| <td>'bool'</td> | |
| <td>'char'</td> | |
| <td>'string'</td> | |
| <td>'message'</td> | |
| </tr> | |
| <tr> | |
| <td>'integer'</td> | |
| <td>'int'</td> | |
| <td>'uinteger'</td> | |
| <td>'uint'</td> | |
| </tr> | |
| <tr> | |
| <td>'rational'</td> | |
| <td>'rat'</td> | |
| <td>'urational'</td> | |
| <td>'urat'</td> | |
| </tr> | |
| <tr> | |
| <td>'time'</td> | |
| <td>'clock'</td> | |
| </tr> | |
| <tr> | |
| <td>'float'</td> | |
| <td>'double'</td> | |
| <td>'real'</td> | |
| <td>'ufloat'</td> | |
| <td>'udouble'</td> | |
| <td>'ureal'</td> | |
| </tr> | |
| <tr> | |
| <td>'interval'</td> | |
| <td>'enum'</td> | |
| <td>'struct'</td> | |
| <td>'union'</td> | |
| </tr> | |
| <tr> | |
| <td>'vector'</td> | |
| <td>'rvector'</td> | |
| <td>'list'</td> | |
| <td>'set'</td> | |
| <td>'bag'</td> | |
| <td>'fifo'</td> | |
| <td>'lifo'</td> | |
| </tr> | |
| <tr> | |
| <td>'guard'</td> | |
| <td>'tguard'</td> | |
| <td>'event'</td> | |
| <td>'checksat'</td> | |
| <td>'via'</td> | |
| <td>'newfresh'</td> | |
| </tr> | |
| <tr> | |
| <td>'break'</td> | |
| <td>'continue'</td> | |
| <td>'exit'</td> | |
| <td>'init'</td> | |
| <td>'destroy'</td> | |
| <td>'stop'</td> | |
| <td>'abort'</td> | |
| </tr> | |
| <tr> | |
| <td>'restart'</td> | |
| <td>'suspend'</td> | |
| <td>'resume'</td> | |
| <td>'wait'</td> | |
| <td>'disable'</td> | |
| <td>'enable'</td> | |
| </tr> | |
| <tr> | |
| <td>'schedule'</td> | |
| <td>'irun'</td> | |
| <td>'run'</td> | |
| <td>'rtc'</td> | |
| <td>'call'</td> | |
| <td>'new'</td> | |
| <td>'ctor'</td> | |
| </tr> | |
| <tr> | |
| <td>'this'</td> | |
| <td>'self'</td> | |
| <td>'parent'</td> | |
| <td>'super'</td> | |
| <td>'null'</td> | |
| </tr> | |
| </table> | |
| </body> | |
| </html> |