do not register compiler generated definitions

Author: poechsel

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

@@ -1,12 +1,12 @@
 package example
-
+/*
 class CaseTest {
   def foo (x: Option[Int]) : Int =
   x match {
     case y @ Some(x) => x
     case None => 0
   }
 }
-
+*/
 case class CaseClass(x: Int)
-case object CaseObject
+//case object CaseObject

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

@@ -15,7 +15,7 @@ class Example {
       y
     )
 }
-
+/*
 class ExampleInit {
 
-}
+}*/

semanticdb/src/dotty/semanticdb/SemanticdbConsumer.scala

@@ -416,6 +416,7 @@ class SemanticdbConsumer(sourceFile: java.nio.file.Path) extends TastyConsumer {
         // We want to add symbols coming from our file
         // if (symbol.pos.sourceFile != sourceFile) return
         if (symbol_path == "" || symbol.isUselessOccurrence) return
+        if (symbol.flags.is(Flags.Synthetic) && type_symbol == s.SymbolOccurrence.Role.DEFINITION) return
 
         val key = (symbol_path, range)
         // TODO: refactor the following
@@ -430,7 +431,7 @@ class SemanticdbConsumer(sourceFile: java.nio.file.Path) extends TastyConsumer {
         }
         println(symbol_path,
                 range,
-                symbol.owner.flags,
+                symbol.flags,
                 is_global,
                 iterateParent(symbol))
         occurrences =
@@ -583,17 +584,18 @@ class SemanticdbConsumer(sourceFile: java.nio.file.Path) extends TastyConsumer {
           case TypeTree.Select(qualifier, _) => {
             val typetree = extractTypeTree(tree)
             val range = rangeSelect(typetree.symbol.trueName, typetree.pos)
+            println(typetree.pos.start, typetree.pos.end)
             addOccurenceTypeTree(typetree,
                                  s.SymbolOccurrence.Role.REFERENCE,
                                  range)
             super.traverseTypeTree(typetree)
-          }
+          }/*
           case TypeTree.Inferred() => {
             val typetree = extractTypeTree(tree)
             addOccurenceTypeTree(typetree,
                                  s.SymbolOccurrence.Role.REFERENCE,
                                  posToRange(typetree.pos).get)
-          }
+          }*/
           case _ => {
             super.traverseTypeTree(tree)
           }
@@ -829,7 +831,10 @@ class SemanticdbConsumer(sourceFile: java.nio.file.Path) extends TastyConsumer {
       }
 
     }
+    println("{--------------------------------------}")
     println(root)
+    println("{--------------------------------------}")
+
     Traverser.traverseTree(root)(reflect.rootContext)
   }
 

semanticdb/test/dotty/semanticdb/Tests.scala

@@ -212,5 +212,8 @@ class Tests {
   //@Test def testSynthetic(): Unit = checkFile("example/Synthetic.scala")
   //@Test def testBinaryOp(): Unit = checkFile("example/BinaryOp.scala")
   //@Test def testAnonymous(): Unit = checkFile("example/Anonymous.scala")
-  @Test def testDottyPredef(): Unit = checkFile("example/DottyPredef.scala")
+  //@Test def testDottyPredef(): Unit = checkFile("example/DottyPredef.scala")
+  @Test def testCase(): Unit = checkFile("example/Case.scala")
+
+
  }