| /barrelfish-master/usr/eclipseclp/Visualisation/src/com/parctechnologies/eclipse/visualisation/ |
| H A D | PolicySelectedCommand.java | 33 String viewableName; field in class:PolicySelectedCommand
35 public PolicySelectedCommand(String viewableName, List keys) { argument
36 this.viewableName = viewableName;
41 return viewableName ;
|
| H A D | BackUpdateEvent.java | 33 String viewableName = ((Atom)term.arg(1)).functor();
37 return(new BackUpdateEvent(viewableName, interestSpecName,
41 private BackUpdateEvent(String viewableName, String interestSpecName, argument
44 setViewableName(viewableName);
|
| H A D | ForwardUpdateEvent.java | 33 String viewableName = ((Atom)term.arg(1)).functor();
37 return(new ForwardUpdateEvent(viewableName, interestSpecName,
41 private ForwardUpdateEvent(String viewableName, String interestSpecName, argument
44 setViewableName(viewableName);
|
| H A D | VisEvent.java | 30 private String viewableName; field in class:VisEvent
62 return(viewableName);
65 protected void setViewableName(String viewableName) argument
67 this.viewableName = viewableName;
|
| H A D | ContractEvent.java | 40 private ContractEvent(String viewableName) argument
42 setViewableName(viewableName);
|
| H A D | DestroyEvent.java | 40 public DestroyEvent(String viewableName) argument
42 setViewableName(viewableName);
|
| H A D | ExpandEvent.java | 42 private ExpandEvent(String viewableName, int expandingDimension) argument
44 setViewableName(viewableName);
|
| H A D | ScenarioManager.java | 154 public Scenario getMatchingScenarioForPlayback(Object viewableName) { argument
156 if ( scenarioMap.containsKey(viewableName) ) {
158 Scenario scenario = (Scenario)scenarioMap.get(viewableName);
174 Object viewableName) {
175 iteratorMap.put(viewableName, scenario.iterator());
181 public void clearIteratorForPlayback(Object viewableName) { argument
182 iteratorMap.remove(viewableName);
192 public ScenarioIterator getPlayingIteratorForName(Object viewableName) { argument
193 if ( iteratorMap.containsKey(viewableName) ) {
195 ScenarioIterator iterator = (ScenarioIterator)iteratorMap.get(viewableName);
173 registerIteratorForPlayback(Scenario scenario, Object viewableName) argument
395 loadScenarios(Object viewableName) argument
475 selectPlaybackScenario(String viewableName) argument
637 Object viewableName ; field in class:ScenarioManager.ScenarioFileFilter
639 ScenarioFileFilter(Object viewableName) argument
663 Object viewableName; field in class:ScenarioManager.ScenarioFileChooser
665 ScenarioFileChooser(Object viewableName) argument
[all...] |
| H A D | ViewerManager.java | 145 public void configureViewerBuildingPolicy(String viewableName, argument
150 JDialog dialog = new SelectViewersDialog(viewableName,
156 private Viewable initialiseViewable(String viewableName, argument
159 Viewable viewable = new Viewable(viewableName, type);
160 viewableNameToViewable.put(viewableName, viewable);
204 String viewableName = visEvent.getViewableName();
212 initialiseViewable(viewableName,
222 (Viewable) viewableNameToViewable.get(viewableName);
338 String viewableName = currentEvent.getViewableName();
340 (Viewable) viewableNameToViewable.get(viewableName);
395 getInterestSpecs(String viewableName) argument
414 String viewableName; field in class:ViewerManager.SelectViewersDialog
420 SelectViewersDialog(String viewableName, ViewableType viewableType) argument
[all...] |
| H A D | CreateEvent.java | 46 private CreateEvent(String viewableName, ViewableType type) argument
48 setViewableName(viewableName);
|
| H A D | Scenario.java | 46 private Object viewableName; field in class:Scenario
59 public Scenario(String viewableName) { argument
60 setViewableName(viewableName);
110 * Get the value of viewableName.
111 * @return value of viewableName.
114 return viewableName;
118 * Set the value of viewableName.
119 * @param v Value to assign to viewableName.
122 this.viewableName = v;
166 new StringBuffer("\n\nScenario for " + viewableName
[all...] |
| H A D | VisClient.java | 215 String viewableName = visEvent.getViewableName();
219 ScenarioManager.getInstance().selectPlaybackScenario(viewableName);
231 viewerManager.configureViewerBuildingPolicy(viewableName,
332 String viewableName = visEvent.getViewableName();
345 viewerManager.getInterestSpecs(viewableName);
348 expressInterestsToEclipse(viewableName, interests);
381 private void expressInterestsToEclipse(String viewableName, argument
397 DebuggingSupport.logMessage(this, "for viewable:"+viewableName);
410 new Atom(viewableName)),
746 Atom viewableName
[all...] |
| H A D | ViewerManagerFrame.java | 260 void addViewer(Viewer newViewer, String viewableName) argument
264 SwingUtilities.invokeAndWait(new ViewerAdder(newViewer, viewableName));
573 private String viewableName; field in class:ViewerManagerFrame.ViewerAdder
575 ViewerAdder(Viewer newViewer, String viewableName) argument
578 this.viewableName = viewableName;
583 String title = viewableName+" - "+newViewer.getDescription();
|
| H A D | GraphViewer.java | 1296 public IndexChoosingDialog(Object viewableName, argument
|
| /barrelfish-master/usr/eclipseclp/Visualisation/src/com/parctechnologies/eclipse/visualisation/viewers/ |
| H A D | AbstractViewletType.java | 91 CompoundTerm viewableName,
97 viewableName, new CompoundTermImpl("element",elementReference), viewletGoal)));
101 viewableName, new CompoundTermImpl("element",elementReference), viewletGoal,new Atom(changeableSolver))));
90 composeElementGoal(Object elementReference, CompoundTerm viewableName, CompoundTerm viewletGoal) argument
|