Examples of net.sf.parteg.base.testcasegraph.generated.TCGOCLOperation

Package net.sf.parteg.base.testcasegraph.generated

Examples of net.sf.parteg.base.testcasegraph.generated.TCGOCLOperation

net.sf.parteg.base.testcasegraph.generated.TCGOCLOperation
A representation of the model object 'TCGOCL Operation'.
The following features are supported:
- {@link net.sf.parteg.base.testcasegraph.generated.TCGOCLOperation#getLeft Left}
- {@link net.sf.parteg.base.testcasegraph.generated.TCGOCLOperation#getRight Right}
- {@link net.sf.parteg.base.testcasegraph.generated.TCGOCLOperation#getOperation Operation}
- {@link net.sf.parteg.base.testcasegraph.generated.TCGOCLOperation#getOperationName Operation Name}
@see net.sf.parteg.base.testcasegraph.generated.GeneratedPackage#getTCGOCLOperation() @model @generated

  
  public static TCGOCLExpression negateArithmeticalTCGOCLExpression(
      TCGOCLExpression in_oTCGOCLExpression) {


    if (in_oTCGOCLExpression instanceof TCGOCLOperation) {
      TCGOCLOperation oOpExp = (TCGOCLOperation) in_oTCGOCLExpression;
      if(isUnaryMinus(oOpExp)) {
        in_oTCGOCLExpression = getNonNullLeftOrRight(oOpExp);
      }
      else {
        if(oOpExp.getOperationName().equals("*") ||
            oOpExp.getOperationName().equals("/")) {
          // just negate one of the sides
          // first look if one of the sides is a unary minus
          if(isUnaryMinus(oOpExp.getRight())) {
            oOpExp.setRight(negateArithmeticalTCGOCLExpression(oOpExp.getRight()));
          }
          else {
            oOpExp.setLeft(negateArithmeticalTCGOCLExpression(oOpExp.getLeft()));
          }
        }
        else if(oOpExp.getOperationName().equals("+") ||
            oOpExp.getOperationName().equals("-")) {
          oOpExp.setLeft(negateArithmeticalTCGOCLExpression(oOpExp.getLeft()));
          oOpExp.setOperationName(
              sm_colCorrespondingOperations.get(oOpExp.getOperationName()));
        }
        else { // ???
          oOpExp.setLeft(negateArithmeticalTCGOCLExpression(oOpExp.getLeft()));
          oOpExp.setRight(negateArithmeticalTCGOCLExpression(oOpExp.getRight()));
        }
      }
    }
    else if(in_oTCGOCLExpression instanceof TCGOCLAtom) {
      TCGOCLOperation oOperation = GeneratedFactory.eINSTANCE.createTCGOCLOperation();
      oOperation.setLeft(null);
      oOperation.setRight(in_oTCGOCLExpression);
      oOperation.setPositiveAssignmentOfOriginal(!in_oTCGOCLExpression.isPositiveAssignmentOfOriginal());
      oOperation.setOperationName("-");
      return oOperation;          
    }
    return in_oTCGOCLExpression;
  }

View Full Code Here

      TCGConjunction in_oConjunction) {
    if (!in_oConjunction.getExpressions().isEmpty()) {
      TCGOCLExpression oExpression = TCGOCLExpressionHelperClass
          .copyExpression(in_oConjunction.getExpressions().get(0));
      for (int i = 1; i < in_oConjunction.getExpressions().size(); ++i) {
        TCGOCLOperation oNewOperation = GeneratedFactory.eINSTANCE
            .createTCGOCLOperation();
        oNewOperation.setLeft(oExpression);
        oNewOperation.setOperationName("and");
        oNewOperation
            .setRight(TCGOCLExpressionHelperClass
                .copyExpression(in_oConjunction
                    .getExpressions().get(i)));
        oExpression = oNewOperation;
      }

View Full Code Here

        T result = caseTCGDisjunctiveNormalForm(tcgDisjunctiveNormalForm);
        if (result == null) result = defaultCase(theEObject);
        return result;
      }
      case GeneratedPackage.TCGOCL_OPERATION: {
        TCGOCLOperation tcgoclOperation = (TCGOCLOperation)theEObject;
        T result = caseTCGOCLOperation(tcgoclOperation);
        if (result == null) result = caseTCGOCLExpression(tcgoclOperation);
        if (result == null) result = defaultCase(theEObject);
        return result;
      }

View Full Code Here

        TCGOCLExpression in_oTCGOCLExpression) {
  
    // TODO die Funktionalit�t in den einzelnen ValueTypes implementieren ... ?
    
    if (in_oTCGOCLExpression instanceof TCGOCLOperation) {
      TCGOCLOperation oOpExp = (TCGOCLOperation) in_oTCGOCLExpression;
      // if operation name is not in list -> do not change it (e.g.
      // addition, subtraction, ...) -> this is no negation
      String sNewName = sm_colNameMatching.get(oOpExp.getOperationName());
      if (sNewName != null) {
        TCGOCLOperation oNewOp = GeneratedFactory.eINSTANCE.createTCGOCLOperation();
        
        if(sNewName.equals("not removed")) {
          if(oOpExp.getLeft() != null)
            return oOpExp.getLeft();
          return oOpExp.getRight();
        }
        else
          oNewOp.setOperationName(sNewName);
        
        if (oOpExp.getLeft() != null)
        {
          if(TCGOCLExpressionHelperClass.isBooleanOperation(oOpExp))
            oNewOp.setLeft(negateLogicalTCGOCLExpression(
                oOpExp.getLeft()));
          else
            oNewOp.setLeft(oOpExp.getLeft());
        }
        if (oOpExp.getRight() != null)
        {
          if(TCGOCLExpressionHelperClass.isBooleanOperation(oOpExp))
            oNewOp.setRight(negateLogicalTCGOCLExpression(
                oOpExp.getRight()));
          else
            oNewOp.setRight(oOpExp.getRight());
        }
        oNewOp.setClassification(oOpExp.getClassification());
        oNewOp.setOclReference(oOpExp.getOclReference());
        oNewOp.setOperation(oOpExp.getOperation());
        oNewOp.setPositiveAssignmentOfOriginal(!oOpExp.isPositiveAssignmentOfOriginal());
        return oNewOp;
      }
    } 
    else if(in_oTCGOCLExpression instanceof TCGOCLAtom) {
      if(TCGOCLExpressionHelperClass.isBooleanAtom(in_oTCGOCLExpression)) {
        TCGOCLOperation oOperation = GeneratedFactory.eINSTANCE.createTCGOCLOperation();
        oOperation.setLeft(null);
        oOperation.setRight(in_oTCGOCLExpression);
        oOperation.setPositiveAssignmentOfOriginal(!in_oTCGOCLExpression.isPositiveAssignmentOfOriginal());
        oOperation.setOperationName("not");
        return oOperation;          
      }
    }
    return in_oTCGOCLExpression;
  }

View Full Code Here

      if (oPropExp.getElement() instanceof RealLiteralExp) {
        RealLiteralExp oRealExp = (RealLiteralExp) oPropExp.getElement();
        return oRealExp.getRealSymbol();
      }
    } else if (in_oTCGOCLExpression instanceof TCGOCLOperation) {
      TCGOCLOperation oOpExp = (TCGOCLOperation) in_oTCGOCLExpression;
      if (oOpExp.getOperationName().compareTo("+") == 0) {
        return getDoubleValue(oOpExp.getLeft()) + getDoubleValue(oOpExp.getRight());
      } else if (oOpExp.getOperationName().compareTo("-") == 0) {
        // TODO f�r un�re Operationen neuen Typ einf�hren
        if (oOpExp.getLeft() == null)
          return -getDoubleValue(oOpExp.getRight());
        if (oOpExp.getRight() == null)
          return -getDoubleValue(oOpExp.getLeft());
        return getDoubleValue(oOpExp.getLeft()) - getDoubleValue(oOpExp.getRight());
      } else if (oOpExp.getOperationName().compareTo("*") == 0) {
        return getDoubleValue(oOpExp.getLeft()) * getDoubleValue(oOpExp.getRight());
      } else if (oOpExp.getOperationName().compareTo("/") == 0) {
        return getDoubleValue(oOpExp.getLeft()) / getDoubleValue(oOpExp.getRight());
      }
      // TODO weitere Operationen einf�gen
    }
    return 0;
  }

View Full Code Here

      if (oPropExp.getElement() instanceof RealLiteralExp) {
        RealLiteralExp oRealExp = (RealLiteralExp) oPropExp.getElement();
        return oRealExp.getRealSymbol();
      }
    } else if (in_oTCGOCLExpression instanceof TCGOCLOperation) {
      TCGOCLOperation oOpExp = (TCGOCLOperation) in_oTCGOCLExpression;
      if (oOpExp.getOperationName().compareTo("+") == 0) {
        return getDoubleValue(oOpExp.getLeft(), in_colValueAssignments) + 
        getDoubleValue(oOpExp.getRight(), in_colValueAssignments);
      } else if (oOpExp.getOperationName().compareTo("-") == 0) {
        // TODO f�r un�re Operationen neuen Typ einf�hren
        if (oOpExp.getLeft() == null)
          return -getDoubleValue(oOpExp.getRight(), in_colValueAssignments);
        if (oOpExp.getRight() == null)
          return -getDoubleValue(oOpExp.getLeft(), in_colValueAssignments);
        return getDoubleValue(oOpExp.getLeft(), in_colValueAssignments) - 
        getDoubleValue(oOpExp.getRight(), in_colValueAssignments);
      } else if (oOpExp.getOperationName().compareTo("*") == 0) {
        return getDoubleValue(oOpExp.getLeft(), in_colValueAssignments) * 
        getDoubleValue(oOpExp.getRight(), in_colValueAssignments);
      } else if (oOpExp.getOperationName().compareTo("/") == 0) {
        return getDoubleValue(oOpExp.getLeft(), in_colValueAssignments) / 
        getDoubleValue(oOpExp.getRight(), in_colValueAssignments);
      }
      // TODO weitere Operationen einf�gen
    }
    return null;
  }

