<> <> <> <> <<>> DIRECTORY Basics USING [LongNumber], FS USING [AccessOptions, Error, ErrorDesc, StreamOpen], IO USING [Close, EndOfStream, Error, GetByte, GetChar, PutByte, PutChar, STREAM], PS USING [Error, File, NewFile, PopFile, PopInt, PopString, PushBool, PushFile, PushInt, PushString, Register, RegisterPrimitives, Root, RopeFromString, String, StringGet, StringGetInterval, StringIndex, StringPut], Rope USING [Equal, ROPE]; PSFileImpl: CEDAR PROGRAM IMPORTS FS, IO, PS, Rope ~ BEGIN OPEN PS; ROPE: TYPE ~ Rope.ROPE; STREAM: TYPE ~ IO.STREAM; <> FileCreate: PROC [string1, string2: String] RETURNS [File] ~ { fileName: ROPE ~ RopeFromString[string1]; fileAccess: ROPE ~ RopeFromString[string2]; accessOptions: FS.AccessOptions _ read; stream: STREAM _ NIL; fsError: FS.ErrorDesc; <> < xxx;>> < xxx;>> < xxx;>> <> SELECT TRUE FROM Rope.Equal[fileAccess, "r"] => accessOptions _ read; Rope.Equal[fileAccess, "w"] => accessOptions _ create; ENDCASE => ERROR Error[invalidfileaccess]; stream _ FS.StreamOpen[fileName: fileName, accessOptions: accessOptions ! FS.Error => { fsError _ error; CONTINUE }; ]; IF stream=NIL THEN SELECT fsError.group FROM user => ERROR Error[undefinedfilename]; ENDCASE => ERROR Error[ioerror]; RETURN [NewFile[executable: FALSE, access: unlimited, stream: stream]]; }; WriteString: PROC [file: File, string: String] ~ { IF file.access GOTO IOError; ]; ENDLOOP; EXITS IOError => ERROR Error[ioerror]; }; <> Pfile: PROC [self: Root] ~ { string2: String ~ PopString[self.ostack]; string1: String ~ PopString[self.ostack]; PushFile[self.ostack, FileCreate[string1, string2]]; }; Pclosefile: PROC [self: Root] ~ { file: File ~ PopFile[self.ostack]; IO.Close[file.stream]; }; Pread: PROC [self: Root] ~ { file: File ~ PopFile[self.ostack]; int: INT; IF file.access GOTO EndOfFile; IO.Error => IF ec=StreamClosed THEN GOTO EndOfFile ELSE GOTO IOError; ]; PushInt[self.ostack, int]; PushBool[self.ostack, TRUE]; EXITS EndOfFile => PushBool[self.ostack, FALSE]; IOError => ERROR Error[ioerror]; }; Pwrite: PROC [self: Root] ~ { int: INT ~ PopInt[self.ostack]; file: File ~ PopFile[self.ostack]; IF file.access GOTO IOError; IO.Error => GOTO IOError; ]; EXITS IOError => ERROR Error[ioerror]; }; Preadhexstring: PROC [self: Root] ~ { string: String ~ PopString[self.ostack]; file: File ~ PopFile[self.ostack]; hi: [0..2] _ 0; h: ARRAY [0..2) OF [0..16) _ ALL[0]; si: StringIndex _ 0; IF file.access EXIT; IO.Error => GOTO IOError; ]; SELECT char FROM IN ['0..'9] => { h[hi] _ (char-'0); hi _ hi+1 }; IN ['A..'F] => { h[hi] _ 10+(char-'A); hi _ hi+1 }; IN ['a..'f] => { h[hi] _ 10+(char-'a); hi _ hi+1 }; ENDCASE; IF hi=2 THEN { StringPut[string, si, VAL[h[0]*16+h[1]]]; si _ si+1; hi _ 0 }; ENDLOOP; IF si=string.length THEN { PushString[self.ostack, string]; PushBool[self.ostack, TRUE] } ELSE { PushString[self.ostack, StringGetInterval[string, 0, si]]; PushBool[self.ostack, FALSE] }; EXITS IOError => ERROR Error[ioerror]; }; Pwritehexstring: PROC [self: Root] ~ { string: String ~ PopString[self.ostack]; file: File ~ PopFile[self.ostack]; IF file.access GOTO IOError; ]; IO.PutChar[file.stream, Hex[byte MOD 16] ! IO.Error => GOTO IOError; ]; ENDLOOP; EXITS IOError => ERROR Error[ioerror]; }; Preadstring: PROC [self: Root] ~ { string: String ~ PopString[self.ostack]; file: File ~ PopFile[self.ostack]; si: StringIndex _ 0; IF file.access EXIT; IO.Error => GOTO IOError; ]; StringPut[string, si, char]; si _ si+1; ENDLOOP; IF si=string.length THEN { PushString[self.ostack, string]; PushBool[self.ostack, TRUE] } ELSE { PushString[self.ostack, StringGetInterval[string, 0, si]]; PushBool[self.ostack, FALSE] }; EXITS IOError => ERROR Error[ioerror]; }; Pwritestring: PROC [self: Root] ~ { string: String ~ PopString[self.ostack]; file: File ~ PopFile[self.ostack]; WriteString[file, string]; }; Preadline: PROC [self: Root] ~ { }; Pbytesavailable: PROC [self: Root] ~ { }; Pflush: PROC [self: Root] ~ { }; Pflushfile: PROC [self: Root] ~ { }; Presetfile: PROC [self: Root] ~ { }; Pstatus: PROC [self: Root] ~ { }; Prun: PROC [self: Root] ~ { }; Pcurrentfile: PROC [self: Root] ~ { }; Pprint: PROC [self: Root] ~ { string: String ~ PopString[self.ostack]; WriteString[self.stdout, string]; }; Pecho: PROC [self: Root] ~ { }; FilePrimitives: PROC [self: Root] ~ { Register[self, "file", Pfile]; Register[self, "closefile", Pclosefile]; Register[self, "read", Pread]; Register[self, "write", Pwrite]; Register[self, "readhexstring", Preadhexstring]; Register[self, "writehexstring", Pwritehexstring]; Register[self, "readstring", Preadstring]; Register[self, "writestring", Pwritestring]; Register[self, "readline", Preadline]; Register[self, "bytesavailable", Pbytesavailable]; Register[self, "flush", Pflush]; Register[self, "flushfile", Pflushfile]; Register[self, "resetfile", Presetfile]; Register[self, "status", Pstatus]; Register[self, "run", Prun]; Register[self, "currentfile", Pcurrentfile]; Register[self, "print", Pprint]; Register[self, "echo", Pecho]; }; RegisterPrimitives[FilePrimitives]; END.