public class GUICheckBox extends GUIelement
CHECKBOX, READOUT, SELECTBOX, SLIDER
Constructor and Description |
---|
GUICheckBox()
Deprecated.
|
GUICheckBox(GUITab gut)
Deprecated.
|
Modifier and Type | Method and Description |
---|---|
void |
increaseValue(boolean forward,
boolean fast)
Deprecated.
|
GUIelement |
makeCopy()
Deprecated.
|
void |
paint(javafx.scene.canvas.GraphicsContext gc,
double x,
double y)
Deprecated.
Paint this
GUIelement on some place on the
GraphicsContext provided, on position, determined by the x and y
arguments. |
void |
setGUIPanel(GUIPanel gup)
Deprecated.
This method sets the containing GUI Panel of the GUI element.
|
void |
setValue(float value)
Deprecated.
Set the Value
Property to a new number, firing the Java callbacks
as well as CLUC callbacks afterwards. |
java.lang.String |
shortDesc()
Deprecated.
|
addElementTypeMapping, addFloatProperty, addGlobalElementMapping, addIntegerProperty, addMapping, addProperty, addStringProperty, addTags, copyPropertiesTo, getColor1, getColor2, getColor3, getColor4, getContextDependantName, getElementTypeMappingManager, getGlobalElementMappingManager, getGUIelementName, getGUIPanel, getHeight, getId2NameMap, getId2PropertyMap, getLastPositionDrawnTo, getMax, getMenu, getMin, getModuleGUIID, getName, getName2IdMap, getProperty2idMap, getPropertyById, getPropertyByName, getRegister, getTags, getThisInstanceMappingManager, getUniqueName, getValue, getWidth, hasTag, isDeleted, isEnabled, isFocused, isSelected, isVisible, isWithinBounds, notifyAboutKeyPress, recalculateUniqueName, recompileEvents, removeAllTags, removeTags, requestRepaint, setDeleted, setEnabled, setFloatProperty, setFocused, setGUITab, setId2NameMap, setId2PropertyMap, setIntegerProperty, setMenu, setModuleGUIID, setName, setName2IdMap, setProperty2idMap, setRegister, setSelected, setStringProperty, setVisible, update
public GUICheckBox()
public GUICheckBox(GUITab gut)
public void setValue(float value)
GUIelement
Property
to a new number, firing the Java callbacks
as well as CLUC callbacks afterwards. Said callbacks might modify this
number, so subsequent call to getValue
may not yield a number
identical to the one just set.setValue
in class GUIelement
value
- the number to set the Value Property to.public java.lang.String shortDesc()
shortDesc
in class GUIelement
public void setGUIPanel(GUIPanel gup)
GUIelement
setGUIPanel
in class GUIelement
public void increaseValue(boolean forward, boolean fast)
public void paint(javafx.scene.canvas.GraphicsContext gc, double x, double y)
GUIelement
GUIelement
on some place on the
GraphicsContext
provided, on position, determined by the x and y
arguments.paint
in class GUIelement
gc
- the GraphicsContext
to draw tox
- the x position to draw toy
- the y position to draw topublic GUIelement makeCopy()
makeCopy
in class GUIelement
GUIelement
. All Property
objects are also duplicated. The callbacks are not preserved.GUIelement.copyPropertiesTo(InstrumentationPlatformGUI.Elements.GUIelement)