scala3-compiler-bootstrapped
DocsAPI
Generated with
Copyright (c) 2002-2025, LAMP/EPFL
Copyright (c) 2002-2025, LAMP/EPFL
scala3-compiler-bootstrapped/dotty.tools/dotty.tools.dotc/dotty.tools.dotc.transform/CheckUnused

CheckUnused

dotty.tools.dotc.transform.CheckUnused
See theCheckUnused companion class
object CheckUnused

Attributes

Companion
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Type members

Classlikes

enum PhaseMode

Attributes

Supertypes
trait Enum
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
class PostInlining extends CheckUnused

Attributes

Supertypes
class CheckUnused
class MiniPhase
class Phase
class Object
trait Matchable
class Any
Show all
class PostTyper extends CheckUnused

Attributes

Supertypes
class CheckUnused
class MiniPhase
class Phase
class Object
trait Matchable
class Any
Show all
object PrecedenceLevels

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
class RefInfos

Attributes

Supertypes
class Object
trait Matchable
class Any
class Resolved

Attributes

Supertypes
class Object
trait Matchable
class Any

Types

Value members

Concrete methods

def ignoreTree(tree: Tree): Boolean
def isUnconsuming(rhs: Tree)(using Context): Boolean
inline def refInfos(using Context): RefInfos
def relax(tree: Tree, refinements: List[Tree])(using Context): Unit
def reportUnused()(using Context): Unit
inline def resolved(using Context): Resolved

Concrete fields

val Ignore: StickyKey[Unit]

Ignore reference.

Ignore reference.

Attributes

val NoWarn: StickyKey[Unit]

Suppress warning in a tree, such as a patvar name allowed by special convention.

Suppress warning in a tree, such as a patvar name allowed by special convention.

Attributes

val OriginalName: StickyKey[Name]

Attachment holding the name of an Ident as written by the user.

Attachment holding the name of an Ident as written by the user.

Attributes

Extensions

Extensions

extension [A <: AnyRef](arr: Array[A])
def indexSatisfying(from: Int, until: Int)(p: A => Boolean): Int
extension (imp: Import)
def isGeneratedByEnum(using Context): Boolean

Generated import of cases from enum companion.

Generated import of cases from enum companion.

Attributes

def isLoose(sel: ImportSelector)(using Context): Boolean

Under -Wunused:strict-no-implicit-warn, avoid false positives if this selector is a wildcard that might import implicits or specifically does import an implicit. Similarly, import of CanEqual must not warn, as it is always witness.

Under -Wunused:strict-no-implicit-warn, avoid false positives if this selector is a wildcard that might import implicits or specifically does import an implicit. Similarly, import of CanEqual must not warn, as it is always witness.

Attributes

def isPrimaryClause(using Context): Boolean

Is it the first import clause in a statement? a.x in import a.x, b.{y, z}

Is it the first import clause in a statement? a.x in import a.x, b.{y, z}

Attributes

extension (nm: Name)
inline def exists(p: Name => Boolean): Boolean
inline def isWildcard: Boolean
extension (sel: ImportSelector)
def boundTpe: Type
def isImportExclusion: Boolean

This is used to ignore exclusion imports of the form import qual.member as _ because sel.isUnimport is too broad for old style import concurrent._.

This is used to ignore exclusion imports of the form import qual.member as _ because sel.isUnimport is too broad for old style import concurrent._.

Attributes

extension (sym: Symbol)
def isCanEqual(using Context): Boolean
inline def userSymbol(using Context): Symbol
extension (tp: Type)
def importPrefix(using Context): Type
def underlying(using Context): Type
Generated with
Copyright (c) 2002-2025, LAMP/EPFL
Copyright (c) 2002-2025, LAMP/EPFL