OsfV3Grammar.grm 

// FILE. . . . . /home/hak/hlt/src/hlt/osf/apps/v3/sources/OsfV3Grammar.grm
// EDIT BY . . . Hassan Ait-Kaci
// ON MACHINE. . Hak-Laptop
// STARTED ON. . Sun Mar 29 16:07:38 2015

Copyright:  © by the author
Author:  Hassan Aït-Kaci
Version:  Last modified on Sun Mar 29 16:07:38 2015 by hak
This defines the grammar rules and semantic actions for the "OSF V3" 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 OsfV3Declarations.grm

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

%include OsfV3Ancillary.grm

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

%include OsfV3NodeClasses.grm

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

%include OsfV3Rules.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 Fri Aug 16 04:59:19 PDT 2019 from file OsfV3Grammar.grm
by the hlt.language.tools.Hilite Java tool written by Hassan Aït-Kaci