View Full Code Here

      if (oPropExp.getElement() instanceof IntegerLiteralExp) {
        IntegerLiteralExp oIntExp = (IntegerLiteralExp) oPropExp.getElement();
        return oIntExp.getIntegerSymbol();
      }      
    } else if (in_oTCGOCLExpression instanceof TCGOCLOperation) {
      TCGOCLOperation oOpExp = (TCGOCLOperation) in_oTCGOCLExpression;
      if (oOpExp.getOperationName().compareTo("+") == 0) {
        return getIntegerValue(oOpExp.getLeft()) + getIntegerValue(oOpExp.getRight());
//        Integer i1 = getIntegerValue(oOpExp.getLeft());
//        Integer i2 = getIntegerValue(oOpExp.getRight());
//        if(i1 == null || i2 == null)
//          return null;
//        return i1 + i2;
      } else if (oOpExp.getOperationName().compareTo("-") == 0) {
        // TODO f�r un�re Operationen neuen Typ einf�hren
        if (oOpExp.getLeft() == null)
          return -getIntegerValue(oOpExp.getRight());
        if (oOpExp.getRight() == null)
          return -getIntegerValue(oOpExp.getLeft());
        return getIntegerValue(oOpExp.getLeft()) - getIntegerValue(oOpExp.getRight());
      } else if (oOpExp.getOperationName().compareTo("*") == 0) {
        return getIntegerValue(oOpExp.getLeft()) * getIntegerValue(oOpExp.getRight());
      } else if (oOpExp.getOperationName().compareTo("/") == 0) {
        int left = getIntegerValue(oOpExp.getLeft());
        int right = getIntegerValue(oOpExp.getRight());
        if (left % right != 0) {
          setLastIntegerComputationWasIncorrect(true);
        }
        return left / right;
//        return getIntegerValue(oOpExp.getLeft()) / getIntegerValue(oOpExp.getRight());

View Full Code Here

      }


      return getIntegerValue(in_oTCGOCLExpression);
  
    } else if (in_oTCGOCLExpression instanceof TCGOCLOperation) {
      TCGOCLOperation oOpExp = (TCGOCLOperation) in_oTCGOCLExpression;
      if (oOpExp.getOperationName().compareTo("+") == 0) {
        return getIntegerValue(oOpExp.getLeft(), in_colValueAssignments) + 
        getIntegerValue(oOpExp.getRight(), in_colValueAssignments);
      } else if (oOpExp.getOperationName().compareTo("-") == 0) {
        // TODO f�r un�re Operationen neuen Typ einf�hren
        if (oOpExp.getLeft() == null)
          return -getIntegerValue(oOpExp.getRight(), in_colValueAssignments);
        if (oOpExp.getRight() == null)
          return -getIntegerValue(oOpExp.getLeft(), in_colValueAssignments);
        return getIntegerValue(oOpExp.getLeft(), in_colValueAssignments) - 
        getIntegerValue(oOpExp.getRight(), in_colValueAssignments);
      } else if (oOpExp.getOperationName().compareTo("*") == 0) {
        return getIntegerValue(oOpExp.getLeft(), in_colValueAssignments) * 
        getIntegerValue(oOpExp.getRight(), in_colValueAssignments);
      } else if (oOpExp.getOperationName().compareTo("/") == 0) {
        return getIntegerValue(oOpExp.getLeft(), in_colValueAssignments) / 
        getIntegerValue(oOpExp.getRight(), in_colValueAssignments);
      }
      // TODO weitere Operationen einf�gen
    }
    return null;
  }

