pkg.lisp Unix DownloadWindows Download
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -*- Mode: Lisp -*- ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; File		     - pkg.lisp
;; Description	     - Package definition
;; Author	     - Tim Bradshaw (tfb at lostwithiel)
;; Created On	     - Tue Feb  1 23:14:04 2000
;; Last Modified On  - Mon Jul  9 07:36:56 2001
;; Last Modified By  - Gail Anderson (ga at lostwithiel)
;; Update Count	     - 43
;; Status	     - Unknown
;; 
;; $Id: pkg.lisp,v 1.1 2003/01/09 02:11:35 colin Exp $
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

(cl:in-package :cl-user)


;;; package for the students submission, also some supporting code

(defpackage :exercise
  (:use :cl)
  ;; Exercise definition from defex-user.lisp
  (:export #:*exercise*
	   #:define-exercise
	   #:*current-submission*
	   #:*submissions*
	   #:exercise
	   #:exercise-author
	   #:exercise-login-name
	   #:exercise-defined-symbols
	   #:exercise-nonworking-symbols
	   #:exercise-commented-symbols
	   #:exercise-commentary
	   #:exercise-load-error
	   #:exercise-load-comment
	   #:exercise-compile-error
	   #:exercise-compile-comment
	   #:exercise-other-comments
	   #:exercise-tests
	   #:exercise-student-scorecard
	   #:clean-student-symbols
	   ;; and all the student symbols, e.g.
	   #:hello-world
	   #:add2))

;;; the name of the exercise to be tested, and a list of
;;; the student symbols to be defined in it, e.g. a 
;;; functions called hello-world and add2 in :exercise

(defparameter exercise:*exercise* '(:exercise (hello-world add2)))

;;; package for the solution tests

(defpackage :solution-tests
  (:use :cl :exercise :htout)
  (:export :*test-detail-list*
	   :run-tests))


;;; global parameter in which is stored all the tests defined

(defparameter solution-tests:*test-detail-list* nil)