net.openai.ai.nn.gui.data
Class DataModel

java.lang.Object
  |
  +--net.openai.ai.nn.gui.data.DataModel

public class DataModel
extends java.lang.Object

Rootclass of the GUI-DataModel. A instance of this class holds all data needed for a single GUI-Workspace.

Version:
$Id: DataModel.java,v 1.3 2002/02/21 21:08:32 tweber Exp $ History:
$Log: DataModel.java,v $
Revision 1.3 2002/02/21 21:08:32 tweber
- changed to a better refresh-algorithm

Revision 1.2 2002/02/14 23:22:15 gleo
Jindent run through.

Revision 1.1 2002/02/13 09:15:22 tweber
Initial release of a new GUI-datamodel
Author:
Thomas Weber

Constructor Summary
DataModel()
          Creates a new DataModel
 
Method Summary
 void addDrawableObject(Drawable widget, java.lang.String objectID)
          Add a drawable Object to the Pane
 void doneRefresh()
          A Refresh is done.
 Drawable getDrawableObject(java.lang.String objectID)
          Get back a drawable Object
 int getInt(java.lang.String key)
          Returns a integer user-setting
 GUINetwork getNetwork()
          Returns the GUINetwork
 java.util.Collection getWidgets()
          Get all additional Widgets
 boolean isRefreshNeeded()
          Is a refresh needed
 void putInt(java.lang.String key, int value)
          Puts/changes a integer user-setting
 void removeDrawableObject(java.lang.String objectID)
          Remove a drawable Object
 void requestRefresh()
          Request a refresh of the GUI
 void setNetwork(GUINetwork guinetwork)
          sets a new GUINetwork
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

DataModel

public DataModel()
Creates a new DataModel

Method Detail

putInt

public void putInt(java.lang.String key,
                   int value)
Puts/changes a integer user-setting


getInt

public int getInt(java.lang.String key)
Returns a integer user-setting


getNetwork

public GUINetwork getNetwork()
Returns the GUINetwork


setNetwork

public void setNetwork(GUINetwork guinetwork)
sets a new GUINetwork


addDrawableObject

public void addDrawableObject(Drawable widget,
                              java.lang.String objectID)
Add a drawable Object to the Pane


getDrawableObject

public Drawable getDrawableObject(java.lang.String objectID)
Get back a drawable Object


removeDrawableObject

public void removeDrawableObject(java.lang.String objectID)
Remove a drawable Object


getWidgets

public java.util.Collection getWidgets()
Get all additional Widgets


requestRefresh

public void requestRefresh()
Request a refresh of the GUI


isRefreshNeeded

public boolean isRefreshNeeded()
Is a refresh needed


doneRefresh

public void doneRefresh()
A Refresh is done. Decrement the refresh-counter



Copyright - 2001 OpenAI Labs. All Rights Reserved.