|
OsfV1Grammar.grm
|
// FILE. . . . . /home/hak/hlt/src/hlt/osfv1/apps/v1/sources/OsfV0Grammar.grm // EDIT BY . . . Hassan Ait-Kaci // ON MACHINE. . Hak-Laptop // STARTED ON. . Sun Sep 08 18:31:36 2013
|
| This defines the grammar rules and semantic actions for the "OSF V1" 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 OsfV1Declarations.grm
/* ************************************************************************ */
/* **************************** ANCILLARIES ******************************* */
/* ************************************************************************ */
%include OsfV1Ancillary.grm
/* ************************************************************************ */
/* ***************************** NODE CLASSES ***************************** */
/* ************************************************************************ */
%include OsfV1NodeClasses.grm
/* ************************************************************************ */
/* ********************************* RULES ******************************** */
/* ************************************************************************ */
%include OsfV1Rules.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 Thu Oct 03 16:39:07 CEST 2013 from file OsfV1Grammar.grm
by the hlt.language.tools.Hilite Java tool written by Hassan Aït-Kaci