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 "?"