| OLD | NEW |
| 1 // Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2014, 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 library socket.server; | 5 library socket.server; |
| 6 | 6 |
| 7 import 'package:analysis_server/src/analysis_server.dart'; | 7 import 'package:analysis_server/src/analysis_server.dart'; |
| 8 import 'package:analysis_server/src/channel.dart'; | 8 import 'package:analysis_server/src/channel.dart'; |
| 9 import 'package:analysis_server/src/domain_analysis.dart'; | 9 import 'package:analysis_server/src/domain_analysis.dart'; |
| 10 import 'package:analysis_server/src/domain_completion.dart'; | 10 import 'package:analysis_server/src/domain_completion.dart'; |
| (...skipping 35 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 46 | 46 |
| 47 SocketServer(this.defaultSdk); | 47 SocketServer(this.defaultSdk); |
| 48 | 48 |
| 49 /** | 49 /** |
| 50 * Create an analysis server which will communicate with the client using the | 50 * Create an analysis server which will communicate with the client using the |
| 51 * given serverChannel. | 51 * given serverChannel. |
| 52 */ | 52 */ |
| 53 void createAnalysisServer(ServerCommunicationChannel serverChannel) { | 53 void createAnalysisServer(ServerCommunicationChannel serverChannel) { |
| 54 if (analysisServer != null) { | 54 if (analysisServer != null) { |
| 55 RequestError error = new RequestError.serverAlreadyStarted(); | 55 RequestError error = new RequestError.serverAlreadyStarted(); |
| 56 serverChannel.sendResponse(new Response('', error)); | 56 serverChannel.sendResponse(new Response('', error: error)); |
| 57 serverChannel.listen((Request request) { | 57 serverChannel.listen((Request request) { |
| 58 serverChannel.sendResponse(new Response(request.id, error)); | 58 serverChannel.sendResponse(new Response(request.id, error: error)); |
| 59 }); | 59 }); |
| 60 return; | 60 return; |
| 61 } | 61 } |
| 62 PhysicalResourceProvider resourceProvider = PhysicalResourceProvider.INSTANC
E; | 62 PhysicalResourceProvider resourceProvider = PhysicalResourceProvider.INSTANC
E; |
| 63 analysisServer = new AnalysisServer( | 63 analysisServer = new AnalysisServer( |
| 64 serverChannel, | 64 serverChannel, |
| 65 resourceProvider, | 65 resourceProvider, |
| 66 new PubPackageMapProvider(resourceProvider, defaultSdk), | 66 new PubPackageMapProvider(resourceProvider, defaultSdk), |
| 67 _createIndex(), | 67 _createIndex(), |
| 68 defaultSdk, | 68 defaultSdk, |
| 69 rethrowExceptions: false); | 69 rethrowExceptions: false); |
| 70 _initializeHandlers(analysisServer); | 70 _initializeHandlers(analysisServer); |
| 71 } | 71 } |
| 72 | 72 |
| 73 /** | 73 /** |
| 74 * Initialize the handlers to be used by the given [server]. | 74 * Initialize the handlers to be used by the given [server]. |
| 75 */ | 75 */ |
| 76 void _initializeHandlers(AnalysisServer server) { | 76 void _initializeHandlers(AnalysisServer server) { |
| 77 server.handlers = [ | 77 server.handlers = [ |
| 78 new ServerDomainHandler(server), | 78 new ServerDomainHandler(server), |
| 79 new AnalysisDomainHandler(server), | 79 new AnalysisDomainHandler(server), |
| 80 new EditDomainHandler(server), | 80 new EditDomainHandler(server), |
| 81 new SearchDomainHandler(server), | 81 new SearchDomainHandler(server), |
| 82 new CompletionDomainHandler(server), | 82 new CompletionDomainHandler(server), |
| 83 ]; | 83 ]; |
| 84 } | 84 } |
| 85 } | 85 } |
| OLD | NEW |