Package | Description |
---|---|
InstrumentationPlatformGUI | |
InstrumentationPlatformGUI.Communication.Obsolete | |
InstrumentationPlatformGUI.Elements | |
InstrumentationPlatformGUI.Properties |
Modifier and Type | Method and Description |
---|---|
GUIelement |
Position.getGUIElement() |
Constructor and Description |
---|
Position(GUITab gt,
GUIelement ge) |
Modifier and Type | Method and Description |
---|---|
java.util.ArrayList<GUIelement> |
Module.getGUIelements()
Deprecated.
|
Modifier and Type | Class and Description |
---|---|
class |
GUIDisplay
A read-only GUI element, used to display a numeric value.
|
class |
GUIChart
GUI element, used for displaying multiple plot lines at once or histograms.
|
class |
GUICheckBox
Deprecated.
This checkbox element needs to be revisited and it's currently
not intended for use
|
class |
GUINumericUpDown |
class |
GUIPID
A GUI element - a regulator used for simple PID control.
|
class |
GUISlider
A slider element used for setting or reading a value, wherever the exact
value is not important and its relation to the min/max is.
|
class |
GUIStatsDisplay
GUI element used to display statistical information.
|
class |
GUITimer
A
GUIelement used for running a user-defined code at fixed, user-adjustable time intervals. |
Modifier and Type | Method and Description |
---|---|
GUIelement |
GUIPanel.getCurrentlyEditedGUIelement()
Return the currently edited GUI element if any, null otherwise.
|
GUIelement |
GUITab.getFocusedGUIElement() |
GUIelement |
GUIChart.makeCopy() |
GUIelement |
GUICheckBox.makeCopy()
Deprecated.
|
GUIelement |
GUIDisplay.makeCopy() |
GUIelement |
GUIStatsDisplay.makeCopy() |
GUIelement |
GUITab.makeCopy() |
GUIelement |
GUIelement.makeCopy() |
Modifier and Type | Method and Description |
---|---|
java.util.HashMap<GUIelement,java.lang.Integer> |
GUIPanel.getGUIIDMap() |
java.util.ArrayList<GUIelement> |
GUITab.getGUIList() |
java.util.HashMap<java.lang.String,GUIelement> |
GUIPanel.getGUINameMap() |
java.util.HashMap<java.lang.Integer,GUIelement> |
GUIPanel.getID2GUIMap() |
java.util.ArrayList<GUIelement> |
GUIPanel.getSelectedGUIelementsList()
Get the ArrayList, containing all the currently selected GUIelements.
|
java.util.ArrayList<GUIelement> |
GUIPanel.getSelectedGUIelementsList(boolean respectVFlag)
Get the ArrayList, containing all the currently selected GUIelements.
|
Modifier and Type | Method and Description |
---|---|
void |
GUITab.addGUIelement(GUIelement ge)
Append the provided
GUIelement to the end of the GUIList |
void |
GUITab.addGUIelement(GUIelement ge,
int position)
Insert a GUIelement provided at the given position in the
GUIList . |
void |
GUIelement.copyPropertiesTo(GUIelement ge)
|
void |
GUIPanel.editElement(GUIelement ge)
Switch to edit mode and start editing the provided GUI element.
|
void |
GUITab.focusGUIelement(GUIelement ge)
Defocus the currently focused element and focus the given element in the
GUIList . |
int |
GUITab.getGUIElementIndex(GUIelement ge) |
void |
GUIPanel.registerGUIelement(GUIelement ge)
Inform this GUIPanel about a new GUIelement.
|
void |
GUIPanel.setCurrentlyEditedGUIelement(GUIelement ge)
Set the currently edited GUI element to be the one provided.
|
Modifier and Type | Method and Description |
---|---|
void |
GUITab.setGUIList(java.util.ArrayList<GUIelement> currentList)
sets the
GUIList to be the one provided. |
Constructor and Description |
---|
StringProperty(int id,
java.lang.String name,
java.lang.String initializer,
GUIelement ge) |
Constructor and Description |
---|
FloatProperty(int id,
java.lang.String name,
java.lang.Float initializer,
GUIelement ge) |
IntegerProperty(int id,
java.lang.String name,
java.lang.Integer initializer,
GUIelement ge) |
Property(int id,
java.lang.String name,
T initializer,
GUIelement ge) |