| 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 |