
DIRECTORY
IO USING [STREAM],
PFSNames USING [Component, PATH, Version],
Rope USING [ROPE];

PFSCanonicalNames: CEDAR DEFINITIONS
SHARES PFSNames
~ BEGIN OPEN PFSNames;

ROPE: TYPE = Rope.ROPE;

UnparseName: PROC[name: PATH] 
RETURNS [fullFName: ROPE];

UnparseComponent: PROC [component: Component] RETURNS [ROPE];

UnparseVersion: PUBLIC PROC [version: Version] RETURNS [ROPE];
ParseName: PROC [name: ROPE] RETURNS [parsedName: PATH];
ParseComponent: PROC [name: ROPE, first: NAT ¬ 0] RETURNS [component: Component, next: NAT];

ParseVersion: PROC [v: ROPE, first: NAT ¬ 0] RETURNS [version: Version, next: NAT];

ParseNameFromStream: PROC [s: IO.STREAM] RETURNS [name: PATH];

END.
   l  
PFSCanonicalNames.mesa
Copyright Ó 1991 by Xerox Corporation.  All rights reserved.
Carl Hauser, August 9, 1988 5:54:24 pm PDT

Canonical unparsing:
[/]component0/component1/.../componentComponentCount-1[/]
The first / is included if name.absolute; the last if name.directory.  
Canonical unparsing:
Rope.Cat[name, Unparse[version]]
bug: name unparsing should insert escape characters on /, ! (and, of course, the escape character).
Canonical unparsing:
NIL, !H, !L, !*, !num as appropriate.

Parsing names in canonical form.

parses a component beginning at name[first] and returns that component; next = first + length of the parsed component.
bug: should interpret escape sequences.
parses a version beginning at name[first] and returns that version; next = first + length of the parsed version.
A convenient way to read a whitespace-delimited name from a stream.  
Êñ  –(cedarcode) style•NewlineDelimiter
™ šœ™Jšœ
Ïeœ1™<Icode™*J™ —K˜ šÏk	˜	Kšžœžœžœ˜Kšœ	žœžœ˜*Kšœžœžœ˜K˜ —KšÏnœžœž˜$Kšžœ	˜šœžœ	˜K˜ Kšžœžœžœ˜K˜ š
Ÿœžœžœžœžœ˜9™KšœÏdœ
 œ œ™9KšœG™G—K˜ šŸœžœžœžœ˜=™K™ K™c——K˜ š
Ÿœžœžœžœžœ˜>™K™%———K™ š
Ÿ	œžœžœžœžœ˜8K™ K™ šŸœžœžœ	žœžœžœ˜\K™vK™'—K˜ šŸœžœžœ	žœžœžœ˜SK™p——K˜ š
Ÿœžœž	œžœžœ˜>K™E——K˜ Kšžœ˜— …—    ®    