package java_cup; /** This class represents a reduce action within the parse table. * The action simply stores the production that it reduces with and * responds to queries about its type. * * @version last updated: 11/25/95 * @author Scott Hudson */ public class reduce_action extends parse_action { /*-----------------------------------------------------------*/ /*--- Constructor(s) ----------------------------------------*/ /*-----------------------------------------------------------*/ /** Simple constructor. * @param prod the production this action reduces with. */ public reduce_action(production prod ) throws internal_error { /* sanity check */ if (prod == null) throw new internal_error( "Attempt to create a reduce_action with a null production"); _reduce_with = prod; } /*-----------------------------------------------------------*/ /*--- (Access to) Instance Variables ------------------------*/ /*-----------------------------------------------------------*/ /** The production we reduce with. */ protected production _reduce_with; /** The production we reduce with. */ public production reduce_with() {return _reduce_with;} /*-----------------------------------------------------------*/ /*--- General Methods ---------------------------------------*/ /*-----------------------------------------------------------*/ /** Quick access to type of action. */ public int kind() {return REDUCE;} /*. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .*/ /** Equality test. */ public boolean equals(reduce_action other) { return other != null && other.reduce_with() == reduce_with(); } /*. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .*/ /** Generic equality test. */ public boolean equals(Object other) { if (other instanceof reduce_action) return equals((reduce_action)other); else return false; } /*. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .*/ /** Compute a hash code. */ public int hashCode() { /* use the hash code of the production we are reducing with */ return reduce_with().hashCode(); } /** Convert to string. */ public String toString() { return "REDUCE(" + reduce_with().index() + ")"; } /*-----------------------------------------------------------*/ };