com.sun.java_cup.internal.terminal Maven / Gradle / Ivy
/*
* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS HEADER.
*
* Copyright 1997-2007 Sun Microsystems, Inc. All rights reserved.
*
* The contents of this file are subject to the terms of either the GNU
* General Public License Version 2 only ("GPL") or the Common Development
* and Distribution License("CDDL") (collectively, the "License"). You
* may not use this file except in compliance with the License. You can obtain
* a copy of the License at https://glassfish.dev.java.net/public/CDDL+GPL.html
* or glassfish/bootstrap/legal/LICENSE.txt. See the License for the specific
* language governing permissions and limitations under the License.
*
* When distributing the software, include this License Header Notice in each
* file and include the License file at glassfish/bootstrap/legal/LICENSE.txt.
* Sun designates this particular file as subject to the "Classpath" exception
* as provided by Sun in the GPL Version 2 section of the License file that
* accompanied this code. If applicable, add the following below the License
* Header, with the fields enclosed by brackets [] replaced by your own
* identifying information: "Portions Copyrighted [year]
* [name of copyright owner]"
*
* Contributor(s):
*
* If you wish your version of this file to be governed by only the CDDL or
* only the GPL Version 2, indicate your decision by adding "[Contributor]
* elects to include this software in this distribution under the [CDDL or GPL
* Version 2] license." If you don't indicate a single choice of license, a
* recipient has the option to distribute your version of this file under
* either the CDDL, the GPL Version 2 or to extend the choice of license to
* its licensees as provided above. However, if you add GPL Version 2 code
* and therefore, elected the GPL Version 2 license, then the option applies
* only if the new code is made subject to such option by the copyright
* holder.
*/
package com.sun.java_cup.internal;
import com.sun.java_cup.internal.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).
*
* @version last updated: 7/3/96
* @author Frank Flannery
*/
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;
}
/*-----------------------------------------------------------*/
}