OLD | NEW |
1 // Copyright (c) 2017, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2017, the Dart 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 file. | 3 // BSD-style license that can be found in the LICENSE file. |
4 | 4 |
5 import 'dart:collection'; | 5 import 'dart:collection'; |
6 | 6 |
7 import 'package:analysis_server/protocol/protocol_generated.dart' | 7 import 'package:analysis_server/protocol/protocol_generated.dart' |
8 hide AnalysisErrorFixes; | 8 hide AnalysisErrorFixes; |
| 9 import 'package:analyzer_plugin/protocol/protocol_common.dart' as plugin; |
9 import 'package:analyzer_plugin/protocol/protocol_generated.dart' as plugin; | 10 import 'package:analyzer_plugin/protocol/protocol_generated.dart' as plugin; |
10 import 'package:meta/meta.dart'; | 11 import 'package:meta/meta.dart'; |
11 | 12 |
12 /** | 13 /** |
13 * An object used to merge partial lists of results that were contributed by | 14 * An object used to merge partial lists of results that were contributed by |
14 * plugins. | 15 * plugins. |
15 * | 16 * |
16 * All of the methods in this class assume that the contributions from the | 17 * All of the methods in this class assume that the contributions from the |
17 * analysis server are the first partial result in the list of partial results | 18 * analysis server are the first partial result in the list of partial results |
18 * to be merged. | 19 * to be merged. |
(...skipping 799 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
818 if (leftEnd < rightStart || leftStart > rightEnd) { | 819 if (leftEnd < rightStart || leftStart > rightEnd) { |
819 return false; | 820 return false; |
820 } | 821 } |
821 if (!allowNesting) { | 822 if (!allowNesting) { |
822 return true; | 823 return true; |
823 } | 824 } |
824 return !((leftStart <= rightStart && rightEnd <= leftEnd) || | 825 return !((leftStart <= rightStart && rightEnd <= leftEnd) || |
825 (rightStart <= leftStart && leftEnd <= rightEnd)); | 826 (rightStart <= leftStart && leftEnd <= rightEnd)); |
826 } | 827 } |
827 } | 828 } |
OLD | NEW |