Package edu.tufts.hrilab.belief.gui

Class BeliefGui

java.lang.Object
java.awt.Component
java.awt.Container
java.awt.Window
java.awt.Frame
javax.swing.JFrame
edu.tufts.hrilab.belief.gui.BeliefGui
All Implemented Interfaces:
ImageObserver, MenuContainer, Serializable, Accessible, RootPaneContainer, WindowConstants
public class BeliefGui extends JFrame
See Also:

  • Constructor Details

  • Method Details

    • shutdown

      public void shutdown()

    • formatList

      public void formatList(DefaultListModel list)
      Will format the list so that the elements are spaced out correctly.
      Parameters:
      list - : the list you want to format

    • refreshTimeline

      public void refreshTimeline(String[] allBeliefsArray)
      Will check the previous list to the current list. Based on the differences it will assign those differences as assertions or retractions.

      NOTE: The red or green highlighting depends on assert or retract being in the string. Changing assert to something different will require that you change the key word in getListCellRendererComponent method.

      Parameters:
      allBeliefsArray -

    • refreshCurrent

      public void refreshCurrent(String[] allBeliefsArray, boolean unpaused)

    • refreshGui

      public void refreshGui()
      Will refresh the current list and the timeline lists

    • $$$getRootComponent$$$

      public JComponent $$$getRootComponent$$$()