// 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 <a href="OsfV0.html">OSF V0 language grammar</a>
 * and contains its declarations.
 * 
 * @version     Last modified on Thu Dec 27 01:28:06 2012 by hak
 * @author      <a href="mailto:hak@acm.org">Hassan A&iuml;t-Kaci</a>
 * @copyright   &copy; <a href="http://www.hassan-ait-kaci.net/">by the author</a>
 */

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