Workflow management system - Software Development Case Studies in Java - page 598

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();
}
}
}