OsfV0Utilities.grm 

// FILE. . . . . /home/hak/hlt/src/hlt/osf/v0/sources/OsfV0Utilities.grm
// EDIT BY . . . Hassan Ait-Kaci
// ON MACHINE. . Hp-Dv7
// STARTED ON. . Fri Nov 02 23:01:30 2012
This file defines classes used in the parser for the OSF V0 language. It is part of its Jacc grammar specification and is included by the main grammar file OsgV0Grammar.grm .

Author:  Hassan Aït-Kaci
Copyright:  © by the author
Version:  Last modified on Thu Dec 20 02:07:57 2012 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 Mon Jan 21 11:06:44 CET 2013 from file OsfV0Utilities.grm
by the hlt.language.tools.Hilite Java tool written by Hassan Aït-Kaci