org.grinvin.invariants

Interface InvariantValueDelegate<T,extends,InvariantValue>

Known Implementing Classes:
AbstractInvariantValueDelegate<T,extends,InvariantValue>, BooleanValueDelegate, IntegerMatrixValueDelegate, IntegerValueDelegate, ListOfIntegersValueDelegate, ListOfRealsValueDelegate, NumericValueDelegate<T,extends,NumericValue>, RealValueDelegate, UnavailableValueDelegate

public interface InvariantValueDelegate<T,extends,InvariantValue>

Method Summary

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)

Method Details

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)

load

public T load(Element element)
            throws IOFormatException,
                   UnknownInvariantException,
                   UnknownInvariantTypeException

load_1_0

public T load_1_0(Element element)
            throws IOFormatException,
                   UnknownInvariantException,
                   UnknownInvariantTypeException

showDetails

public void showDetails(T value,
                        GraphListElement element,
                        JComponent component,
                        int x,
                        int y)
Show a 'details window' for the given invariant value component.
Parameters:
value - The invariant value
element - Graph list element for which this invariant value was computed
component - Component which invoked this method
x - X coordinate of mouse pointer when this method was invoked
y - Y coordinate of mouse pointer when this method was invoked

toElement

public Element toElement(T value)