// 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

/* ************************************************************************ */
/* ************************  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 Sun Sep 15 13:38:06 CEST 2013 from file OsfV1Declarations.grm
by the hlt.language.tools.Hilite Java tool written by Hassan Aït-Kaci