package.lisp 1.86 KB
Newer Older
Christopher Riesbeck's avatar
Christopher Riesbeck committed
1

2
;;; 12-04-18 moved revisd mops to subsystem [CKR]
Christopher Riesbeck's avatar
Christopher Riesbeck committed
3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59
;;; 09-17-14 dropped clp-exts [CKR]
;;; 09-05-14 Created file [CKR]


(defpackage #:extend-match
  (:use #:common-lisp)
  (:export #:pat-match #:bind-variable #:add-extension #:instantiate-pattern #:match-and))

(defpackage #:lisp-unit
  (:use #:common-lisp)
  (:export #:define-test #:run-all-tests #:run-tests
           #:assert-eq #:assert-eql #:assert-equal #:assert-equalp
           #:assert-error #:assert-expands #:assert-false 
           #:assert-equality #:assert-prints #:assert-true
           #:fail
           #:get-test-code #:get-tests
           #:remove-all-tests #:remove-tests
           #:logically-equal #:set-equal #:unordered-equal
           #:use-debugger
           #:with-test-listener)
  )

(defpackage #:tables
  (:use #:common-lisp)
  (:export #:clear-table #:deftable #:in-table-p #:map-table #:remove-key)
  )

(defpackage #:ddr
  (:use #:common-lisp #:tables)
  (:export #:ask #:ask-trace #:find-blists #:init-kb #:show-trace #:tell 
           #:bind 
           #:replace-variables #:unify #:var-p #:var-name #:var-bound-p 
           #:var-value #:make-bindings
           #:define-retrieval-method #:define-storage-method
           #:pattern-args #:pattern-head)
  )

(cl:defpackage #:lisp-critic
  (:use  #:common-lisp #:tables #:extend-match)
  (:export #:critique #:critique-file #:critique-definition
           #:apply-critique-rule
           #:lisp-critic-version
           #:add-lisp-pattern #:define-lisp-pattern #:remove-lisp-pattern
           #:get-pattern #:get-response #:get-pattern-names
           #:response-args #:response-format-string
           #:clear-critique-db)
  )

(defpackage #:ddr-tests
  (:use #:common-lisp #:lisp-unit #:ddr)
  )
  
(defpackage #:shakey-tests
  (:use #:common-lisp #:lisp-unit #:ddr)
  )
  
(defpackage #:cs325-user
60
  (:use #:common-lisp #:lisp-unit #:lisp-critic))