type
    TCommandLine = class
    strict private
      { опции компиляции }
 	    FIndexCheck    : Boolean ;
      FOverflowCheck : Boolean ;
      FTypeCheck     : Boolean ;
		  FClearCheck    : Boolean ;
      FInputFile     : string  ;
      FPascalCompiler: Boolean ;
    public
      constructor Create ;

      [CLPName('i'), CLPLongName('Index check', 'Index check'),
       CLPDescription('Enable Index range check code generation')]
      property IndexCheck : Boolean read FIndexCheck write FIndexCheck ;

      [CLPName('o'), CLPLongName('Overflow check', 'Overflow check'),
       CLPDescription('Enable Overflow check code generation')]
      property OverflowCheck : Boolean read FOverflowCheck write FOverflowCheck ;

      [CLPName('t'), CLPLongName('Type check', 'Type check'),
       CLPDescription('Enable strong type check')]
      property TypeCheck : Boolean read FTypeCheck write FTypeCheck ;

      [CLPName('c'), CLPLongName('Clear check', 'Clear check'),
       CLPDescription('Enable clear checking')]
      property ClearCheck : Boolean read FClearCheck write FClearCheck ;

      [CLPName('p'), CLPLongName('Pascal syntax', 'Pascal syntax'),
       CLPDescription('Pascal syntax use')]
      property PascalCompiler : Boolean read FPascalCompiler write FPascalCompiler ;

      [CLPPosition(1), CLPDescription('Input file'), CLPLongName('input_file'), CLPRequired]
      property InputFile : string read FInputFile write FInputFile;
    end ;

constructor TCommandLine.Create ;
begin
     Inherited Create ;

     FIndexCheck    := False ;
     FOverflowCheck := False ;
     FTypeCheck     := False ;
     FClearCheck    := False ;
     FInputFile     := '' ;
end ;

var
   cl : TCommandLine;

begin
     cl := TCommandLine.Create;
     try
        try
            parsed := CommandLineParser.Parse(cl);

            if not parsed then
             begin
                  writeln(Format('%s, position = %d, name = %s',
                          [CommandLineParser.ErrorInfo.Text, CommandLineParser.ErrorInfo.Position,
                          CommandLineParser.ErrorInfo.SwitchName])
                         );

                  for S in CommandLineParser.Usage
                   do Writeln(s);

                  Exit;
             end;

            SourceFileName := cl.InputFile ;
            if not FileExists(SourceFileName) then
             begin
                  writeln('filename '+SourceFileName+' not found') ;
                  Exit;
             end ;

            if cl.PascalCompiler
             then Compiler := TPascalCompiler.Create(SourceFileName, 0)
             else Compiler := TOberonCompiler.Create(SourceFileName, 0) ;

            try
               try
                  Compiler.IsNoGUICompiler := True ;
                  { опции }
                  Compiler.IndexCheck    := cl.IndexCheck ;
                  Compiler.OverflowCheck := cl.OverflowCheck ;
                  Compiler.TypeCheck     := cl.TypeCheck ;
                  Compiler.ClearCheck    := cl.ClearCheck ;