Prev Class | Next Class | Frames | No Frames |
Summary: Nested | Field | Method | Constr | Detail: Nested | Field | Method | Constr |
java.lang.Object
org.grinvin.invariants.values.AbstractInvariantValueDelegate<T,extends,InvariantValue>
org.grinvin.invariants.values.ListOfIntegersValueDelegate
public class ListOfIntegersValueDelegate
Method Summary | |
static ListOfIntegersValueDelegate | |
Class |
|
boolean |
|
ListOfIntegersValue | |
void |
|
void |
|
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 |
public ClassgetType()
- Specified by:
- getType in interface InvariantValueDelegate<T,extends,InvariantValue>
public boolean hasDetails(ListOfIntegersValue value)
This invariant value can display details.
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'
public void showDetails(ListOfIntegersValue value, GraphListElement element, JComponent component, int x, int y)
Pops up a dialog with the reals displayed as bar charts.