Indent

One layer of indentation, created by an opening (, {, etc.

Indent is parameterized by some Length to allow splits from Router to be memoized. If the length field was int, we would have to eagerly evaluate the indentation for state columns, which may be different depending on the formatting we choose.

T: Can be a known number Num (used in State) or unknown integer StateColumn (used in Split).
length: lengt of indentation, can be negative (in rare cases, with deeply nested terms with no newlines).
expire: Until which token does this indentation stay?
expiresAt: If Right, then expires when expire is curr.right, otherwise curr.left in BestFirstSearch.

Linear Supertypes

Serializable, Serializable, Product, Equals, AnyRef, Any

Instance Constructors

new Indent(length: T, expire: Token, expiresAt: ExpiresOn)

length
lengt of indentation, can be negative (in rare cases, with deeply nested terms with no newlines).
expire
Until which token does this indentation stay?
expiresAt
If Right, then expires when expire is curr.right, otherwise curr.left in BestFirstSearch.

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
val expire: Token

Until which token does this indentation stay?
val expiresAt: ExpiresOn

If Right, then expires when expire is curr.right, otherwise curr.left in BestFirstSearch.
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
val length: T

lengt of indentation, can be negative (in rare cases, with deeply nested terms with no newlines).
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
def withNum(column: Int, indentation: Int): Indent[Num]

Related Doc: package internal

case class Indent[T <: Length](length: T, expire: Token, expiresAt: ExpiresOn) extends Product with Serializable

Instance Constructors

new Indent(length: T, expire: Token, expiresAt: ExpiresOn)

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

val expire: Token

val expiresAt: ExpiresOn

def finalize(): Unit

final def getClass(): Class[_]

final def isInstanceOf[T0]: Boolean

val length: T

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

final def synchronized[T0](arg0: ⇒ T0): T0

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

def withNum(column: Int, indentation: Int): Indent[Num]

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from AnyRef

Inherited from Any

Ungrouped