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 79 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
90 const String EXCLUDED = 'excluded'; | 90 const String EXCLUDED = 'excluded'; |
91 const String ERROR_CODE = 'errorCode'; | 91 const String ERROR_CODE = 'errorCode'; |
92 const String ERRORS = 'errors'; | 92 const String ERRORS = 'errors'; |
93 const String FILE = 'file'; | 93 const String FILE = 'file'; |
94 const String FILES = 'files'; | 94 const String FILES = 'files'; |
95 const String FIXES = 'fixes'; | 95 const String FIXES = 'fixes'; |
96 const String FLAGS = 'flags'; | 96 const String FLAGS = 'flags'; |
97 const String HOVERS = 'hovers'; | 97 const String HOVERS = 'hovers'; |
98 const String ID = 'id'; | 98 const String ID = 'id'; |
99 const String INCLUDED = 'included'; | 99 const String INCLUDED = 'included'; |
| 100 const String INTERFACE_ELEMENTS = 'interfaceElements'; |
100 const String IS_ABSTRACT = 'isAbstract'; | 101 const String IS_ABSTRACT = 'isAbstract'; |
101 const String IS_STATIC = 'isStatic'; | 102 const String IS_STATIC = 'isStatic'; |
102 const String KIND = 'kind'; | 103 const String KIND = 'kind'; |
103 const String LENGTH = 'length'; | 104 const String LENGTH = 'length'; |
104 const String LOCATION = 'location'; | 105 const String LOCATION = 'location'; |
105 const String MESSAGE = 'message'; | 106 const String MESSAGE = 'message'; |
106 const String NAME = 'name'; | 107 const String NAME = 'name'; |
107 const String NEW_LENGTH = 'newLength'; | 108 const String NEW_LENGTH = 'newLength'; |
108 const String OCCURRENCES = 'occurrences'; | 109 const String OCCURRENCES = 'occurrences'; |
109 const String OFFSET = 'offset'; | 110 const String OFFSET = 'offset'; |
110 const String OFFSETS = 'offsets'; | 111 const String OFFSETS = 'offsets'; |
111 const String OLD_LENGTH = 'oldLength'; | 112 const String OLD_LENGTH = 'oldLength'; |
112 const String OPTIONS = 'options'; | 113 const String OPTIONS = 'options'; |
113 const String OUTLINE = 'outline'; | 114 const String OUTLINE = 'outline'; |
| 115 const String OVERRIDES = 'overrides'; |
114 const String PARAMETER = 'parameter'; | 116 const String PARAMETER = 'parameter'; |
115 const String PARAMETERS = 'parameters'; | 117 const String PARAMETERS = 'parameters'; |
116 const String PATTERN = 'pattern'; | 118 const String PATTERN = 'pattern'; |
117 const String PROPAGATED_TYPE = 'propagatedType'; | 119 const String PROPAGATED_TYPE = 'propagatedType'; |
118 const String REFACTORINGS = 'refactorings'; | 120 const String REFACTORINGS = 'refactorings'; |
119 const String REGIONS = 'regions'; | 121 const String REGIONS = 'regions'; |
120 const String REMOVED = 'removed'; | 122 const String REMOVED = 'removed'; |
121 const String RETURN_TYPE = 'returnType'; | 123 const String RETURN_TYPE = 'returnType'; |
122 const String SEVERITY = 'severity'; | 124 const String SEVERITY = 'severity'; |
123 const String START_COLUMN = 'startColumn'; | 125 const String START_COLUMN = 'startColumn'; |
124 const String START_LINE = 'startLine'; | 126 const String START_LINE = 'startLine'; |
125 const String STATIC_TYPE = 'staticType'; | 127 const String STATIC_TYPE = 'staticType'; |
126 const String SUBSCRIPTIONS = 'subscriptions'; | 128 const String SUBSCRIPTIONS = 'subscriptions'; |
| 129 const String SUPER_CLASS_ELEMENT = 'superclassElement'; |
127 const String TARGETS = 'targets'; | 130 const String TARGETS = 'targets'; |
128 const String TYPE = 'type'; | 131 const String TYPE = 'type'; |
129 const String VERSION = 'version'; | 132 const String VERSION = 'version'; |
130 | 133 |
131 // | 134 // |
132 // Analysis option names | 135 // Analysis option names |
133 // | 136 // |
134 const String ANALYZE_ANGULAR = 'analyzeAngular'; // boolean | 137 const String ANALYZE_ANGULAR = 'analyzeAngular'; // boolean |
135 const String ANALYZE_POLYMER = 'analyzePolymer'; // boolean | 138 const String ANALYZE_POLYMER = 'analyzePolymer'; // boolean |
136 const String ENABLE_ASYNC = 'enableAsync'; // boolean | 139 const String ENABLE_ASYNC = 'enableAsync'; // boolean |
137 const String ENABLE_DEFERRED_LOADING = 'enableDeferredLoading'; // boolean | 140 const String ENABLE_DEFERRED_LOADING = 'enableDeferredLoading'; // boolean |
138 const String ENABLE_ENUMS = 'enableEnums'; // boolean | 141 const String ENABLE_ENUMS = 'enableEnums'; // boolean |
139 const String GENERATE_DART2JS_HINTS = 'generateDart2jsHints'; // boolean | 142 const String GENERATE_DART2JS_HINTS = 'generateDart2jsHints'; // boolean |
140 const String GENERATE_HINTS = 'generateHints'; // boolean | 143 const String GENERATE_HINTS = 'generateHints'; // boolean |
OLD | NEW |