(FILECREATED " 5-Feb-86 16:48:37" {DSK}<LISPFILES2>CHECKTABLES.;2
 1411   

      changes to:  (FNS CHECK-TABLES)

      previous date: "23-Nov-85 12:13:05" {DSK}<LISPFILES2>CHECKTABLES.;1)


(* Copyright (c) 1985, 1986 by Xerox Corporation. All rights reserved.)

(PRETTYCOMPRINT CHECKTABLESCOMS)

(RPAQQ CHECKTABLESCOMS
 ((FNS CHECK-TABLES)))
(DEFINEQ

(CHECK-TABLES

  (LAMBDA NIL                                                (* edited: " 5-Feb-86 16:26")

    (if
 (
\LOCKEDPAGEP
 (fetch
 (POINTER PAGE#) of
 (fetch
 (
ARRAYP
 BASE) of
 
									 PROLOG.ENABLE.PUFN.TABLE)))
	then
 (PRINTOUT T "PROLOG.ENABLE.PUFN.TABLE is locked" T)
      else
 (
HELP
 "PROLOG.ENABLE.PUFN.TABLE isn't locked" PROLOG.ENABLE.PUFN.TABLE))
    (if
 (
\LOCKEDPAGEP
 (fetch
 (POINTER PAGE#) of
 (fetch
 (
ARRAYP
 BASE) of
 
										PROLOG.PUFN.TABLE)))
	then
 (PRINTOUT T "PROLOG.PUFN.TABLE is locked" T)
      else
 (
HELP
 "PROLOG.PUFN.TABLE isn't locked" PROLOG.PUFN.TABLE))
    (LET ((BASE (FETCH
 (
ARRAYP
 BASE) OF
 (
GETD
 (
QUOTE
 QP.PROLOG)))))
         (FOR
 I FROM
 0 TO
 255 WHEN
 (
NEQ
 (
\GETBASEBYTE
 BASE (
ELT
 PROLOG.PUFN.TABLE I))
						  8)
	    DO
 (
HELP
 "PROLOG.PUFN.TABLE entry doesn't point to FN0" I)))))
)
(PUTPROPS CHECKTABLES COPYRIGHT ("Xerox Corporation" 1985 1986))
(DECLARE: DONTCOPY
  (FILEMAP (NIL (353 1324 (CHECK-TABLES 363 . 1322)))))
STOP