Esempio n. 1
0
 public Object executeLoop(
     RArray array, Selector selectorI, Selector selectorJ, boolean dropVal, int exactVal) {
   Selector selI = selectorI;
   Selector selJ = selectorJ;
   for (; ; ) {
     try {
       return execute(array, selI, selJ, dropVal, exactVal);
     } catch (UnexpectedResultException e) {
       Selector failedSelector = (Selector) e.getResult();
       if (failedSelector == selI) {
         RAny index = selI.getIndex();
         selectorIExpr.replace(
             Selector.createSelectorNode(
                 ast, subset, index, selectorIExpr.child, false, selectorI.getTransition()));
         selI = selectorIExpr.executeSelector(index);
       } else {
         // failedSelector == selectorJ
         RAny index = selJ.getIndex();
         selectorJExpr.replace(
             Selector.createSelectorNode(
                 ast, subset, index, selectorJExpr.child, false, selectorJ.getTransition()));
         selJ = selectorJExpr.executeSelector(index);
       }
     }
   }
 }
Esempio n. 2
0
 /**
  * Execute method which evaluates the lhs, selectors and optional expressions, checks that the
  * array selection can proceed and then proceeds optionally replacing the falling selectors.
  *
  * <p>The valued variant of execute is called for the production of the result, on failure the
  * responsible selector is replaced and the valued variant is called again.
  */
 protected final Object executeLoop(RArray array, boolean dropVal, int exactVal) {
   while (true) {
     try {
       return execute(array, dropVal, exactVal);
     } catch (UnexpectedResultException e) {
       Selector failedSelector = (Selector) e.getResult();
       for (int i = 0; i < selectorVals.length; ++i) {
         if (selectorVals[i] == failedSelector) {
           RAny index = failedSelector.getIndex();
           SelectorNode newSelector =
               Selector.createSelectorNode(
                   ast, subset, index, selectorExprs[i], false, failedSelector.getTransition());
           selectorExprs[i] = adoptChild(newSelector);
           selectorVals[i] = newSelector.executeSelector(index);
         }
       }
     }
   }
 }