org.grinvin.invariants.values

Class NumericValueDelegate<T,extends,NumericValue>

Implemented Interfaces:
InvariantValueDelegate<T,extends,InvariantValue>
Known Direct Subclasses:
IntegerValueDelegate, RealValueDelegate

public abstract class NumericValueDelegate<T,extends,NumericValue>
extends AbstractInvariantValueDelegate<T,extends,InvariantValue>

Method Summary

void
saveValue(Element element, T value)
@Override
void initLabel(JLabel label, T value)
Initialize a label which is used to display this invariant value.

Methods inherited from class org.grinvin.invariants.values.AbstractInvariantValueDelegate<T,extends,InvariantValue>

fromElement, fromElement_1_0, hasDetails, initLabel, load, loadValue, load_1_0, saveValue, showDetails, toElement

Method Details

saveValue

public void saveValue(Element element,
                      T value)
Overrides:
saveValue in interface AbstractInvariantValueDelegate<T,extends,InvariantValue>

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.