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

## Uses of Interface
ix.iview.VarSpecifier

Packages that use VarSpecifier
ix.iview | Viewers.
ix.iview.util |

Uses of VarSpecifier in ix.iview

Classes in ix.iview that implement VarSpecifier
`class` | `AConstructFramePanel` An abstract editor/viewer panel for domain constructs.
`class` | `ActionEditorPanel` An editor/viewer panel for refinement structures.
`class` | `AROEditorPanel` An editor/viewer panel for AROs, i.e.
`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` | `GlobalFramePanel` An editor/viewer panel for the domain itself (global information) Example code for using the GlobalFramePanel: `...`
`class` | `GrammarEditorPanel` A grammar editor/viewer panel Waiting to be documented and implemented properly.
`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` | `SimpleDeclarationEditor` An editor for specifying variable declarations Declarations are attached to self (the refinement).
`class` | `SimpleEditorPanel` A minimal editor/viewer panel for making dummy panels Waiting to be implemented.
`class` | `SpecEditor` A simple text-input editor for entering specifications, e.g. for nodes and issues.

Uses of VarSpecifier in ix.iview.util

Methods in ix.iview.util with parameters of type VarSpecifier
`static void` | `IVUtil.enableVars(VarSpecifier parent, javax.swing.text.JTextComponent jtc)` Enables the use of declarations when a question-mark is typed in a text componenet.
`static void` | `IVUtil.offerVars(VarSpecifier parent, javax.swing.text.JTextComponent jtc, java.util.List decs, java.awt.Point location, int position)` Offers the declared variables (if any) for completion, splices in selection (if any) NOTE: the "?"

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