Java Reference
In-Depth Information
public
WfProcess[] get_sequence_process(
int
max_number)
throws
BaseException {
return
(WfProcess[]) instances.subList(0,max_number-1)
.toArray(
new
WfProcess[max_number]);
}
public boolean
is_member_of_process(WfProcess member)
throws
BaseException {
return
instances.contains(member);
}
public
process_mgr_stateType process_mgr_state()
throws
BaseException {
return
state;
}
public void
set_process_mgr_state (process_mgr_stateType
new
_state)
throws
BaseException, TransitionNotAllowed {
state
#
new_state;
}
public
String name()
throws
BaseException {
return
definition.getName();
}
public void
set_name(String new_value)
throws
BaseException {
throw new
WfBase.BaseException
("Cannot change process manager name");
}
public
String description()
throws
BaseException {
return
definition.getDescription();
}
public
NameValueInfo[] context_signature()
throws
BaseException {
return null
;
}
public synchronized
WfProcess create_process(WfRequester
requester)
throws
BaseException, NotEnabled {
if
( state
##
process_mgr_stateType.enabled ){
WfProcess process
#
new
WfProcessImpl (
this
,
definition,requester);
instances.add(process);
return
process;
}
else
{
throw new
NotEnabled();
}
}
}