about summary refs log tree commit diff
path: root/third_party/lisp/npg/src/common.lisp
blob: 8b64f5cc0a7b6a25b2469204b6033a108454121c (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
;;;  common.lisp --- common stuff

;;;  Copyright (C) 2003-2006, 2009 by Walter C. Pelissero

;;;  Author: Walter C. Pelissero <walter@pelissero.de>
;;;  Project: NPG a Naive Parser Generator

#+cmu (ext:file-comment "$Module: common.lisp $")

;;; This library is free software; you can redistribute it and/or
;;; modify it under the terms of the GNU Lesser General Public License
;;; as published by the Free Software Foundation; either version 2.1
;;; of the License, or (at your option) any later version.
;;; This library is distributed in the hope that it will be useful,
;;; but WITHOUT ANY WARRANTY; without even the implied warranty of
;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
;;; Lesser General Public License for more details.
;;; You should have received a copy of the GNU Lesser General Public
;;; License along with this library; if not, write to the Free
;;; Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
;;; 02111-1307 USA

(in-package :naive-parser-generator)

(eval-when (:compile-toplevel :load-toplevel)
  (defstruct grammar
    rules
    keywords
    equal-p)

  (defstruct rule
    name
    productions)

  (defstruct (production (:conc-name prod-))
    tokens
    (tokens-length 0 :type fixnum)
    action)

  (defstruct token
    type		     ; type of token (identifier, number, ...)
    value				; its actual value
    position)			     ; line/column in the input stream
  ) ; eval-when

(defmethod print-object ((obj rule) stream)
  (format stream "#R(~A)" (rule-name obj)))

(defmethod print-object ((obj production) stream)
  (format stream "#P(action: ~S)" (prod-action obj)))

(defmethod print-object ((obj token) stream)
  (format stream "#T:~A=~S" (token-type obj) (token-value obj)))

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

(declaim (inline make-rules-table find-rule add-rule))

(defun make-rules-table ()
  (make-hash-table))

(defun find-rule (rule-name rules)
  (gethash rule-name rules))

(defun add-rule (rule-name rule rules)
  (setf (gethash rule-name rules) rule))

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

(declaim (inline make-keywords-table find-keyword add-keyword))

(defun make-keywords-table ()
   (make-hash-table :test 'equal))

(defun find-keyword (keyword-name keywords)
  (gethash keyword-name keywords))

(defun add-keyword (keyword keywords)
  (setf (gethash keyword keywords) t))