Copyright Ó 1990 by Xerox Corporation. All rights reserved.

Bill Jackson (bj), March 1, 1990 7:34 am PST

IO USING [STREAM],

PFSNames USING [Component, PATH, Version],

Rope USING [ROPE];

OPEN PFSNames, Rope;

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

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

UnparseVersion: PROC [version: Version]
RETURNS [r: 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 ← [none], next: NAT];

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

}.