Merged revisions 22130-22131,22137,22140,22149,...

Merged revisions
22130-22131,22137,22140,22149,22285,22297-22298,22315,22355,22358,22361-
22362,22418,22475-22476,22481,22498-22501,22573-22574,22584,22587-22588,
22594,22604-22608,22614,22618-22619,22634,22636,22643,22650,22672,22674,
22739-22740,22798-22799 via svnmerge from
https://lampsvn.epfl.ch/svn-repos/scala/scala/trunk

........
  r22130 | dubochet | 2010-06-02 15:11:24 +0200 (Wed, 02 Jun 2010) | 1 line

  Removed unnecessary files containing code with an uncertain copyright
status. ........ r22131 | dubochet | 2010-06-02 15:41:19 +0200 (Wed, 02
Jun 2010) | 1 line

  Added mandatory copyright notices for some libraries shipped with
Scala. ........ r22137 | dubochet | 2010-06-02 16:04:52 +0200 (Wed, 02
Jun 2010) | 1 line

  Added more license notices for things shipped with Scala. ........
r22140 | dubochet | 2010-06-02 18:23:43 +0200 (Wed, 02 Jun 2010) | 1
line

  [scaladoc] Updated man page for Scaladoc 2.
........
  r22149 | dubochet | 2010-06-03 11:22:57 +0200 (Thu, 03 Jun 2010) | 1 line

  [scaladoc] Fixed typo in Scaladoc man page (thanks Stéphane). No
review. ........ r22285 | dubochet | 2010-06-14 16:10:43 +0200 (Mon, 14
Jun 2010) | 1 line

  Added test case for #432. No review.
........
  r22297 | dubochet | 2010-06-15 18:08:57 +0200 (Tue, 15 Jun 2010) | 1 line

  [scaladoc] Slightly more robust treatment of "code" HTML elements in
Scaladoc comments. No review. ........ r22298 | dubochet | 2010-06-15
18:09:36 +0200 (Tue, 15 Jun 2010) | 1 line

  [scaladoc] New display mode for members: ordered by inheritance class.
Review by malayeri. ........ r22315 | dubochet | 2010-06-16 16:16:31
+0200 (Wed, 16 Jun 2010) | 1 line

  [Scaladoc] Self types are printed. Contributed by Manohar
Jonnalagedda. Checked by dubochet. ........ r22355 | dubochet |
2010-06-18 14:59:39 +0200 (Fri, 18 Jun 2010) | 1 line

  [scaladoc] Added linear super types. Review by cunei. ........ r22358
| dubochet | 2010-06-18 17:34:35 +0200 (Fri, 18 Jun 2010) | 3 lines

  [scaladoc] There is a text filter tool for members (searching on
member name and comment body). Adds button to reset text filter tool. No
review.

  Known limitation: filtering of members is blocking on keystroke
leading to sluggish performance on large classes. Scheduler from index
needs to be used for member filtering. ........ r22361 | dubochet |
2010-06-18 18:48:05 +0200 (Fri, 18 Jun 2010) | 1 line

  [scaladoc] Abstract members can be filtered in or out. Pointer icons
are less crazy. Review by dubochet. Contributed by Pedro Furlanetto.
........ r22362 | dubochet | 2010-06-18 18:48:34 +0200 (Fri, 18 Jun
2010) | 1 line

  [scaladoc] A warning is printed when usecase members have different
names than the real member being commented. Review by odersky.
Contributed by Pedro Furlanetto. ........ r22418 | michelou | 2010-06-29
16:00:36 +0200 (Tue, 29 Jun 2010) | 2 lines

  removed warnings (deprecation,unchecked)
........
  r22475 | dubochet | 2010-07-02 18:38:29 +0200 (Fri, 02 Jul 2010) | 1 line

  Closes #1766 (structural method dispatch broken in class with multiple
constructors). Review by prokopec. ........ r22476 | dubochet |
2010-07-02 20:12:33 +0200 (Fri, 02 Jul 2010) | 1 line

  Closes #2318 (spurious IllegalAccessException thrown by some
structural calls, caused by Java bug 4071957). Review by malayeri.
........ r22481 | extempore | 2010-07-03 02:56:00 +0200 (Sat, 03 Jul
2010) | 4 lines

  When compilation fails because of an unimplemented abstract var, give
a more precise error message about what happened. Also avoid issuing
the same error twice because neither getter nor setter is implemented.
Closes #36, review by rytz. ........ r22498 | dubochet | 2010-07-06
18:07:31 +0200 (Tue, 06 Jul 2010) | 1 line

  [scaladoc] Implements documentation of higher-kinded entities. Closes
