OsfV0Declarations.html

`OsfV0Declarations.grm`

    // FILE. . . . . /home/hak/hlt/src/hlt/osf/v0/sources/declarations.grm
    // EDIT BY . . . Hassan Ait-Kaci
    // ON MACHINE. . Hp-Dv7
    // STARTED ON. . Fri Nov 02 05:33:12 2012

This is part of the OSF V0 language grammar and contains its declarations.
Author: |  | Hassan Aït-Kaci
Copyright: |  | © by the author
Version: |  | Last modified on Thu Dec 27 01:28:06 2012 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.v0;

    %access public

    %start OsfV0Program

    %nodeprefix "OsfV0"
    %nodesuffix ""

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

    // Tokens in order of increasing precedence:

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

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

This file was generated on Mon Jan 21 11:06:44 CET 2013 from file `OsfV0Declarations.grm`
by the `hlt.language.tools.Hilite` Java tool written by Hassan Aït-Kaci