21.22 PromptForArgs Interface

ORIGIN 'prompts';
LIB_DEF 'guienvutilspromptarg' '../../lib';
BODY 'private/promptForArgsBody';

--GuienvLib: attributes--

PromptForArgs: PromptForText
  (* Special PromptForText used to read line of arguments *)
  (# <<SLOT PromptForArgsLib: attributes>>;
     argv: [0]^text (* The arguments contained in the string typed by the user *);
     argc: @integer;
     validate::<(# 
       do ... 
       #);
  #)