From 576b4f445cac658fe75d8114b61c851c28cccdc7 Mon Sep 17 00:00:00 2001
From: Natalia Ukhorskaya <natalia.ukhorskaya@jetbrains.com>
Date: Tue, 25 Aug 2015 15:49:46 +0300
Subject: [PATCH] Debugger: add tests for smart casted property

---
 .../runtimeCast/CastPropertyWithSmartCast.kt         | 12 ++++++++++++
 .../runtimeCast/CastPropertyWithSmartCast.kt.after   |  1 +
 .../CastPropertyWithSmartCast.kt.fragment            |  1 +
 .../CodeFragmentCompletionHandlerTestGenerated.java  |  6 ++++++
 4 files changed, 20 insertions(+)
 create mode 100644 idea/idea-completion/testData/handlers/runtimeCast/CastPropertyWithSmartCast.kt
 create mode 100644 idea/idea-completion/testData/handlers/runtimeCast/CastPropertyWithSmartCast.kt.after
 create mode 100644 idea/idea-completion/testData/handlers/runtimeCast/CastPropertyWithSmartCast.kt.fragment

diff --git a/idea/idea-completion/testData/handlers/runtimeCast/CastPropertyWithSmartCast.kt b/idea/idea-completion/testData/handlers/runtimeCast/CastPropertyWithSmartCast.kt
new file mode 100644
index 00000000000..ef84b7033c4
--- /dev/null
+++ b/idea/idea-completion/testData/handlers/runtimeCast/CastPropertyWithSmartCast.kt
@@ -0,0 +1,12 @@
+fun main(klass: A) {
+    <caret>if (a !is B) return
+    val a = 1
+}
+
+open class A
+open class B: A {
+    fun funInB() {}
+}
+
+// INVOCATION_COUNT: 1
+// RUNTIME_TYPE: B
\ No newline at end of file
diff --git a/idea/idea-completion/testData/handlers/runtimeCast/CastPropertyWithSmartCast.kt.after b/idea/idea-completion/testData/handlers/runtimeCast/CastPropertyWithSmartCast.kt.after
new file mode 100644
index 00000000000..a22236bf917
--- /dev/null
+++ b/idea/idea-completion/testData/handlers/runtimeCast/CastPropertyWithSmartCast.kt.after
@@ -0,0 +1 @@
+(klass as B).funInB()
\ No newline at end of file
diff --git a/idea/idea-completion/testData/handlers/runtimeCast/CastPropertyWithSmartCast.kt.fragment b/idea/idea-completion/testData/handlers/runtimeCast/CastPropertyWithSmartCast.kt.fragment
new file mode 100644
index 00000000000..61460983097
--- /dev/null
+++ b/idea/idea-completion/testData/handlers/runtimeCast/CastPropertyWithSmartCast.kt.fragment
@@ -0,0 +1 @@
+klass.funIn<caret>
\ No newline at end of file
diff --git a/idea/tests/org/jetbrains/kotlin/idea/debugger/evaluate/CodeFragmentCompletionHandlerTestGenerated.java b/idea/tests/org/jetbrains/kotlin/idea/debugger/evaluate/CodeFragmentCompletionHandlerTestGenerated.java
index 6d2e79af63e..7114958f6f0 100644
--- a/idea/tests/org/jetbrains/kotlin/idea/debugger/evaluate/CodeFragmentCompletionHandlerTestGenerated.java
+++ b/idea/tests/org/jetbrains/kotlin/idea/debugger/evaluate/CodeFragmentCompletionHandlerTestGenerated.java
@@ -41,6 +41,12 @@ public class CodeFragmentCompletionHandlerTestGenerated extends AbstractCodeFrag
         doTest(fileName);
     }
 
+    @TestMetadata("CastPropertyWithSmartCast.kt")
+    public void testCastPropertyWithSmartCast() throws Exception {
+        String fileName = JetTestUtils.navigationMetadata("idea/idea-completion/testData/handlers/runtimeCast/CastPropertyWithSmartCast.kt");
+        doTest(fileName);
+    }
+
     @TestMetadata("InsertExtFunction.kt")
     public void testInsertExtFunction() throws Exception {
         String fileName = JetTestUtils.navigationMetadata("idea/idea-completion/testData/handlers/runtimeCast/InsertExtFunction.kt");