Name | Modified | Size | Downloads / Week |
---|---|---|---|
Parent folder | |||
README.red.syntax.110305.txt | 2011-03-05 | 802 Bytes | |
redlex.l | 2011-03-05 | 86.4 kB | |
red.syntax.110304.TXT | 2011-03-05 | 12.4 kB | |
Totals: 3 Items | 99.6 kB | 0 |
** THANKS FOR YOUR INTERESTS AT RED ** There are two files that you can download for the syntax of RED. red.syntax.******.txt This is the yacc grammar rules for RED. However, there is much more to the modeling of communicating timed automatas. You will also see rules for the GUI display, the run-time query through REDLIB, and the debugging purpose. redlex.l This is the LEX lexical analyzer for RED. The file contains the definitions of all the tokens in RED. Some tokens are recognized with the help of certain data-structures internal to our parser. We do not have an idea how to explain this clearly. So we decide to have the source code of the token analyzer here for your reference. If there are any questions, please do not hesitate to ask us.