| 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 // | 8 // |
| 9 // Server methods | 9 // Server methods |
| 10 // | 10 // |
| (...skipping 52 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 63 const String OLD_LENGTH = 'oldLength'; | 63 const String OLD_LENGTH = 'oldLength'; |
| 64 const String OPTIONS = 'options'; | 64 const String OPTIONS = 'options'; |
| 65 const String OUTLINE = 'outline'; | 65 const String OUTLINE = 'outline'; |
| 66 const String PARAMETERS = 'parameters'; | 66 const String PARAMETERS = 'parameters'; |
| 67 const String REFACTORINGS = 'refactorings'; | 67 const String REFACTORINGS = 'refactorings'; |
| 68 const String REGIONS = 'regions'; | 68 const String REGIONS = 'regions'; |
| 69 const String REMOVED = 'removed'; | 69 const String REMOVED = 'removed'; |
| 70 const String RETURN_TYPE = 'returnType'; | 70 const String RETURN_TYPE = 'returnType'; |
| 71 const String SUBSCRIPTIONS = 'subscriptions'; | 71 const String SUBSCRIPTIONS = 'subscriptions'; |
| 72 const String VERSION = 'version'; | 72 const String VERSION = 'version'; |
| 73 | |
| 74 | |
| 75 // TODO(scheglov) remove it with ContextDomain | |
| 76 const String APPLY_CHANGES_NAME = 'context.applyChanges'; | |
| 77 const String GET_FIXES_NAME = 'context.getFixes'; | |
| 78 const String SET_OPTIONS_NAME = 'context.setOptions'; | |
| 79 const String SET_PRIORITY_SOURCES_NAME = 'context.setPrioritySources'; | |
| 80 const String CHANGES_PARAM = 'changes'; | |
| 81 const String CONTEXT_ID_PARAM = 'contextId'; | |
| 82 const String MODIFIED_PARAM = "modified"; | |
| 83 const String SOURCES_PARAM = 'sources'; | |
| 84 const String CACHE_SIZE_OPTION = 'cacheSize'; | |
| 85 const String GENERATE_HINTS_OPTION = 'generateHints'; | |
| 86 const String GENERATE_DART2JS_OPTION = 'generateDart2jsHints'; | |
| 87 const String PROVIDE_ERRORS_OPTION = 'provideErrors'; | |
| 88 const String PROVIDE_NAVIGATION_OPTION = 'provideNavigation'; | |
| 89 const String PROVIDE_OUTLINE_OPTION = 'provideOutline'; | |
| OLD | NEW |