|
OsfV0Grammar.grm
|
// FILE. . . . . /home/hak/hlt/src/hlt/osf/v0/sources/OsfV0GGrammar.grm // EDIT BY . . . Hassan Ait-Kaci // ON MACHINE. . Hp-Dv7 // STARTED ON. . Thu Nov 01 21:12:42 2012
|
| This defines the grammar rules and semantic actions for the "OSF V0" 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 OsfV0Declarations.grm
/* ************************************************************************ */
/* **************************** ANCILLARIES ******************************* */
/* ************************************************************************ */
%include OsfV0Ancillary.grm
/* ************************************************************************ */
/* ***************************** NODE CLASSES ***************************** */
/* ************************************************************************ */
%include OsfV0NodeClasses.grm
/* ************************************************************************ */
/* ********************************* RULES ******************************** */
/* ************************************************************************ */
%include OsfV0Rules.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 Jan 21 11:06:44 CET 2013 from file OsfV0Grammar.grm
by the hlt.language.tools.Hilite Java tool written by Hassan Aït-Kaci