Exemple #1
0
 // This is the constructor used from runFromShell
 public PrologBackend(String[] args) throws Exception {
   // This parses the args and the ABS program producing the AST whose root is model
   model = parse(args);
   if (model.hasParserErrors() || model.hasErrors() || model.hasTypeErrors())
     printParserErrorAndExit();
   initOutStreamEtc();
 }