HistoryFilter

Value Members

1. final def !=(arg0: Any): Boolean

   

   Definition Classes

   AnyRef → Any

2. final def ##(): Int

   

   Definition Classes

   AnyRef → Any

3. final def ==(arg0: Any): Boolean

   

   Definition Classes

   AnyRef → Any

4. def activeHistory: Boolean

   

5. def activeSearch: Boolean

   

6. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

7. def backspace(b: Vector[Char], c: Int): (Vector[Char], Int, String)

   

8. def clone(): AnyRef

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

9. def ctrlR(b: Vector[Char], c: Int): (Vector[Char], Int, String)

   

10. def down(b: Vector[Char], c: Int): (Vector[Char], Int, String)

    

11. val dropHistoryChars: Set[Int]

    

12. implicit val enclosing: Enclosing

    

    Definition Classes

    DelegateFilter

13. def endHistory(): Unit

    

14. final def eq(arg0: AnyRef): Boolean

    

    Definition Classes

    AnyRef

15. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

16. def filter: Filter

    

    Definition Classes

    HistoryFilter → DelegateFilter

17. def filter0: Filter

    

18. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

19. final def getClass(): Class[_]

    

    Definition Classes

    AnyRef → Any

20. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

21. var historyIndex: Int

    

    -1 means we haven't started looking at history, n >= 0 means we're currently at history command n

22. 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

23. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

24. final def ne(arg0: AnyRef): Boolean

    

    Definition Classes

    AnyRef

25. final def notify(): Unit

    

    Definition Classes

    AnyRef

26. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

27. def op(ti: TermInfo): Option[TermAction]

    

    Definition Classes

    DelegateFilter → Filter

28. def prelude: Filter

    

29. var prevBuffer: Option[Vector[Char]]

    

    Records the last buffer that the filter has observed while it's in search/history mode.

    Records the last buffer that the filter has observed while it's in search/history mode. If the new buffer differs from this, assume that some other filter modified the buffer and drop out of search/history

30. def printableChar(char: Char)(b: Vector[Char], c: Int): (Vector[Char], Int, String)

    

31. def searchHistory(start: Int, increment: Int, buffer: Vector[Char], skipped: Vector[Char]): (Vector[Char], Int, String)

    

32. def searchOrHistoryAnd(cond: Boolean): Boolean

    

    Predicate to check if either we're searching for a term or if we're in history-browsing mode and some predicate is true.

    Predicate to check if either we're searching for a term or if we're in history-browsing mode and some predicate is true.

    Very often we want to capture keystrokes in search-mode more aggressively than in history-mode, e.g. search-mode drops you out more aggressively than history-mode does, and its up/down keys cycle through history more aggressively on every keystroke while history-mode only cycles when you reach the top/bottom line of the multi-line input.

33. var searchTerm: Option[Vector[Char]]

    

    The term we're searching for, if any.

    The term we're searching for, if any.

    - None means we're not searching for anything, e.g. we're just browsing history

    - Some(term) where term is not empty is what it normally looks like when we're searching for something

    - Some(term) where term is empty only really happens when you start searching and delete things, or if you Ctrl-R on an empty prompt

34. def startHistory(b: Vector[Char], c: Int): (Vector[Char], Int, String)

    

    Kicks the HistoryFilter from passive-mode into search-history mode

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

    

    Definition Classes

    AnyRef

36. def toString(): String

    

    Definition Classes

    Filter → AnyRef → Any

37. def up(b: Vector[Char], c: Int): (Vector[Char], Int, String)

    

38. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

40. final def wait(arg0: Long): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

41. def wrap(rest: LazyList[Int], out: (Vector[Char], Int, String)): TermState