Supported navigation to source of named object and its members.

idea/src/org/jetbrains/jet/plugin/libraries/DecompiledDataFactory.java

@@ -197,6 +197,13 @@ public class DecompiledDataFactory {
         PsiElement clsMember = BindingContextUtils.descriptorToDeclaration(bindingContext, descriptor);
         if (clsMember != null) {
             clsMembersToRanges.put(clsMember, new TextRange(startOffset, endOffset));
+
+            if (descriptor instanceof ClassDescriptor && ((ClassDescriptor) descriptor).getKind() == ClassKind.OBJECT) {
+                assert clsMember instanceof PsiClass;
+                PsiField instanceField = ((PsiClass) clsMember).findFieldByName(JvmAbi.INSTANCE_FIELD, false);
+                assert instanceField != null;
+                clsMembersToRanges.put(instanceField, new TextRange(startOffset, endOffset));
+            }
         }
     }
 

idea/src/org/jetbrains/jet/plugin/libraries/JetClsNavigationPolicy.java

@@ -73,6 +73,12 @@ public class JetClsNavigationPolicy implements ClsCustomNavigationPolicy {
                 return sourceProperty;
             }
         }
+        else if (jetDeclaration instanceof JetClassOrObject) {
+            JetClassOrObject sourceClass = JetSourceNavigationHelper.getSourceClassOrObject((JetClassOrObject) jetDeclaration);
+            if (sourceClass != null) {
+                return sourceClass;
+            }
+        }
         return jetDeclaration;
     }
 

idea/src/org/jetbrains/jet/plugin/libraries/JetSourceNavigationHelper.java

@@ -188,13 +188,12 @@ public class JetSourceNavigationHelper {
         }
         else if (declarationContainer instanceof JetClassBody) {
             JetClassOrObject parent = (JetClassOrObject)declarationContainer.getParent();
-            boolean isClassObject = parent instanceof JetObjectDeclaration;
+            boolean isClassObject = parent instanceof JetObjectDeclaration && parent.getParent() instanceof JetClassObject;
-            JetClass jetClass =
+            JetClassOrObject classOrObject = isClassObject ? PsiTreeUtil.getParentOfType(parent, JetClass.class) : parent;
-                isClassObject ? PsiTreeUtil.getParentOfType(parent, JetClass.class) : (JetClass)parent;
+            if (classOrObject == null) {
-            if (jetClass == null) {
                 return null;
             }
-            Pair<BindingContext, ClassDescriptor> bindingContextAndClassDescriptor = getBindingContextAndClassDescriptor(jetClass);
+            Pair<BindingContext, ClassDescriptor> bindingContextAndClassDescriptor = getBindingContextAndClassDescriptor(classOrObject);
             if (bindingContextAndClassDescriptor != null) {
                 BindingContext bindingContext = bindingContextAndClassDescriptor.first;
                 ClassDescriptor classDescriptor = bindingContextAndClassDescriptor.second;

idea/testData/libraries/decompiled/NamedObject.kt

@@ -3,6 +3,6 @@
 
 package testData.libraries
 
-[public object NamedObject {
+[[public object NamedObject {
     [public final val objectMember : jet.Int] /* compiled code */
-}]
+}]]

idea/testData/libraries/usercode/NamedObject.kt

@@ -0,0 +1,7 @@
+import testData.libraries.*
+
+val x = NamedObject.objectMember
+
+// main.kt
+//public object <1>NamedObject {
+//    public val <2>objectMember: Int = 1

idea/tests/org/jetbrains/jet/plugin/libraries/NavigateToLibrarySourceTest.java

@@ -76,6 +76,10 @@ public class NavigateToLibrarySourceTest extends AbstractNavigateToLibraryTest {
         doTest();
     }
 
+    public void testNamedObject() {
+        doTest();
+    }
+
     private void doTest() {
         userFile = LocalFileSystem.getInstance().findFileByPath(TEST_DATA_PATH + "/usercode/" + getTestName(false) + ".kt");
         assertNotNull(userFile);