Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES

## Uses of Class
ix.iface.ui.JConstraintEditor

Packages that use JConstraintEditor
ix.iface.ui | I-X user interfaces.
ix.iview | Viewers.

Uses of JConstraintEditor in ix.iface.ui

Methods in ix.iface.ui with parameters of type JConstraintEditor
`void` | `JConstraintListener.gotConstraint(JConstraintEditor e, java.lang.Object o, java.lang.Object constraint)` Implement this method to process the new constraint

Uses of JConstraintEditor in ix.iview

Subclasses of JConstraintEditor in ix.iview
`class` | `ConditionEffectEditor` An editor for specifying conditions and effects in refinements.
`class` | `ConstraintEditor` An abstract class with useful things for building constraint editors.
`class` | `DeclarationEditor` An editor for specifying variable declarations Declarations are attached to self (the refinement).
`class` | `DefaultConstraintEditor` An editor for specifying generic constraints in refinements.
`class` | `ObjectConstraintEditor` An editor for specifying (world-state) constraints on objects in refinements.
`class` | `OrderingEditor` An editor for specifying temporal relations between time points in refinements.
`class` | `PropertyEditor` A simple text-input editor for entering property names with a list for the syntax type.
`class` | `SimpleDeclarationEditor` An editor for specifying variable declarations Declarations are attached to self (the refinement).
`class` | `SpecEditor` A simple text-input editor for entering specifications, e.g. for nodes and issues.

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES