scala3-compiler-bootstrapped
DocsAPI
Generated with
Copyright (c) 2002-2024, LAMP/EPFL
Copyright (c) 2002-2024, LAMP/EPFL
scala3-compiler-bootstrapped/dotty.tools/dotty.tools.dotc/dotty.tools.dotc.core/NameKinds/NumberedInfo

NumberedInfo

dotty.tools.dotc.core.NameKinds.NumberedInfo
trait NumberedInfo extends NameInfo

A base trait for infos that contain a number

Attributes

Graph
Supertypes
class NameInfo
class Object
trait Matchable
class Any
Known subtypes
class NumberedInfo

Members list

Value members

Abstract methods

def num: Int

Inherited methods

def map(f: SimpleName => SimpleName): NameInfo

Attributes

Inherited from:
NameInfo

Inherited and Abstract methods

def kind: NameKind

Attributes

Inherited from:
NameInfo
def mkString(underlying: TermName): String

Attributes

Inherited from:
NameInfo
Generated with
Copyright (c) 2002-2024, LAMP/EPFL
Copyright (c) 2002-2024, LAMP/EPFL