DIRECTORY Rope, CHNameP2V0, CHNameP2V0Aux; CHNameP2V0AuxImpl: CEDAR PROGRAM IMPORTS Rope EXPORTS CHNameP2V0Aux ~ { OPEN CHNameP2V0, CHNameP2V0Aux; ROPE: TYPE ~ Rope.ROPE; ExposeTwoPartName: PUBLIC PROC [arg: TwoPartName, level: NAT] RETURNS [res: ROPE] ~ { res ¬ "["; res ¬ Rope.Cat[res, "organization~", arg.organization, ", "]; res ¬ Rope.Cat[res, "domain~", arg.domain, "]"]; }; ExposeThreePartName: PUBLIC PROC [arg: ThreePartName, level: NAT] RETURNS [res: ROPE] ~ { res ¬ "["; res ¬ Rope.Cat[res, "organization~", arg.organization, ", "]; res ¬ Rope.Cat[res, "domain~", arg.domain, ", "]; res ¬ Rope.Cat[res, "object~", arg.object, "]"]; }; }... ΠCHNameP2V0AuxImpl.Mesa Copyright Σ 1986, 1991 by Xerox Corporation. All rights reserved. Generated by Demers.pa at January 15, 1987 5:55:39 pm PST using Sirocco [2.0] of January 6, 1987 4:07:33 pm PST Κ&–(cedarcode) style•NewlineDelimiter ˜šœ™Jšœ Οeœ6™BJšœ9™9Jšœ5™5Icode˜—šΟk ˜ K˜K˜ K˜—K˜šΟnœžœž˜ Kšžœ˜ Kšžœ˜Kšžœ˜K˜Kšžœžœžœ˜K˜š Ÿœžœžœžœžœžœ˜UK˜ K˜=K˜0K˜—K˜š Ÿœžœžœžœžœžœ˜YK˜ K˜=K˜1K˜0K˜—K˜—K˜K˜—…—”Š