Index: pkg/analysis_server/lib/src/plugin/notification_manager.dart |
diff --git a/pkg/analysis_server/lib/src/plugin/notification_manager.dart b/pkg/analysis_server/lib/src/plugin/notification_manager.dart |
index 5e383e83c9544054bc7e04fbbb7f51f3f374e935..9aad4d53e863c17adf55b464dba520b7b03e3474 100644 |
--- a/pkg/analysis_server/lib/src/plugin/notification_manager.dart |
+++ b/pkg/analysis_server/lib/src/plugin/notification_manager.dart |
@@ -11,7 +11,7 @@ import 'package:analysis_server/src/plugin/result_converter.dart'; |
import 'package:analysis_server/src/plugin/result_merger.dart'; |
import 'package:analyzer/file_system/file_system.dart'; |
import 'package:analyzer_plugin/protocol/protocol.dart' as plugin; |
-import 'package:analyzer_plugin/protocol/protocol_common.dart' as plugin; |
+import 'package:analyzer_plugin/protocol/protocol_common.dart'; |
import 'package:analyzer_plugin/protocol/protocol_constants.dart' as plugin; |
import 'package:analyzer_plugin/protocol/protocol_generated.dart' as plugin; |
@@ -55,17 +55,17 @@ class NotificationManager { |
/** |
* The collector being used to collect the analysis errors from the plugins. |
*/ |
- ResultCollector<List<server.AnalysisError>> errors; |
+ ResultCollector<List<AnalysisError>> errors; |
/** |
* The collector being used to collect the folding regions from the plugins. |
*/ |
- ResultCollector<List<server.FoldingRegion>> folding; |
+ ResultCollector<List<FoldingRegion>> folding; |
/** |
* The collector being used to collect the highlight regions from the plugins. |
*/ |
- ResultCollector<List<server.HighlightRegion>> highlights; |
+ ResultCollector<List<HighlightRegion>> highlights; |
/** |
* The collector being used to collect the navigation parameters from the |
@@ -76,12 +76,12 @@ class NotificationManager { |
/** |
* The collector being used to collect the occurrences from the plugins. |
*/ |
- ResultCollector<List<server.Occurrences>> occurrences; |
+ ResultCollector<List<Occurrences>> occurrences; |
/** |
* The collector being used to collect the outlines from the plugins. |
*/ |
- ResultCollector<List<server.Outline>> outlines; |
+ ResultCollector<List<Outline>> outlines; |
/** |
* The object used to convert results. |
@@ -97,13 +97,13 @@ class NotificationManager { |
* Initialize a newly created notification manager. |
*/ |
NotificationManager(this.channel, this.provider) { |
- errors = new ResultCollector<List<server.AnalysisError>>(serverId, |
+ errors = new ResultCollector<List<AnalysisError>>(serverId, |
predicate: _isIncluded); |
- folding = new ResultCollector<List<server.FoldingRegion>>(serverId); |
- highlights = new ResultCollector<List<server.HighlightRegion>>(serverId); |
+ folding = new ResultCollector<List<FoldingRegion>>(serverId); |
+ highlights = new ResultCollector<List<HighlightRegion>>(serverId); |
navigation = new ResultCollector<server.AnalysisNavigationParams>(serverId); |
- occurrences = new ResultCollector<List<server.Occurrences>>(serverId); |
- outlines = new ResultCollector<List<server.Outline>>(serverId); |
+ occurrences = new ResultCollector<List<Occurrences>>(serverId); |
+ outlines = new ResultCollector<List<Outline>>(serverId); |
} |
/** |
@@ -116,35 +116,17 @@ class NotificationManager { |
case plugin.ANALYSIS_NOTIFICATION_ERRORS: |
plugin.AnalysisErrorsParams params = |
new plugin.AnalysisErrorsParams.fromNotification(notification); |
- recordAnalysisErrors( |
- pluginId, |
- params.file, |
- params.errors |
- .map((plugin.AnalysisError error) => |
- converter.convertAnalysisError(error)) |
- .toList()); |
+ recordAnalysisErrors(pluginId, params.file, params.errors); |
break; |
case plugin.ANALYSIS_NOTIFICATION_FOLDING: |
plugin.AnalysisFoldingParams params = |
new plugin.AnalysisFoldingParams.fromNotification(notification); |
- recordFoldingRegions( |
- pluginId, |
- params.file, |
- params.regions |
- .map((plugin.FoldingRegion region) => |
- converter.convertFoldingRegion(region)) |
- .toList()); |
+ recordFoldingRegions(pluginId, params.file, params.regions); |
break; |
case plugin.ANALYSIS_NOTIFICATION_HIGHLIGHTS: |
plugin.AnalysisHighlightsParams params = |
new plugin.AnalysisHighlightsParams.fromNotification(notification); |
- recordHighlightRegions( |
- pluginId, |
- params.file, |
- params.regions |
- .map((plugin.HighlightRegion region) => |
- converter.convertHighlightRegion(region)) |
- .toList()); |
+ recordHighlightRegions(pluginId, params.file, params.regions); |
break; |
case plugin.ANALYSIS_NOTIFICATION_NAVIGATION: |
plugin.AnalysisNavigationParams params = |
@@ -155,24 +137,12 @@ class NotificationManager { |
case plugin.ANALYSIS_NOTIFICATION_OCCURRENCES: |
plugin.AnalysisOccurrencesParams params = |
new plugin.AnalysisOccurrencesParams.fromNotification(notification); |
- recordOccurrences( |
- pluginId, |
- params.file, |
- params.occurrences |
- .map((plugin.Occurrences occurrences) => |
- converter.convertOccurrences(occurrences)) |
- .toList()); |
+ recordOccurrences(pluginId, params.file, params.occurrences); |
break; |
case plugin.ANALYSIS_NOTIFICATION_OUTLINE: |
plugin.AnalysisOutlineParams params = |
new plugin.AnalysisOutlineParams.fromNotification(notification); |
- recordOutlines( |
- pluginId, |
- params.file, |
- params.outline |
- .map((plugin.Outline outline) => |
- converter.convertOutline(outline)) |
- .toList()); |
+ recordOutlines(pluginId, params.file, params.outline); |
break; |
case plugin.PLUGIN_NOTIFICATION_ERROR: |
plugin.PluginErrorParams params = |
@@ -193,12 +163,11 @@ class NotificationManager { |
* file with the given [filePath]. |
*/ |
void recordAnalysisErrors( |
- String pluginId, String filePath, List<server.AnalysisError> errorData) { |
+ String pluginId, String filePath, List<AnalysisError> errorData) { |
if (errors.isCollectingFor(filePath)) { |
errors.putResults(filePath, pluginId, errorData); |
- List<List<server.AnalysisError>> unmergedErrors = |
- errors.getResults(filePath); |
- List<server.AnalysisError> mergedErrors = |
+ List<List<AnalysisError>> unmergedErrors = errors.getResults(filePath); |
+ List<AnalysisError> mergedErrors = |
merger.mergeAnalysisErrors(unmergedErrors); |
channel.sendNotification( |
new server.AnalysisErrorsParams(filePath, mergedErrors) |
@@ -210,13 +179,12 @@ class NotificationManager { |
* Record folding information from the plugin with the given [pluginId] for |
* the file with the given [filePath]. |
*/ |
- void recordFoldingRegions(String pluginId, String filePath, |
- List<server.FoldingRegion> foldingData) { |
+ void recordFoldingRegions( |
+ String pluginId, String filePath, List<FoldingRegion> foldingData) { |
if (folding.isCollectingFor(filePath)) { |
folding.putResults(filePath, pluginId, foldingData); |
- List<List<server.FoldingRegion>> unmergedFolding = |
- folding.getResults(filePath); |
- List<server.FoldingRegion> mergedFolding = |
+ List<List<FoldingRegion>> unmergedFolding = folding.getResults(filePath); |
+ List<FoldingRegion> mergedFolding = |
merger.mergeFoldingRegions(unmergedFolding); |
channel.sendNotification( |
new server.AnalysisFoldingParams(filePath, mergedFolding) |
@@ -228,13 +196,13 @@ class NotificationManager { |
* Record highlight information from the plugin with the given [pluginId] for |
* the file with the given [filePath]. |
*/ |
- void recordHighlightRegions(String pluginId, String filePath, |
- List<server.HighlightRegion> highlightData) { |
+ void recordHighlightRegions( |
+ String pluginId, String filePath, List<HighlightRegion> highlightData) { |
if (highlights.isCollectingFor(filePath)) { |
highlights.putResults(filePath, pluginId, highlightData); |
- List<List<server.HighlightRegion>> unmergedHighlights = |
+ List<List<HighlightRegion>> unmergedHighlights = |
highlights.getResults(filePath); |
- List<server.HighlightRegion> mergedHighlights = |
+ List<HighlightRegion> mergedHighlights = |
merger.mergeHighlightRegions(unmergedHighlights); |
channel.sendNotification( |
new server.AnalysisHighlightsParams(filePath, mergedHighlights) |
@@ -262,13 +230,13 @@ class NotificationManager { |
* Record occurrences information from the plugin with the given [pluginId] |
* for the file with the given [filePath]. |
*/ |
- void recordOccurrences(String pluginId, String filePath, |
- List<server.Occurrences> occurrencesData) { |
+ void recordOccurrences( |
+ String pluginId, String filePath, List<Occurrences> occurrencesData) { |
if (occurrences.isCollectingFor(filePath)) { |
occurrences.putResults(filePath, pluginId, occurrencesData); |
- List<List<server.Occurrences>> unmergedOccurrences = |
+ List<List<Occurrences>> unmergedOccurrences = |
occurrences.getResults(filePath); |
- List<server.Occurrences> mergedOccurrences = |
+ List<Occurrences> mergedOccurrences = |
merger.mergeOccurrences(unmergedOccurrences); |
channel.sendNotification( |
new server.AnalysisOccurrencesParams(filePath, mergedOccurrences) |
@@ -281,13 +249,11 @@ class NotificationManager { |
* the file with the given [filePath]. |
*/ |
void recordOutlines( |
- String pluginId, String filePath, List<server.Outline> outlineData) { |
+ String pluginId, String filePath, List<Outline> outlineData) { |
if (outlines.isCollectingFor(filePath)) { |
outlines.putResults(filePath, pluginId, outlineData); |
- List<List<server.Outline>> unmergedOutlines = |
- outlines.getResults(filePath); |
- List<server.Outline> mergedOutlines = |
- merger.mergeOutline(unmergedOutlines); |
+ List<List<Outline>> unmergedOutlines = outlines.getResults(filePath); |
+ List<Outline> mergedOutlines = merger.mergeOutline(unmergedOutlines); |
channel.sendNotification(new server.AnalysisOutlineParams( |
filePath, server.FileKind.LIBRARY, mergedOutlines[0]) |
.toNotification()); |