ds.ov2.gui
Class Ov_demo_gui.Applet_type_item

java.lang.Object
  extended by ds.ov2.gui.Ov_demo_gui.Applet_type_item
Enclosing class:
Ov_demo_gui

public static class Ov_demo_gui.Applet_type_item
extends Object

Wrapper of Applet_type for the applet-choice combo box.


Field Summary
 Applet_type type
          The applet type this item represents
 
Constructor Summary
Ov_demo_gui.Applet_type_item(Applet_type type)
          Construct a new item.
 
Method Summary
 String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

type

public final Applet_type type
The applet type this item represents

Constructor Detail

Ov_demo_gui.Applet_type_item

public Ov_demo_gui.Applet_type_item(Applet_type type)
Construct a new item.

Parameters:
type - the type of the new item
Method Detail

toString

public String toString()
Overrides:
toString in class Object
Returns:
string to be displayed in the combo box for this applet type