| 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 | 
|---|