scala3-compiler-bootstrapped
API
Generated with
Copyright (c) 2002-2022, LAMP/EPFL
Copyright (c) 2002-2022, LAMP/EPFL
scala3-compiler-bootstrapped/dotty.tools.dotc.semanticdb/SymbolInformation/Property

Property

dotty.tools.dotc.semanticdb.SymbolInformation$.Property$
See theProperty companion class
object Property

Attributes

Companion:
class
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Type members

Classlikes

case object ABSTRACT extends Property with Recognized

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
class Property
trait SemanticdbGeneratedEnum
trait Product
trait Equals
class Object
trait Matchable
class Any
Self type
case object CASE extends Property with Recognized

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
class Property
trait SemanticdbGeneratedEnum
trait Product
trait Equals
class Object
trait Matchable
class Any
Self type
CASE.type
case object CONTRAVARIANT extends Property with Recognized

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
class Property
trait SemanticdbGeneratedEnum
trait Product
trait Equals
class Object
trait Matchable
class Any
Self type
case object COVARIANT extends Property with Recognized

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
class Property
trait SemanticdbGeneratedEnum
trait Product
trait Equals
class Object
trait Matchable
class Any
Self type
case object DEFAULT extends Property with Recognized

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
class Property
trait SemanticdbGeneratedEnum
trait Product
trait Equals
class Object
trait Matchable
class Any
Self type
DEFAULT.type
case object ENUM extends Property with Recognized

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
class Property
trait SemanticdbGeneratedEnum
trait Product
trait Equals
class Object
trait Matchable
class Any
Self type
ENUM.type
case object FINAL extends Property with Recognized

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
class Property
trait SemanticdbGeneratedEnum
trait Product
trait Equals
class Object
trait Matchable
class Any
Self type
FINAL.type
case object GIVEN extends Property with Recognized

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
class Property
trait SemanticdbGeneratedEnum
trait Product
trait Equals
class Object
trait Matchable
class Any
Self type
GIVEN.type
case object IMPLICIT extends Property with Recognized

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
class Property
trait SemanticdbGeneratedEnum
trait Product
trait Equals
class Object
trait Matchable
class Any
Self type
case object INFIX extends Property with Recognized

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
class Property
trait SemanticdbGeneratedEnum
trait Product
trait Equals
class Object
trait Matchable
class Any
Self type
INFIX.type
case object INLINE extends Property with Recognized

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
class Property
trait SemanticdbGeneratedEnum
trait Product
trait Equals
class Object
trait Matchable
class Any
Self type
INLINE.type
case object LAZY extends Property with Recognized

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
class Property
trait SemanticdbGeneratedEnum
trait Product
trait Equals
class Object
trait Matchable
class Any
Self type
LAZY.type
case object OPAQUE extends Property with Recognized

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
class Property
trait SemanticdbGeneratedEnum
trait Product
trait Equals
class Object
trait Matchable
class Any
Self type
OPAQUE.type
case object OPEN extends Property with Recognized

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
class Property
trait SemanticdbGeneratedEnum
trait Product
trait Equals
class Object
trait Matchable
class Any
Self type
OPEN.type
case object PRIMARY extends Property with Recognized

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
class Property
trait SemanticdbGeneratedEnum
trait Product
trait Equals
class Object
trait Matchable
class Any
Self type
PRIMARY.type
sealed trait Recognized extends Property

Attributes

Graph
Supertypes
class Property
trait SemanticdbGeneratedEnum
trait Product
trait Equals
class Object
trait Matchable
class Any
Known subtypes
object ABSTRACT.type
object CASE.type
object CONTRAVARIANT.type
object COVARIANT.type
object DEFAULT.type
object ENUM.type
object FINAL.type
object GIVEN.type
object IMPLICIT.type
object INFIX.type
object INLINE.type
object LAZY.type
object OPAQUE.type
object OPEN.type
object PRIMARY.type
object SEALED.type
object STATIC.type
object TRANSPARENT.type
object UNKNOWN_PROPERTY.type
object VAL.type
object VAR.type
case object SEALED extends Property with Recognized

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
class Property
trait SemanticdbGeneratedEnum
trait Product
trait Equals
class Object
trait Matchable
class Any
Self type
SEALED.type
case object STATIC extends Property with Recognized

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
class Property
trait SemanticdbGeneratedEnum
trait Product
trait Equals
class Object
trait Matchable
class Any
Self type
STATIC.type
case object TRANSPARENT extends Property with Recognized

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
class Property
trait SemanticdbGeneratedEnum
trait Product
trait Equals
class Object
trait Matchable
class Any
Self type
case object UNKNOWN_PROPERTY extends Property with Recognized

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
class Property
trait SemanticdbGeneratedEnum
trait Product
trait Equals
class Object
trait Matchable
class Any
Self type
final case class Unrecognized(unrecognizedValue: Int) extends Property with SemanticdbUnrecognizedEnum

Attributes

Graph
Supertypes
trait SemanticdbUnrecognizedEnum
class Property
trait SemanticdbGeneratedEnum
trait Product
trait Equals
class Object
trait Matchable
class Any
case object VAL extends Property with Recognized

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
class Property
trait SemanticdbGeneratedEnum
trait Product
trait Equals
class Object
trait Matchable
class Any
Self type
VAL.type
case object VAR extends Property with Recognized

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
class Property
trait SemanticdbGeneratedEnum
trait Product
trait Equals
class Object
trait Matchable
class Any
Self type
VAR.type

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Attributes

Inherited from:
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Attributes

Inherited from:
Mirror

Value members

Concrete methods

def fromValue(`__value`: Int): Property

Concrete fields

lazy val values: Seq[Recognized]

Givens

Givens

Generated with
Copyright (c) 2002-2022, LAMP/EPFL
Copyright (c) 2002-2022, LAMP/EPFL