OsfV3Main.java

// FILE. . . . . /home/hak/hlt/src/hlt/osf/apps/v3/sources/OsfV3Main.java
// EDIT BY . . . Hassan Ait-Kaci
// ON MACHINE. . Hak-Laptop
// STARTED ON. . Sun Mar 29 16:07:40 2015



This is the main entry file for running "OSF Version 3", which defines a primitive OSF constraint language. (See OsfV3.grm for details.)

Copyright:  © by the author
Author:  Hassan Aït-Kaci
Version:  Last modified on Tue Apr 14 12:51:37 2015 by hak



package hlt.osf.v3;

import java.io.File;
import java.io.IOException;

import hlt.language.util.Error;

import hlt.osf.util.BitCode;

public class OsfV3Main
{
  final static void welcome ()
    {
      System.out.println();
      System.out.println("**********************************************************");
      System.out.println("***                                                    ***");
      System.out.println("*** This is HLT's OSF Prototype Version 3.0 - Welcome! ***");
      System.out.println("***                                                    ***");
      System.out.println("**********************************************************");
      System.out.println();
      System.out.println("*** Interactive mode: type '%help.' for known pragmas.");
      System.out.println();
    }

  final static void exit ()
    {
      System.out.println();
      System.out.println();
      System.out.println("**********************************************************");
      System.out.println("*** Exiting HLT's OSF Version 3.0 - Good Bye!          ***");
      System.out.println("**********************************************************");
      System.out.println();
      System.exit(0);
    }

  final public static void main (String args[])
    {
      OsfV3Tokenizer tokenizer = new OsfV3Tokenizer();
      OsfV3Parser parser = new OsfV3Parser(tokenizer);

      welcome();

      BitCode.setOnChar('+');
      BitCode.setOffChar('-');

      try
        {
          for (int i=0; i<args.length; i++)
            {
              parser.displayLine("*** Loading file: "+args[i]);
              parser.parse(args[i]);
            }
          tokenizer.setInteractive();
	  parser.setTreeType("XML");
          parser.parse();
        }
      catch (IOException e)
        {
          parser.errorManager().reportError(new Error().setLabel("IO Error: ")
					    .setMsg(e.getMessage()+" aborting")
					    .setSee("..."));
        }
      catch (Throwable e)
        {
          parser.errorManager().reportError(new Error().setLabel("Fatal Error: ")
                                            .setMsg("aborting")
                                            .setSee("..."));
          e.printStackTrace();
        }
      finally
        {
          exit();
        }
    }
}


This file was generated on Fri Aug 16 04:59:20 PDT 2019 from file OsfV3Main.java
by the hlt.language.tools.Hilite Java tool written by Hassan Aït-Kaci