one.world.env
Class CreateRequest
java.lang.Object
|
+--one.world.core.Tuple
|
+--one.world.core.Event
|
+--one.world.util.IdEvent
|
+--one.world.env.CreateRequest
- All Implemented Interfaces:
- Cloneable, Serializable
- public final class CreateRequest
- extends IdEvent
Implementation of a create request. Create requests ask for the
creation of a new child environment.
The parent environment for the environment to be created is
specified by its ID in the IdEvent.ident field. The name of the
new child environment is specified in the name field.
- Version:
- $Revision: 1.11 $
- See Also:
EnvironmentEvent.CREATED,
Environment.create(Guid,Guid,String,boolean),
Environment.create(Guid,Guid,String,boolean,String,Object), Serialized Form
|
Field Summary |
boolean |
inherit
The flag for whether to inherit the parent environment's
protection domain. |
String |
init
The name of the class providing the initializer for the
new environment. |
Object |
initClosure
The closure for the initializer. |
String |
name
The name of the new child environment. |
|
Method Summary |
String |
toString()
Get a string representation of this create request. |
void |
validate()
Validate this create request. |
| Methods inherited from class one.world.core.Tuple |
clone, containsNonSymbolicHandler, equals, fields, get, getMetaData, getType, hasField, hashCode, hasMetaData, remove, set, setMetaData, wrap |
name
public String name
- The name of the new child environment.
init
public String init
- The name of the class providing the initializer for the
new environment.
initClosure
public Object initClosure
- The closure for the initializer.
inherit
public boolean inherit
- The flag for whether to inherit the parent environment's
protection domain.
CreateRequest
public CreateRequest()
- Create a new, empty create request.
CreateRequest
public CreateRequest(EventHandler source,
Object closure,
Guid ident,
String name,
boolean inherit,
String init,
Object initClosure)
- Create a new create request.
- Parameters:
source - The source for the new create request.closure - The closure for the new create request.ident - The environment ID for the new create request.name - The name for the new create request.inherit - The inherit flag for the new create request.init - The name of the class providing the initializer
for the new create request.initClosure - The closure for the initializer.
validate
public void validate()
throws TupleException
- Validate this create request.
- Overrides:
validate in class Event
- Following copied from class:
one.world.core.Tuple
- Throws:
TupleException - 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).- See Also:
MalformedTupleException,
InvalidTupleException,
Type.validate(Class)
toString
public String toString()
- Get a string representation of this create request.
- Overrides:
toString in class Tuple
- Following copied from class:
one.world.core.Tuple
- Returns:
- A string representation for this tuple.
(C) Copyright 2001 UW CSE