`OsfV1Declarations.grm`

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

This is part of the OSF V1 language grammar and contains its declarations.
Author: |  | Hassan Aït-Kaci
Copyright: |  | © by the author
Version: |  | Last modified on Tue Sep 10 07:59:51 2013 by hak

    /* ************************************************************************ */
    /* ************************  START  OF  DECLARATIONS ********************** */
    /* ************************************************************************ */

    %import hlt.language.tools.Misc;
    %import hlt.language.tools.Debug;

    %import hlt.language.util.Stack;
    %import hlt.language.util.ArrayList;
    %import hlt.language.util.IntIterator;
    %import hlt.language.util.Error;
    %import hlt.language.util.Span;
    %import hlt.language.util.Locatable;

    %import hlt.osf.io.*;
    %import hlt.osf.base.*;
    %import hlt.osf.util.*;
    %import hlt.osf.exec.*;

    %import hlt.language.io.CircularInclusionException;

    %import java.util.HashMap;
    %import java.util.HashSet;

    %import java.io.PrintStream;
    %import java.io.FileNotFoundException;

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

    %package hlt.osf.v1;

    %access public

    %start OsfV1Program

    %root SortExpression

    %nodeprefix "OsfV1"
    %nodesuffix ""

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

    // Tokens in order of increasing precedence:

    %token EOS // End of statement marker (.)
    %token IDENTIFIER PRAGMA STRING TOP BOTTOM TAG INTEGER CHAR FLOAT BOOLEAN
    // %right PROJECT	// feature projection (/)
    %token ARROW	// feature association (=>)
    %token ISA	// 'is-a' declaration (<|)
    // %left  JOIN	// lub (\/)
    // %left  MEET	// glb (/\)
    %right BUTNOT   // sort complementation (\)
    %left OR	// sort union (|)
    %left AND	// sort intersection (&)
    %right NOT	// sort negation (!)

    /* ************************************************************************ */
    /* ***********************    END  OF  DECLARATIONS    ******************** */
    /* ************************************************************************ */

This file was generated on Thu Oct 03 16:39:07 CEST 2013 from file `OsfV1Declarations.grm`
by the `hlt.language.tools.Hilite` Java tool written by Hassan Aït-Kaci