View Full Code Here

        if(oValue != null)
          oRetValuePair = new Pair<Integer, Integer>(oValue, oValue);
      }
    }
    else if (in_oTCGOCLExpression instanceof TCGOCLOperation) {
      TCGOCLOperation oOpExp = (TCGOCLOperation) in_oTCGOCLExpression;
      Pair<Integer, Integer> oFirstPair = getIntegerValuePair(
          oOpExp.getLeft(), in_colCurrentValueAssignment, in_colCurrentValueRanges);
      Pair<Integer, Integer> oSecondPair = getIntegerValuePair(
          oOpExp.getRight(), in_colCurrentValueAssignment, in_colCurrentValueRanges); 


      if (oOpExp.getOperationName().compareTo("+") == 0) {
        if(oFirstPair != null && oSecondPair != null)
          oRetValuePair = new Pair<Integer, Integer>(
            oFirstPair.getFirst().intValue() + oSecondPair.getFirst().intValue(),
            oFirstPair.getSecond().intValue() + oSecondPair.getSecond().intValue());
      } else if (oOpExp.getOperationName().compareTo("-") == 0) {
        // TODO f�r un�re Operationen neuen Typ einf�hren
        if (oFirstPair == null) { 
          if(oSecondPair != null)
            oRetValuePair = new Pair<Integer, Integer>(
              -oSecondPair.getSecond().intValue(), 
              -oSecondPair.getFirst().intValue());
        }
        else if (oSecondPair == null) {
          if(oFirstPair != null)
            oRetValuePair = new Pair<Integer, Integer>(
              -oFirstPair.getSecond().intValue(), 
              -oFirstPair.getFirst().intValue());
        }
        else {
          oRetValuePair = new Pair<Integer, Integer>(
              oFirstPair.getFirst().intValue() - oSecondPair.getSecond().intValue(), 
              oFirstPair.getSecond().intValue() - oSecondPair.getFirst().intValue());
        }
      } else if (oOpExp.getOperationName().compareTo("*") == 0) {
        if(oFirstPair != null && oSecondPair != null) {
          int nMaxValue = Math.max(oFirstPair.getFirst().intValue() * oSecondPair.getFirst().intValue(), 
              oFirstPair.getSecond().intValue() * oSecondPair.getSecond().intValue());
          int nMinValue = Math.min(
              oFirstPair.getFirst().intValue() * oSecondPair.getFirst().intValue(),
              Math.min(
                  oFirstPair.getFirst().intValue() * oSecondPair.getSecond().intValue(),
                  oFirstPair.getSecond().intValue() * oSecondPair.getFirst().intValue()));
  
          oRetValuePair = new Pair<Integer, Integer>(nMinValue, nMaxValue);
        }
      } else if (oOpExp.getOperationName().compareTo("/") == 0) {
        if(oFirstPair != null && oSecondPair != null) {
          int nMaxValue = Integer.MAX_VALUE;
          if(!(oSecondPair.getFirst().intValue() <= 0 &&
              oSecondPair.getSecond().intValue() >= 0) ||
              oFirstPair.getSecond() <= 0) {

View Full Code Here

        BooleanLiteralExp oBLExp = (BooleanLiteralExp) oPropExp.getElement();
        return oBLExp.getBooleanSymbol();
      }
    }
    else if (in_oTCGOCLExpression instanceof TCGOCLOperation) {
      TCGOCLOperation oOpExp = (TCGOCLOperation) in_oTCGOCLExpression;
      if (oOpExp.getOperationName().equals("and")) {
        return getBooleanValueIfNegative(oOpExp.getLeft()) && getBooleanValueIfNegative(oOpExp.getRight());
      } else if (oOpExp.getOperationName().equals("or")) {
        return getBooleanValueIfNegative(oOpExp.getLeft()) || getBooleanValueIfNegative(oOpExp.getRight());
      } else if (oOpExp.getOperationName().equals("not")) {
        // TODO f�r un�re Operationen neuen Typ einf�hren
        if (oOpExp.getLeft() == null)
          return !getBooleanValueIfNegative(oOpExp.getRight());
        if (oOpExp.getRight() == null)
          return !getBooleanValueIfNegative(oOpExp.getLeft());
        throw new Exception("\"not\" was not interpreted correctly in getBooleanValue()");
        //return false;
      }
      // check if this is a constant expression:
      List<TCGOCLAtom> colAtoms = TCGOCLExpressionHelperClass.

View Full Code Here

0 1 2 3 4 5

TOP

Related Classes of net.sf.parteg.base.testcasegraph.generated.TCGOCLOperation

net.amin.mobateg.helper.generatennittest.GenerateJUnitTest

net.sf.parteg.base.testcasegraph.decisiontables.DecisionTableFlat

net.sf.parteg.base.testcasegraph.decisiontables.DecisionTableHierarchy

net.sf.parteg.base.testcasegraph.decisiontables.DecisionTableRowEvaluator

net.sf.parteg.base.testcasegraph.generated.util.GeneratedSwitch

net.sf.parteg.base.testcasegraph.helperclasses.TCGConjunctionHelperClass

net.sf.parteg.base.testcasegraph.helperclasses.TCGDisjunctiveNormalFormHelperClass

net.sf.parteg.base.testcasegraph.helperclasses.TCGOCLExpressionHelperClass

net.sf.parteg.base.testcasegraph.helperclasses.VariableReferencer

net.sf.parteg.base.testcasegraph.ocl.parser.OCLTreeAtomicExpressionFinderVisitor

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.