<> <> DIRECTORY IO USING [STREAM], Rope USING [ROPE]; FileUtilDefs: DEFINITIONS = BEGIN UpperCase: PROC[ch: CHARACTER] RETURNS[CHARACTER]; FileExists: PROC [fileName: Rope.ROPE] RETURNS [BOOLEAN]; <> <> <> ExtendFileName: PROC [name, extension: Rope.ROPE] RETURNS [extendedName: Rope.ROPE, extended: BOOLEAN]; <> <> <> <> < none found. Otherwise, name is the>> <<(extended) file name.>> GetExtendedFileName: PROC [s: IO.STREAM, extensionName: Rope.ROPE, extensionRequired: BOOLEAN _ TRUE] RETURNS[name, switches: Rope.ROPE]; CheckExtendedFileName: PROC [name, switches, extensionName: Rope.ROPE, extensionRequired: BOOLEAN _ TRUE]; IsSwitch: PROC [ch: CHARACTER, switches: Rope.ROPE] RETURNS[BOOLEAN]; END.