Prev Class | Next Class | Frames | No Frames |
Summary: Nested | Field | Method | Constr | Detail: Nested | Field | Method | Constr |
java.lang.Object
org.grinvin.gui.dnd.AbstractDropHandler
org.grinvin.gui.dnd.InvariantFactoryDropHandler
public class InvariantFactoryDropHandler
extends AbstractDropHandler
AcceptsInvariant
. After dropping, the user is asked
to present parameters for the invariant.
Method Summary | |
boolean |
|
static InvariantFactoryDropHandler |
Methods inherited from class org.grinvin.gui.dnd.AbstractDropHandler | |
allowsMultipleDrops , getDropClass |