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/plugin/protocol/protocol.dart' | 7 import 'package:analysis_server/protocol/protocol_generated.dart' |
8 hide AnalysisErrorFixes; | 8 hide AnalysisErrorFixes; |
9 import 'package:analyzer_plugin/protocol/protocol_generated.dart' as plugin; | 9 import 'package:analyzer_plugin/protocol/protocol_generated.dart' as plugin; |
10 import 'package:meta/meta.dart'; | 10 import 'package:meta/meta.dart'; |
11 | 11 |
12 /** | 12 /** |
13 * An object used to merge partial lists of results that were contributed by | 13 * An object used to merge partial lists of results that were contributed by |
14 * plugins. | 14 * plugins. |
15 * | 15 * |
16 * All of the methods in this class assume that the contributions from the | 16 * 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 | 17 * analysis server are the first partial result in the list of partial results |
(...skipping 800 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
818 if (leftEnd < rightStart || leftStart > rightEnd) { | 818 if (leftEnd < rightStart || leftStart > rightEnd) { |
819 return false; | 819 return false; |
820 } | 820 } |
821 if (!allowNesting) { | 821 if (!allowNesting) { |
822 return true; | 822 return true; |
823 } | 823 } |
824 return !((leftStart <= rightStart && rightEnd <= leftEnd) || | 824 return !((leftStart <= rightStart && rightEnd <= leftEnd) || |
825 (rightStart <= leftStart && leftEnd <= rightEnd)); | 825 (rightStart <= leftStart && leftEnd <= rightEnd)); |
826 } | 826 } |
827 } | 827 } |
OLD | NEW |