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 services.src.index.store.codec; | 5 library services.src.index.store.codec; |
6 | 6 |
7 import 'dart:collection'; | 7 import 'dart:collection'; |
8 | 8 |
9 import 'package:analysis_server/analysis/index/index_core.dart'; | 9 import 'package:analysis_server/analysis/index_core.dart'; |
10 import 'package:analysis_server/src/services/index/index.dart'; | 10 import 'package:analysis_server/src/services/index/index.dart'; |
11 import 'package:analysis_server/src/services/index/indexable_element.dart'; | 11 import 'package:analysis_server/src/services/index/indexable_element.dart'; |
12 import 'package:analyzer/src/generated/element.dart'; | 12 import 'package:analyzer/src/generated/element.dart'; |
13 import 'package:analyzer/src/generated/engine.dart'; | 13 import 'package:analyzer/src/generated/engine.dart'; |
14 import 'package:analyzer/src/generated/source.dart'; | 14 import 'package:analyzer/src/generated/source.dart'; |
15 import 'package:analyzer/src/generated/utilities_general.dart'; | 15 import 'package:analyzer/src/generated/utilities_general.dart'; |
16 | 16 |
17 /** | 17 /** |
18 * A helper that encodes/decodes [AnalysisContext]s from/to integers. | 18 * A helper that encodes/decodes [AnalysisContext]s from/to integers. |
19 */ | 19 */ |
(...skipping 172 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
192 int encode(String name) { | 192 int encode(String name) { |
193 int index = nameToIndex[name]; | 193 int index = nameToIndex[name]; |
194 if (index == null) { | 194 if (index == null) { |
195 index = _indexToName.length; | 195 index = _indexToName.length; |
196 nameToIndex[name] = index; | 196 nameToIndex[name] = index; |
197 _indexToName.add(name); | 197 _indexToName.add(name); |
198 } | 198 } |
199 return index; | 199 return index; |
200 } | 200 } |
201 } | 201 } |
OLD | NEW |