Property

dotty.tools.dotc.util.Property$
object Property

Defines a key type with which to tag properties, such as attachments or context properties

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Type members

Classlikes

class Key[+V]

The class of keys for properties of type V

The class of keys for properties of type V

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object SourceVersion.type
object MessageLimiter.type
class StickyKey[V]
class StickyKey[+V] extends Key[V]

The class of keys for sticky properties of type V

The class of keys for sticky properties of type V

Sticky properties are properties that should be copied over when their container is copied.

Attributes

Graph
Supertypes
class Key[V]
class Object
trait Matchable
class Any