Add constructors for TASTy reflect flags

Author: nicolasstucki

compiler/src/dotty/tools/dotc/tastyreflect/FlagsOpsImpl.scala

@@ -0,0 +1,38 @@
+package dotty.tools.dotc
+package tastyreflect
+
+import dotty.tools.dotc.core.Decorators._
+
+trait FlagsOpsImpl extends scala.tasty.reflect.FlagsOps with CoreImpl {
+
+  object Flags extends FlagsModule {
+    def Protected: FlagSet = new FlagSet(core.Flags.Protected)
+    def Abstract: FlagSet = new FlagSet(core.Flags.Abstract)
+    def Final: FlagSet = new FlagSet(core.Flags.Final)
+    def Sealed: FlagSet = new FlagSet(core.Flags.Sealed)
+    def Case: FlagSet = new FlagSet(core.Flags.Case)
+    def Implicit: FlagSet = new FlagSet(core.Flags.Implicit)
+    def Erased: FlagSet = new FlagSet(core.Flags.Erased)
+    def Lazy: FlagSet = new FlagSet(core.Flags.Lazy)
+    def Override: FlagSet = new FlagSet(core.Flags.Override)
+    def Inline: FlagSet = new FlagSet(core.Flags.Inline)
+    def Macro: FlagSet = new FlagSet(core.Flags.Macro)
+    def Static: FlagSet = new FlagSet(core.Flags.JavaStatic)
+    def Object: FlagSet = new FlagSet(core.Flags.Module)
+    def Trait: FlagSet = new FlagSet(core.Flags.Trait)
+    def Local: FlagSet = new FlagSet(core.Flags.Local)
+    def Synthetic: FlagSet = new FlagSet(core.Flags.Synthetic)
+    def Artifact: FlagSet = new FlagSet(core.Flags.Artifact)
+    def Mutable: FlagSet = new FlagSet(core.Flags.Mutable)
+    def FieldAccessor: FlagSet = new FlagSet(core.Flags.Accessor)
+    def CaseAcessor: FlagSet = new FlagSet(core.Flags.CaseAccessor)
+    def Covariant: FlagSet = new FlagSet(core.Flags.Covariant)
+    def Contravariant: FlagSet = new FlagSet(core.Flags.Contravariant)
+    def Scala2X: FlagSet = new FlagSet(core.Flags.Scala2x)
+    def DefaultParameterized: FlagSet = new FlagSet(core.Flags.DefaultParameterized)
+    def Stable: FlagSet = new FlagSet(core.Flags.Stable)
+    def Param: FlagSet = new FlagSet(core.Flags.Param)
+    def ParamAccessor: FlagSet = new FlagSet(core.Flags.ParamAccessor)
+  }
+
+}

compiler/src/dotty/tools/dotc/tastyreflect/ReflectionImpl.scala

@@ -8,6 +8,7 @@ class ReflectionImpl(val rootContext: Contexts.Context)
     with CaseDefOpsImpl
     with ConstantOpsImpl
     with ContextOpsImpl
+    with FlagsOpsImpl
     with IdOpsImpl
     with ImportSelectorOpsImpl
     with QuotedOpsImpl

library/src/scala/tasty/Reflection.scala

@@ -7,6 +7,7 @@ abstract class Reflection
     with CaseDefOps
     with ConstantOps
     with ContextOps
+    with FlagsOps
     with IdOps
     with ImportSelectorOps
     with QuotedOps

library/src/scala/tasty/reflect/FlagsOps.scala

@@ -0,0 +1,89 @@
+package scala.tasty.reflect
+
+trait FlagsOps extends Core {
+
+  val Flags: FlagsModule
+  abstract class FlagsModule {
+    /** Is this symbol `protected` */
+    def Protected: FlagSet
+
+    /** Is this symbol `abstract` */
+    def Abstract: FlagSet
+
+    /** Is this symbol `final` */
+    def Final: FlagSet
+
+    /** Is this symbol `sealed` */
+    def Sealed: FlagSet
+
+    /** Is this symbol `case` */
+    def Case: FlagSet
+
+    /** Is this symbol `implicit` */
+    def Implicit: FlagSet
+
+    /** Is this symbol `erased` */
+    def Erased: FlagSet
+
+    /** Is this symbol `lazy` */
+    def Lazy: FlagSet
+
+    /** Is this symbol `override` */
+    def Override: FlagSet
+
+    /** Is this symbol `inline` */
+    def Inline: FlagSet
+
+    /** Is this symbol markes as a macro. An inline method containing toplevel splices */
+    def Macro: FlagSet
+
+    /** Is this symbol marked as static. Mapped to static Java member */
+    def Static: FlagSet
+
+    /** Is this symbol an object or its class (used for a ValDef or a ClassDef extends Modifier respectively) */
+    def Object: FlagSet
+
+    /** Is this symbol a trait */
+    def Trait: FlagSet
+
+    /** Is this symbol local? Used in conjunction with Private/private[Type] to mean private[this] extends Modifier proctected[this] */
+    def Local: FlagSet
+
+    /** Was this symbol generated by Scala compiler */
+    def Synthetic: FlagSet
+
+    /** Is this symbol to be tagged Java Synthetic */
+    def Artifact: FlagSet
+
+    /** Is this symbol a `var` (when used on a ValDef) */
+    def Mutable: FlagSet
+
+    /** Is this symbol a getter or a setter */
+    def FieldAccessor: FlagSet
+
+    /** Is this symbol a getter for case class parameter */
+    def CaseAcessor: FlagSet
+
+    /** Is this symbol a type parameter marked as covariant `+` */
+    def Covariant: FlagSet
+
+    /** Is this symbol a type parameter marked as contravariant `-` */
+    def Contravariant: FlagSet
+
+    /** Was this symbol imported from Scala2.x */
+    def Scala2X: FlagSet
+
+    /** Is this symbol a method with default parameters */
+    def DefaultParameterized: FlagSet
+
+    /** Is this symbol member that is assumed to be stable */
+    def Stable: FlagSet
+
+    /** Is this symbol a parameter */
+    def Param: FlagSet
+
+    /** Is this symbol a parameter accessor */
+    def ParamAccessor: FlagSet
+  }
+
+}