case class SelectionFilter(indent: Int) extends DelegateFilter with Product with Serializable
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- SelectionFilter
- Serializable
- Product
- Equals
- DelegateFilter
- Filter
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- Protected
Instance Constructors
- new SelectionFilter(indent: Int)
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[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- def doIndent(b: Vector[Char], c: Int, rest: LazyList[Int], slicer: (Vector[Char]) => Int): TermState
- implicit val enclosing: Enclosing
- Definition Classes
- DelegateFilter
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def filter: Filter
- Definition Classes
- SelectionFilter → DelegateFilter
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def identifier: String
the
.toStringof this object, except by making it separate we force the implementer to provide something and stop them from accidentally leaving it as the meaningless default.the
.toStringof this object, except by making it separate we force the implementer to provide something and stop them from accidentally leaving it as the meaningless default.- Definition Classes
- DelegateFilter → Filter
- val indent: Int
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- var mark: Option[Int]
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- def op(ti: TermInfo): Option[TermAction]
- Definition Classes
- DelegateFilter → Filter
- def productElementNames: Iterator[String]
- Definition Classes
- Product
- def setMark(c: Int): Unit
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- Filter → AnyRef → Any
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()