1 files changed, 0 insertions, 188 deletions
diff --git a/src/syntaxParser/java_cup/SAVE/terminal.java b/src/syntaxParser/java_cup/SAVE/terminal.java
deleted file mode 100644
index 5a32ae8..0000000
--- a/src/syntaxParser/java_cup/SAVE/terminal.java
+++ /dev/null
@@ -1,188 +0,0 @@
-/*
- * This file is part of Petascope.
- *
- * Petascope is free software: you can redistribute it and/or modify
- * it under the terms of the GNU Lesser General Public License as
- * published by the Free Software Foundation, either version 3 of
- * the License, or (at your option) any later version.
- *
- * Petascope is distributed in the hope that it will be useful,
- * but WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
- * GNU Lesser General Public License for more details.
- *
- * You should have received a copy of the GNU Lesser General Public
- * License along with Petascope. If not, see <http://www.gnu.org/licenses/>.
- *
- * For more information please see <http://www.Petascope.org>
- * or contact Peter Baumann via <baumann@rasdaman.com>.
- *
- * Copyright 2009 Jacobs University Bremen, Peter Baumann.
- */
-
-package java_cup;
-
-import java_cup.assoc;
-import java.util.Hashtable;
-import java.util.Enumeration;
-
-/** This class represents a terminal symbol in the grammar.  Each terminal 
- *  has a textual name, an index, and a string which indicates the type of 
- *  object it will be implemented with at runtime (i.e. the class of object 
- *  that will be returned by the scanner and pushed on the parse stack to 
- *  represent it). 
- */
-public class terminal extends symbol {
-
-  /*-----------------------------------------------------------*/
-  /*--- Constructor(s) ----------------------------------------*/
-  /*-----------------------------------------------------------*/
-
-  /** Full constructor.
-   * @param nm the name of the terminal.
-   * @param tp the type of the terminal.
-   */
-  public terminal(String nm, String tp, int precedence_side, int precedence_num) 
-    {
-      /* superclass does most of the work */
-      super(nm, tp);
-
-      /* add to set of all terminals and check for duplicates */
-      Object conflict = _all.put(nm,this);
-      if (conflict != null)
-	// can't throw an execption here because this is used in static 
-	// initializers, so we do a crash instead
-	// was:
-	// throw new internal_error("Duplicate terminal (" + nm + ") created");
-	(new internal_error("Duplicate terminal (" + nm + ") created")).crash();
-
-      /* assign a unique index */
-      _index = next_index++;
-
-      /* set the precedence */
-      _precedence_num = precedence_num;
-      _precedence_side = precedence_side;
-
-      /* add to by_index set */
-      _all_by_index.put(new Integer(_index), this);
-    }
-
-  /*. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .*/
-
-  /** Constructor for non-precedented terminal
-    */ 
-
-  public terminal(String nm, String tp) 
-    {
-      this(nm, tp, assoc.no_prec, -1);
-    }
-
-  /*. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .*/
-
-  /** Constructor with default type. 
-   * @param nm the name of the terminal.
-   */
-  public terminal(String nm) 
-    {
-      this(nm, null);
-    }
-
-  /*-----------------------------------------------------------*/
-  /*-------------------  Class Variables  ---------------------*/
-  /*-----------------------------------------------------------*/
-
-  private int _precedence_num;
-  private int _precedence_side;
-
-  /*-----------------------------------------------------------*/
-  /*--- (Access to) Static (Class) Variables ------------------*/
-  /*-----------------------------------------------------------*/
-
-  /** Table of all terminals.  Elements are stored using name strings as 
-   *  the key 
-   */
-  protected static Hashtable _all = new Hashtable();
-
-  /** Access to all terminals. */
-  public static Enumeration all() {return _all.elements();}
-
-  /** Lookup a terminal by name string. */ 
-  public static terminal find(String with_name)
-    {
-      if (with_name == null)
-	return null;
-      else 
-	return (terminal)_all.get(with_name);
-    }
-
-
-  /*. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .*/
-
-  /** Table of all terminals indexed by their index number. */
-  protected static Hashtable _all_by_index = new Hashtable();
-
-  /** Lookup a terminal by index. */
-  public static terminal find(int indx)
-    {
-      Integer the_indx = new Integer(indx);
-
-      return (terminal)_all_by_index.get(the_indx);
-    }
-
-  /*. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .*/
-
-  /** Total number of terminals. */
-  public static int number() {return _all.size();}
-
-  /*. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .*/
- 
-  /** Static counter to assign unique index. */
-  protected static int next_index = 0;
-
-  /*. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .*/
-
-  /** Special terminal for end of input. */
-  public static final terminal EOF = new terminal("EOF");
-
-  /*. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .*/
-
-  /** special terminal used for error recovery */
-  public static final terminal error = new terminal("error");
-
-  /*-----------------------------------------------------------*/
-  /*--- General Methods ---------------------------------------*/
-  /*-----------------------------------------------------------*/
-
-  /** Report this symbol as not being a non-terminal. */
-  public boolean is_non_term() 
-    {
-      return false;
-    }
-
-  /*. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .*/
-
-  /** Convert to a string. */
-  public String toString()
-    {
-      return super.toString() + "[" + index() + "]";
-    }
-
-  /*. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .*/
-
-  /** get the precedence of a terminal */
-  public int precedence_num() {
-    return _precedence_num;
-  }
-  public int precedence_side() {
-    return _precedence_side;
-  }
-
-  /** set the precedence of a terminal */
-  public void set_precedence(int p, int new_prec) {
-    _precedence_side = p;
-    _precedence_num = new_prec;
-  }
-
-  /*-----------------------------------------------------------*/
-
-}