Packages

t

slick.ast

SimplyTypedNode

trait SimplyTypedNode extends Node

A Node which can be typed without access to its scope, and whose children can be typed independently of each other.

Source
Node.scala
Linear Supertypes
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. SimplyTypedNode
  2. Node
  3. Dumpable
  4. AnyRef
  5. Any
Implicitly
  1. by StringFormat
  2. by Ensuring
  3. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Type Members

  1. abstract type Self >: SimplyTypedNode.this.type <: SimplyTypedNode
    Definition Classes
    SimplyTypedNodeNode

Abstract Value Members

  1. abstract def buildType: Type
    Attributes
    protected
  2. abstract def children: ConstArray[Node]

    All child nodes of this node.

    All child nodes of this node. Must be implemented by subclasses.

    Definition Classes
    Node
  3. abstract def rebuild(ch: ConstArray[Node]): Self

    Rebuild this node with a new list of children.

    Rebuild this node with a new list of children. Implementations of this method must not reuse the current node. This method always returns a fresh copy.

    Attributes
    protected[this]
    Definition Classes
    Node
  4. abstract def self: Self
    Definition Classes
    Node

Concrete Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##: Int
    Definition Classes
    AnyRef → Any
  3. def ->[B](y: B): (SimplyTypedNode, B)
    Implicit
    This member is added by an implicit conversion from SimplyTypedNode toArrowAssoc[SimplyTypedNode] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc
    Annotations
    @inline()
  4. final def :@(newType: Type): Self

    Return this Node with a Type assigned (if no other type has been seen for it yet) or a typed copy.

    Return this Node with a Type assigned (if no other type has been seen for it yet) or a typed copy.

    Definition Classes
    Node
  5. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  6. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  7. def buildCopy: Self

    Build a copy of this node with the current children.

    Build a copy of this node with the current children.

    Attributes
    protected[this]
    Definition Classes
    Node
  8. def childNames: Iterable[String]

    Names for the child nodes to show in AST dumps.

    Names for the child nodes to show in AST dumps. Defaults to a numbered sequence starting at 0 but can be overridden by subclasses to produce more suitable names.

    Definition Classes
    Node
  9. def childrenForeach[R](f: (Node) => R): Unit

    Apply a side-effecting function to all direct children from left to right.

    Apply a side-effecting function to all direct children from left to right. Note that

    n.childrenForeach(f)

    is equivalent to

    n.children.foreach(f)

    but can be implemented more efficiently in Node subclasses.

    Definition Classes
    Node
  10. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @HotSpotIntrinsicCandidate() @native()
  11. def ensuring(cond: (SimplyTypedNode) => Boolean, msg: => Any): SimplyTypedNode
    Implicit
    This member is added by an implicit conversion from SimplyTypedNode toEnsuring[SimplyTypedNode] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  12. def ensuring(cond: (SimplyTypedNode) => Boolean): SimplyTypedNode
    Implicit
    This member is added by an implicit conversion from SimplyTypedNode toEnsuring[SimplyTypedNode] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  13. def ensuring(cond: Boolean, msg: => Any): SimplyTypedNode
    Implicit
    This member is added by an implicit conversion from SimplyTypedNode toEnsuring[SimplyTypedNode] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  14. def ensuring(cond: Boolean): SimplyTypedNode
    Implicit
    This member is added by an implicit conversion from SimplyTypedNode toEnsuring[SimplyTypedNode] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  15. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  16. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  17. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  18. def getDumpInfo: DumpInfo

    Return the name, main info, attribute info and named children

    Return the name, main info, attribute info and named children

    Definition Classes
    NodeDumpable
  19. def hasType: Boolean

    Check if this node has a type without marking the type as seen.

    Check if this node has a type without marking the type as seen.

    Definition Classes
    Node
  20. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  21. final def infer(scope: Scope = Map.empty, typeChildren: Boolean = false): Self

    Rebuild this node and all children with their computed type.

    Rebuild this node and all children with their computed type. If this node already has a type, the children are only type-checked again if typeChildren is true. if retype is also true, the existing type of this node is replaced. If this node does not yet have a type, the types of all children are computed first.

    Definition Classes
    Node
  22. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  23. def mapChildren(f: (Node) => Node, keepType: Boolean = false): Self

    Apply a mapping function to all children of this node and recreate the node with the new children.

    Apply a mapping function to all children of this node and recreate the node with the new children. If all new children are identical to the old ones, this node is returned. If keepType is true, the type of this node is kept even when the children have changed.

    Definition Classes
    Node
  24. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  25. def nodeType: Type

    The current type of this node.

    The current type of this node.

    Definition Classes
    Node
  26. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  27. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  28. def peekType: Type

    Get the current type of this node for debug output without marking it as seen.

    Get the current type of this node for debug output without marking it as seen.

    Attributes
    protected[this]
    Definition Classes
    Node
  29. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  30. final def toString(): String
    Definition Classes
    Node → AnyRef → Any
  31. final def untyped: Self

    Return this Node with no Type assigned (if it has not yet been observed) or an untyped copy.

    Return this Node with no Type assigned (if it has not yet been observed) or an untyped copy.

    Definition Classes
    Node
  32. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  33. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  34. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  35. final def withChildren(ch2: ConstArray[Node]): Self

    Rebuild this node with new child nodes unless all children are identical to the current ones, in which case this node is returned.

    Rebuild this node with new child nodes unless all children are identical to the current ones, in which case this node is returned.

    Definition Classes
    Node
  36. final def withInferredType(scope: Scope, typeChildren: Boolean): Self
    Definition Classes
    SimplyTypedNodeNode

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable]) @Deprecated
    Deprecated

    (Since version 9)

  2. def formatted(fmtstr: String): String
    Implicit
    This member is added by an implicit conversion from SimplyTypedNode toStringFormat[SimplyTypedNode] performed by method StringFormat in scala.Predef.
    Definition Classes
    StringFormat
    Annotations
    @deprecated @inline()
    Deprecated

    (Since version 2.12.16) Use formatString.format(value) instead of value.formatted(formatString), or use the f"" string interpolator. In Java 15 and later, formatted resolves to the new method in String which has reversed parameters.

  3. def [B](y: B): (SimplyTypedNode, B)
    Implicit
    This member is added by an implicit conversion from SimplyTypedNode toArrowAssoc[SimplyTypedNode] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc
    Annotations
    @deprecated
    Deprecated

    (Since version 2.13.0) Use -> instead. If you still wish to display it as one character, consider using a font with programming ligatures such as Fira Code.

Inherited from Node

Inherited from Dumpable

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion StringFormat fromSimplyTypedNode to StringFormat[SimplyTypedNode]

Inherited by implicit conversion Ensuring fromSimplyTypedNode to Ensuring[SimplyTypedNode]

Inherited by implicit conversion ArrowAssoc fromSimplyTypedNode to ArrowAssoc[SimplyTypedNode]

Ungrouped