Java Utils.arrayEnumeration 예제들

예제 #1

파일: Apply.java 프로젝트: phadej/uhc

 public Enumeration getChildrenInfo() {
   if (nrNeededParams >= 0) {
     return Utils.arrayEnumeration(Utils.arrayConcat(new Object[] {funcOrVal}, getBoundParams()));
   } else {
     return Utils.oneEnumeration(funcOrVal);
   }
 }

예제 #2

파일: Apply.java 프로젝트: phadej/uhc

 public Enumeration getSuccessors() {
   Object[] params = getBoundParams();
   Object[] succ = params;
   if (funcOrVal instanceof Eval) {
     succ = Utils.arrayCons(funcOrVal, params);
   }
   return Utils.arrayEnumeration(succ);
 }