`OsfV1NodeClasses.grm`

    // FILE. . . . . /home/hak/hlt/src/hlt/osfv1/apps/v1/sources/OsfV0NodeClasses.grm
    // EDIT BY . . . Hassan Ait-Kaci
    // ON MACHINE. . Hak-Laptop
    // STARTED ON. . Sun Sep 08 18:31:28 2013

This is an auxiliary file for the OSF V1 language grammar defining the node classes for the objects used in its semantic rules.
Author: |  | Hassan Aït-Kaci
Copyright: |  | © by the author
Version: |  | Last modified on Mon Sep 16 06:31:55 2013 by hak

    /* ************************************************************************ */
    /* ******************** OSF V1 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 UntaggedPsiTerm extends Body_opt
    {
      SortExpression sort;
    }

    %nodeclass PsiTerm extends UntaggedPsiTerm
    {
      String tag;
    }

    %nodeclass Body_opt
    {
      Stack keys;
      Stack subterms;
    }

    %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 Thu Oct 03 16:39:07 CEST 2013 from file `OsfV1NodeClasses.grm`
by the `hlt.language.tools.Hilite` Java tool written by Hassan Aït-Kaci