case class SelectionFilter(indent: Int) extends DelegateFilter with Product with Serializable
- Alphabetic
- By Inheritance
- SelectionFilter
- Serializable
- Serializable
- Product
- Equals
- DelegateFilter
- Filter
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
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( ... ) @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[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
identifier: String
the
.toString
of 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
.toString
of 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 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( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()