`OsfV1Utilities.grm`

    // FILE. . . . . /home/hak/hlt/src/hlt/osfv1/apps/v1/sources/OsfV0Utilities.grm
    // EDIT BY . . . Hassan Ait-Kaci
    // ON MACHINE. . Hak-Laptop
    // STARTED ON. . Sun Sep 08 18:30:13 2013

This file defines classes used in the parser for the OSF V1 language. It is part of its Jacc grammar specification and is included by the main grammar file OsgV1Grammar.grm .
Author: |  | Hassan Aït-Kaci
Copyright: |  | © by the author
Version: |  | Last modified on Sun Sep 08 18:30:51 2013 by hak

    /* ************************************************************************ */
    /* ****************************** UTILITIES ******************************* */
    /* ************************************************************************ */

    class RawPsiTerm
      {
        String tag;
        SortExpression sort;
        Stack keys;
        Stack subterms;

        RawPsiTerm (String tag, SortExpression sort, Stack keys, Stack subterms)
          {
    	this.tag = tag;
    	this.sort = sort;
    	this.keys = keys;
    	this.subterms = subterms;
          }
      }

    /* ************************************************************************ */
    /* *************************** END OF UTILITIES *************************** */
    /* ************************************************************************ */

This file was generated on Thu Oct 03 16:39:07 CEST 2013 from file `OsfV1Utilities.grm`
by the `hlt.language.tools.Hilite` Java tool written by Hassan Aït-Kaci