Saros
Distributed Collaborative Editing and Distributed Party Programming
|
Public Types | |
enum | Type { ACTIVATED, CLOSED, SAVED } |
Public Member Functions | |
EditorActivity (User source, Type type, SPath path) | |
boolean | isValid () |
Type | getType () |
int | hashCode () |
boolean | equals (Object obj) |
String | toString () |
void | dispatch (IActivityReceiver receiver) |
Protected Attributes | |
final Type | type |
Activity for activating, closing, and saving editors. If the getPath() returns null
then no resource is currently active.
Saving is not document- but editor-specific because one editor might perform changes on the document before actually saving while others just save. An example is a Java editor with save actions enabled vs. a plain text editor for the very same document.
de.fu_berlin.inf.dpp.activities.EditorActivity.EditorActivity | ( | User | source, |
Type | type, | ||
SPath | path | ||
) |
path | May be null -- only if type is Type#ACTIVATED -- to denote that there is no active editor anymore. Must not be null for other types. |
void de.fu_berlin.inf.dpp.activities.EditorActivity.dispatch | ( | IActivityReceiver | receiver | ) |
boolean de.fu_berlin.inf.dpp.activities.EditorActivity.equals | ( | Object | obj | ) |
Reimplemented from de.fu_berlin.inf.dpp.activities.AbstractResourceActivity.
Type de.fu_berlin.inf.dpp.activities.EditorActivity.getType | ( | ) |
int de.fu_berlin.inf.dpp.activities.EditorActivity.hashCode | ( | ) |
Reimplemented from de.fu_berlin.inf.dpp.activities.AbstractResourceActivity.
boolean de.fu_berlin.inf.dpp.activities.EditorActivity.isValid | ( | ) |
Reimplemented from de.fu_berlin.inf.dpp.activities.AbstractResourceActivity.
String de.fu_berlin.inf.dpp.activities.EditorActivity.toString | ( | ) |
final Type de.fu_berlin.inf.dpp.activities.EditorActivity.type [protected] |