From 867e2f493848a46c92181b5f4cd9fbd50321e2a4 Mon Sep 17 00:00:00 2001
From: Dmitry Jemerov <yole@jetbrains.com>
Date: Mon, 30 May 2011 14:39:10 +0400
Subject: [PATCH] test for abstract property

---
 idea/tests/org/jetbrains/jet/codegen/PropertyGenTest.java | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/idea/tests/org/jetbrains/jet/codegen/PropertyGenTest.java b/idea/tests/org/jetbrains/jet/codegen/PropertyGenTest.java
index 37579d4063e..150caf9f3bd 100644
--- a/idea/tests/org/jetbrains/jet/codegen/PropertyGenTest.java
+++ b/idea/tests/org/jetbrains/jet/codegen/PropertyGenTest.java
@@ -111,7 +111,6 @@ public class PropertyGenTest extends CodegenTestCase {
 
     public void testPropertyReceiverOnStack() throws Exception {
         loadFile();
-        System.out.println(generateToText());
         final Class aClass = loadImplementationClass(generateClassesInFile(), "Evaluator");
         final Constructor constructor = aClass.getConstructor(StringBuilder.class);
         StringBuilder sb = new StringBuilder("xyzzy");
@@ -120,4 +119,11 @@ public class PropertyGenTest extends CodegenTestCase {
         Integer result = (Integer) method.invoke(instance);
         assertEquals(5, result.intValue());
     }
+
+    public void testAbstractVal() throws Exception {
+        loadText("class Foo { public abstract val x: String }");
+        final Codegens codegens = generateClassesInFile();
+        final Class aClass = loadClass("Foo", codegens);
+        assertNotNull(aClass.getMethod("getX"));
+    }
 }