Packages

c

scala.reflect.internal.Variances

VarianceValidator

class VarianceValidator extends SymbolTable.Traverser

Used in Refchecks. TODO - eliminate duplication with varianceInType

Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. VarianceValidator
  2. Traverser
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new VarianceValidator()

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. def apply[T <: SymbolTable.Tree](tree: T): T

    Leave apply available in the generic traverser to do something else.

    Leave apply available in the generic traverser to do something else.

    Definition Classes
    Traverser
  5. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  6. def atOwner(owner: SymbolTable.Symbol)(traverse: ⇒ Unit): Unit

    Performs a traversal with a given owner symbol.

    Performs a traversal with a given owner symbol.

    Definition Classes
    Traverser
  7. final def checkForEscape(sym: SymbolTable.Symbol, site: SymbolTable.Symbol): Unit

    Is every symbol in the owner chain between site and the owner of sym either a term symbol or private[this]? If not, add sym to the set of escaped locals.

    Is every symbol in the owner chain between site and the owner of sym either a term symbol or private[this]? If not, add sym to the set of escaped locals.

    Annotations
    @tailrec()
  8. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  9. var currentOwner: SymbolTable.Symbol
    Attributes
    protected[scala]
    Definition Classes
    Traverser
  10. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  11. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  12. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  13. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  14. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  15. def isExemptFromVariance(sym: SymbolTable.Symbol): Boolean
  16. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  17. def issueVarianceError(base: SymbolTable.Symbol, sym: SymbolTable.Symbol, required: Variance): Unit
    Attributes
    protected
  18. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  19. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  20. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  21. def shouldFlip(sym: SymbolTable.Symbol, tvar: SymbolTable.Symbol): Boolean
  22. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  23. def toString(): String
    Definition Classes
    AnyRef → Any
  24. def traverse(tree: SymbolTable.Tree): Unit

    Traverses a single tree.

    Traverses a single tree.

    Definition Classes
    VarianceValidatorTraverser
  25. def traverseAnnotations(annots: List[SymbolTable.Tree]): Unit
    Definition Classes
    Traverser
  26. def traverseCases(cases: List[SymbolTable.CaseDef]): Unit
    Definition Classes
    Traverser
  27. def traverseConstant(c: SymbolTable.Constant): Unit
    Definition Classes
    Traverser
  28. def traverseGuard(guard: SymbolTable.Tree): Unit
    Definition Classes
    Traverser
  29. def traverseImportSelector(sel: SymbolTable.ImportSelector): Unit
    Definition Classes
    Traverser
  30. def traverseModifiers(mods: SymbolTable.Modifiers): Unit
    Definition Classes
    Traverser
  31. def traverseName(name: SymbolTable.Name): Unit

    Traverse something which Trees contain, but which isn't a Tree itself.

    Traverse something which Trees contain, but which isn't a Tree itself.

    Definition Classes
    Traverser
  32. def traverseParams(params: List[SymbolTable.Tree]): Unit
    Definition Classes
    Traverser
  33. def traverseParamss(vparamss: List[List[SymbolTable.Tree]]): Unit
    Definition Classes
    Traverser
  34. def traverseParents(parents: List[SymbolTable.Tree]): Unit
    Definition Classes
    Traverser
  35. def traversePattern(pat: SymbolTable.Tree): Unit
    Definition Classes
    Traverser
  36. def traverseSelfType(self: SymbolTable.ValDef): Unit
    Definition Classes
    Traverser
  37. def traverseStats(stats: List[SymbolTable.Tree], exprOwner: SymbolTable.Symbol): Unit

    Traverses a list of trees with a given owner symbol.

    Traverses a list of trees with a given owner symbol.

    Definition Classes
    Traverser
  38. def traverseTrees(trees: List[SymbolTable.Tree]): Unit

    Traverses a list of trees.

    Traverses a list of trees.

    Definition Classes
    Traverser
  39. def traverseTreess(treess: List[List[SymbolTable.Tree]]): Unit

    Traverses a list of lists of trees.

    Traverses a list of lists of trees.

    Definition Classes
    Traverser
  40. def traverseTypeArgs(args: List[SymbolTable.Tree]): Unit
    Definition Classes
    Traverser
  41. def traverseTypeAscription(tpt: SymbolTable.Tree): Unit
    Definition Classes
    Traverser
  42. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  43. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  44. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )

Inherited from SymbolTable.Traverser

Inherited from AnyRef

Inherited from Any

Ungrouped