OLD | NEW |
1 // Copyright (c) 2015, the Fletch project authors. Please see the AUTHORS file | 1 // Copyright (c) 2015, the Dartino project authors. Please see the AUTHORS file |
2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
3 // BSD-style license that can be found in the LICENSE.md file. | 3 // BSD-style license that can be found in the LICENSE.md file. |
4 | 4 |
5 library fletchc.fletch_system_printer; | 5 library fletchc.fletch_system_printer; |
6 | 6 |
7 import '../fletch_system.dart' show | 7 import '../fletch_system.dart' show |
8 FletchClass, | 8 FletchClass, |
9 FletchFunction, | 9 FletchFunction, |
10 FletchSystem; | 10 FletchSystem; |
11 | 11 |
(...skipping 210 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
222 String toString() => "DecodedFletchSelector($id, $symbol, $kind, $arity)"; | 222 String toString() => "DecodedFletchSelector($id, $symbol, $kind, $arity)"; |
223 | 223 |
224 int compareTo(DecodedFletchSelector other) { | 224 int compareTo(DecodedFletchSelector other) { |
225 int result = this.symbol.compareTo(other.symbol); | 225 int result = this.symbol.compareTo(other.symbol); |
226 if (result != 0) return result; | 226 if (result != 0) return result; |
227 result = this.kind.index.compareTo(other.kind.index); | 227 result = this.kind.index.compareTo(other.kind.index); |
228 if (result != 0) return result; | 228 if (result != 0) return result; |
229 return this.arity.compareTo(other.arity); | 229 return this.arity.compareTo(other.arity); |
230 } | 230 } |
231 } | 231 } |
OLD | NEW |