From fa5be15852ff3d352c39b9601a7ef3da162d9915 Mon Sep 17 00:00:00 2001 From: Andrey Breslav Date: Mon, 26 Dec 2011 19:55:29 +0400 Subject: [PATCH] Diagnostics test data fixed --- compiler/frontend/src/jet/Library.jet | 14 ++++---- .../jet/lang/parsing/JetParsing.java | 9 ++--- .../testData/diagnostics/tests/Abstract.jet | 6 ++-- .../tests/AutocastsForStableIdentifiers.jet | 9 ++--- .../testData/diagnostics/tests/Bounds.jet | 6 ++-- .../testData/diagnostics/tests/Builders.jet | 9 +++-- .../tests/ConflictingOverloads.jet | 34 +++++++++--------- .../diagnostics/tests/ExtensionFunctions.jet | 9 +++-- .../tests/GenericArgumentConsistency.jet | 19 +++++----- .../tests/ImportResolutionOrder.jet | 16 ++++----- .../tests/NamespaceAsExpression.jet | 8 ++--- .../diagnostics/tests/NamespaceQualified.jet | 13 ++++--- .../testData/diagnostics/tests/Objects.jet | 13 +++---- .../testData/diagnostics/tests/Override.jet | 13 ++++--- .../diagnostics/tests/QualifiedThis.jet | 7 ++-- .../tests/RecursiveTypeInference.jet | 28 +++++++-------- .../diagnostics/tests/Redeclarations.jet | 13 ++++--- .../diagnostics/tests/ResolveToJava.jet | 7 ++-- .../diagnostics/tests/ShiftFunctionTypes.jet | 6 ++-- .../tests/backingField/CustomGetValGlobal.jet | 4 +-- .../tests/nullabilityAndAutoCasts/kt362.jet | 36 ++++++++++--------- .../diagnostics/tests/regressions/Jet121.jet | 22 ++++++------ .../diagnostics/tests/regressions/kt26-1.jet | 10 +++--- .../diagnostics/tests/regressions/kt26.jet | 10 +++--- .../diagnostics/tests/scopes/Imports.jet | 4 +-- idea/testData/checker/ExtensionFunctions.jet | 7 ++-- 26 files changed, 173 insertions(+), 159 deletions(-) diff --git a/compiler/frontend/src/jet/Library.jet b/compiler/frontend/src/jet/Library.jet index 090b3b47853..292e05dcf2a 100644 --- a/compiler/frontend/src/jet/Library.jet +++ b/compiler/frontend/src/jet/Library.jet @@ -1,14 +1,12 @@ package jet -//package typeinfo { - class TypeInfo { - fun isSubtypeOf(other : TypeInfo<*>) : Boolean - fun isInstance(obj : Any?) : Boolean - } +class TypeInfo { + fun isSubtypeOf(other : TypeInfo<*>) : Boolean + fun isInstance(obj : Any?) : Boolean +} - fun typeinfo() : TypeInfo - fun typeinfo(expression : T) : TypeInfo -//} +fun typeinfo() : TypeInfo +fun typeinfo(expression : T) : TypeInfo fun Any.synchronized(block : () -> R) : R diff --git a/compiler/frontend/src/org/jetbrains/jet/lang/parsing/JetParsing.java b/compiler/frontend/src/org/jetbrains/jet/lang/parsing/JetParsing.java index cf12d7e12b5..d1ae4814e39 100644 --- a/compiler/frontend/src/org/jetbrains/jet/lang/parsing/JetParsing.java +++ b/compiler/frontend/src/org/jetbrains/jet/lang/parsing/JetParsing.java @@ -235,10 +235,11 @@ public class JetParsing extends AbstractJetParsing { IElementType keywordToken = tt(); JetNodeType declType = null; - if (keywordToken == NAMESPACE_KEYWORD) { - declType = parseNamespaceBlock(); - } - else if (keywordToken == CLASS_KEYWORD || keywordToken == TRAIT_KEYWORD) { +// if (keywordToken == NAMESPACE_KEYWORD) { +// declType = parseNamespaceBlock(); +// } +// else + if (keywordToken == CLASS_KEYWORD || keywordToken == TRAIT_KEYWORD) { declType = parseClass(detector.isDetected()); } else if (keywordToken == FUN_KEYWORD) { diff --git a/compiler/testData/diagnostics/tests/Abstract.jet b/compiler/testData/diagnostics/tests/Abstract.jet index 30cb42c416d..b22f0f9995a 100644 --- a/compiler/testData/diagnostics/tests/Abstract.jet +++ b/compiler/testData/diagnostics/tests/Abstract.jet @@ -1,3 +1,4 @@ +// FILE: a.kt // +JDK package abstract @@ -180,7 +181,8 @@ enum class MyEnum() { abstract enum class MyAbstractEnum() {} -package MyNamespace { +// FILE: b.kt +package MyNamespace //properties val a: Int val a1: Int = 1 @@ -222,8 +224,8 @@ package MyNamespace { var l1: Int = 0; abstract get abstract set var n: Int abstract get abstract set(v: Int) {} -} +// FILE: c.kt //creating an instance abstract class B1( val i: Int, diff --git a/compiler/testData/diagnostics/tests/AutocastsForStableIdentifiers.jet b/compiler/testData/diagnostics/tests/AutocastsForStableIdentifiers.jet index 82805cf8bfb..de170feeb32 100644 --- a/compiler/testData/diagnostics/tests/AutocastsForStableIdentifiers.jet +++ b/compiler/testData/diagnostics/tests/AutocastsForStableIdentifiers.jet @@ -1,8 +1,9 @@ -package example; - -package ns { +// FILE: a.kt +package example.ns val y : Any? = 2 -} + +// FILE: b.kt +package example object Obj { val y : Any? = 2 diff --git a/compiler/testData/diagnostics/tests/Bounds.jet b/compiler/testData/diagnostics/tests/Bounds.jet index e2b7cf1ce86..cbb0c25b0da 100644 --- a/compiler/testData/diagnostics/tests/Bounds.jet +++ b/compiler/testData/diagnostics/tests/Bounds.jet @@ -1,4 +1,5 @@ -package boundsWithSubstitutors { +// FILE: a.kt +package boundsWithSubstitutors open class A class B>() @@ -13,8 +14,7 @@ package boundsWithSubstitutors { val b0 = XAny?> val b1 = X, String>> -} - +// FILE: b.kt open class A {} open class B() diff --git a/compiler/testData/diagnostics/tests/Builders.jet b/compiler/testData/diagnostics/tests/Builders.jet index 497950f941f..762d4d2fbf9 100644 --- a/compiler/testData/diagnostics/tests/Builders.jet +++ b/compiler/testData/diagnostics/tests/Builders.jet @@ -1,9 +1,9 @@ +// FILE: a.kt // +JDK +package html import java.util.* -package html { - abstract class Factory { abstract fun create() : T } @@ -85,9 +85,9 @@ package html { return html } -} +// FILE: b.kt -package foo { +package foo import html.* @@ -120,4 +120,3 @@ fun result(args : Array) = } } } -} diff --git a/compiler/testData/diagnostics/tests/ConflictingOverloads.jet b/compiler/testData/diagnostics/tests/ConflictingOverloads.jet index bb5554d2d32..32db4f06e3c 100644 --- a/compiler/testData/diagnostics/tests/ConflictingOverloads.jet +++ b/compiler/testData/diagnostics/tests/ConflictingOverloads.jet @@ -1,3 +1,4 @@ +// FILE: b.kt // http://youtrack.jetbrains.net/issue/KT-424 class A { @@ -13,7 +14,8 @@ class A { } } -package deepSpace { +// FILE: b.kt +package deepSpace fun c(s: String) { } @@ -27,28 +29,25 @@ package deepSpace { fun d(s: String) { } } -} - +// FILE: b.kt // check no error in overload in different namespaces -package ns1 { +package ns1 fun e() = 1 -} -package ns2 { +// FILE: b.kt +package ns2 fun e() = 1 -} -package ns3 { - package ns1 { +// FILE: b.kt +package ns3.ns1 fun e() = 1 - } -} +// FILE: b.kt // check same rules apply for ext functions -package extensionFunctions { +package extensionFunctions fun Int.qwe(a: Float) = 1 fun Int.qwe(a: Float) = 2 @@ -56,19 +55,19 @@ package extensionFunctions { fun Int.rty() = 3 fun String.rty() = 4 -} +// FILE: b.kt // check no error when regular function and extension function have same name -package extensionAndRegular { +package extensionAndRegular fun who() = 1 fun Int.who() = 1 -} +// FILE: b.kt // constructor vs. fun overload -package constructorVsFun { +package constructorVsFun class a() { } fun a() = 1 @@ -93,5 +92,4 @@ package constructorVsFun { class object { class ololo() { } } - } -} \ No newline at end of file + } \ No newline at end of file diff --git a/compiler/testData/diagnostics/tests/ExtensionFunctions.jet b/compiler/testData/diagnostics/tests/ExtensionFunctions.jet index 0e963b6a6d6..6d2596c7c65 100644 --- a/compiler/testData/diagnostics/tests/ExtensionFunctions.jet +++ b/compiler/testData/diagnostics/tests/ExtensionFunctions.jet @@ -1,4 +1,6 @@ +// FILE: b.kt // +JDK +package outer fun Int?.optint() : Unit {} val Int?.optval : Unit = #() @@ -39,7 +41,10 @@ val T.foo : T fun Int.foo() = this -package null_safety { +// FILE: b.kt +package null_safety + +import outer.* fun parse(cmd: String): Command? { return null } class Command() { @@ -69,5 +74,3 @@ package null_safety { if (command == null) 1 } - -} \ No newline at end of file diff --git a/compiler/testData/diagnostics/tests/GenericArgumentConsistency.jet b/compiler/testData/diagnostics/tests/GenericArgumentConsistency.jet index b9ab728653d..9d4152dd963 100644 --- a/compiler/testData/diagnostics/tests/GenericArgumentConsistency.jet +++ b/compiler/testData/diagnostics/tests/GenericArgumentConsistency.jet @@ -1,3 +1,4 @@ +// FILE: b.kt trait A {} trait B : A {} trait C : B, A {} @@ -13,30 +14,30 @@ trait BB1 : BA1 {} trait BB2 : BA1, BB1 {} -package x { +// FILE: b.kt +package x trait AA1 {} trait AB1 : AA1 {} trait AB3 : AA1> {} trait AB2 : AA1, AB1, AB3 {} -} -package x2 { +// FILE: b.kt +package x2 trait AA1 {} trait AB1 : AA1 {} trait AB3 : AA1> {} trait AB2 : AA1, AB1, AB3 {} -} -package x3 { +// FILE: b.kt +package x3 trait AA1 {} trait AB1 : AA1 {} trait AB3 : AA1> {} trait AB2 : AA1, AB1, AB3 {} -} -package sx2 { +// FILE: b.kt +package sx2 trait AA1 {} trait AB1 : AA1 {} trait AB3 : AA1> {} - trait AB2 : AA1, AB1, AB3 {} -} \ No newline at end of file + trait AB2 : AA1, AB1, AB3 {} \ No newline at end of file diff --git a/compiler/testData/diagnostics/tests/ImportResolutionOrder.jet b/compiler/testData/diagnostics/tests/ImportResolutionOrder.jet index 7e0ecfe19e0..d93874eb976 100644 --- a/compiler/testData/diagnostics/tests/ImportResolutionOrder.jet +++ b/compiler/testData/diagnostics/tests/ImportResolutionOrder.jet @@ -1,23 +1,23 @@ +// FILE: b.kt // KT-355 Resolve imports after all symbols are built -package a { +package a import b.* val x : X = X() -} -package b { +// FILE: b.kt +package b class X() { } -} -package c { +// FILE: b.kt +package c import d.X val x : X = X() -} -package d { +// FILE: b.kt +package d class X() { } -} diff --git a/compiler/testData/diagnostics/tests/NamespaceAsExpression.jet b/compiler/testData/diagnostics/tests/NamespaceAsExpression.jet index b4e08dfe704..d471424c0a9 100644 --- a/compiler/testData/diagnostics/tests/NamespaceAsExpression.jet +++ b/compiler/testData/diagnostics/tests/NamespaceAsExpression.jet @@ -1,8 +1,8 @@ +// FILE: b.kt +package root.a + +// FILE: b.kt package root -package a { - -} - val x = a val y2 = package diff --git a/compiler/testData/diagnostics/tests/NamespaceQualified.jet b/compiler/testData/diagnostics/tests/NamespaceQualified.jet index f57a483de32..ea27a3d81f6 100644 --- a/compiler/testData/diagnostics/tests/NamespaceQualified.jet +++ b/compiler/testData/diagnostics/tests/NamespaceQualified.jet @@ -1,26 +1,29 @@ +// FILE: b.kt // +JDK -package foobar -package a { +package foobar.a import java.* val a : util.List? = null val a1 : List? = null -} +// FILE: b.kt +package foobar abstract class Foo() { abstract val x : T } -package a { +// FILE: b.kt +package foobar.a import java.util.* val b : List? = a val b1 : util.List? = a -} +// FILE: b.kt +package foobar val x1 = a.a val y1 = a.b diff --git a/compiler/testData/diagnostics/tests/Objects.jet b/compiler/testData/diagnostics/tests/Objects.jet index 14ce45145bd..b1ca0a11d32 100644 --- a/compiler/testData/diagnostics/tests/Objects.jet +++ b/compiler/testData/diagnostics/tests/Objects.jet @@ -1,4 +1,5 @@ -package toplevelObjectDeclarations { +// FILE: f.kt +package toplevelObjectDeclarations open class Foo(y : Int) { open fun foo() : Int = 1 } @@ -26,9 +27,9 @@ package toplevelObjectDeclarations { } val z = y.foo() -} -package nestedObejcts { +// FILE: f.kt +package nestedObejcts object A { val b = B val d = A.B.A @@ -56,9 +57,10 @@ package nestedObejcts { val c = A.B val d = A.B.A val e = B.A.B -} -package localObjects { +// FILE: f.kt + +package localObjects object A { val x : Int = 0 } @@ -80,4 +82,3 @@ package localObjects { } val bb = B.foo() -} diff --git a/compiler/testData/diagnostics/tests/Override.jet b/compiler/testData/diagnostics/tests/Override.jet index 6884e82eb42..2cd478b431e 100644 --- a/compiler/testData/diagnostics/tests/Override.jet +++ b/compiler/testData/diagnostics/tests/Override.jet @@ -1,6 +1,5 @@ -package override - -package normal { +// FILE: f.kt +package override.normal trait MyTrait { fun foo() val pr : Unit @@ -49,9 +48,10 @@ package normal { override fun bar() {} override val prr : Unit = #() } -} -package generics { +// FILE: f.kt + +package override.generics trait MyTrait { fun foo(t: T) : T } @@ -109,5 +109,4 @@ package generics { fun foo(t: T) = t fun bar(t: T) = t val pr : T = t - } -} \ No newline at end of file + } \ No newline at end of file diff --git a/compiler/testData/diagnostics/tests/QualifiedThis.jet b/compiler/testData/diagnostics/tests/QualifiedThis.jet index 82d44c804ce..de7f781020e 100644 --- a/compiler/testData/diagnostics/tests/QualifiedThis.jet +++ b/compiler/testData/diagnostics/tests/QualifiedThis.jet @@ -1,3 +1,4 @@ +// FILE: f.kt class Dup { fun Dup() : Unit { this@Dup @@ -21,7 +22,8 @@ fun foo1() : Unit { this@a } -package closures { +// FILE: f.kt +package closures class A(val a:Int) { class B() { @@ -37,5 +39,4 @@ package closures { return (@a{Double.() -> this@a : Double + this@xx : Char}) } } - } -} \ No newline at end of file + } \ No newline at end of file diff --git a/compiler/testData/diagnostics/tests/RecursiveTypeInference.jet b/compiler/testData/diagnostics/tests/RecursiveTypeInference.jet index 47e0d6aeb58..095d92d9458 100644 --- a/compiler/testData/diagnostics/tests/RecursiveTypeInference.jet +++ b/compiler/testData/diagnostics/tests/RecursiveTypeInference.jet @@ -1,42 +1,40 @@ -package a { +// FILE: f.kt +package a val foo = bar() fun bar() = foo -} -package b { +// FILE: f.kt +package b fun foo() = bar() fun bar() = foo() -} -package c { +// FILE: f.kt +package c fun bazz() = bar() fun foo() = bazz() fun bar() = foo() -} -package ok { +// FILE: f.kt - package a { + package ok.a val foo = bar() fun bar() : Int = foo - } - package b { +// FILE: f.kt + package ok.b fun foo() : Int = bar() fun bar() = foo() - } - package c { +// FILE: f.kt + package ok.c fun bazz() = bar() fun foo() : Int = bazz() - fun bar() = foo() - } -} \ No newline at end of file + fun bar() = foo() \ No newline at end of file diff --git a/compiler/testData/diagnostics/tests/Redeclarations.jet b/compiler/testData/diagnostics/tests/Redeclarations.jet index 18756b8ba9a..8dc541d355f 100644 --- a/compiler/testData/diagnostics/tests/Redeclarations.jet +++ b/compiler/testData/diagnostics/tests/Redeclarations.jet @@ -1,16 +1,15 @@ -package redeclarations { +// FILE: f.kt +package redeclarations object A { val x : Int = 0 val A = 1 } - package A { - class A {} - } - - class A {} + class A {} val A = 1 -} +// FILE: f.kt + package redeclarations.A + class A {} \ No newline at end of file diff --git a/compiler/testData/diagnostics/tests/ResolveToJava.jet b/compiler/testData/diagnostics/tests/ResolveToJava.jet index 8275b2c842c..4877ed5f61f 100644 --- a/compiler/testData/diagnostics/tests/ResolveToJava.jet +++ b/compiler/testData/diagnostics/tests/ResolveToJava.jet @@ -1,3 +1,4 @@ +// FILE: f.kt // +JDK import java.* @@ -49,6 +50,6 @@ fun test(l : java.util.List) { } -package xxx { - import java.lang.Class; -} \ No newline at end of file +// FILE: f.kt +package xxx + import java.lang.Class; \ No newline at end of file diff --git a/compiler/testData/diagnostics/tests/ShiftFunctionTypes.jet b/compiler/testData/diagnostics/tests/ShiftFunctionTypes.jet index 31e951a535b..346943c5f13 100644 --- a/compiler/testData/diagnostics/tests/ShiftFunctionTypes.jet +++ b/compiler/testData/diagnostics/tests/ShiftFunctionTypes.jet @@ -1,9 +1,11 @@ +// FILE: f.kt class A { } -package n { +// FILE: f.kt +package n class B -} +// FILE: f.kt abstract class XXX() { abstract val a : Int abstract val a1 : package.Int diff --git a/compiler/testData/diagnostics/tests/backingField/CustomGetValGlobal.jet b/compiler/testData/diagnostics/tests/backingField/CustomGetValGlobal.jet index 0a26ab8d578..aeda77c2dae 100644 --- a/compiler/testData/diagnostics/tests/backingField/CustomGetValGlobal.jet +++ b/compiler/testData/diagnostics/tests/backingField/CustomGetValGlobal.jet @@ -1,5 +1,3 @@ -package customGetValGlobal { +package customGetValGlobal val zz = 1 get() = $zz * 2 - -} diff --git a/compiler/testData/diagnostics/tests/nullabilityAndAutoCasts/kt362.jet b/compiler/testData/diagnostics/tests/nullabilityAndAutoCasts/kt362.jet index a934b77d046..84ae23e9fb9 100644 --- a/compiler/testData/diagnostics/tests/nullabilityAndAutoCasts/kt362.jet +++ b/compiler/testData/diagnostics/tests/nullabilityAndAutoCasts/kt362.jet @@ -1,21 +1,8 @@ +// FILE: this.kt + // KT-362 Don't allow autocasts on vals that are not internal package example; -package test { - public class Public() { - public val public : Int? = 1; - protected val protected : Int? = 1; - internal protected val i_protected : Int? = 1; - val internal : Int? = 1 - } - internal class Internal() { - public val public : Int? = 1; - protected val protected : Int? = 1; - internal protected val i_protected : Int? = 1; - val internal : Int? = 1 - } -} - fun test() { val p = test.Public() if (p.public is Int) p.public + 1 @@ -27,4 +14,21 @@ fun test() { if (i.protected is Int) i.protected + 1 if (i.i_protected is Int) i.i_protected + 1 if (i.internal is Int) i.internal + 1 -} \ No newline at end of file +} + +// FILE: other.kt +package test + +public class Public() { + public val public : Int? = 1; + protected val protected : Int? = 1; + internal protected val i_protected : Int? = 1; + val internal : Int? = 1 +} +internal class Internal() { + public val public : Int? = 1; + protected val protected : Int? = 1; + internal protected val i_protected : Int? = 1; + val internal : Int? = 1 +} + diff --git a/compiler/testData/diagnostics/tests/regressions/Jet121.jet b/compiler/testData/diagnostics/tests/regressions/Jet121.jet index 4dda2b95c51..ecab09cf75c 100644 --- a/compiler/testData/diagnostics/tests/regressions/Jet121.jet +++ b/compiler/testData/diagnostics/tests/regressions/Jet121.jet @@ -1,14 +1,14 @@ -package jet121 { - fun box() : String { - val answer = apply("OK") { String.() : Int -> - get(0) - length - } +package jet121 - return if (answer == 2) "OK" else "FAIL" - } +fun box() : String { +val answer = apply("OK") { String.() : Int -> + get(0) + length +} - fun apply(arg:String, f : String.() -> Int) : Int { - return arg.f() - } +return if (answer == 2) "OK" else "FAIL" +} + +fun apply(arg:String, f : String.() -> Int) : Int { + return arg.f() } \ No newline at end of file diff --git a/compiler/testData/diagnostics/tests/regressions/kt26-1.jet b/compiler/testData/diagnostics/tests/regressions/kt26-1.jet index d749ca77a99..d5d115f4d0f 100644 --- a/compiler/testData/diagnostics/tests/regressions/kt26-1.jet +++ b/compiler/testData/diagnostics/tests/regressions/kt26-1.jet @@ -1,7 +1,9 @@ +// FILE: this.kt + // KT-26 Import namespaces defined in this file +package foo -package foo { - import bar.* // Must not be an error -} +import bar.* // Must not be an error -package bar {} \ No newline at end of file +// FILE: other.kt +package bar \ No newline at end of file diff --git a/compiler/testData/diagnostics/tests/regressions/kt26.jet b/compiler/testData/diagnostics/tests/regressions/kt26.jet index 816545f24b4..848d726c0a4 100644 --- a/compiler/testData/diagnostics/tests/regressions/kt26.jet +++ b/compiler/testData/diagnostics/tests/regressions/kt26.jet @@ -1,10 +1,12 @@ +// FILE: a.kt // KT-26 Import namespaces defined in this file import html.* // Must not be an error -package html { +// FILE: b.kt - abstract class Factory { - fun create() : T? = null - } +package html + +abstract class Factory { +fun create() : T? = null } \ No newline at end of file diff --git a/compiler/testData/diagnostics/tests/scopes/Imports.jet b/compiler/testData/diagnostics/tests/scopes/Imports.jet index 8ff30e6834d..cedb7b9345e 100644 --- a/compiler/testData/diagnostics/tests/scopes/Imports.jet +++ b/compiler/testData/diagnostics/tests/scopes/Imports.jet @@ -1,4 +1,4 @@ -//FILE:a.kt +// FILE:a.kt package a import b.B //class @@ -13,7 +13,7 @@ fun test(arg: B) { arg.ext() } -//FILE:b.kt +// FILE:b.kt package b class B() {} diff --git a/idea/testData/checker/ExtensionFunctions.jet b/idea/testData/checker/ExtensionFunctions.jet index f08a885ce26..6fa9fe9adcc 100644 --- a/idea/testData/checker/ExtensionFunctions.jet +++ b/idea/testData/checker/ExtensionFunctions.jet @@ -1,3 +1,5 @@ +// FILE: b.kt + fun Int?.optint() : Unit {} val Int?.optval : Unit = #() @@ -37,7 +39,8 @@ val T.foo : T fun Int.foo() = this -package null_safety { +// FILE: b.kt +package null_safety fun parse(cmd: String): Command? { return null } class Command() { @@ -67,5 +70,3 @@ package null_safety { if (command == null) 1 } - -} \ No newline at end of file