Package | Description |
---|---|
InstrumentationPlatformGUI.Elements | |
InstrumentationPlatformGUI.Managers | |
InstrumentationPlatformGUI.Properties |
Modifier and Type | Class and Description |
---|---|
class |
StringProperty
Property of type float.
|
Modifier and Type | Method and Description |
---|---|
Property |
GUIelement.getPropertyById(int id)
Return the
Property object, provided its unique ID. |
Property |
GUIelement.getPropertyByName(java.lang.String name)
Return the
Property object, provided its unique name. |
Modifier and Type | Method and Description |
---|---|
java.util.HashMap<java.lang.Integer,Property> |
GUIelement.getId2PropertyMap() |
java.util.HashMap<Property,java.lang.Integer> |
GUIelement.getProperty2idMap()
Deprecated.
|
Modifier and Type | Method and Description |
---|---|
void |
GUIelement.addProperty(Property p)
Register a new
Property for this GUIelement . |
Modifier and Type | Method and Description |
---|---|
void |
GUIelement.setId2PropertyMap(java.util.HashMap<java.lang.Integer,Property> id2PropertyMap)
Set the
HashMap that maps the IDs of Property objects to
these objects themselves. |
void |
GUIelement.setProperty2idMap(java.util.HashMap<Property,java.lang.Integer> property2idMap)
Set the
HashMap that maps the Property objects to their
respective unique integer IDs |
Modifier and Type | Method and Description |
---|---|
Property |
PropertyManager.getProperty(int id)
Return a
Property , given its ID. |
Property |
PropertyManager.getProperty(java.lang.String name)
Return a
Property , given its name. |
Modifier and Type | Class and Description |
---|---|
class |
FloatProperty
Property of type float.
|
class |
IntegerProperty
Property carrying an integer value.
|
Modifier and Type | Method and Description |
---|---|
Property<T> |
Property.makeCopy() |
Modifier and Type | Method and Description |
---|---|
void |
PropertyCallback.run(Property<T> p) |
Constructor and Description |
---|
Property(Property<T> source) |