Class GUIHistory


  • public class GUIHistory
    extends java.lang.Object
    Stores values entered via the GUI until they are saved permanently.
    Author:
    Sass
    • Constructor Detail

      • GUIHistory

        public GUIHistory()
        Sole constructor for this class to create a new Assignment history.
    • Method Detail

      • assignValue

        void assignValue​(IDecisionVariable variable)
        Stores a new value into this GUIHistory.
        Parameters:
        variable - The variable for which the history shall be created.
      • getLastEdited

        public java.lang.Long getLastEdited()
        Returns the the time of the last edited GUIHistoryItem.
        Returns:
        The time of the last edited GUIHistoryItem as Long (System.currentTimeMillis());