diff --git a/idea/testData/checker/Abstract.jet b/idea/testData/checker/Abstract.jet index e61c23954ce..95e0f01792f 100644 --- a/idea/testData/checker/Abstract.jet +++ b/idea/testData/checker/Abstract.jet @@ -118,7 +118,7 @@ enum class MyEnum() { abstract enum class MyAbstractEnum() {} -package MyNamespace { +//package MyNamespace { //properties val a: Int val a1: Int = 1 @@ -145,7 +145,7 @@ package MyNamespace { fun g() {} abstract fun h() abstract fun j() {} -} +//} //creating an instance abstract class B1( diff --git a/idea/testData/checker/Bounds.jet b/idea/testData/checker/Bounds.jet index 0ead1d76bba..d01aaf4e6bc 100644 --- a/idea/testData/checker/Bounds.jet +++ b/idea/testData/checker/Bounds.jet @@ -1,20 +1,3 @@ -package boundsWithSubstitutors { - open class A - class B>() - - class C : A - - val a = B() - val a1 = B<Int>() - - class X() - - val b = X, C>> - val b0 = XAny?> - val b1 = X, String>> - -} - open class A {} open class B() diff --git a/idea/testData/checker/BoundsWithSubstitutors.jet b/idea/testData/checker/BoundsWithSubstitutors.jet new file mode 100644 index 00000000000..84ec2487842 --- /dev/null +++ b/idea/testData/checker/BoundsWithSubstitutors.jet @@ -0,0 +1,13 @@ + open class A + class B>() + + class C : A + + val a = B() + val a1 = B<Int>() + + class X() + + val b = X, C>> + val b0 = XAny?> + val b1 = X, String>> diff --git a/idea/testData/checker/Builders.jet b/idea/testData/checker/Builders.jet index 9913cd91bff..e956933d932 100644 --- a/idea/testData/checker/Builders.jet +++ b/idea/testData/checker/Builders.jet @@ -1,6 +1,6 @@ -import java.util.* +package html -package html { +import java.util.* abstract class Factory { abstract fun create() : T @@ -83,12 +83,6 @@ package html { return html } -} - -package foo { - -import html.* - fun result(args : Array) = html { head { @@ -118,4 +112,3 @@ fun result(args : Array) = } } } -} diff --git a/idea/testData/checker/ExtensionFunctions.jet b/idea/testData/checker/ExtensionFunctions.jet index 6fa9fe9adcc..f2a2d18ed0c 100644 --- a/idea/testData/checker/ExtensionFunctions.jet +++ b/idea/testData/checker/ExtensionFunctions.jet @@ -1,5 +1,3 @@ -// FILE: b.kt - fun Int?.optint() : Unit {} val Int?.optval : Unit = #() @@ -40,7 +38,7 @@ val T.foo : T fun Int.foo() = this // FILE: b.kt -package null_safety +//package null_safety fun parse(cmd: String): Command? { return null } class Command() { diff --git a/idea/testData/checker/GenericArgumentConsistency.jet b/idea/testData/checker/GenericArgumentConsistency.jet index aeee1d7ce3a..6b7a0b9be43 100644 --- a/idea/testData/checker/GenericArgumentConsistency.jet +++ b/idea/testData/checker/GenericArgumentConsistency.jet @@ -13,30 +13,30 @@ trait BB1 : BA1 {} trait BB2 : BA1, BB1 {} -package x { - trait AA1 {} - trait AB1 : AA1 {} - trait AB3 : AA1> {} - trait AB2 : AA1, AB1, AB3 {} -} +//package x { + trait xAA1 {} + trait xAB1 : xAA1 {} + trait xAB3 : xAA1> {} + trait xAB2 : xAA1, xAB1, xAB3 {} +//} -package x2 { - trait AA1 {} - trait AB1 : AA1 {} - trait AB3 : AA1> {} - trait AB2 : AA1, AB1, AB3 {} -} +//package x2 { + trait x2AA1 {} + trait x2AB1 : x2AA1 {} + trait x2AB3 : x2AA1> {} + trait x2AB2 : x2AA1, x2AB1, x2AB3 {} +//} -package x3 { - trait AA1 {} - trait AB1 : AA1 {} - trait AB3 : AA1> {} - trait AB2 : AA1, AB1, AB3 {} -} +//package x3 { + trait x3AA1 {} + trait x3AB1 : x3AA1 {} + trait x3AB3 : x3AA1> {} + trait x3AB2 : x3AA1, x3AB1, x3AB3 {} +//} -package sx2 { - trait AA1 {} - trait AB1 : AA1 {} - trait AB3 : AA1> {} - trait AB2 : AA1, AB1, AB3 {} -} \ No newline at end of file +//package sx2 { + trait sx2AA1 {} + trait sx2AB1 : sx2AA1 {} + trait sx2AB3 : sx2AA1> {} + trait sx2AB2 : sx2AA1, sx2AB1, sx2AB3 {} +//} \ No newline at end of file diff --git a/idea/testData/checker/LocalObjects.jet b/idea/testData/checker/LocalObjects.jet new file mode 100644 index 00000000000..d16ec106006 --- /dev/null +++ b/idea/testData/checker/LocalObjects.jet @@ -0,0 +1,21 @@ + object A { + val x : Int = 0 + } + + open class Foo { + fun foo() : Int = 1 + } + + fun test() { + A.x + val b = object : Foo { + } + b.foo() + + object B { + fun foo() {} + } + B.foo() + } + + val bb = B.foo() diff --git a/idea/testData/checker/NamespaceAsExpression.jet b/idea/testData/checker/NamespaceAsExpression.jet index 8c232a087b4..375bc9f9a5f 100644 --- a/idea/testData/checker/NamespaceAsExpression.jet +++ b/idea/testData/checker/NamespaceAsExpression.jet @@ -1,8 +1,4 @@ package root -package a { - -} - -val x = a +val x = root val y2 = package diff --git a/idea/testData/checker/NamespaceQualified.jet b/idea/testData/checker/NamespaceQualified.jet index 6930e945e8d..b76ee0d7f26 100644 --- a/idea/testData/checker/NamespaceQualified.jet +++ b/idea/testData/checker/NamespaceQualified.jet @@ -1,29 +1,8 @@ -package foobar +package a -package a { import java.* - - val a : util.List? = null - val a1 : List? = null - -} - -abstract class Foo() { - abstract val x : T -} - -package a { import java.util.* - val b : List? = a - val b1 : util.List? = a -} - -val x1 = a.a - -val y1 = a.b - - ///////////////////////////////////////////////////////////////////////// fun done(result : O) : Iteratee = StrangeIterateeImpl(result) @@ -44,7 +23,7 @@ class StrangeIterateeImpl(val obj: O) : Iteratee { abstract class Sum() : Iteratee { override fun process(item : Int) : Iteratee { - return foobar.done(item); + return a.done(item); } abstract override val isDone : Boolean abstract override val result : Int diff --git a/idea/testData/checker/NestedObjects.jet b/idea/testData/checker/NestedObjects.jet new file mode 100644 index 00000000000..838365bc5d3 --- /dev/null +++ b/idea/testData/checker/NestedObjects.jet @@ -0,0 +1,28 @@ +package nestedObjects + object A { + val b = B + val d = A.B.A + + object B { + val a = A + val e = B.A + + object A { + val a = A + val b = B + val x = nestedObjects.A.B.A + val y = this@A + } + } + + } + object B { + val b = B + val c = A.B + } + + val a = A + val b = B + val c = A.B + val d = A.B.A + val e = B.A.B diff --git a/idea/testData/checker/Objects.jet b/idea/testData/checker/Objects.jet index 9e03a5cc535..6ebfe2be0e6 100644 --- a/idea/testData/checker/Objects.jet +++ b/idea/testData/checker/Objects.jet @@ -1,4 +1,4 @@ -package toplevelObjectDeclarations { +package toplevelObjectDeclarations open class Foo(y : Int) { open fun foo() : Int = 1 } @@ -25,59 +25,4 @@ package toplevelObjectDeclarations { override fun foo() : Int = 1 } - val z = y.foo() -} - -package nestedObejcts { - object A { - val b = B - val d = A.B.A - - object B { - val a = A - val e = B.A - - object A { - val a = A - val b = B - val x = nestedObejcts.A.B.A - val y = this@A - } - } - - } - object B { - val b = B - val c = A.B - } - - val a = A - val b = B - val c = A.B - val d = A.B.A - val e = B.A.B -} - -package localObjects { - object A { - val x : Int = 0 - } - - open class Foo { - fun foo() : Int = 1 - } - - fun test() { - A.x - val b = object : Foo { - } - b.foo() - - object B { - fun foo() {} - } - B.foo() - } - - val bb = B.foo() -} + val z = y.foo() \ No newline at end of file diff --git a/idea/testData/checker/Override.jet b/idea/testData/checker/Override.jet index 0255c1ca816..a837c7f27a2 100644 --- a/idea/testData/checker/Override.jet +++ b/idea/testData/checker/Override.jet @@ -1,6 +1,5 @@ package override -package normal { trait MyTrait { fun foo() } @@ -35,42 +34,3 @@ package normal { fun foo() {} override fun bar() {} } -} - -package generics { - trait MyTrait { - fun foo(t: T) : T - } - - abstract class MyAbstractClass { - abstract fun bar(t: T) : T - } - - open class MyGenericClass : MyTrait, MyAbstractClass { - override fun foo(t: T) = t - override fun bar(t: T) = t - } - - class MyChildClass : MyGenericClass {} - class MyChildClass1 : MyGenericClass {} - class MyChildClass2 : MyGenericClass { - fun foo(t: T) = t - override fun bar(t: T) = t - } - - open class MyClass : MyTrait, MyAbstractClass { - override fun foo(i: Int) = i - override fun bar(s: String) = s - } - - class MyIllegalGenericClass1 : MyTrait, MyAbstractClass {} - class MyIllegalGenericClass2 : MyTrait, MyAbstractClass { - override fun foo(r: R) = r - } - class MyIllegalClass1 : MyTrait, MyAbstractClass {} - - class MyIllegalClass2 : MyTrait, MyAbstractClass { - fun foo(t: T) = t - fun bar(t: T) = t - } -} \ No newline at end of file diff --git a/idea/testData/checker/OverridesAndGenerics.jet b/idea/testData/checker/OverridesAndGenerics.jet new file mode 100644 index 00000000000..f4fb20575e5 --- /dev/null +++ b/idea/testData/checker/OverridesAndGenerics.jet @@ -0,0 +1,35 @@ + trait MyTrait { + fun foo(t: T) : T + } + + abstract class MyAbstractClass { + abstract fun bar(t: T) : T + } + + open class MyGenericClass : MyTrait, MyAbstractClass { + override fun foo(t: T) = t + override fun bar(t: T) = t + } + + class MyChildClass : MyGenericClass {} + class MyChildClass1 : MyGenericClass {} + class MyChildClass2 : MyGenericClass { + fun foo(t: T) = t + override fun bar(t: T) = t + } + + open class MyClass : MyTrait, MyAbstractClass { + override fun foo(i: Int) = i + override fun bar(s: String) = s + } + + class MyIllegalGenericClass1 : MyTrait, MyAbstractClass {} + class MyIllegalGenericClass2 : MyTrait, MyAbstractClass { + override fun foo(r: R) = r + } + class MyIllegalClass1 : MyTrait, MyAbstractClass {} + + class MyIllegalClass2 : MyTrait, MyAbstractClass { + fun foo(t: T) = t + fun bar(t: T) = t + } diff --git a/idea/testData/checker/QualifiedThis.jet b/idea/testData/checker/QualifiedThis.jet index dd5e5f9979e..5d35aa36d88 100644 --- a/idea/testData/checker/QualifiedThis.jet +++ b/idea/testData/checker/QualifiedThis.jet @@ -21,21 +21,3 @@ fun foo1() : Unit { this@a } -package closures { - class A(val a:Int) { - - class B() { - val x = this@B : B - val y = this@A : A - val z = this : B - val Int.xx = this : Int - fun Char.xx() : Any { - this : Char - val a = {Double.() -> this : Double + this@xx : Char} - val b = @a{Double.() -> this@a : Double + this@xx : Char} - val c = @a{() -> this@a + this@xx : Char} - return (@a{Double.() -> this@a : Double + this@xx : Char}) - } - } - } -} diff --git a/idea/testData/checker/QualifiedThisInClosures.jet b/idea/testData/checker/QualifiedThisInClosures.jet new file mode 100644 index 00000000000..3ad287a5d5c --- /dev/null +++ b/idea/testData/checker/QualifiedThisInClosures.jet @@ -0,0 +1,16 @@ + class A(val a:Int) { + + class B() { + val x = this@B : B + val y = this@A : A + val z = this : B + val Int.xx = this : Int + fun Char.xx() : Any { + this : Char + val a = {Double.() -> this : Double + this@xx : Char} + val b = @a{Double.() -> this@a : Double + this@xx : Char} + val c = @a{() -> this@a + this@xx : Char} + return (@a{Double.() -> this@a : Double + this@xx : Char}) + } + } + } diff --git a/idea/testData/checker/RecursiveTypeInference.jet b/idea/testData/checker/RecursiveTypeInference.jet index cbbc837604e..bb972daac31 100644 --- a/idea/testData/checker/RecursiveTypeInference.jet +++ b/idea/testData/checker/RecursiveTypeInference.jet @@ -1,42 +1,42 @@ -package a { - val foo = bar() +//package a { + val afoo = abar() - fun bar() = foo -} + fun abar() = afoo +//} -package b { - fun foo() = bar() +//package b { + fun bfoo() = bbar() - fun bar() = foo() -} + fun bbar() = bfoo() +//} -package c { - fun bazz() = bar() +//package c { + fun cbazz() = cbar() - fun foo() = bazz() + fun cfoo() = cbazz() - fun bar() = foo() -} + fun cbar() = cfoo() +//} -package ok { +//package ok { +// +// package a { + val okafoo = okabar() - package a { - val foo = bar() + fun okabar() : Int = okafoo +// } +// +// package b { + fun okbfoo() : Int = okbbar() - fun bar() : Int = foo - } + fun okbbar() = okbfoo() +// } +// +// package c { + fun okcbazz() = okcbar() - package b { - fun foo() : Int = bar() + fun okcfoo() : Int = okcbazz() - fun bar() = foo() - } - - package c { - fun bazz() = bar() - - fun foo() : Int = bazz() - - fun bar() = foo() - } -} + fun okcbar() = okcfoo() +// } +//} diff --git a/idea/testData/checker/Redeclarations.jet b/idea/testData/checker/Redeclarations.jet index b5fbb68145e..954c3de7f47 100644 --- a/idea/testData/checker/Redeclarations.jet +++ b/idea/testData/checker/Redeclarations.jet @@ -1,16 +1,12 @@ -package redeclarations { +//package redeclarations { object A { val x : Int = 0 val A = 1 } - package A { - class A {} - } - class A {} val A = 1 -} +//} diff --git a/idea/testData/checker/ResolveToJava.jet b/idea/testData/checker/ResolveToJava.jet index 34585040f7f..8386e48375d 100644 --- a/idea/testData/checker/ResolveToJava.jet +++ b/idea/testData/checker/ResolveToJava.jet @@ -43,10 +43,6 @@ fun test(l : java.util.List) { c : java.lang.Comparable? // Collections.sort(ArrayList()) - xxx.Class() } -package xxx { - import java.lang.Class; -} diff --git a/idea/testData/checker/regression/Jet121.jet b/idea/testData/checker/regression/Jet121.jet index 4dda2b95c51..bba231a4845 100644 --- a/idea/testData/checker/regression/Jet121.jet +++ b/idea/testData/checker/regression/Jet121.jet @@ -1,4 +1,4 @@ -package jet121 { +package jet121 fun box() : String { val answer = apply("OK") { String.() : Int -> get(0) @@ -10,5 +10,4 @@ package jet121 { fun apply(arg:String, f : String.() -> Int) : Int { return arg.f() - } -} \ No newline at end of file + } \ No newline at end of file