1 ;; gpr-wisi.el --- Indentation engine for gpr mode, using the wisi parser -*- lexical-binding:t -*-
3 ;; Copyright (C) 2013 - 2015 Free Software Foundation, Inc.
5 ;; Author: Stephen Leake <stephen_leake@member.fsf.org>
7 ;; This file is part of GNU Emacs.
9 ;; GNU Emacs is free software: you can redistribute it and/or modify
10 ;; it under the terms of the GNU General Public License as published by
11 ;; the Free Software Foundation, either version 3 of the License, or
12 ;; (at your option) any later version.
14 ;; GNU Emacs is distributed in the hope that it will be useful,
15 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
16 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
17 ;; GNU General Public License for more details.
19 ;; You should have received a copy of the GNU General Public License
20 ;; along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>.
22 ;;; History: first version Jan 2013
26 ;; I don't use 'pcase', because it gives _really_ confusing errors
27 ;; when I forget a ')' somewhere. Even worse, the error message is
28 ;; given when you use edebug on a defun, not when you eval it. This
29 ;; code is hard enough to debug!
33 ;; we reuse some stuff from ada-mode
34 (require 'ada-indent-user-options)
35 (require 'gpr-grammar-wy)
39 (defconst gpr-wisi-class-list
52 (defun gpr-wisi-indent-cache (offset cache)
53 "Return indentation of OFFSET relative to indentation of line containing CACHE
54 or containing ancestor of CACHE that is at a line beginning."
55 (let ((indent (current-indentation)))
57 (not (= (current-column) indent)))
58 (when (eq 'WHEN (wisi-cache-token cache))
59 (setq offset (+ offset ada-indent-when)))
60 (setq cache (wisi-goto-containing cache))
61 (setq indent (current-indentation)))
62 (+ (current-indentation) offset)
65 (defun gpr-wisi-indent-containing (offset cache)
66 "Return indentation of OFFSET relative to containing ancestor of CACHE that is at a line beginning."
67 (gpr-wisi-indent-cache offset (wisi-goto-containing cache)))
69 (defun gpr-wisi-before-cache ()
70 (let ((cache (wisi-get-cache (point))))
72 (cl-ecase (wisi-cache-class cache)
73 (block-start (wisi-indent-start ada-indent (wisi-backward-cache)))
74 (block-end (wisi-indent-start 0 cache))
77 (if (eq (wisi-cache-token cache) 'WHEN) ada-indent-when 0)
79 (close-paren (wisi-indent-paren 0))
80 (open-paren nil); let after-keyword handle it
82 (if (not (wisi-get-containing-cache cache))
86 (gpr-wisi-indent-containing ada-indent cache)))
89 (gpr-wisi-indent-containing ada-indent-broken cache))
93 (defun gpr-wisi-after-cache ()
94 (let ((cache (wisi-backward-cache)))
98 (cl-ecase (wisi-cache-class cache)
100 (wisi-indent-current 0))
103 (cl-case (wisi-cache-token cache)
105 (gpr-wisi-indent-cache ada-indent-broken cache))
107 (gpr-wisi-indent-cache ada-indent cache))
111 (cl-case (wisi-cache-token cache)
113 (gpr-wisi-indent-containing ada-indent cache))
115 (gpr-wisi-indent-cache ada-indent cache))
119 ;; test/gpr/simple.gpr
120 ;; type GNAT_Version_Type
123 ;; "GPL-2012", "GPL-2011");
125 ;; for Source_Dirs use
127 ;; External ("GNAT_VERSION") & "/foo",
129 (wisi-goto-containing cache)
130 (1+ (current-column)))
133 (1+ (current-column)))
136 (wisi-indent-start 0 cache))
138 ((statement-other close-paren)
139 ;; test/gpr/simple.gpr
141 ;; & Standard_Common.Compiler'Default_Switches;
143 ;; for Source_Dirs use
145 (wisi-indent-start ada-indent-broken cache))
148 ;; test/gpr/simple.gpr
149 ;; type GNAT_Version_Type
152 (gpr-wisi-indent-cache ada-indent-broken cache))
156 (defun gpr-wisi-post-parse-fail ()
157 "For `wisi-post-parse-fail-hook'."
161 (defun gpr-wisi-which-function ()
162 "For `gpr-which-function'."
163 (wisi-validate-cache (point))
164 (let ((cache (wisi-backward-cache)))
167 (memq (wisi-cache-nonterm cache) '(package_spec simple_project_declaration))
168 (eq (wisi-cache-class cache) 'statement-start))))
169 (setq cache (wisi-goto-containing cache)))
171 (wisi-forward-token); package | project
172 (wisi-token-text (wisi-forward-token)); name
176 (defun gpr-wisi-debug-keys ()
177 "Add debug key definitions to `gpr-mode-map'."
179 (define-key gpr-mode-map "\M-h" 'wisi-show-containing-or-previous-cache)
180 (define-key gpr-mode-map "\M-j" 'wisi-show-cache)
181 (define-key gpr-mode-map "\M-k" 'wisi-show-token)
185 (defun gpr-wisi-setup ()
186 "Set up a buffer for parsing Ada files with wisi."
187 (wisi-setup '(gpr-wisi-before-cache
188 gpr-wisi-after-cache)
189 'gpr-wisi-post-parse-fail
191 gpr-grammar-wy--keyword-table
192 gpr-grammar-wy--token-table
193 gpr-grammar-wy--parse-table)
195 (setq gpr-indent-statement 'wisi-indent-statement)
196 (set (make-local-variable 'comment-indent-function) 'wisi-comment-indent)
199 (add-hook 'gpr-mode-hook 'gpr-wisi-setup)
201 (setq gpr-which-function 'gpr-wisi-which-function)
203 (setq gpr-show-parse-error 'wisi-show-parse-error)
206 (provide 'gpr-indent-engine)