1 | /* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
|
---|
2 | * JFlex 1.4.3 *
|
---|
3 | * Copyright (C) 1998-2009 Gerwin Klein <[email protected]> *
|
---|
4 | * All rights reserved. *
|
---|
5 | * *
|
---|
6 | * This program is free software; you can redistribute it and/or modify *
|
---|
7 | * it under the terms of the GNU General Public License. See the file *
|
---|
8 | * COPYRIGHT for more information. *
|
---|
9 | * *
|
---|
10 | * This program is distributed in the hope that it will be useful, *
|
---|
11 | * but WITHOUT ANY WARRANTY; without even the implied warranty of *
|
---|
12 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the *
|
---|
13 | * GNU General Public License for more details. *
|
---|
14 | * *
|
---|
15 | * You should have received a copy of the GNU General Public License along *
|
---|
16 | * with this program; if not, write to the Free Software Foundation, Inc., *
|
---|
17 | * 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA *
|
---|
18 | * *
|
---|
19 | * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
|
---|
20 |
|
---|
21 | package JFlex;
|
---|
22 |
|
---|
23 |
|
---|
24 | /**
|
---|
25 | * Simple pair of integers.
|
---|
26 | *
|
---|
27 | * Used in NFA to represent a partial NFA by its start and end state.
|
---|
28 | *
|
---|
29 | * @author Gerwin Klein
|
---|
30 | * @version JFlex 1.4.3, $Revision: 433 $, $Date: 2009-01-31 19:52:34 +1100 (Sat, 31 Jan 2009) $
|
---|
31 | */
|
---|
32 | final class IntPair {
|
---|
33 |
|
---|
34 | int start;
|
---|
35 | int end;
|
---|
36 |
|
---|
37 | IntPair(int start, int end) {
|
---|
38 | this.start = start;
|
---|
39 | this.end = end;
|
---|
40 | }
|
---|
41 |
|
---|
42 | public int hashCode() {
|
---|
43 | return end + (start << 8);
|
---|
44 | }
|
---|
45 |
|
---|
46 | public boolean equals(Object o) {
|
---|
47 | if ( o instanceof IntPair ) {
|
---|
48 | IntPair p = (IntPair) o;
|
---|
49 | return start == p.start && end == p.end;
|
---|
50 | }
|
---|
51 | return false;
|
---|
52 | }
|
---|
53 |
|
---|
54 | public String toString() {
|
---|
55 | return "("+start+","+end+")";
|
---|
56 | }
|
---|
57 | }
|
---|