Esempio n. 1
0
  @Override
  public PAlternatives withTypeValueReplaced(MTType t) {

    return new PAlternatives(
        RCollections.map(myAlternatives, UnboxCondition.INSTANCE),
        RCollections.map(myAlternatives, UnboxResult.INSTANCE),
        myOtherwiseClauseResult,
        myType,
        t);
  }
Esempio n. 2
0
    @Override
    public PAlternatives replaceLast(PExp newExpression) {
      List<PExp> newConditions = RCollections.map(myAlternatives, UnboxCondition.INSTANCE);
      List<PExp> newResults = RCollections.map(myAlternatives, UnboxResult.INSTANCE);
      PExp newOtherwise = myOtherwiseClauseResult;

      if (myReturnedOtherwiseFlag) {
        newOtherwise = newExpression;
      } else {
        if (myCurAlternative == null) {
          newConditions.set(myCurAlternativeNum, newExpression);
        } else {
          newResults.set(myCurAlternativeNum, newExpression);
        }
      }

      return new PAlternatives(newConditions, newResults, newOtherwise, myType, myTypeValue);
    }
Esempio n. 3
0
  @Override
  public PAlternatives withSubExpressionReplaced(int index, PExp e) {
    List<PExp> newResults = RCollections.map(myAlternatives, UnboxResult.INSTANCE);
    List<PExp> newConditions = RCollections.map(myAlternatives, UnboxCondition.INSTANCE);
    PExp newOtherwise = myOtherwiseClauseResult;

    if (index < 0 || index > (myAlternatives.size() * 2) + 1) {
      throw new IndexOutOfBoundsException("" + index);
    } else {
      index /= 2;

      if (index % 2 == 0) {
        if (index < myAlternatives.size()) {
          newResults.set(index, e);
        } else {
          newOtherwise = e;
        }
      } else {
        newConditions.set(index, e);
      }
    }

    return new PAlternatives(newConditions, newResults, newOtherwise, myType, myTypeValue);
  }