OsfV3Utilities.grm 

// FILE. . . . . /home/hak/hlt/src/hlt/osf/apps/v3/sources/OsfV3Utilities.grm
// EDIT BY . . . Hassan Ait-Kaci
// ON MACHINE. . Hak-Laptop
// STARTED ON. . Sun Mar 29 16:07:48 2015
This file defines classes used in the parser for the OSF V3 language. It is part of its Jacc grammar specification and is included by the main grammar file OsgV3Grammar.grm .

Copyright:  © by the author
Author:  Hassan Aït-Kaci
Version:  Last modified on Sun Mar 29 16:07:48 2015 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 Fri Aug 16 04:59:20 PDT 2019 from file OsfV3Utilities.grm
by the hlt.language.tools.Hilite Java tool written by Hassan Aït-Kaci