;;;; -*-  Mode: LISP; Syntax: Common-Lisp; Base: 10                          -*-
;;;; ---------------------------------------------------------------------------
;;;; File name: case-viewer-registration.lsp
;;;;    System: 
;;;;    Author: Shawn Nicholson
;;;;   Created: July 26, 2002 14:35:40
;;;;   Purpose: 
;;;; ---------------------------------------------------------------------------
;;;;  Modified: Thursday, November 14, 2002 at 08:49:59 by nicholson
;;;; ---------------------------------------------------------------------------

(in-package :text-editor-case-display)


;;; Need to register this case display pane with the case viewer system.

;;;     (register-case-display-pane name display-pane-class &optional pane-constructor-function)
(fire-case-viewer:register-case-display-pane :text-editor-case-display 'text-editor-case-display 
  'make-text-editor-case-display)


  
;;; The methods specialized on my system type that the Case Viewer system calls
;;;

(defmethod fire-case-viewer::display-case (casename (case-dialog text-editor-case-display))
  (declare (ignore casename)))

(defmethod fire-case-viewer::add-entity ((case-dialog text-editor-case-display) entity)
  (declare (ignore entity)))

(defmethod fire-case-viewer::remove-entity ((case-dialog text-editor-case-display) entity)
  (declare (ignore entity)))

(defmethod fire-case-viewer::add-expression ((case-dialog text-editor-case-display) expr)
  (declare (ignore expr)))

(defmethod fire-case-viewer::remove-expression ((case-dialog text-editor-case-display) expr)
  (declare (ignore expr)))



(defmethod fire-case-viewer::change-reasoner ((case-dialog text-editor-case-display) new-reasoner)
  (setf (reasoner case-dialog) new-reasoner))


;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; End of Code