|
OsfV2Grammar.grm
|
// FILE. . . . . /home/hak/hlt/src/hlt/osfv2/apps/v2/sources/OsfV2Grammar.grm // EDIT BY . . . Hassan Ait-Kaci // ON MACHINE. . Hak-Laptop // STARTED ON. . Tue Jan 21 08:19:14 2014
|
| This defines the grammar rules and semantic actions for the "OSF V2" 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 OsfV2Declarations.grm
/* ************************************************************************ */
/* **************************** ANCILLARIES ******************************* */
/* ************************************************************************ */
%include OsfV2Ancillary.grm
/* ************************************************************************ */
/* ***************************** NODE CLASSES ***************************** */
/* ************************************************************************ */
%include OsfV2NodeClasses.grm
/* ************************************************************************ */
/* ********************************* RULES ******************************** */
/* ************************************************************************ */
%include OsfV2Rules.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 Mon Jun 02 09:43:20 CEST 2014 from file OsfV2Grammar.grm
by the hlt.language.tools.Hilite Java tool written by Hassan Aït-Kaci