| // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file | |
| // for details. All rights reserved. Use of this source code is governed by a | |
| // BSD-style license that can be found in the LICENSE file. | |
| library; | |
| import 'spannable.dart' show Spannable; | |
| class SourceSpan implements Spannable { | |
| final Uri uri; | |
| final int begin; | |
| final int end; | |
| SourceSpan(this.uri, this.begin, this.end); | |
| factory SourceSpan.unknown() => _unknown; | |
| static final SourceSpan _unknown = SourceSpan(Uri(), 0, 0); | |
| bool get isUnknown => this == _unknown; | |
| bool get isKnown => !isUnknown; | |
| @override | |
| int get hashCode { | |
| return 13 * uri.hashCode + 17 * begin.hashCode + 19 * end.hashCode; | |
| } | |
| @override | |
| bool operator ==(other) { | |
| if (identical(this, other)) return true; | |
| if (other is! SourceSpan) return false; | |
| return begin == other.begin && end == other.end && uri == other.uri; | |
| } | |
| @override | |
| String toString() => 'SourceSpan($uri, $begin, $end)'; | |
| } |