scala3-compiler-bootstrapped
DocsAPI
Generated with
Copyright (c) 2002-2026, LAMP/EPFL
Copyright (c) 2002-2026, LAMP/EPFL
scala3-compiler-bootstrapped/dotty.tools/dotty.tools.dotc/dotty.tools.dotc.printing/Texts/Closed

Closed

dotty.tools.dotc.printing.Texts.Closed
class Closed(relems: List[Text]) extends Fluid

Attributes

Graph
Supertypes
class Fluid
trait Serializable
trait Product
trait Equals
class Text
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

override def productPrefix: String

A string used in the toString methods of derived classes. Implementations may override this method to prepend a string prefix to the result of toString methods.

A string used in the toString methods of derived classes. Implementations may override this method to prepend a string prefix to the result of toString methods.

Attributes

Returns

in the default implementation, the empty string

Definition Classes

Inherited methods

def appendToLastLine(that: Text): Text

Attributes

Inherited from:
Text
def close: Text

Attributes

Inherited from:
Text
def isClosed: Boolean

Attributes

Inherited from:
Text
def isEmpty: Boolean

Attributes

Inherited from:
Text
def isFluid: Boolean

Attributes

Inherited from:
Text
def isSplittable: Boolean

Attributes

Inherited from:
Text
def isVertical: Boolean

Attributes

Inherited from:
Text
def lastLine: String

Attributes

Inherited from:
Text
def layout(width: Int): Text

Attributes

Inherited from:
Text
def map(f: String => String): Text

Attributes

Inherited from:
Text
def maxLine: Int

Attributes

Inherited from:
Text
def mkString(width: Int = ..., withLineNumbers: Boolean = ...): String

Attributes

Inherited from:
Text
def over(that: Text): Vertical

Attributes

Inherited from:
Text
def productElementNames: Iterator[String]

An iterator over the names of all the elements of this product.

An iterator over the names of all the elements of this product.

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

An iterator over all the elements of this product.

An iterator over all the elements of this product.

Attributes

Returns

in the default implementation, an Iterator[Any]

Inherited from:
Product
def remaining(width: Int): Int

Attributes

Inherited from:
Text
def stripPrefix(pre: String): Text

Attributes

Inherited from:
Text
def ~(that: Text): Text

Attributes

Inherited from:
Text
def ~~(that: Text): Text

Attributes

Inherited from:
Text
Generated with
Copyright (c) 2002-2026, LAMP/EPFL
Copyright (c) 2002-2026, LAMP/EPFL