Tweaks for Element encoding and decoding.

pkg/analysis_server/lib/src/services/index/store/codec.dart

Index: pkg/analysis_server/lib/src/services/index/store/codec.dart
diff --git a/pkg/analysis_server/lib/src/services/index/store/codec.dart b/pkg/analysis_server/lib/src/services/index/store/codec.dart
index 2d2621ec2f313adb331c00aebc4c0fc8248969c8..87bdfd5e77d112faf001d5fe17eaf4ef0767a383 100644
--- a/pkg/analysis_server/lib/src/services/index/store/codec.dart
+++ b/pkg/analysis_server/lib/src/services/index/store/codec.dart
@@ -122,6 +122,7 @@ class ElementCodec {
 
   /**
    * Returns the first component of the [element] id.
+   * In the most cases it is an encoding of the [element]'s file path.

[Brian Wilkerson, 2015/04/09 16:01:25]

This should say when it isn't (an encoding of the [element]'s file path) and
what it is in those cases.

    */
   int encode1(Element element) {
     Source source = element.source;
@@ -134,6 +135,7 @@ class ElementCodec {
 
   /**
    * Returns the second component of the [element] id.
+   * In the most cases it is the [element]'s name offset.
    */
   int encode2(Element element) {
     if (element is NameElement) {
@@ -148,6 +150,7 @@ class ElementCodec {
 
   /**
    * Returns the third component of the [element] id.
+   * In the most cases it is the [element]'s kind.
    */
   int encode3(Element element) {
     if (element is NameElement) {