org.grinvin.invariants.values

Class ListOfIntegersValueDelegate

Implemented Interfaces:
InvariantValueDelegate<T,extends,InvariantValue>

public class ListOfIntegersValueDelegate
extends AbstractInvariantValueDelegate<T,extends,InvariantValue>

Method Summary

static ListOfIntegersValueDelegate
getInstance()
Class
getType()
boolean
hasDetails(ListOfIntegersValue value)
This invariant value can display details.
ListOfIntegersValue
loadValue(Element element, Invariant invariant, String computerId, String computerVersion)
Should be overridden to load the actual value from a JDOM-element.
void
saveValue(Element element, ListOfIntegersValue listOfIntegersValue)
void
showDetails(ListOfIntegersValue value, GraphListElement element, JComponent component, int x, int y)
Pops up a dialog with the reals displayed as bar charts.

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

getInstance

public static ListOfIntegersValueDelegate getInstance()

getType

public Class getType()
Specified by:
getType in interface InvariantValueDelegate<T,extends,InvariantValue>

hasDetails

public boolean hasDetails(ListOfIntegersValue value)
This invariant value can display details.

loadValue

public ListOfIntegersValue loadValue(Element element,
                                     Invariant invariant,
                                     String computerId,
                                     String computerVersion)
            throws IOFormatException
Should be overridden to load the actual value from a JDOM-element. Clients should throw an IOFormatException when element is not in the correct format.
Overrides:
loadValue in interface AbstractInvariantValueDelegate<T,extends,InvariantValue>
Parameters:
element - JDOM element, which is known to be of type 'value'

saveValue

public void saveValue(Element element,
                      ListOfIntegersValue listOfIntegersValue)

showDetails

public void showDetails(ListOfIntegersValue value,
                        GraphListElement element,
                        JComponent component,
                        int x,
                        int y)
Pops up a dialog with the reals displayed as bar charts.