Constructors in story.scheherazade.virgil with parameters of type Virgil |
AssertionSelector(SCHSelector parentSelector,
Virgil virgil,
PredicateSelectorMode mode)
|
BrowsableSelector(Virgil virgil,
StoryInterpreter story,
Verbalizer verbalizer,
BrowsableSelectorParams params,
ElementBrowser browser,
PlannerRepository planners,
ElementBrowserMode mode,
SCHSelector parentSelector,
java.lang.String prompt,
TimelineID timeline,
boolean inherit,
boolean avoidGroups,
boolean showSearch)
|
ControlPanel(Virgil virgil,
VirgilConfiguration config,
StoryListener storyListener)
|
Definer(Virgil virgil,
StoryInterpreter story,
Verbalizer verbalizer,
PlannerRepository planners,
DefinerMode mode,
TimelineViewer timelineViewer,
TimelineID timeline,
boolean inherit)
|
ElementBrowser(Virgil virgil,
StoryInterpreter story,
Verbalizer verbalizer,
PlannerRepository planners,
TimelineViewer timelineViewer)
Constructor. |
GroupSelector(Virgil virgil,
StoryInterpreter story,
Verbalizer verbalizer,
ElementBrowser browser,
PlannerRepository planners,
ElementBrowserMode mode,
SCHSelector parentSelector,
java.lang.String prompt,
TimelineID timeline,
boolean inherit,
boolean emptySetIsReady)
|
InterpretativeDetailBox(Virgil virgil,
StoryInterpreter story,
Verbalizer verbalizer,
PlannerRepository planners,
TimelineViewer timelineViewer,
TimelineID timeline,
Serialization sourceText,
NewContentPanel newContent,
PlannerRepository plannerRep,
InterpretativeEditor interpEditor)
|
InterpretativeEditor(Virgil virgil,
StoryInterpreter story,
Verbalizer verbalizer,
PlannerRepository planners,
TimelineViewer timelineViewer,
TimelineID timeline,
Serialization sourceText,
NewContentPanel newContent,
PlannerRepository plannerRep)
|
KnowledgeEditor(Virgil virgil,
StoryInterpreter story,
Verbalizer verbalizer,
PlannerRepository planners,
TimelineViewer timelineViewer,
TimelineID timeline,
boolean inherit)
|
NewContentPanel(Virgil virgil,
StateViewer stateview,
Verbalizer verbalizer,
int layer)
|
PredicateSelector(Virgil virgil,
PlannerRepository planners,
ElementBrowser browser,
Verbalizer verbalizer,
SCHSelector parentSelector,
int recursionDepth,
java.lang.String prompt)
Set up a selector. |
SettingsPanel(Virgil virgil,
PlannerRepository planners,
Verbalizer verbalizer)
Set up a selector. |
SetupTogglePanel(Virgil virgil,
StoryInterpreter story,
Verbalizer verbalizer,
PlannerRepository planners)
|
StateViewer(Virgil virgil,
VirgilConfiguration config,
Verbalizer verbalizer)
|
TimelineControlPanel(Virgil virgil,
VirgilConfiguration config,
TimelineViewer timeline,
StateViewer stateViewer)
|
TimelineSelector(Virgil virgil,
StateViewer stateview,
Verbalizer verbalizer)
|
TimelineViewer(Virgil virgil,
VirgilConfiguration config,
StateViewer stateViewer,
TimelineArrowPanel arrowPanel,
java.util.Hashtable<java.lang.String,TimelineColor> colors)
|
Virgil.LeftSideMouseListener(Virgil virgil)
|
Virgil.SymbolicStackMouseListener(Virgil virgil)
|
VirgilButton(java.lang.String buttonText,
VirgilButtonClickHandler clickHandler,
Virgil virgil)
|
VirgilButton(java.lang.String buttonText,
VirgilButtonClickHandler clickHandler,
Virgil virgil,
java.awt.Color backgroundColorEnabled)
Constructor that allows a differently colored button |
VirgilXButton(VirgilButtonClickHandler clickHandler,
Virgil virgil)
|