DIRECTORY Asserting, IO; AssertingIO: CEDAR DEFINITIONS = { OPEN Asserting; readers, writers: Assertions; WriteProc: TYPE = PROC [to: IO.STREAM, assertion: Assertion]; ReadProc: TYPE = PROC [from: IO.STREAM, reln: Term] RETURNS [assertion: Assertion]; GeneralWrite: WriteProc; DontWrite: WriteProc; GeneralRead: ReadProc; Read: PROC [from: IO.STREAM] RETURNS [assertions: Assertions]; Write: PROC [to: IO.STREAM, assertions: Assertions]; WriteTail: PROC [to: IO.STREAM, assertions: Assertions]; WriteAssn: PROC [to: IO.STREAM, assertion: Assertion]; ReadAssn: PROC [from: IO.STREAM] RETURNS [assertion: Assertion]; SetReader: PROC [reln: Term, rp: ReadProc]; SetWriter: PROC [reln: Term, wp: WriteProc]; GetReader: PROC [reln: Term] RETURNS [ReadProc]; GetWriter: PROC [reln: Term] RETURNS [WriteProc]; }. AssertingIO.Mesa Copyright c1984 Xerox Corporation. All rights reserved. Last Edited by: Spreitzer, January 12, 1985 3:49:22 pm PST Functions from reln to ref to read or write proc. The open paren and relation have already been read. Writes no enclosing parens. Κˆ– "cedar" style˜Icode™Kšœ Οmœ-™8J™:K˜KšΟk œ žœ˜K˜šΠbx œžœž œ˜"K˜Kšžœ ˜K˜˜K™1—K˜Kš Οn œžœžœžœžœ˜=š  œžœžœžœžœžœ˜SK™3—K˜K˜K˜K˜K˜Kš  œžœžœžœžœ˜>Kš œžœžœžœ˜4š  œžœžœžœ˜8K™—K˜Kš  œžœžœžœ˜6Kš  œžœžœžœžœ˜@K˜Kš  œžœ˜+Kš  œžœ˜,Kš  œžœžœ ˜0Kš  œžœžœ ˜1K˜K˜——…—2Θ