static.el

   1 ;;; static.el --- tools for static evaluation.
   2
   3 ;; Copyright (C) 1999 Tanaka Akira <akr@jaist.ac.jp>
   4
   5 ;; Author: Tanaka Akira <akr@jaist.ac.jp>
   6 ;; Keywords: byte compile, evaluation
   7
   8 ;; This file is part of APEL (A Portable Emacs Library).
   9
  10 ;; This program is free software; you can redistribute it and/or
  11 ;; modify it under the terms of the GNU General Public License as
  12 ;; published by the Free Software Foundation; either version 2, or (at
  13 ;; your option) any later version.
  14
  15 ;; This program is distributed in the hope that it will be useful, but
  16 ;; WITHOUT ANY WARRANTY; without even the implied warranty of
  17 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  18 ;; General Public License for more details.
  19
  20 ;; You should have received a copy of the GNU General Public License
  21 ;; along with GNU Emacs; see the file COPYING.  If not, write to the
  22 ;; Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
  23 ;; Boston, MA 02110-1301, USA.
  24
  25 ;;; Code:
  26
  27 (put 'static-if 'lisp-indent-function 2)
  28 (defmacro static-if (cond then &rest else)
  29   "Like `if', but evaluate COND at compile time."
  30   (if (eval cond)
  31       then
  32     (` (progn  (,@ else)))))
  33
  34 (put 'static-when 'lisp-indent-function 1)
  35 (defmacro static-when (cond &rest body)
  36   "Like `when', but evaluate COND at compile time."
  37   (if (eval cond)
  38       (` (progn (,@ body)))))
  39
  40 (put 'static-unless 'lisp-indent-function 1)
  41 (defmacro static-unless (cond &rest body)
  42   "Like `unless', but evaluate COND at compile time."
  43   (if (eval cond)
  44       nil
  45     (` (progn (,@ body)))))
  46
  47 (put 'static-condition-case 'lisp-indent-function 2)
  48 (defmacro static-condition-case (var bodyform &rest handlers)
  49   "Like `condition-case', but evaluate BODYFORM at compile time."
  50   (eval (` (condition-case (, var)
  51                (list (quote quote) (, bodyform))
  52              (,@ (mapcar
  53                   (if var
  54                       (function
  55                        (lambda (h)
  56                          (` ((, (car h))
  57                              (list (quote funcall)
  58                                    (function (lambda ((, var)) (,@ (cdr h))))
  59                                    (list (quote quote) (, var)))))))
  60                     (function
  61                      (lambda (h)
  62                        (` ((, (car h)) (quote (progn (,@ (cdr h)))))))))
  63                   handlers))))))
  64
  65 (put 'static-defconst 'lisp-indent-function 'defun)
  66 (defmacro static-defconst (symbol initvalue &optional docstring)
  67   "Like `defconst', but evaluate INITVALUE at compile time.
  68
  69 The variable SYMBOL can be referred at both compile time and run time."
  70   (let ((value (eval initvalue)))
  71     (eval (` (defconst (, symbol) (quote (, value)) (, docstring))))
  72     (` (defconst (, symbol) (quote (, value)) (, docstring)))))
  73
  74 (defmacro static-cond (&rest clauses)
  75   "Like `cond', but evaluate CONDITION part of each clause at compile time."
  76   (while (and clauses
  77               (not (eval (car (car clauses)))))
  78     (setq clauses (cdr clauses)))
  79   (if clauses
  80       (cons 'progn (cdr (car clauses)))))
  81
  82
  83 ;;; @ end
  84 ;;;
  85
  86 (require 'product)
  87 (product-provide (provide 'static) (require 'apel-ver))
  88
  89 ;;; static.el ends here