11191120112111221123112411251126112711281129
*/ public Collection steps() { Collection res = new ArrayList (); for (Iterator i = stepsLocal().iterator(); i.hasNext();) { ExtActivityLocal act = (ExtActivityLocal)i.next(); res.add (act.toActivity()); } return res; } /**
11641165116611671168116911701171117211731174
Iterator it = stepsLocal().iterator(); while (it.hasNext()) { ExtActivityLocal act = (ExtActivityLocal)it.next(); if (act.typedState().isSameOrSubState (s)) { returnList.add(act.toActivity()); } } return returnList; }