Package util

Class HistoryManager

  • public class HistoryManager
extends java.lang.Object

    • Field Summary

      Fields 
      Modifier and Type Field Description
      static java.util.Stack<java.lang.String> downStack  
      static java.util.Stack<java.lang.String> upStack  

    • Constructor Summary

      Constructors 
      Constructor Description
      HistoryManager()  

    • Method Summary

      Modifier and Type Method Description
      void clearHistory()  
      java.lang.String getNext​(java.lang.String currDisplayingInput)  
      java.lang.String getPrevious​(java.lang.String currDisplayingInput)  
      void recordHistory​(java.lang.String expr)  

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Field Detail

      • upStack

        public static java.util.Stack<java.lang.String> upStack

      • downStack

        public static java.util.Stack<java.lang.String> downStack

    • Constructor Detail

      • HistoryManager

        public HistoryManager()

    • Method Detail

      • recordHistory

        public void recordHistory​(java.lang.String expr)

      • getNext

        public java.lang.String getNext​(java.lang.String currDisplayingInput)

      • getPrevious

        public java.lang.String getPrevious​(java.lang.String currDisplayingInput)

      • clearHistory

        public void clearHistory()