diff options
author | Adriaan Moors <adriaan.moors@epfl.ch> | 2010-10-26 05:55:40 +0000 |
---|---|---|
committer | Adriaan Moors <adriaan.moors@epfl.ch> | 2010-10-26 05:55:40 +0000 |
commit | 5849778566f710d28ca1ea16fe525da27498776c (patch) | |
tree | 3fbe2c32895040145fe18191fab9195ce232df3b /test/files/neg | |
parent | 3845835cf045a6f1727f032bdb6aea5d449d468b (diff) | |
download | scala-5849778566f710d28ca1ea16fe525da27498776c.tar.gz scala-5849778566f710d28ca1ea16fe525da27498776c.tar.bz2 scala-5849778566f710d28ca1ea16fe525da27498776c.zip |
Merged revisions 23355 via svnmerge from
https://lampsvn.epfl.ch/svn-repos/scala/scala/trunk
........
r23355 | extempore | 2010-10-26 06:37:09 +0200 (Tue, 26 Oct 2010) | 4 lines
A modifier's work is never done. Another mortal embrace with protected
and its bevy of corner cases. Closes #3939, #3947. This patch is
intended for both trunk and 2.8.1. Already reviewed and co-authored by
moors, and review by oderksy. ........
Diffstat (limited to 'test/files/neg')
-rw-r--r-- | test/files/neg/java-access-neg.check | 16 | ||||
-rw-r--r-- | test/files/neg/java-access-neg/J.java | 15 | ||||
-rw-r--r-- | test/files/neg/java-access-neg/S2.scala | 61 |
3 files changed, 92 insertions, 0 deletions
diff --git a/test/files/neg/java-access-neg.check b/test/files/neg/java-access-neg.check new file mode 100644 index 0000000000..af2812b579 --- /dev/null +++ b/test/files/neg/java-access-neg.check @@ -0,0 +1,16 @@ +S2.scala:12: error: method packageAbstract overrides nothing + override private[b] def packageAbstract() = () // fail + ^ +S2.scala:16: error: method packageConcrete overrides nothing + override private[b] def packageConcrete() = () // fail + ^ +S2.scala:36: error: method packageConcrete overrides nothing + override protected[b] def packageConcrete() = () // fail + ^ +S2.scala:47: error: method packageConcrete overrides nothing + override private[a] def packageConcrete() = () // fail + ^ +S2.scala:58: error: method packageConcrete overrides nothing + override def packageConcrete() = () // fail + ^ +5 errors found diff --git a/test/files/neg/java-access-neg/J.java b/test/files/neg/java-access-neg/J.java new file mode 100644 index 0000000000..b6bc3363a1 --- /dev/null +++ b/test/files/neg/java-access-neg/J.java @@ -0,0 +1,15 @@ +package a.b; + +public abstract class J { + public J() { } + J(int x1) { } + protected J(int x1, int x2) { } + + abstract void packageAbstract(); + protected abstract void protectedAbstract(); + public abstract void publicAbstract(); + + void packageConcrete() { return; } + protected void protectedConcrete() { return; } + public void publicConcrete() { return; } +} diff --git a/test/files/neg/java-access-neg/S2.scala b/test/files/neg/java-access-neg/S2.scala new file mode 100644 index 0000000000..b082bb7174 --- /dev/null +++ b/test/files/neg/java-access-neg/S2.scala @@ -0,0 +1,61 @@ +package a.b +package c + +import a.b.J + +/** Variations of java-access-pos with us in a nested package. + */ + +/** Declaring "override" all the time. + */ +class S1 extends J { + override private[b] def packageAbstract() = () // fail + override protected[b] def protectedAbstract() = () + override def publicAbstract() = () + + override private[b] def packageConcrete() = () // fail + override protected[b] def protectedConcrete() = () + override def publicConcrete() = () +} + +/** Implementing abstracts. + */ +class S2 extends J { + private[b] def packageAbstract() = () // fail + protected[b] def protectedAbstract() = () + def publicAbstract() = () +} + +/** Widening access. + */ +class S3 extends J { + protected[b] def packageAbstract() = () // fail + protected[b] def protectedAbstract() = () + def publicAbstract() = () + + override protected[b] def packageConcrete() = () // fail + override protected[b] def protectedConcrete() = () + override def publicConcrete() = () +} +/** More widening. + */ +class S4 extends J { + private[a] def packageAbstract() = () // fail + protected[a] def protectedAbstract() = () + def publicAbstract() = () + + override private[a] def packageConcrete() = () // fail + override protected[a] def protectedConcrete() = () + override def publicConcrete() = () +} +/** Yet more widening. + */ +class S5 extends J { + def packageAbstract() = () // fail + def protectedAbstract() = () + def publicAbstract() = () + + override def packageConcrete() = () // fail + override def protectedConcrete() = () + override def publicConcrete() = () +} |