Class DOTManager

  • All Implemented Interfaces:
    java.io.Serializable, javax.swing.table.TableModel

    public class DOTManager
    extends javax.swing.table.AbstractTableModel
    Der DOTManager verwaltet alle Darstellungstypen. Derzeit ist er als Singleton implementiert, um das Problem der Kommunikation verschiedener Manager zu umgehen. Er ist auch ein TableModel, damit seine Inhalte im DOTManagerDialog angezeigt werden können.
    See Also:
    Serialized Form
    • Nested Class Summary

      Nested Classes 
      Modifier and Type Class Description
      static interface  DOTManager.DOTChangeListener
      Ein Interface für Listener, die über Änderungen von Darstellungstypen informiert werden wollen.
    • Field Summary

      • Fields inherited from class javax.swing.table.AbstractTableModel

        listenerList
    • Method Summary

      Modifier and Type Method Description
      void addDOTChangeListener​(DOTManager.DOTChangeListener listener)
      Fügt das übergebene Objekt zur Liste aller auf Darstellungstypänderungen angemeldeten Objekte hinzu.
      void clearDisplayObjectTypes()
      Löscht alle Darstellungstypen.
      boolean containsDisplayObjectType​(java.lang.String name)
      Gibt true zurück, wenn ein Darstellungstyp mit diesem Namen existiert.
      boolean deleteDisplayObjectType​(DisplayObjectType dot)
      Löscht den übergebenen Darstellungstypen.
      boolean deleteDisplayObjectType​(java.lang.String dotName)
      Löscht den Darstellungstypen mit dem übergebenen Namen, und gibt true zurück, wenn das Löschen erfolgreich war.
      int getColumnCount()  
      java.lang.String getColumnName​(int columnIndex)  
      DisplayObjectType getDisplayObjectType​(int index)
      Gibt den Darstellungstypen zu dem übergebenen Index zurück, falls ein solcher existiert, und wirft eine IndexOutOfBoundsException sonst.
      DisplayObjectType getDisplayObjectType​(java.lang.String name)
      Gibt den Darstellungstypen zu dem übergebenen Namen zurück, falls ein solcher existiert, und null sonst.
      java.lang.Object[] getDOTNames()
      Gibt die Namen aller Darstellungstypen zurück.
      int getIndexOfFirstDot​(char c)
      Gibt den Index des ersten Darstellungstypen, dessen Name mit dem übergebenen Zeichen anfängt, zurück.
      static DOTManager getInstance()
      Die für eine Singleton typische Methode.
      int getRowCount()  
      java.lang.Object getValueAt​(int rowIndex, int columnIndex)  
      boolean isChangeable​(DisplayObjectType dot)
      Gibt true zurück, wenn der Darstellungstyp veränderbar ist, was genau dann der Fall ist, wenn er nicht im Programmcode, sondern von einem Benutzer definiert wurde, und false sonst.
      static void pluginsAdded​(java.util.List<java.lang.String> plugins)
      Der PluginManager ruft diese Methode auf, wenn externe Plugins hinzugefügt wurden.
      static void refreshInstance()
      Mit Hilfe dieser Methode kann man den DOTManager dazu zwingen, sich erneut zu konstruieren, was etwa nach dem Importieren von Präferenzen angezeigt ist.
      void removeDOTChangeListener​(DOTManager.DOTChangeListener listener)
      Löscht das übergebene Objekt aus der Liste aller auf Darstellungstypänderungen angemeldeten Objekte.
      void saveDisplayObjectType​(DisplayObjectType dot)
      Speichert den übergebenen Darstellungstypen.
      java.lang.String toString()  
      • Methods inherited from class javax.swing.table.AbstractTableModel

        addTableModelListener, findColumn, fireTableCellUpdated, fireTableChanged, fireTableDataChanged, fireTableRowsDeleted, fireTableRowsInserted, fireTableRowsUpdated, fireTableStructureChanged, getColumnClass, getListeners, getTableModelListeners, isCellEditable, removeTableModelListener, setValueAt
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
    • Method Detail

      • getInstance

        public static DOTManager getInstance()
        Die für eine Singleton typische Methode.
        Returns:
        den DOTManager
      • refreshInstance

        public static void refreshInstance()
        Mit Hilfe dieser Methode kann man den DOTManager dazu zwingen, sich erneut zu konstruieren, was etwa nach dem Importieren von Präferenzen angezeigt ist.
      • pluginsAdded

        public static void pluginsAdded​(java.util.List<java.lang.String> plugins)
        Der PluginManager ruft diese Methode auf, wenn externe Plugins hinzugefügt wurden. Dies wird statt einem Listener-Mechanismus bevorzugt, weil bei einem solchen sichergestellt werden müsste, dass der DOTManager bereits instanziiert ist.
        Parameters:
        plugins - die Liste der hinzugefügten Plugins
      • getDisplayObjectType

        public DisplayObjectType getDisplayObjectType​(java.lang.String name)
        Gibt den Darstellungstypen zu dem übergebenen Namen zurück, falls ein solcher existiert, und null sonst.
        Parameters:
        name - ein Name
        Returns:
        ein Darstellungstyp mit diesem Namen oder null
      • getDisplayObjectType

        public DisplayObjectType getDisplayObjectType​(int index)
        Gibt den Darstellungstypen zu dem übergebenen Index zurück, falls ein solcher existiert, und wirft eine IndexOutOfBoundsException sonst.
        Parameters:
        index - ein Index zwischen 0 und der Anzahl der Darstellungstypen - 1
        Returns:
        den zugehörigen Darstellungstypen
      • containsDisplayObjectType

        public boolean containsDisplayObjectType​(java.lang.String name)
        Gibt true zurück, wenn ein Darstellungstyp mit diesem Namen existiert.
        Parameters:
        name - ein Name
        Returns:
        true genau dann, wenn es einen Darstellungstyp mit diesem Namen gibt
      • saveDisplayObjectType

        public void saveDisplayObjectType​(DisplayObjectType dot)
        Speichert den übergebenen Darstellungstypen.
        Parameters:
        dot - ein Darstellungstyp
      • deleteDisplayObjectType

        public boolean deleteDisplayObjectType​(DisplayObjectType dot)
        Löscht den übergebenen Darstellungstypen.
        Parameters:
        dot - ein Darstellungstyp
        Returns:
        true, falls der Darstellungstyp gelöscht wurde, false falls er nicht vorhanden war
      • deleteDisplayObjectType

        public boolean deleteDisplayObjectType​(java.lang.String dotName)
        Löscht den Darstellungstypen mit dem übergebenen Namen, und gibt true zurück, wenn das Löschen erfolgreich war.
        Parameters:
        dotName - ein Darstellungstypname
        Returns:
        true genau dann, wenn das Löschen erfolgreich war.
      • clearDisplayObjectTypes

        public void clearDisplayObjectTypes()
        Löscht alle Darstellungstypen.
      • getDOTNames

        public java.lang.Object[] getDOTNames()
        Gibt die Namen aller Darstellungstypen zurück.
        Returns:
        gibt die Namen aller Darstellungstypen zurück
      • getIndexOfFirstDot

        public int getIndexOfFirstDot​(char c)
        Gibt den Index des ersten Darstellungstypen, dessen Name mit dem übergebenen Zeichen anfängt, zurück. Gibt es einen solchen Darstellungstypen nicht, so wird -1 zurückgegeben.
        Parameters:
        c - ein Buchstabe
        Returns:
        ein gültiger Index oder -1
      • isChangeable

        public boolean isChangeable​(DisplayObjectType dot)
        Gibt true zurück, wenn der Darstellungstyp veränderbar ist, was genau dann der Fall ist, wenn er nicht im Programmcode, sondern von einem Benutzer definiert wurde, und false sonst.
        Parameters:
        dot - ein Darstellungstyp
        Returns:
        true genau dann, wenn der Darstellungstyp veränderbar ist
      • getColumnName

        public java.lang.String getColumnName​(int columnIndex)
        Specified by:
        getColumnName in interface javax.swing.table.TableModel
        Overrides:
        getColumnName in class javax.swing.table.AbstractTableModel
      • getColumnCount

        public int getColumnCount()
      • getRowCount

        public int getRowCount()
      • getValueAt

        public java.lang.Object getValueAt​(int rowIndex,
                                           int columnIndex)
      • addDOTChangeListener

        public void addDOTChangeListener​(DOTManager.DOTChangeListener listener)
        Fügt das übergebene Objekt zur Liste aller auf Darstellungstypänderungen angemeldeten Objekte hinzu.
        Parameters:
        listener - ein DOTChangeListener
      • removeDOTChangeListener

        public void removeDOTChangeListener​(DOTManager.DOTChangeListener listener)
        Löscht das übergebene Objekt aus der Liste aller auf Darstellungstypänderungen angemeldeten Objekte.
        Parameters:
        listener - ein DOTChangeListener
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object