home *** CD-ROM | disk | FTP | other *** search
/ Geek Gadgets 1 / ADE-1.bin / ade-bin / lib / tile-forth / bnf.f83 < prev    next >
Encoding:
Text File  |  1996-10-12  |  3.8 KB  |  147 lines
  1. \
  2. \  BACKUS-NAUR FORM GRAMMAR DEFINITIONS
  3. \
  4. \  Copyright (C) 1990 by Mikael R.K. Patel
  5. \
  6. \  Computer Aided Design Laboratory (CADLAB)
  7. \  Department of Computer and Information Science
  8. \  Linkoping University
  9. \  S-581 83 LINKOPING
  10. \  SWEDEN
  11. \
  12. \  Email: mip@ida.liu.se
  13. \
  14. \  Started on: 19 February 1990
  15. \
  16. \  Last updated on: 21 February 1990
  17. \
  18. \  Dependencies:
  19. \       (forth) forth, compiler, parser
  20. \
  21. \  Description:
  22. \       Definitions for Backus-Naur Meta Language grammar. Simplifies
  23. \       specification of grammar for the Parser Virtual Machine.
  24. \
  25. \  Copying:
  26. \       This program is free software; you can redistribute it and\or modify
  27. \       it under the terms of the GNU General Public License as published by
  28. \       the Free Software Foundation; either version 1, or (at your option)
  29. \       any later version.
  30. \
  31. \       This program is distributed in the hope that it will be useful,
  32. \       but WITHOUT ANY WARRANTY; without even the implied warranty of
  33. \       MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  34. \       GNU General Public License for more details.
  35. \
  36. \       You should have received a copy of the GNU General Public License
  37. \       along with this program; see the file COPYING.  If not, write to
  38. \       the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA. 
  39.  
  40. .( Loading Backus-Naur Form definitions...) cr
  41.  
  42. #include parser.f83
  43.  
  44. parser forth definitions
  45.  
  46. vocabulary backus-naur-form ( -- )
  47.  
  48. symbol bnf
  49.  
  50. forth compiler parser backus-naur-form definitions
  51.  
  52. \ Semantic actions for building Extended Backus-Naur Form (EBNF) grammar
  53.  
  54. variable current-syntax-symbol ( -- addr)
  55.  
  56. : first-syntax ( symbol -- )
  57.   >body dup current-syntax-symbol ! syntax
  58. ; 
  59.  
  60. : next-syntax ( -- )
  61.   current-syntax-symbol @ syntax
  62. ; 
  63.  
  64. : make-non-terminal ( symbol -- )
  65.   thread compile non-terminal
  66. ; 
  67.  
  68. : make-terminal ( symbol -- )
  69.   thread compile terminal
  70. ; 
  71.  
  72. : make-zero-or-one ( symbol -- )
  73.   thread compile zero-or-one
  74. ; 
  75.  
  76. : make-zero-or-more ( symbol -- )
  77.   thread compile zero-or-more
  78. ; 
  79.  
  80. : make-semantic ( symbol -- )
  81.   compile semantic thread [compile] end.syntax
  82. ; 
  83.  
  84. : make-no-semantic ( -- )
  85.   compile no-semantic [compile] end.syntax
  86. ; 
  87.  
  88. \ Grammar definition for Backus-Naur Form (BNF)
  89. \
  90. \ <bnf> ::= <head> <tail> <bnf>
  91. \        |  <eoln>
  92. symbol head
  93. symbol tail 
  94.  
  95. bnf syntax head non-terminal tail non-terminal bnf non-terminal no-semantic end.syntax 
  96. bnf syntax eoln non-terminal no-semantic end.syntax
  97.  
  98. \ <head> ::= <factor> ::= @ first-syntax
  99. \         |  | @ next-syntax
  100.  
  101. symbol factor 
  102. symbol :
  103. symbol =
  104. symbol |
  105.  
  106. head syntax factor non-terminal : terminal : terminal = terminal semantic first-syntax end.syntax
  107. head syntax | terminal semantic next-syntax end.syntax
  108.  
  109. \ <tail> ::= ' @ <entry> @ make-semantic
  110. \         |  <term> <tail>
  111. \         |  <empty> @ make-no-semantic
  112.  
  113. symbol @ 
  114. symbol term 
  115.  
  116. tail syntax @ terminal entry non-terminal semantic make-semantic end.syntax
  117. tail syntax term non-terminal tail non-terminal no-semantic end.syntax
  118. tail syntax empty non-terminal semantic make-no-semantic end.syntax
  119.  
  120. \ <term> ::= [ <factor> ] @ make-zero-or-one
  121. \         |  { <factor> } @ make-zero-or-more
  122. \         |  ' ' <entry> @ make-terminal
  123. \         |  <factor> @ make-non-terminal
  124. \         |  <entry> @ make-terminal
  125.  
  126. symbol [
  127. symbol ]
  128. symbol {
  129. symbol }
  130. symbol '
  131.  
  132. term syntax [ terminal factor non-terminal ] terminal semantic make-zero-or-one end.syntax
  133. term syntax { terminal factor non-terminal } terminal semantic make-zero-or-more end.syntax
  134. term syntax ' terminal entry non-terminal semantic make-terminal end.syntax
  135. term syntax factor non-terminal semantic make-non-terminal end.syntax
  136. term syntax entry non-terminal semantic make-terminal end.syntax
  137.  
  138. \ <factor> ::= ' < <entry> >
  139.  
  140. symbol < 
  141. symbol > 
  142.  
  143. factor syntax < terminal entry non-terminal > terminal no-semantic end.syntax
  144.  
  145. forth only
  146.  
  147.