Ptidej-v5.2-master/PADL Creator AOL/src/padl/creator/aolfile/javacup/symbol.java
package padl.creator.aolfile.javacup;

/** This abstract class serves as the base class for grammar symbols (i.e.,
 * both terminals and non-terminals).  Each symbol has a name string, and
 * a string giving the type of object that the symbol will be represented by
 * on the runtime parse stack.  In addition, each symbol maintains a use count
 * in order to detect symbols that are declared but never used, and an index
 * number that indicates where it appears in parse tables (index numbers are
 * unique within terminals or non terminals, but not across both).
 *
 * @see     java_cup.terminal
 * @see     java_cup.non_terminal
 * @version last updated: 7/3/96
 * @author  Frank Flannery
 */
public abstract class symbol {
	/*-----------------------------------------------------------*/
	/*--- Constructor(s) ----------------------------------------*/
	/*-----------------------------------------------------------*/

	/** String for the human readable name of the symbol. */
	protected String _name;

	/*. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .*/

	/** String for the type of object used for the symbol on the parse stack. */
	protected String _stack_type;

	/*-----------------------------------------------------------*/
	/*--- (Access to) Instance Variables ------------------------*/
	/*-----------------------------------------------------------*/

	/** Count of how many times the symbol appears in productions. */
	protected int _use_count = 0;

	/** Index of this symbol (terminal or non terminal) in the parse tables.
	*  Note: indexes are unique among terminals and unique among non terminals,
	*  however, a terminal may have the same index as a non-terminal, etc. 
	*/
	protected int _index;

	/*. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .*/

	/** Constructor with default type. 
	 * @param nm the name of the symbol.
	 */
	public symbol(final String nm) {
		this(nm, null);
	}

	/** Full constructor.
	 * @param nm the name of the symbol.
	 * @param tp a string with the type name.
	 */
	public symbol(String nm, String tp) {
		/* sanity check */
		if (nm == null) {
			nm = "";
		}

		/* apply default if no type given */
		if (tp == null) {
			tp = "Object";
		}

		this._name = nm;
		this._stack_type = tp;
	}

	/*. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .*/

	/** Index of this symbol (terminal or non terminal) in the parse tables.
	*  Note: indexes are unique among terminals and unique among non terminals,
	*  however, a terminal may have the same index as a non-terminal, etc. 
	*/
	public int index() {
		return this._index;
	}

	/** Indicate if this is a non-terminal.  Here in the base class we
	*  don't know, so this is abstract.  
	*/
	public abstract boolean is_non_term();

	/** String for the human readable name of the symbol. */
	public String name() {
		return this._name;
	}

	/*. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .*/

	/** Increment the use count. */
	public void note_use() {
		this._use_count++;
	}

	/** String for the type of object used for the symbol on the parse stack. */
	public String stack_type() {
		return this._stack_type;
	}

	/*. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .*/

	/** Convert to a string. */
	public String toString() {
		return this.name();
	}

	/*. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .*/

	/** Count of how many times the symbol appears in productions. */
	public int use_count() {
		return this._use_count;
	}

	/*-----------------------------------------------------------*/

}
