1324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver/* 2324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * [The "BSD license"] 3324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * Copyright (c) 2010 Terence Parr 4324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * All rights reserved. 5324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * 6324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * Redistribution and use in source and binary forms, with or without 7324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * modification, are permitted provided that the following conditions 8324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * are met: 9324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * 1. Redistributions of source code must retain the above copyright 10324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * notice, this list of conditions and the following disclaimer. 11324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * 2. Redistributions in binary form must reproduce the above copyright 12324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * notice, this list of conditions and the following disclaimer in the 13324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * documentation and/or other materials provided with the distribution. 14324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * 3. The name of the author may not be used to endorse or promote products 15324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * derived from this software without specific prior written permission. 16324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * 17324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR 18324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES 19324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. 20324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, 21324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT 22324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 23324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 24324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 25324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF 26324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 27324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver */ 28324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverpackage org.antlr.analysis; 29324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 30324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver/** A generic transition between any two state machine states. It defines 31324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * some special labels that indicate things like epsilon transitions and 32324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * that the label is actually a set of labels or a semantic predicate. 33324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * This is a one way link. It emanates from a state (usually via a list of 34324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * transitions) and has a label/target pair. I have abstracted the notion 35324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * of a Label to handle the various kinds of things it can be. 36324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver */ 37324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverpublic class Transition implements Comparable { 38324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver /** What label must be consumed to transition to target */ 39324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver public Label label; 40324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 41324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver /** The target of this transition */ 42324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver public State target; 43324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 44324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver public Transition(Label label, State target) { 45324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver this.label = label; 46324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver this.target = target; 47324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 48324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 49324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver public Transition(int label, State target) { 50324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver this.label = new Label(label); 51324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver this.target = target; 52324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 53324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 54324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver public boolean isEpsilon() { 55324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver return label.isEpsilon(); 56324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 57324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 58324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver public boolean isAction() { 59324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver return label.isAction(); 60324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 61324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 62324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver public boolean isSemanticPredicate() { 63324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver return label.isSemanticPredicate(); 64324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 65324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 66324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver public int hashCode() { 67324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver return label.hashCode() + target.stateNumber; 68324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 69324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 70324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver public boolean equals(Object o) { 71324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver Transition other = (Transition)o; 72324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver return this.label.equals(other.label) && 73324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver this.target.equals(other.target); 74324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 75324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 76324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver public int compareTo(Object o) { 77324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver Transition other = (Transition)o; 78324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver return this.label.compareTo(other.label); 79324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 80324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 81324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver public String toString() { 82324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver return label+"->"+target.stateNumber; 83324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 84324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver} 85