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

/* ************************************************************************ */
/* ******************** OSF V3 GRAMMAR'S NODE CLASSES ********************* */
/* ************************************************************************ */

%nodeclass IsaDeclarationStatement
{
  Stack lhs;
  Stack rhs;
}

%nodeclass SortSymbols
{
  Stack symbols;
}

%nodeclass public SortExpression
{
  public SortExpression expression;
}

%nodeclass public Constant
{
  public Constant constant;
}

%nodeclass SortList
{
  Stack sortList;
}

%nodeclass PsiTerm extends UntaggedPsiTerm
{
  String tag;
}

%nodeclass Body_opt
{
  Stack keys;
  Stack subterms;
}

%nodeclass UntaggedPsiTerm extends Body_opt
{
  SortExpression sort;
}

%nodeclass SubTerms extends Body_opt
{
}

%nodeclass SubTerm
{
  Object key;
  Object psiterm;
}

%nodeclass Feature
{
  Object feature;
}

// %nodeclass PragmaArguments_opt
// {
//   Stack args;
// }

%nodeclass FileList
{
  Stack files;
}

/* ************************************************************************ */

This file was generated on Fri Aug 16 04:59:19 PDT 2019 from file OsfV3NodeClasses.grm
by the hlt.language.tools.Hilite Java tool written by Hassan Aït-Kaci