OsfV2Utilities.grm 

// FILE. . . . . /home/hak/hlt/src/hlt/osfv2/apps/v2/sources/OsfV2Utilities.grm
// EDIT BY . . . Hassan Ait-Kaci
// ON MACHINE. . Hak-Laptop
// STARTED ON. . Tue Jan 21 08:19:25 2014
This file defines classes used in the parser for the OSF V2 language. It is part of its Jacc grammar specification and is included by the main grammar file OsgV2Grammar.grm .

Author:  Hassan Aït-Kaci
Copyright:  © by the author
Version:  Last modified on Tue Jan 21 08:25:51 2014 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 Jun 02 09:43:20 CEST 2014 from file OsfV2Utilities.grm
by the hlt.language.tools.Hilite Java tool written by Hassan Aït-Kaci