HootGrammar.grm 

// FILE. . . . . d:/hak/hlt/src/hlt/osf/hoot/sources/HootGrammar.grm
// EDIT BY . . . Hassan Ait-Kaci
// ON MACHINE. . Hak-Laptop
// STARTED ON. . Mon May  6 10:03:01 2019

Copyright:  © by the author
Author:  Hassan Aït-Kaci
Version:  Last modified on Mon May 06 10:04:02 2019 by hak
This defines the grammar rules and semantic actions for the HOOT language. This language can be run both interactively and in batch mode. In the former case, a user can declare sorts, define variables, execute pragmas, and evaluate expressions. In batch mode, the parser must be invoked on one or several input files from a Java application, with its interactive options turned off and output redirected to a file or the console. 



/* ************************************************************************ */
/* *************************** DECLARATIONS ******************************* */
/* ************************************************************************ */

%include HootDeclarations.grm

/* ************************************************************************ */
/* **************************** ANCILLARIES ******************************* */
/* ************************************************************************ */

%include HootAncillary.grm

/* ************************************************************************ */
/* ***************************** NODE CLASSES ***************************** */
/* ************************************************************************ */

%include HootNodeClasses.grm

/* ************************************************************************ */
/* ********************************* RULES ******************************** */
/* ************************************************************************ */

%include HootRules.grm

/* ************************************************************************ */
/* ******************************* 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  GRAMMAR ************************* */
/* ************************************************************************ */

This file was generated on Wed Oct 09 17:17:20 PDT 2019 from file HootGrammar.grm
by the hlt.language.tools.Hilite Java tool written by Hassan Aït-Kaci