<<>> <> <> <> DIRECTORY IO USING [STREAM], PFSNames USING [Component, PATH, Version], Rope USING [ROPE]; XNSFilingNames: CEDAR DEFINITIONS ~ { 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]; }.