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