|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Object
|
+--one.world.core.Tuple
|
+--one.world.core.Event
|
+--one.world.util.TypedEvent
|
+--one.world.env.EnvironmentEvent
Implementation of an environment event. Environment events, together with create, load, move, rename, and restore requests as well as check-point responses, define the interaction between components and environments. All environment events, as well as the requests and responses listed above, identify relevant environments by their ID instead of through a direct reference. As a result, environment events can be transmitted over the network.
The operations on environments are:
create to create a new child environment,load to load code into an environment,activate to activate an environment,check-point to check-point the current state
of an environment and all its descendants,restore to restore environments to a previously
check-pointed state,move to move an environment and all its
descendants, which optionally clones the environment(s) as
well,rename to rename an environment,terminate to terminate the computation in an
environment,unload to unload code from an environment,destroy to destroy an environment and all its
descendants.Legal operations on environments are limited by the hierarchy of environments. An environment can only see the environments underneath it and it can only perform operations on these environments.
AcceptRequest,
CreateRequest,
CheckPointResponse,
LoadRequest,
MoveRequest,
RenameRequest,
RestoreRequest, Serialized Form| Field Summary | |
static int |
ACTIVATE
The type code for activating an environment. |
static int |
ACTIVATED
The type code for an activated environment. |
static int |
CHECK_POINT
The type code for check-pointing an environment. |
static int |
CLONED
The type code for a cloned environment. |
static int |
CREATED
The type code for a created environment. |
static int |
DESTROY
The type code for destroying an environment. |
static int |
DESTROYED
The type code for a destroyed environment. |
Guid |
ident
The ID of the environment for this environment event. |
static int |
LOADED
The type code for a loaded environment. |
static int |
MOVED
The type code for a moved environment. |
static int |
RENAMED
The type code for a renamed environment. |
static int |
RESTORED
The type code for a restored environment. |
static int |
STOP
The type code for stopping an environment. |
static int |
STOPPED
The type code for a stopped environment. |
static int |
TERMINATE
The type code for terminating an environment. |
static int |
TERMINATED
The type code for a terminated environment. |
static int |
UNLOAD
The type code for unloading code from an environment. |
static int |
UNLOADED
The type code for an unloaded environment. |
| Fields inherited from class one.world.util.TypedEvent |
type |
| Fields inherited from class one.world.core.Event |
closure, source |
| Fields inherited from class one.world.core.Tuple |
CLOSURE, id, ID, META_DATA, metaData, SOURCE |
| Constructor Summary | |
EnvironmentEvent()
Create a new, empty environment event. |
|
EnvironmentEvent(EventHandler source,
Object closure,
int type,
Guid ident)
Create a new environment event. |
|
| Method Summary | |
String |
toString()
Get a string representation of this environment event. |
void |
validate()
Validate this environment event. |
| Methods inherited from class one.world.core.Tuple |
clone, containsNonSymbolicHandler, equals, fields, get, getMetaData, getType, hasField, hashCode, hasMetaData, remove, set, setMetaData, wrap |
| Methods inherited from class java.lang.Object |
finalize, getClass, notify, notifyAll, wait, wait, wait |
| Field Detail |
public static final int CREATED
CreateRequestpublic static final int LOADED
LoadRequestpublic static final int ACTIVATE
ACTIVATED,
Environment.activate(Guid,Guid)public static final int ACTIVATED
ACTIVATEpublic static final int CHECK_POINT
CheckPointResponse,
Environment.checkPoint(Guid,Guid)public static final int RESTORED
RestoreRequestpublic static final int MOVED
MoveRequestpublic static final int CLONED
MoveRequestpublic static final int RENAMED
RenameRequestpublic static final int TERMINATE
TERMINATED,
Environment.terminate(Guid,Guid)public static final int TERMINATED
TERMINATEpublic static final int UNLOAD
UNLOADED,
Environment.unload(Guid,Guid)public static final int UNLOADED
public static final int DESTROY
DESTROYED,
Environment.destroy(Guid,Guid)public static final int DESTROYED
public static final int STOP
STOPPEDpublic static final int STOPPED
STOPpublic Guid ident
| Constructor Detail |
public EnvironmentEvent()
public EnvironmentEvent(EventHandler source,
Object closure,
int type,
Guid ident)
source - The source for the new environment event.closure - The closure for the new environment event.type - The type for the new environment event.ident - The ID for the new environment event.| Method Detail |
public void validate()
throws TupleException
validate in class Eventone.world.core.TupleTupleException - Signals that the tuple is either malformed
(i.e., does not conform to the tuple
specification) or invalid (i.e., does not
conform to the semantic constraints of its
type).MalformedTupleException,
InvalidTupleException,
Type.validate(Class)public String toString()
toString in class Tupleone.world.core.Tuple
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||