| 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 constants; | 5 library constants; |
| 6 | 6 |
| 7 // | 7 // |
| 8 // Server methods | 8 // Server methods |
| 9 // | 9 // |
| 10 const String SERVER_GET_VERSION = 'server.getVersion'; | 10 const String SERVER_GET_VERSION = 'server.getVersion'; |
| (...skipping 91 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 102 const String OLD_LENGTH = 'oldLength'; | 102 const String OLD_LENGTH = 'oldLength'; |
| 103 const String OPTIONS = 'options'; | 103 const String OPTIONS = 'options'; |
| 104 const String OUTLINE = 'outline'; | 104 const String OUTLINE = 'outline'; |
| 105 const String PARAMETERS = 'parameters'; | 105 const String PARAMETERS = 'parameters'; |
| 106 const String PATTERN = 'pattern'; | 106 const String PATTERN = 'pattern'; |
| 107 const String REFACTORINGS = 'refactorings'; | 107 const String REFACTORINGS = 'refactorings'; |
| 108 const String REGIONS = 'regions'; | 108 const String REGIONS = 'regions'; |
| 109 const String REMOVED = 'removed'; | 109 const String REMOVED = 'removed'; |
| 110 const String RETURN_TYPE = 'returnType'; | 110 const String RETURN_TYPE = 'returnType'; |
| 111 const String SUBSCRIPTIONS = 'subscriptions'; | 111 const String SUBSCRIPTIONS = 'subscriptions'; |
| 112 const String TYPE = 'type'; |
| 112 const String VERSION = 'version'; | 113 const String VERSION = 'version'; |
| OLD | NEW |