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

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