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

Package net.sf.parteg.base.testcasetree.generated

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

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

        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

        if(oAtomExp.getElement().equals(in_oProperty))
        {
          oClassificator.shiftSubexpressionToTheLeft(oActiveExpression);
          if(oClassificator.getExpression() instanceof TCGOCLOperation)
          {
            TCGOCLOperation oOperation = (TCGOCLOperation)oClassificator.getExpression();
            TCGOCLVariableClassificator oRightSubClassificator = new TCGOCLVariableClassificator(oOperation.getRight());
            
            // does the right side contain an active dependent element? -> schwierig -> daf�r oActiveExpression und
            // oActiveSubExpression auseinanderhalten !
            //TCGOCLExpression oActiveSubExpression = oRightSubClassificator.getClassifiedElementInExpression(VariableClassification.ACTIVE_DEPENDENT);

View Full Code Here

            in_oPrecondition, oAtomPostExp.getElement()))
        {
          oClassificator.shiftSubexpressionToTheLeft(oActivePostExpression);
          if(oClassificator.getExpression() instanceof TCGOCLOperation)
          {
            TCGOCLOperation oOperation = 
              (TCGOCLOperation)oClassificator.getExpression();
            TCGOCLVariableClassificator oRightSubClassificator = 
              new TCGOCLVariableClassificator(oOperation.getRight());
            
            // does the right side contain a passive dependent element?
            TCGOCLExpression oPassiveDependentSubExpression = oRightSubClassificator.getClassifiedElementInExpression(VariableClassification.PASSIVE_DEPENDENT);
            TCGOCLExpression oInputParameterSubExpression = oRightSubClassificator.getClassifiedElementInExpression(VariableClassification.INPUT_PARAMETER);
            if((oPassiveDependentSubExpression != null) || (oInputParameterSubExpression != null))

View Full Code Here

  
  private static TCGOCLExpression connectPreconditionAndPostcondition(
      TCGOCLExpression in_oPrecondition, 
      TCGOCLExpression in_oPostcondition)
  {
    TCGOCLOperation oExpression = null;
    if(in_oPrecondition instanceof TCGOCLOperation &&
        in_oPostcondition instanceof TCGOCLOperation)
    {
      TCGOCLOperation oPrecondition = (TCGOCLOperation)in_oPrecondition;
      TCGOCLOperation oPostcondition = (TCGOCLOperation)in_oPostcondition;
      // both conditions have the dependent property on the left side


      // all missing combinations of relations cannot be evaluated
      if((oPrecondition.getOperationName().compareTo("<") == 0 && oPostcondition.getOperationName().compareTo("<") == 0) ||
          (oPrecondition.getOperationName().compareTo("<") == 0 && oPostcondition.getOperationName().compareTo("<=") == 0) ||
          (oPrecondition.getOperationName().compareTo("<") == 0 && oPostcondition.getOperationName().compareTo("=") == 0) ||
          (oPrecondition.getOperationName().compareTo("<=") == 0 && oPostcondition.getOperationName().compareTo("<") == 0) ||
          (oPrecondition.getOperationName().compareTo("=") == 0 && oPostcondition.getOperationName().compareTo("<") == 0)) {
        oExpression = GeneratedFactory.eINSTANCE.createTCGOCLOperation();
        oExpression.setOperationName("<");
      }
      else if((oPrecondition.getOperationName().compareTo("<=") == 0 && oPostcondition.getOperationName().compareTo("<=") == 0) ||
          (oPrecondition.getOperationName().compareTo("<=") == 0 && oPostcondition.getOperationName().compareTo("=") == 0) ||
          (oPrecondition.getOperationName().compareTo("=") == 0 && oPostcondition.getOperationName().compareTo("<=") == 0)) {
        oExpression = GeneratedFactory.eINSTANCE.createTCGOCLOperation();
        oExpression.setOperationName("<=");
      }
      else if(oPrecondition.getOperationName().compareTo("=") == 0 && oPostcondition.getOperationName().compareTo("=") == 0) {
        oExpression = GeneratedFactory.eINSTANCE.createTCGOCLOperation();
        oExpression.setOperationName("=");
      }
      else if((oPrecondition.getOperationName().compareTo("=") == 0 && oPostcondition.getOperationName().compareTo(">=") == 0) ||
          (oPrecondition.getOperationName().compareTo(">=") == 0 && oPostcondition.getOperationName().compareTo("=") == 0) ||
          (oPrecondition.getOperationName().compareTo(">=") == 0 && oPostcondition.getOperationName().compareTo(">=") == 0)) {
        oExpression = GeneratedFactory.eINSTANCE.createTCGOCLOperation();
        oExpression.setOperationName(">=");
      }
      else if((oPrecondition.getOperationName().compareTo("=") == 0 && oPostcondition.getOperationName().compareTo(">") == 0) ||
          (oPrecondition.getOperationName().compareTo(">=") == 0 && oPostcondition.getOperationName().compareTo(">") == 0) ||
          (oPrecondition.getOperationName().compareTo(">") == 0 && oPostcondition.getOperationName().compareTo("=") == 0) ||
          (oPrecondition.getOperationName().compareTo(">") == 0 && oPostcondition.getOperationName().compareTo(">=") == 0) ||
          (oPrecondition.getOperationName().compareTo(">") == 0 && oPostcondition.getOperationName().compareTo(">") == 0)) {
        oExpression = GeneratedFactory.eINSTANCE.createTCGOCLOperation();
        oExpression.setOperationName(">");
      }


      // got new expression -> also add copies of the left and the right part
      if(oExpression != null)
      {
        // just referencing the used sides of the original conditions is error-prone
        // -> in the following these sides are altered -> this would affect also the original conditions!
        oExpression.setLeft(copyExpression(oPostcondition.getRight()));
        oExpression.setRight(copyExpression(oPrecondition.getRight()));
        ExpressionConverter.normalizeExpression(oExpression);
      }
    }    
    return oExpression;

View Full Code Here

        oNewAtom.setTcgParameter(oOldAtom.getTcgParameter());
        oTCGOCLExpression = oNewAtom;
      }
      else if(in_oExpression instanceof TCGOCLOperation)
      {
        TCGOCLOperation oOldOperation = (TCGOCLOperation)in_oExpression;
        TCGOCLOperation oNewOperation = GeneratedFactory.eINSTANCE.createTCGOCLOperation();
        oNewOperation.setOperation(oOldOperation.getOperation());
        oNewOperation.setOperationName(oOldOperation.getOperationName());
        oNewOperation.setLeft(copyExpression(oOldOperation.getLeft()));
        oNewOperation.setRight(copyExpression(oOldOperation.getRight()));
        oTCGOCLExpression = oNewOperation;
      }
      oTCGOCLExpression.setClassification(in_oExpression.getClassification());
      oTCGOCLExpression.setOclReference(in_oExpression.getOclReference());
    }

View Full Code Here

          (oClassificator.getNumberOfInputParameter() == 0))
      {
        try {
          if(oExpression instanceof TCGOCLOperation)
          {
            TCGOCLOperation oOperation = (TCGOCLOperation)oExpression;
            double nLeftValue = ExpressionConverter.getValue(oOperation.getLeft());
            double nRightValue = ExpressionConverter.getValue(oOperation.getRight());
            if((oOperation.getOperationName().compareTo("<") == 0) && (nLeftValue >= nRightValue))
              return true;
            if((oOperation.getOperationName().compareTo("<=") == 0) && (nLeftValue > nRightValue))
              return true;
            if((oOperation.getOperationName().compareTo("=") == 0) && (nLeftValue != nRightValue))
              return true;
            if((oOperation.getOperationName().compareTo(">=") == 0) && (nLeftValue < nRightValue))
              return true;
            if((oOperation.getOperationName().compareTo(">") == 0) && (nLeftValue <= nRightValue))
              return true;
          }
        }
        catch(Exception e)
        {

View Full Code Here

    {
      return ((TCGOCLAtom)in_oOCLExpression).getElement().equals(in_oReferencedObject);
    }
    else if(in_oOCLExpression instanceof TCGOCLOperation)
    {
      TCGOCLOperation oOpExp = (TCGOCLOperation)in_oOCLExpression;
      return conditionContainsReferenceToObject(oOpExp.getLeft(), in_oReferencedObject) ||
        conditionContainsReferenceToObject(oOpExp.getRight(), in_oReferencedObject);
    }
    else if(in_oOCLExpression instanceof TCGOCLIfThenElse)
    {
      TCGOCLIfThenElse oIfThenElseExp = (TCGOCLIfThenElse)in_oOCLExpression;
      return conditionContainsReferenceToObject(oIfThenElseExp.getCondition(), in_oReferencedObject) ||

View Full Code Here

    try {
      TCGEquivalenceClass oEqClass = DomainHelper.createDefaultEquivalenceClass();
      
      if(in_oCondition instanceof TCGOCLOperation)
      {
        TCGOCLOperation oCallExp = (TCGOCLOperation)in_oCondition;
        double dValue = getValue((TCGOCLExpression)oCallExp.getRight());
        DomainHelper.adaptDomain(oEqClass, dValue, oCallExp.getOperationName(), false);
      }
      return oEqClass;
    }
    catch(Exception e)
    {

View Full Code Here

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

View Full Code Here

    if(in_oExpression == null)
      return oDNF;
    
    if(in_oExpression instanceof TCGOCLOperation)
    {
      TCGOCLOperation oOpExp = (TCGOCLOperation)in_oExpression;


      // TODO f�r alle andere booleschen Operatoren erweitern
      if(oOpExp.getOperationName().compareTo("and") == 0)
      {
        TCGDisjunctiveNormalForm oLeftDNF = createDisjunctiveNormalForm(oOpExp.getLeft());
        TCGDisjunctiveNormalForm oRightDNF = createDisjunctiveNormalForm(oOpExp.getRight());
        return connectTwoDNFWithAnd(oLeftDNF, oRightDNF);
      }


      if(oOpExp.getOperationName().compareTo("or") == 0)
      {
        TCGDisjunctiveNormalForm oLeftDNF = createDisjunctiveNormalForm(oOpExp.getLeft());
        TCGDisjunctiveNormalForm oRightDNF = createDisjunctiveNormalForm(oOpExp.getRight());
        return connectTwoDNFWithOr(oLeftDNF, oRightDNF);


//        DisjunctiveNormalForm oFirstDNF = new DisjunctiveNormalForm();
//        {
//          TCGOCLExpression oFirstExp = TestCaseGraphHelper.copyExpression(oOpExp.getLeft());
//          TCGOCLExpression oSecondExp = TestCaseGraphHelper.copyExpression(oOpExp.getRight());
//          Conjunction oFirstConjunction = new Conjunction();
//          oFirstConjunction.getExpressions().add(oFirstExp);
//          oFirstConjunction.getExpressions().add(oSecondExp);
//          oFirstDNF.getConjunctions().add(oFirstConjunction);
//        }
//
//        DisjunctiveNormalForm oSecondDNF = new DisjunctiveNormalForm();
//        {
//          TCGOCLExpression oFirstExp = TestCaseGraphHelper.copyExpression(oOpExp.getLeft());
//          negateTCGOCLExpression(oFirstExp);
//          TCGOCLExpression oSecondExp = TestCaseGraphHelper.copyExpression(oOpExp.getRight());
//          Conjunction oFirstConjunction = new Conjunction();
//          oFirstConjunction.getExpressions().add(oFirstExp);
//          oFirstConjunction.getExpressions().add(oSecondExp);
//          oSecondDNF.getConjunctions().add(oFirstConjunction);
//        }
//        
//        DisjunctiveNormalForm oThirdDNF = new DisjunctiveNormalForm();
//        {
//          TCGOCLExpression oFirstExp = TestCaseGraphHelper.copyExpression(oOpExp.getLeft());
//          TCGOCLExpression oSecondExp = TestCaseGraphHelper.copyExpression(oOpExp.getRight());
//          negateTCGOCLExpression(oSecondExp);
//          Conjunction oFirstConjunction = new Conjunction();
//          oFirstConjunction.getExpressions().add(oFirstExp);
//          oFirstConjunction.getExpressions().add(oSecondExp);
//          oThirdDNF.getConjunctions().add(oFirstConjunction);
//        }
//        
//        return connectTwoDNFWithOr(oFirstDNF, connectTwoDNFWithOr(oSecondDNF, oThirdDNF));
      }


      if(oOpExp.getOperationName().compareTo("not") == 0)
      {
        // negation has to be applicated to all sub-expressions
        // TODO: introduce unary operation - which side holds the information?
        if(oOpExp.getLeft() != null)
        {
          oOpExp.setLeft(negateTCGOCLExpression(oOpExp.getLeft()));
          return createDisjunctiveNormalForm(oOpExp.getLeft());
        }
        else if(oOpExp.getRight() != null)
        {
          oOpExp.setRight(negateTCGOCLExpression(oOpExp.getRight()));
          return createDisjunctiveNormalForm(oOpExp.getRight());
        }
      }


      if(oOpExp.getOperationName().compareTo("<>") == 0)
      {
        // split up "<>" in two alternatives: "<" or ">"
        TCGOCLOperation oFirstExp = (TCGOCLOperation)TestCaseGraphHelper.copyExpression(oOpExp);
        oFirstExp.setOperationName("<");
        TCGConjunction oFirstConjunction = GeneratedFactory.eINSTANCE.createTCGConjunction();
        oFirstConjunction.getExpressions().add(oFirstExp);


        TCGOCLOperation oSecondExp = (TCGOCLOperation)TestCaseGraphHelper.copyExpression(oOpExp);
        oSecondExp.setOperationName(">");
        TCGConjunction oSecondConjunction = GeneratedFactory.eINSTANCE.createTCGConjunction();
        oSecondConjunction.getExpressions().add(oSecondExp);


        TCGDisjunctiveNormalForm oNewDNF = GeneratedFactory.eINSTANCE.createTCGDisjunctiveNormalForm();
        oNewDNF.getConjunctions().add(oFirstConjunction);

View Full Code Here

0 1

TOP

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

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

net.sf.parteg.base.testcasetree.helperclasses.TCGOCLExpressionHelperClass

net.sf.parteg.base.testcasetree.ocl.ExpressionConverter

net.sf.parteg.base.testcasetree.ocl.parser.OCLTreeExpressionIterator

net.sf.parteg.base.testcasetree.ocl.parser.TCGOCLVariableClassificator

net.sf.parteg.base.testcasetree.ocl.TestCaseGraphHelper

net.sf.parteg.base.testcasetree.ocl.transformation.TransformOCLToTCGOCL

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.