Searched defs:updateEvent (Results 1 - 8 of 8) sorted by relevance
| /barrelfish-master/usr/eclipseclp/Visualisation/src/com/parctechnologies/eclipse/visualisation/ |
| H A D | Viewlet.java | 79 CompoundTerm collectPreUpdateGoal(UpdateEvent updateEvent); argument
81 void startUpdate(UpdateEvent updateEvent, CompoundTerm goalResults); argument
|
| H A D | ViewletType.java | 68 collectPreUpdateGoal(Viewer viewer, ViewletDataStore store, ViewletRange range, UpdateEvent updateEvent) argument
73 startUpdate(Viewer viewer, ViewletDataStore store, ViewletRange range, List results, UpdateEvent updateEvent) argument
|
| H A D | ViewletImpl.java | 88 public CompoundTerm collectPreUpdateGoal(UpdateEvent updateEvent) argument
93 public void startUpdate(UpdateEvent updateEvent, CompoundTerm goalResults) argument
|
| H A D | MultiViewletType.java | 206 collectPreUpdateGoal(Viewer viewer, ViewletDataStore store, ViewletRange range, UpdateEvent updateEvent) argument
229 startUpdate(Viewer viewer, ViewletDataStore store, ViewletRange range, List results, UpdateEvent updateEvent) argument
|
| /barrelfish-master/usr/eclipseclp/Visualisation/src/com/parctechnologies/eclipse/visualisation/viewers/ |
| H A D | AbstractViewletType.java | 129 collectPreUpdateGoal(Viewer viewer, ViewletDataStore store, ViewletRange range, UpdateEvent updateEvent) argument
136 startUpdate(Viewer viewer, ViewletDataStore store, ViewletRange range, List results, UpdateEvent updateEvent) argument
|
| H A D | FadeViewletType.java | 137 collectPreUpdateGoal(Viewer viewer, ViewletDataStore store, ViewletRange range, UpdateEvent updateEvent) argument
171 startUpdate(Viewer viewer, ViewletDataStore store, ViewletRange range, List results, UpdateEvent updateEvent) argument
|
| H A D | BoundsViewletType.java | 205 collectPreUpdateGoal(Viewer viewer, ViewletDataStore store, ViewletRange range, UpdateEvent updateEvent) argument
255 startUpdate(Viewer viewer, ViewletDataStore store, ViewletRange range, List results, UpdateEvent updateEvent) argument
|
| H A D | TextViewletType.java | 196 collectPreUpdateGoal(Viewer viewer, ViewletDataStore store, ViewletRange range, UpdateEvent updateEvent) argument
243 startUpdate(Viewer viewer, ViewletDataStore store, ViewletRange range, List results, UpdateEvent updateEvent) argument
|
Completed in 51 milliseconds