org.grinvin.invariants
Interface InvariantValueDelegate<T,extends,InvariantValue>
- AbstractInvariantValueDelegate<T,extends,InvariantValue>, BooleanValueDelegate, IntegerMatrixValueDelegate, IntegerValueDelegate, ListOfIntegersValueDelegate, ListOfRealsValueDelegate, NumericValueDelegate<T,extends,NumericValue>, RealValueDelegate, UnavailableValueDelegate
public interface InvariantValueDelegate<T,extends,InvariantValue>
Class | getType()
|
boolean | hasDetails(T value) - Is it possible to obtain a 'details window' for this component?
|
void | initLabel(JLabel label, T value)
|
T | load(Element element)
|
T | load_1_0(Element element)
|
void | showDetails(T value, GraphListElement element, JComponent component, int x, int y) - Show a 'details window' for the given invariant value component.
|
Element | toElement(T value)
|
getType
public Class getType()
hasDetails
public boolean hasDetails(T value)
Is it possible to obtain a 'details window' for this component?
initLabel
public void initLabel(JLabel label,
T value)
showDetails
public void showDetails(T value,
GraphListElement element,
JComponent component,
int x,
int y)
Show a 'details window' for the given invariant value component.
value
- The invariant valueelement
- Graph list element for which this invariant value
was computedcomponent
- Component which invoked this methodx
- X coordinate of mouse pointer when this method was invokedy
- Y coordinate of mouse pointer when this method was invoked
toElement
public Element toElement(T value)