Compressed/optimized navigation notification.

pkg/analysis_server/tool/spec/codegen_java_types.dart

Index: pkg/analysis_server/tool/spec/codegen_java_types.dart
diff --git a/pkg/analysis_server/tool/spec/codegen_java_types.dart b/pkg/analysis_server/tool/spec/codegen_java_types.dart
index e459087e6d9705bd29fae76c0c13e6cf90e31252..8b81d4f3791a7b4a0f5318d589e58f636f5263f6 100644
--- a/pkg/analysis_server/tool/spec/codegen_java_types.dart
+++ b/pkg/analysis_server/tool/spec/codegen_java_types.dart
@@ -355,6 +355,16 @@ class CodegenJavaType extends CodegenJavaVisitor {
           writeln('private List<Outline> children;');
         });
       }
+      if (className == 'NavigationRegion') {
+        privateField(javaName('targetObjects'), () {
+          writeln('private final List<NavigationTarget> targetObjects = Lists.newArrayList();');
+        });
+      }
+      if (className == 'NavigationTarget') {
+        privateField(javaName('file'), () {
+          writeln('private String file;');
+        });
+      }
 
       //
       // constructor
@@ -442,6 +452,35 @@ class CodegenJavaType extends CodegenJavaVisitor {
         }
       }
 
+      if (className == 'NavigationRegion') {
+        publicMethod('lookupTargets', () {
+          writeln('public void lookupTargets(List<NavigationTarget> allTargets) {');
+          writeln('  for (int i = 0; i < targets.length; i++) {');
+          writeln('    int targetIndex = targets[i];');
+          writeln('    NavigationTarget target = allTargets.get(targetIndex);');
+          writeln('    targetObjects.add(target);');
+          writeln('  }');
+          writeln('}');
+        });
+        publicMethod('getTargetObjects', () {
+          writeln('public List<NavigationTarget> getTargetObjects() {');
+          writeln('  return targetObjects;');
+          writeln('}');
+        });
+      }
+      if (className == 'NavigationTarget') {
+        publicMethod('lookupFile', () {
+          writeln('public void lookupFile(String[] allTargetFiles) {');
+          writeln('  file = allTargetFiles[fileIndex];');
+          writeln('}');
+        });
+        publicMethod('getFile', () {
+          writeln('public String getFile() {');
+          writeln('  return file;');
+          writeln('}');
+        });
+      }
+
       //
       // fromJson(JsonObject) factory constructor, example:
 //      public JsonObject toJson(JsonObject jsonObject) {