Improvement on class constructor handling

Author: poechsel

semanticdb/input/src/main/scala/example/Classes.scala

@@ -1,14 +1,25 @@
 package example
 
+class CDep[X]
+class CDependenat[X](var x1: CDep[X])
+class CVarArg(var x1 : Int)
+
+
+class CDefaultWrapper {
+  val glob = 3
+  class Cdefault(val x1: Int = glob)
+}
 class C1(val x1: Int) extends AnyVal
 
 class C2(val x2: Int) extends AnyVal
 object C2
 
-case class C3(x: Int)
+case class C3[Y     ](x: Int)
 
 case class C4(x: Int)
-object C4
+object C4 {
+  val foo: Int = 4
+}
 
 object M {
   implicit class C5(x: Int)
@@ -30,4 +41,15 @@ object N {
     val local = 2
     local + 2
   }
-}
+
+  val otheranon = {
+    var a = 1
+    a
+  }
+
+  val lastanon = {
+    val a = new CVarArg(4)
+    a.x1 = 8
+    a.x1
+  }
+}

semanticdb/input/src/main/scala/example/Example.scala

@@ -14,6 +14,7 @@ class Example {
       x +
       y
     )
+  var b = 4
 }
 
 class ExampleInit {

semanticdb/input/src/main/scala/example/New.scala

@@ -3,7 +3,15 @@ package example
 class Bonjour() {
 }
 
+class Bonjour2(val x:Int) {
+  def this(x:String) = this(2)
+}
+
 class TestNew extends C {
   val b = new B
   val c = new Bonjour
+  val d = new Bonjour()
+  val e = new Bonjour2(2)
+  val f = new Bonjour2("a")
+  val _ = f.x
 }

semanticdb/input/src/main/scala/example/SemanticDoc.scala

@@ -0,0 +1,12 @@
+package example
+
+abstract class Ctest(val xp: Int, val xe : AnyRef) {
+  val xm: Int = ???
+  val xam: Int
+  private[this] val xlm: Int = ???
+  def m = {
+    val xl: Int = ???
+    type S = { val xs: Int }
+    type E = xe.type
+  }
+}

semanticdb/input/src/main/scala/example/Types.scala

@@ -36,6 +36,10 @@ object TypTest {
     def n: Int = ???
   }
 
+  class B {
+    def x:Int = 4
+  }
+
   class C extends M {
     val p = new TypP
     val x = p.x
@@ -71,7 +75,7 @@ object TypTest {
     typeLambda1[({ type L[T] = List[T] })#L]
 
     object ClassInfoType1
-    class ClassInfoType2 extends B { def x = 42 }
+    class ClassInfoType2 extends B { override def x = 42 }
     trait ClassInfoType3[T]
 
     object MethodType {

semanticdb/input/src/main/scala/example/TypesAnnotations.scala

@@ -0,0 +1,13 @@
+package example
+
+import scala.language.existentials
+import scala.language.higherKinds
+
+class ann[T](x: T) extends scala.annotation.StaticAnnotation
+class ann1 extends scala.annotation.StaticAnnotation
+class ann2 extends scala.annotation.StaticAnnotation
+
+object TypTestAnnots {
+  val annType1: T @ann(42) = ???
+  val annType2: T @ann1 @ann2 = ???
+}