scheme.by 2.44 KB
Newer Older
1 2
;;; scheme.by -- Scheme BNF language specification

3
;; Copyright (C) 2001-2014 Free Software Foundation, Inc.
4 5 6 7

;; This file is part of GNU Emacs.

;; GNU Emacs is free software: you can redistribute it and/or modify
8
;; it under the terms of the GNU General Public License as published by
9 10 11 12
;; the Free Software Foundation, either version 3 of the License, or
;; (at your option) any later version.

;; GNU Emacs is distributed in the hope that it will be useful,
13 14 15
;; but WITHOUT ANY WARRANTY; without even the implied warranty of
;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
;; GNU General Public License for more details.
16

17
;; You should have received a copy of the GNU General Public License
18
;; along with GNU Emacs.  If not, see <http://www.gnu.org/licenses/>.
19

20
%package semantic-scm-by
Chong Yidong's avatar
Chong Yidong committed
21
%provide semantic/bovine/scm-by
22 23 24 25 26 27

%languagemode  scheme-mode
%start         scheme

%token DEFINE        "define"
%token DEFINE-MODULE "define-module"
David Engster's avatar
David Engster committed
28
%token MODULE        "module"
29 30 31 32 33 34 35 36 37 38 39 40
%token LOAD          "load"

%put DEFINE        summary "Function: (define symbol expression)"
%put DEFINE-MODULE summary "Function: (define-module (name arg1 ...)) "
%put LOAD          summary "Function: (load \"filename\")"

%token <open-paren> OPENPAREN "("
%token <close-paren> CLOSEPAREN ")"

%%

scheme : semantic-list
David Engster's avatar
David Engster committed
41 42 43 44 45 46 47 48 49 50
	 ( ,(let ((expand (EXPAND $1 scheme-list)))
	      (cond
	       ((semantic-tag-of-class-p expand 'module)
		(TYPE-TAG (semantic-tag-name expand)
		     "module"
		     (EXPANDFULL $1 scheme)
		     nil) ;; Module contains more definitions like a type
		)
	       (t
		expand))))
51 52
       ;

David Engster's avatar
David Engster committed
53
scheme-list : OPENPAREN scheme-in-list
54 55 56
	      ( ,$2 )
	    ;

David Engster's avatar
David Engster committed
57

58 59
scheme-in-list: DEFINE symbol expression
		(VARIABLE-TAG $2 nil $3 )
David Engster's avatar
David Engster committed
60
	      | DEFINE name-args opt-doc
61 62 63
		(FUNCTION-TAG (car ,$2) nil (cdr ,$2) )
	      | DEFINE-MODULE name-args
		(PACKAGE-TAG (nth (length $2) $2 ) nil)
David Engster's avatar
David Engster committed
64 65
	      | MODULE symbol
		(TAG $1 'module :members nil)
66 67
	      | LOAD string
		(INCLUDE-TAG (file-name-nondirectory (read $2)) (read $2) )
David Engster's avatar
David Engster committed
68
	      | symbol sequence
69 70 71 72
		(CODE-TAG $1 nil)
	      ;

name-args: semantic-list
David Engster's avatar
David Engster committed
73
	   (EXPAND $1 name-arg-list)
74 75
	 ;

David Engster's avatar
David Engster committed
76
name-arg-list : OPENPAREN name-arg-expand
77
		  ( ,$2 )
David Engster's avatar
David Engster committed
78 79 80 81 82 83 84
	      ;

name-arg-expand: symbol name-arg-expand
		 ( ,(cons $1 ,$2) )
	       | ;; EMPTY
		 (  )
	       ;
85 86 87 88 89 90 91 92 93 94 95 96 97 98 99

opt-doc : string
	| ;; EMPTY
	;

sequence : expression sequence
         | expression
         ;

expression : symbol
	   | semantic-list
	   | string
	   | number
	   ;

100
;;; scheme.by ends here
David Engster's avatar
David Engster committed
101