Given

case class Given()(implicit @constructorOnly src: SourceFile) extends Mod
class Mod
trait Cloneable
trait Product
trait Equals
trait SrcPos
class Object
trait Matchable
class Any

Value members

Inherited methods

def checkPos(nonOverlapping: Boolean)(using Context): Unit

Check that all positioned items in this tree satisfy the following conditions:

Check that all positioned items in this tree satisfy the following conditions:

  • Parent spans contain child spans
  • If item is a non-empty tree, it has a position
Inherited from:
Positioned

Clone this node but assign it a fresh id which marks it as a node in file.

Clone this node but assign it a fresh id which marks it as a node in file.

Inherited from:
Positioned
Inherited from:
Positioned
def endPos(using ctx: Context): SourcePosition
Inherited from:
SrcPos
def envelope(src: SourceFile, startSpan: Span): Span

The union of startSpan and the spans of all positioned children that have the same source as this node, except that Inlined nodes only consider their call child.

The union of startSpan and the spans of all positioned children that have the same source as this node, except that Inlined nodes only consider their call child.

Side effect: Any descendants without spans have but with the same source as this node have their span set to the end position of the envelope of all children to the left, or, if that one does not exist, to the start position of the envelope of all children to the right.

Inherited from:
Positioned
def focus(using ctx: Context): SourcePosition
Inherited from:
SrcPos
def line(using ctx: Context): Int
Inherited from:
SrcPos
Inherited from:
Product
Inherited from:
Positioned
Inherited from:
Positioned
def span: Span

The span part of the item's position

The span part of the item's position

Inherited from:
Positioned
def span_=(span: Span): Unit
Inherited from:
Positioned
final def srcPos: SrcPos

This positioned item, widened to SrcPos. Used to make clear we only need the position, typically for error reporting.

This positioned item, widened to SrcPos. Used to make clear we only need the position, typically for error reporting.

Inherited from:
Positioned
Inherited from:
SrcPos

A unique identifier in case -Yshow-tree-ids, or -Ydebug-tree-with-id is set, -1 otherwise.

A unique identifier in case -Yshow-tree-ids, or -Ydebug-tree-with-id is set, -1 otherwise.

Inherited from:
Positioned
def withSpan(span: Span): Given

A positioned item like this one with given span. If the positioned item is source-derived, a clone is returned. If the positioned item is synthetic, the position is updated destructively and the item itself is returned.

A positioned item like this one with given span. If the positioned item is source-derived, a clone is returned. If the positioned item is synthetic, the position is updated destructively and the item itself is returned.

Inherited from:
Positioned

Inherited fields

Inherited from:
Mod