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. def endHistory(): Unit

    

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

    

    Definition Classes

    AnyRef

14. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

15. def filter: Filter

    

    Definition Classes

    HistoryFilter → DelegateFilter

16. def filter0: Filter

    

17. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

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

    

    Definition Classes

    AnyRef → Any

19. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

20. var historyIndex: Int

    

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

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

    HistoryFilter → Filter

22. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

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

    

    Definition Classes

    AnyRef

24. final def notify(): Unit

    

    Definition Classes

    AnyRef

25. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

26. val op: (TermInfo) ⇒ Option[TermAction]

    

    Definition Classes

    DelegateFilter → Filter

27. def prelude: Filter

    

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

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

    

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

    

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

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

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

    

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

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

    

    Definition Classes

    AnyRef

35. def toString(): String

    

    Definition Classes

    Filter → AnyRef → Any

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

    

37. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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