#3618. Review by moors. ........ r22499 | dubochet | 2010-07-06 18:21:00
+0200 (Tue, 06 Jul 2010) | 1 line

  [scaladoc] Hiding full comments in template pages at startup is done
by CSS instead of JavaScript, leading to better performance. Contributed
by Pedro Furlanetto. Review by dubochet. ........ r22500 | dubochet |
2010-07-06 18:29:38 +0200 (Tue, 06 Jul 2010) | 1 line

  [scaladoc] Follow-up on review SCL-95. No review. ........ r22501 |
dubochet | 2010-07-06 18:39:31 +0200 (Tue, 06 Jul 2010) | 1 line

  [scaladoc] Follow-up on review SCL-110. No review. ........ r22573 |
dubochet | 2010-07-15 16:13:03 +0200 (Thu, 15 Jul 2010) | 1 line

  [scaladoc] Full comments with "by inheritance" ordering are correctly
displayed. No review. ........ r22574 | dubochet | 2010-07-15 16:13:38
+0200 (Thu, 15 Jul 2010) | 1 line

  [scaladoc] Scaladoc knows about Javadoc inline tags and transforms
them. The transformation is currently quite basic, particularly for
links. Review by malayeri. ........ r22584 | dubochet | 2010-07-18
17:59:14 +0200 (Sun, 18 Jul 2010) | 1 line

  [scaladoc] Print "Inherited from" headings using type instances
("SeqLike[A, List[A]]") instead of template names ("SeqLike"). Review by
malayeri. ........ r22587 | dubochet | 2010-07-19 11:38:25 +0200 (Mon,
19 Jul 2010) | 1 line

  [scaladoc] Adds private Scaladoc option "-Yuse-stupid-types" for
LAMP internal use. No review. ........ r22588 | dubochet | 2010-07-19
13:57:51 +0200 (Mon, 19 Jul 2010) | 1 line

  [scaladoc] Fixes an issue whereas inherited members in objects would
not see their types instantiated properly. No review. ........ r22594 |
dubochet | 2010-07-19 17:11:30 +0200 (Mon, 19 Jul 2010) | 1 line

  [scaladoc] Singleton types (`this.type`) are correctly printed. Closes
#1445. Review by malayeri. ........ r22604 | malayeri | 2010-07-20
18:13:28 +0200 (Tue, 20 Jul 2010) | 1 line

  [scaladoc] Modify build script to copy html resources to output
directory; display template in a frame rather than an iframe; change
title of main page when new frame is loaded. Review by dubochet.
........ r22605 | malayeri | 2010-07-20 18:14:32 +0200 (Tue, 20 Jul
2010) | 1 line

  [scaladoc] Make a DocDef node for javadoc comments in Java source
files. ........ r22606 | malayeri | 2010-07-20 18:15:54 +0200 (Tue, 20
Jul 2010) | 1 line

  [scaladoc] Remove unused template.html file.
........
  r22607 | malayeri | 2010-07-20 18:17:35 +0200 (Tue, 20 Jul 2010) | 1 line

  [scaladoc] Don't generate documentation for empty Java companion
objects. No review. ........ r22608 | malayeri | 2010-07-20 18:18:54
+0200 (Tue, 20 Jul 2010) | 1 line

  [scaladoc] Optionally run typer phase for Java files, if createJavadoc
method returns true. No review. ........ r22614 | dubochet | 2010-07-21
18:35:26 +0200 (Wed, 21 Jul 2010) | 1 line

  [docs] The first comment contributed using Petr Hošek's Colladoc.
........ r22618 | malayeri | 2010-07-22 11:21:37 +0200 (Thu, 22 Jul
2010) | 1 line

  [scaladoc] Fix performance problem when generating Scaladoc. ........
r22619 | malayeri | 2010-07-22 11:48:12 +0200 (Thu, 22 Jul 2010) | 1
line

  Revert 22605 change to JavaParsers.scala, which modified parsing
behavior and broke jvm test t3415. No longer create DocDef nodes for
Javadoc comments in Java source files. No review. ........ r22634 |
dubochet | 2010-07-27 18:33:35 +0200 (Tue, 27 Jul 2010) | 1 line

  [scaladoc] Setting for link to source URLs is much more flexible
and should allow satisfying Toni's exacting demands. Review by cunei.
........ r22636 | dubochet | 2010-07-28 13:26:15 +0200 (Wed, 28 Jul
2010) | 1 line

  [docs] Documentation updates contributed through Colladoc. No review.
........ r22643 | dubochet | 2010-07-28 18:23:55 +0200 (Wed, 28 Jul
2010) | 1 line

  [scaladoc] Small fixes for 2.8.0 updated documentation: window title
