<<>> <> <> <> <> <> <> DIRECTORY Commander USING [Handle], CommanderOps USING [ArgumentVector], Rope USING [ROPE]; PositionedList: CEDAR DEFINITIONS ~ { <<>> PositionedArgumentList: TYPE ~ LIST OF PositionedArgument; PositionedArgumentVector: TYPE ~ REF PositionedArgumentVectorPrivate; PositionedArgumentVectorPrivate: TYPE ~ RECORD [s: SEQUENCE argc: NAT OF PositionedArgument]; PositionedArgument: TYPE ~ RECORD [ start, length: INT--char positions of argument in command line--, rope: Rope.ROPE]; ParseToPositionedList: PROC [cmd: Commander.Handle, switchChar: CHAR ¬ '-] RETURNS [list: PositionedArgumentList, length: NAT]; ParsePositioned: PROC [cmd: Commander.Handle, switchChar: CHAR ¬ '-] RETURNS [argv: PositionedArgumentVector]; StripVectorPositions: PROC [pargv: PositionedArgumentVector] RETURNS [argv: CommanderOps.ArgumentVector]; StripListPositions: PROC [PositionedArgumentList] RETURNS [LIST OF Rope.ROPE]; }.