rootCtx.setLocal(name, value);
System.out.println("Set variable " + name + " to "
+ value);
} else if (event == null || event.trim().length() == 0
|| event.equalsIgnoreCase("null")) {
TriggerEvent[] evts = {new TriggerEvent(null,
TriggerEvent.SIGNAL_EVENT, null)};
exec.triggerEvents(evts);
if (exec.getCurrentStatus().isFinal()) {
System.out.println("A final configuration reached.");
}
} else {
StringTokenizer st = new StringTokenizer(event);
int tkns = st.countTokens();
TriggerEvent[] evts = new TriggerEvent[tkns];
for (int i = 0; i < tkns; i++) {
evts[i] = new TriggerEvent(st.nextToken(),
TriggerEvent.SIGNAL_EVENT, null);
}
exec.triggerEvents(evts);
if (exec.getCurrentStatus().isFinal()) {
System.out.println("A final configuration reached.");