contains version number, authors are not displayed (like in Javadoc),
source links have correct title. No review. ........ r22650 | dubochet |
2010-07-30 13:51:25 +0200 (Fri, 30 Jul 2010) | 1 line

  Fixes an issue in RefChecks when the compiler does not have an erasure
phase (such as in Scaladoc), which became visible after r22644. Review
by odersky. ........ r22672 | chrisJames | 2010-08-04 14:32:01 +0200
(Wed, 04 Aug 2010) | 4 lines

  [Scaladoc]
  Prints default Values, considers anyRef as a class. 
  closes #3105. 
  Review by prokopec.
........
  r22674 | dubochet | 2010-08-04 16:54:10 +0200 (Wed, 04 Aug 2010) | 1 line

  Keyword of method symbol signature is correctly printed as 'def'
instead of 'val'. No review. ........ r22739 | chrisJames | 2010-08-12
13:58:52 +0200 (Thu, 12 Aug 2010) | 4 lines

  [Scaladoc] Improve the documentation of primary constructor. Adds
a @constructor for commenting the primary constructor. It also adds
some comments for the primary constructor (@params, @deprecated)
which are initialised in the class comment. Members that come from
primary constructor parameters (val parameters or parameters of a case
class) are listed as members with the comment given using the @param
tag (closes #254, closes #577). Case class signature now begins by
'case class' instead of 'class'. Review by dubochet ........ r22740 |
chrisJames | 2010-08-12 13:59:21 +0200 (Thu, 12 Aug 2010) | 2 lines

  [Scaladoc] Fixes a bug in defaultValues display ('new A' now creates a
link on A). Review by dubochet ........ r22798 | dubochet | 2010-08-19
16:04:09 +0200 (Thu, 19 Aug 2010) | 6 lines

  [scaladoc] Merges Petr's change to Scaladoc from the Colladoc branch:
bugfixes, improvements and refactorings that make it possible to extends
Scaladoc into Colladoc.

   - Layout of index uses jQuery UI panel instead of frameset.
   - Search boxes have correct width on Firefox.
   - Scaladoc models the original, untransformed source.
   - Various internal bugfixes & refactorings.
  Review by dubochet.
........
  r22799 | dubochet | 2010-08-19 16:28:46 +0200 (Thu, 19 Aug 2010) | 1 line

  Fixed build for Java 1.5. No review.
........

2 files changed, 50 insertions, 0 deletions

diff --git a/test/files/neg/abstract-vars.check b/test/files/neg/abstract-vars.check
new file mode 100644
index 0000000000..8aa47745f6
--- /dev/null
+++ b/test/files/neg/abstract-vars.check
@@ -0,0 +1,21 @@
+abstract-vars.scala:5: error: class Fail1 needs to be abstract, since variable x is not defined
+(Note that variables need to be initialized to be defined)
+class Fail1 extends A {
+      ^
+abstract-vars.scala:9: error: class Fail2 needs to be abstract, since variable x in class A of type Int is not defined
+(Note that variables need to be initialized to be defined)
+class Fail2 extends A { }
+      ^
+abstract-vars.scala:11: error: class Fail3 needs to be abstract, since variable x in class A of type Int is not defined
+(Note that an abstract var requires a setter in addition to the getter)
+class Fail3 extends A {
+      ^
+abstract-vars.scala:14: error: class Fail4 needs to be abstract, since variable x in class A of type Int is not defined
+(Note that an abstract var requires a setter in addition to the getter)
+class Fail4 extends A {
+      ^
+abstract-vars.scala:18: error: class Fail5 needs to be abstract, since variable x in class A of type Int is not defined
+(Note that an abstract var requires a getter in addition to the setter)
+class Fail5 extends A {
+      ^
+5 errors found
diff --git a/test/files/neg/abstract-vars.scala b/test/files/neg/abstract-vars.scala
new file mode 100644
index 0000000000..df6109d3a8
--- /dev/null
+++ b/test/files/neg/abstract-vars.scala
@@ -0,0 +1,29 @@
+abstract class A {
+  var x: Int
+}
+
+class Fail1 extends A {
+  var x: Int
+}
+
+class Fail2 extends A { }
+
+class Fail3 extends A {
+  val x: Int = 5
+}
+class Fail4 extends A {
+  def x: Int = 5
+}
+
+class Fail5 extends A {
+  def x_=(y: Int) = ()
+}
+
+class Success1 extends A {
+  val x: Int = 5
+  def x_=(y: Int) = ()
+}
+
+class Success2 extends A {
+  var x: Int = 5
+}