public class GUITimer extends GUIelement
GUIelement
used for running a user-defined code at fixed, user-adjustable time intervals.CHECKBOX, READOUT, SELECTBOX, SLIDER
Modifier and Type | Method and Description |
---|---|
void |
addProperthies() |
java.lang.String |
getGUIelementName() |
java.lang.String |
getSampleEventString() |
void |
paint(javafx.scene.canvas.GraphicsContext gc,
double x,
double y)
Paint this
GUIelement on some place on the
GraphicsContext provided, on position, determined by the x and y
arguments. |
void |
recompileEvents()
Compile the bytecode for all CLUC events, that can be fired by this
GUIelement , including the getters and setters of the individual
Property objects. |
void |
setGUITab(GUITab gut)
Set the respective
GUITab this GUIelement is on to the
one provided. |
void |
setValue(int value) |
java.lang.String |
shortDesc() |
void |
startStopSampling()
Toggle between the timer running and stopped.
|
addElementTypeMapping, addFloatProperty, addGlobalElementMapping, addIntegerProperty, addMapping, addProperty, addStringProperty, addTags, copyPropertiesTo, getColor1, getColor2, getColor3, getColor4, getContextDependantName, getElementTypeMappingManager, getGlobalElementMappingManager, 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, makeCopy, notifyAboutKeyPress, recalculateUniqueName, removeAllTags, removeTags, requestRepaint, setDeleted, setEnabled, setFloatProperty, setFocused, setGUIPanel, setId2NameMap, setId2PropertyMap, setIntegerProperty, setMenu, setModuleGUIID, setName, setName2IdMap, setProperty2idMap, setRegister, setSelected, setStringProperty, setValue, setVisible, update
public GUITimer()
public GUITimer(GUITab gut)
public final void addProperthies()
public void setValue(int value)
public java.lang.String shortDesc()
shortDesc
in class GUIelement
public void setGUITab(GUITab gut)
GUIelement
GUITab
this GUIelement
is on to the
one provided.setGUITab
in class GUIelement
public java.lang.String getGUIelementName()
getGUIelementName
in class GUIelement
GUIelement
.public void startStopSampling()
public void recompileEvents()
GUIelement
GUIelement
, including the getters and setters of the individual
Property
objects.recompileEvents
in class GUIelement
public java.lang.String getSampleEventString()
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 to