test throw and inlined defs

Author: bishabosha

compiler/src/dotty/tools/dotc/semanticdb/ExtractSemanticDB.scala

@@ -81,27 +81,33 @@ class ExtractSemanticDB extends Phase:
       || excludeDefOrUse(sym)
 
     private def excludeDefOrUse(sym: Symbol)(using Context): Boolean =
-      sym.name.is(NameKinds.DefaultGetterName)
+      !sym.exists
+      || sym.name.is(NameKinds.DefaultGetterName)
       || sym.isConstructor && (sym.owner.is(ModuleClass) || !sym.isGlobal)
       || excludeSymbol(sym)
 
     private def excludeSymbol(sym: Symbol)(using Context): Boolean =
-      sym.name.isWildcard
+      !sym.exists
+      || sym.name.isWildcard
       || excludeQual(sym)
 
     private def excludeQual(sym: Symbol)(using Context): Boolean =
-      sym.isAnonymousFunction
+      !sym.exists
+      || sym.isAnonymousFunction
       || sym.isAnonymousModuleVal
       || sym.name.isEmptyNumbered
 
     private def excludeChildren(sym: Symbol)(using Context): Boolean =
-      sym.isAllOf(HigherKinded | Param)
+      !sym.exists
+      || sym.isAllOf(HigherKinded | Param)
 
     /** Uses of this symbol where the reference has given span should be excluded from semanticdb */
     private def excludeUse(qualifier: Option[Symbol], sym: Symbol)(using Context): Boolean =
-      excludeDefOrUse(sym)
+      !sym.exists
+      || excludeDefOrUse(sym)
       || sym.isConstructor && sym.owner.isAnnotation
       || sym == defn.Any_typeCast
+      || sym.owner == defn.OpsPackageClass
       || qualifier.exists(excludeQual)
 
     private def traverseAnnotsOfDefinition(sym: Symbol)(using Context): Unit =

tests/semanticdb/expect/inlineconsume.expect.scala

@@ -0,0 +1,6 @@
+package inlineconsume
+
+import inlinedefs.FakePredef/*->inlinedefs::FakePredef.*/.assert/*->inlinedefs::FakePredef.assert().*/
+
+class Foo/*<-inlineconsume::Foo#*/:
+  def test/*<-inlineconsume::Foo#test().*/ = assert/*->inlinedefs::FakePredef.assert().*/(3 >/*->scala::Int#`>`(+3).*/ 2)

tests/semanticdb/expect/inlineconsume.scala

@@ -0,0 +1,6 @@
+package inlineconsume
+
+import inlinedefs.FakePredef.assert
+
+class Foo:
+  def test = assert(3 > 2)

tests/semanticdb/expect/inlinedefs.expect.scala

@@ -0,0 +1,19 @@
+package inlinedefs
+
+object FakePredef/*<-inlinedefs::FakePredef.*/:
+
+  def assertFail/*<-inlinedefs::FakePredef.assertFail().*/(): Nothing/*->scala::Nothing#*/ = throw new java.lang.AssertionError/*->java::lang::AssertionError#*//*->java::lang::AssertionError#`<init>`(+2).*/("assertion failed")
+
+  /** Super long padded documentation
+   *  Lorem ipsum dolor sit amet, consectetur adipiscing elit,
+   *  sed do eiusmod tempor incididunt ut labore et dolore magna aliqua.
+   *  Ut enim ad minim veniam, quis nostrud exercitation ullamco laboris
+   *  nisi ut aliquip ex ea commodo consequat.
+   *  Duis aute irure dolor in reprehenderit in voluptate velit esse cillum
+   *  dolore eu fugiat nulla pariatur. Excepteur sint occaecat cupidatat non proident,
+   *  sunt in culpa qui officia deserunt mollit anim id est laborum.
+   */
+  transparent inline final def assert/*<-inlinedefs::FakePredef.assert().*/(inline assertion/*<-inlinedefs::FakePredef.assert().(assertion)*/: Boolean/*->scala::Boolean#*/): Unit/*->scala::Unit#*/ = {
+    if (!assertion/*->inlinedefs::FakePredef.assert().(assertion)*//*->scala::Boolean#`unary_!`().*/)
+      assertFail/*->inlinedefs::FakePredef.assertFail().*/()
+  }

