;;;-*- Mode:LISP; Package:CHAOS; Base:10; Syntax:Common-lisp -*-
;;;
;;; Copyright (c) 2000-2015, Toshimi Sawada. All rights reserved.
;;;
;;; Redistribution and use in source and binary forms, with or without
;;; modification, are permitted provided that the following conditions
;;; are met:
;;;
;;;   * Redistributions of source code must retain the above copyright
;;;     notice, this list of conditions and the following disclaimer.
;;;
;;;   * Redistributions in binary form must reproduce the above
;;;     copyright notice, this list of conditions and the following
;;;     disclaimer in the documentation and/or other materials
;;;     provided with the distribution.
;;;
;;; THIS SOFTWARE IS PROVIDED BY THE AUTHOR 'AS IS' AND ANY EXPRESSED
;;; OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
;;; WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
;;; ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY
;;; DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
;;; DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE
;;; GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
;;; INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY,
;;; WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
;;; NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
;;; SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
;;;
(in-package :chaos)
#|==============================================================================
                             System: CHAOS
                            Module: cafeobj
                         File: cafeobj-eval.lisp
==============================================================================|#
#-:chaos-debug
(declaim (optimize (speed 3) (safety 0) #-GCL (debug 0)))
#+:chaos-debug
(declaim (optimize (speed 1) (safety 3) #-GCL (debug 3)))

;;;== DESCRIPTION ==============================================================
;;; CafeOBJ top level command processors.
;;;

;;; MODULE DECLARATION
;;;
(defun cafeobj-eval-module (input)
  (declare (type list input)
           ;; (values t)
           )
  (let ((ast (process-module-declaration-form input)))
    (eval-ast ast)))

;;; VIEW DECLARATION
;;;
(defun cafeobj-eval-view (input)
  (declare (type list input)
           (values t))
  (let ((ast (process-view-declaration-form input)))
    (eval-ast ast)
    ))

;;; REDUCE/EXEC TERM
;;;
(defun cafeobj-perform-reduction (input)
  (declare (type list input)
           (values t))
  (let ((ast (process-reduce-command input)))
    (eval-ast ast)))

(defun cafeobj-perform-exec (input)
  (declare (type list input)
           (values t))
  (let ((ast (process-exec-command input)))
    (eval-ast ast)))

(defun cafeobj-perform-exec+ (input)
  (declare (type list input)
           (values t))
  (let ((ast (process-exec+-command input)))
    (eval-ast ast)))

;;; TEST REDUCTION
(defun cafeobj-test-reduction (input)
  (declare (type list input)
           (values t))
  (let ((ast (process-test-reduction input)))
    (eval-ast ast)))

;;; PARSE TERM
(defun cafeobj-parse-term (input)
  (declare (type list)
           (values t))
  (let ((ast (process-parse-command input)))
    (eval-ast ast)))

;;; EOF


