| 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 59 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 70 const String EDIT_GET_FIXES = 'edit.getFixes'; | 70 const String EDIT_GET_FIXES = 'edit.getFixes'; |
| 71 const String EDIT_GET_REFACTORINGS = 'edit.getRefactorings'; | 71 const String EDIT_GET_REFACTORINGS = 'edit.getRefactorings'; |
| 72 const String EDIT_SET_REFACTORING_OPTIONS = 'edit.setRefactoringOptions'; | 72 const String EDIT_SET_REFACTORING_OPTIONS = 'edit.setRefactoringOptions'; |
| 73 | 73 |
| 74 // | 74 // |
| 75 // Property names | 75 // Property names |
| 76 // | 76 // |
| 77 const String ADDED = 'added'; | 77 const String ADDED = 'added'; |
| 78 const String CHILDREN = 'children'; | 78 const String CHILDREN = 'children'; |
| 79 const String CONTENT = 'content'; | 79 const String CONTENT = 'content'; |
| 80 const String CORRECTION = 'correction'; |
| 80 const String DEFAULT = 'default'; | 81 const String DEFAULT = 'default'; |
| 81 const String ELEMENT_LENGTH = 'elementLength'; | 82 const String ELEMENT_LENGTH = 'elementLength'; |
| 82 const String ELEMENT_OFFSET = 'elementOffset'; | 83 const String ELEMENT_OFFSET = 'elementOffset'; |
| 83 const String EXCLUDED = 'excluded'; | 84 const String EXCLUDED = 'excluded'; |
| 85 const String ERROR_CODE = 'errorCode'; |
| 84 const String ERRORS = 'errors'; | 86 const String ERRORS = 'errors'; |
| 85 const String FILE = 'file'; | 87 const String FILE = 'file'; |
| 86 const String FILES = 'files'; | 88 const String FILES = 'files'; |
| 87 const String FIXES = 'fixes'; | 89 const String FIXES = 'fixes'; |
| 88 const String ID = 'id'; | 90 const String ID = 'id'; |
| 89 const String INCLUDED = 'included'; | 91 const String INCLUDED = 'included'; |
| 90 const String IS_ABSTRACT = 'isAbstract'; | 92 const String IS_ABSTRACT = 'isAbstract'; |
| 91 const String IS_STATIC = 'isStatic'; | 93 const String IS_STATIC = 'isStatic'; |
| 92 const String KIND = 'kind'; | 94 const String KIND = 'kind'; |
| 93 const String LENGTH = 'length'; | 95 const String LENGTH = 'length'; |
| 96 const String MESSAGE = 'message'; |
| 94 const String NAME = 'name'; | 97 const String NAME = 'name'; |
| 95 const String NAME_LENGTH = 'nameLength'; | 98 const String NAME_LENGTH = 'nameLength'; |
| 96 const String NAME_OFFSET = 'nameOffset'; | 99 const String NAME_OFFSET = 'nameOffset'; |
| 97 const String NEW_LENGTH = 'newLength'; | 100 const String NEW_LENGTH = 'newLength'; |
| 98 const String OFFSET = 'offset'; | 101 const String OFFSET = 'offset'; |
| 99 const String OLD_LENGTH = 'oldLength'; | 102 const String OLD_LENGTH = 'oldLength'; |
| 100 const String OPTIONS = 'options'; | 103 const String OPTIONS = 'options'; |
| 101 const String OUTLINE = 'outline'; | 104 const String OUTLINE = 'outline'; |
| 102 const String PARAMETERS = 'parameters'; | 105 const String PARAMETERS = 'parameters'; |
| 103 const String PATTERN = 'pattern'; | 106 const String PATTERN = 'pattern'; |
| 104 const String REFACTORINGS = 'refactorings'; | 107 const String REFACTORINGS = 'refactorings'; |
| 105 const String REGIONS = 'regions'; | 108 const String REGIONS = 'regions'; |
| 106 const String REMOVED = 'removed'; | 109 const String REMOVED = 'removed'; |
| 107 const String RETURN_TYPE = 'returnType'; | 110 const String RETURN_TYPE = 'returnType'; |
| 108 const String SUBSCRIPTIONS = 'subscriptions'; | 111 const String SUBSCRIPTIONS = 'subscriptions'; |
| 109 const String VERSION = 'version'; | 112 const String VERSION = 'version'; |
| OLD | NEW |