tests/semanticdb/expect/inlinedefs.scala

@@ -0,0 +1,19 @@
+package inlinedefs
+
+object FakePredef:
+
+  def assertFail(): Nothing = throw new java.lang.AssertionError("assertion failed")
+
+  /** Super long padded documentation
+   *  Lorem ipsum dolor sit amet, consectetur adipiscing elit,
+   *  sed do eiusmod tempor incididunt ut labore et dolore magna aliqua.
+   *  Ut enim ad minim veniam, quis nostrud exercitation ullamco laboris
+   *  nisi ut aliquip ex ea commodo consequat.
+   *  Duis aute irure dolor in reprehenderit in voluptate velit esse cillum
+   *  dolore eu fugiat nulla pariatur. Excepteur sint occaecat cupidatat non proident,
+   *  sunt in culpa qui officia deserunt mollit anim id est laborum.
+   */
+  transparent inline final def assert(inline assertion: Boolean): Unit = {
+    if (!assertion)
+      assertFail()
+  }

tests/semanticdb/metac.expect

@@ -2999,6 +2999,67 @@ Occurrences:
 [2:0..2:0): <- example/FilenameWithSpaces#`<init>`().
 [2:6..2:24): FilenameWithSpaces <- example/FilenameWithSpaces#
 
+expect/inlineconsume.scala
+--------------------------
+
+Summary:
+Schema => SemanticDB v4
+Uri => inlineconsume.scala
+Text => empty
+Language => Scala
+Symbols => 3 entries
+Occurrences => 9 entries
+
+Symbols:
+inlineconsume/Foo# => class Foo
+inlineconsume/Foo#`<init>`(). => primary ctor <init>
+inlineconsume/Foo#test(). => method test
+
+Occurrences:
+[0:8..0:21): inlineconsume <- inlineconsume/
+[2:7..2:17): inlinedefs -> inlinedefs/
+[2:18..2:28): FakePredef -> inlinedefs/FakePredef.
+[2:29..2:35): assert -> inlinedefs/FakePredef.assert().
+[4:6..4:9): Foo <- inlineconsume/Foo#
+[5:2..5:2): <- inlineconsume/Foo#`<init>`().
+[5:6..5:10): test <- inlineconsume/Foo#test().
+[5:13..5:19): assert -> inlinedefs/FakePredef.assert().
+[5:22..5:23): > -> scala/Int#`>`(+3).
+
+expect/inlinedefs.scala
+-----------------------
+
+Summary:
+Schema => SemanticDB v4
+Uri => inlinedefs.scala
+Text => empty
+Language => Scala
+Symbols => 4 entries
+Occurrences => 15 entries
+
+Symbols:
+inlinedefs/FakePredef. => final object FakePredef
+inlinedefs/FakePredef.assert(). => final macro assert
+inlinedefs/FakePredef.assert().(assertion) => param assertion
+inlinedefs/FakePredef.assertFail(). => method assertFail
+
+Occurrences:
+[0:8..0:18): inlinedefs <- inlinedefs/
+[2:7..2:17): FakePredef <- inlinedefs/FakePredef.
+[4:6..4:16): assertFail <- inlinedefs/FakePredef.assertFail().
+[4:20..4:27): Nothing -> scala/Nothing#
+[4:40..4:44): java -> java/
+[4:45..4:49): lang -> java/lang/
+[4:50..4:64): AssertionError -> java/lang/AssertionError#
+[4:64..4:64): -> java/lang/AssertionError#`<init>`(+2).
+[15:31..15:37): assert <- inlinedefs/FakePredef.assert().
+[15:45..15:54): assertion <- inlinedefs/FakePredef.assert().(assertion)
+[15:56..15:63): Boolean -> scala/Boolean#
+[15:66..15:70): Unit -> scala/Unit#
+[16:9..16:18): assertion -> inlinedefs/FakePredef.assert().(assertion)
+[16:18..16:18): -> scala/Boolean#`unary_!`().
+[17:6..17:16): assertFail -> inlinedefs/FakePredef.assertFail().
+
 expect/local-file.scala
 -----------------------