org.grinvin.invariants.values
Class NumericValueDelegate<T,extends,NumericValue>
- InvariantValueDelegate<T,extends,InvariantValue>
public abstract class NumericValueDelegate<T,extends,NumericValue>
void | saveValue(Element element, T value)
|
@Override | void initLabel(JLabel label, T value) - Initialize a label which is used to display this invariant value.
|
void initLabel
public @Override void initLabel(JLabel label,
T value)
Initialize a label which is used to display this invariant value.
The standard implementation renders the text returned by
InvariantValue.toText
if the value is finite. If the value is infinite,
the icon is set to display the symbol for infinity.