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

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

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

net.sf.parteg.base.testcasetree.generated.TCGDisjunctiveNormalForm
A representation of the model object 'TCG Disjunctive Normal Form'.
The following features are supported:
- {@link net.sf.parteg.base.testcasetree.generated.TCGDisjunctiveNormalForm#getConjunctions Conjunctions}
@see net.sf.parteg.base.testcasetree.generated.GeneratedPackage#getTCGDisjunctiveNormalForm() @model @generated

        T result = caseTCGConjunction(tcgConjunction);
        if (result == null) result = defaultCase(theEObject);
        return result;
      }
      case GeneratedPackage.TCG_DISJUNCTIVE_NORMAL_FORM: {
        TCGDisjunctiveNormalForm tcgDisjunctiveNormalForm = (TCGDisjunctiveNormalForm)theEObject;
        T result = caseTCGDisjunctiveNormalForm(tcgDisjunctiveNormalForm);
        if (result == null) result = defaultCase(theEObject);
        return result;
      }
      case GeneratedPackage.TCGOCL_OPERATION: {

View Full Code Here

    {
      // transform OCL to TCGOCL 
      TCGOCLExpression oTCGOCLExp = TransformOCLToTCGOCL.transformExpression(
          in_oExpression, Configuration.getOCLGuardId(), in_oContextClass);
      // transform to DNF
      TCGDisjunctiveNormalForm oDNF = ExpressionConverter.createDisjunctiveNormalForm(oTCGOCLExp);
      // add expressions for coverage criterion
      ExpressionConverter.addConjunctionsForCoverageCriterion(oDNF);
      
      // work on each conjunction
      for(TCGConjunction oConjunction : oDNF.getConjunctions())
      {
        if(conditionsInConjunctionAreContradicting(oConjunction))
        {
          bReachingTransitionBearsConflicts = true;
        }

View Full Code Here

      String in_sOCLKind)
  {
    TCGOCLExpression oTCGOCLExp = TransformOCLToTCGOCL.transformExpression(
        in_oOCLExpression, in_sOCLKind, in_oNamespace);
    // transform to DNF
    TCGDisjunctiveNormalForm oDNF = ExpressionConverter.createDisjunctiveNormalForm(oTCGOCLExp);
    return oDNF;
  }

View Full Code Here

    ArrayList<TCGNode> colNodes = new ArrayList<TCGNode>();
    // transform OCL to TCGOCL 
    TCGOCLExpression oTCGOCLExp = TransformOCLToTCGOCL.transformExpression(
        in_oExpression, Configuration.getOCLPreId(), in_oContextClass);
    // transform to DNF
    TCGDisjunctiveNormalForm oDNF = ExpressionConverter.createDisjunctiveNormalForm(oTCGOCLExp);
    // add expressions for coverage criterion
    ExpressionConverter.addConjunctionsForCoverageCriterion(oDNF);


    for(TCGConjunction oConjunction : oDNF.getConjunctions())
    {
      TCGTransition oTransition = createTCGPart(in_oTCGNode, in_oOperation.getName());


      if(oTransition != null)
      {

View Full Code Here

      org.eclipse.uml2.uml.Class in_oContextClass)
  {
    ArrayList<TCGNode> colNodes = new ArrayList<TCGNode>();
    TCGOCLExpression oTCGOCLExp = TransformOCLToTCGOCL.transformExpression(
        in_oExpression, Configuration.getOCLPostId(), in_oContextClass);
    TCGDisjunctiveNormalForm oDNF = ExpressionConverter.createDisjunctiveNormalForm(oTCGOCLExp);
    for(TCGConjunction oConjunction : oDNF.getConjunctions())
    {
      TCGTransition oTransition = createTCGPart(in_oTCGNode, in_oOperation.getName());
      if(oTransition != null)
      {
        // remember original expression

View Full Code Here

   * <!-- begin-user-doc -->
   * <!-- end-user-doc -->
   * @generated
   */
  public NotificationChain basicSetPrecondition(TCGDisjunctiveNormalForm newPrecondition, NotificationChain msgs) {
    TCGDisjunctiveNormalForm oldPrecondition = precondition;
    precondition = newPrecondition;
    if (eNotificationRequired()) {
      ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, GeneratedPackage.TCG_TRANSITION__PRECONDITION, oldPrecondition, newPrecondition);
      if (msgs == null) msgs = notification; else msgs.add(notification);
    }

View Full Code Here

   * <!-- begin-user-doc -->
   * <!-- end-user-doc -->
   * @generated
   */
  public NotificationChain basicSetPostcondition(TCGDisjunctiveNormalForm newPostcondition, NotificationChain msgs) {
    TCGDisjunctiveNormalForm oldPostcondition = postcondition;
    postcondition = newPostcondition;
    if (eNotificationRequired()) {
      ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, GeneratedPackage.TCG_TRANSITION__POSTCONDITION, oldPostcondition, newPostcondition);
      if (msgs == null) msgs = notification; else msgs.add(notification);
    }

View Full Code Here

   * creates the conjunctive normal form of in_oExpression
   */
  public static TCGDisjunctiveNormalForm createDisjunctiveNormalForm(
      TCGOCLExpression in_oExpression)
  {
    TCGDisjunctiveNormalForm oDNF = GeneratedFactory.eINSTANCE.createTCGDisjunctiveNormalForm();    
    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);
        oNewDNF.getConjunctions().add(oSecondConjunction);
        return oNewDNF;
      }


      /*if(oOpExp.getOperationName().compareTo("not removed") == 0)
      {
        if(oOpExp.getLeft() != null)
        {
          return createDisjunctiveNormalForm(oOpExp.getLeft());
        }
        else if(oOpExp.getRight() != null)
        {
          return createDisjunctiveNormalForm(oOpExp.getRight());
        }
      }  */    
    }
    else if(in_oExpression instanceof TCGOCLIfThenElse)
    {
      TCGOCLIfThenElse oTCGIfThenElse = (TCGOCLIfThenElse)in_oExpression;
      
      // condition satisfied
      TCGDisjunctiveNormalForm oConditionDNF = createDisjunctiveNormalForm(oTCGIfThenElse.getCondition());
      TCGDisjunctiveNormalForm oThenDNF = createDisjunctiveNormalForm(oTCGIfThenElse.getThenExpression());
      TCGDisjunctiveNormalForm oSatisfiedDNF = connectTwoDNFWithAnd(oConditionDNF, oThenDNF);
      
      // condition violated
      negateTCGOCLExpression(oTCGIfThenElse.getCondition());
      TCGDisjunctiveNormalForm oNotConditionDNF = createDisjunctiveNormalForm(oTCGIfThenElse.getCondition());
      TCGDisjunctiveNormalForm oElseDNF = createDisjunctiveNormalForm(oTCGIfThenElse.getElseExpression());
      TCGDisjunctiveNormalForm oViolatedDNF = connectTwoDNFWithAnd(oNotConditionDNF, oElseDNF);
      
      return connectTwoDNFWithOr(oSatisfiedDNF, oViolatedDNF); 
    }


    oDNF.getConjunctions().add(GeneratedFactory.eINSTANCE.createTCGConjunction());

View Full Code Here

  }
  
  private static TCGDisjunctiveNormalForm connectTwoDNFWithAnd(
      TCGDisjunctiveNormalForm in_oLeftDNF, TCGDisjunctiveNormalForm in_oRightDNF)
  {
    TCGDisjunctiveNormalForm oResultDNF = GeneratedFactory.eINSTANCE.createTCGDisjunctiveNormalForm();
    for(TCGConjunction oLeftConjunction : in_oLeftDNF.getConjunctions())
    {
      for(TCGConjunction oRightConjunction : in_oRightDNF.getConjunctions())
      {
        TCGConjunction oNewConjunction = GeneratedFactory.eINSTANCE.createTCGConjunction();
        oNewConjunction.getExpressions().addAll(oLeftConjunction.getExpressions());
        oNewConjunction.getExpressions().addAll(oRightConjunction.getExpressions());
        oResultDNF.getConjunctions().add(oNewConjunction);
      }
    }
    return oResultDNF;
  }

View Full Code Here

  }
  
  private static TCGDisjunctiveNormalForm connectTwoDNFWithOr(
      TCGDisjunctiveNormalForm in_oLeftDNF, TCGDisjunctiveNormalForm in_oRightDNF)
  {
    TCGDisjunctiveNormalForm oResultDNF = GeneratedFactory.eINSTANCE.createTCGDisjunctiveNormalForm();
    for(TCGConjunction oLeftConjunction : in_oLeftDNF.getConjunctions())
    {
      oResultDNF.getConjunctions().add(oLeftConjunction);
    }
    for(TCGConjunction oRightConjunction : in_oRightDNF.getConjunctions())
    {
      oResultDNF.getConjunctions().add(oRightConjunction);
    }
    return oResultDNF;
  }

View Full Code Here

0 1

TOP

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

net.sf.parteg.base.testcasetree.generated.impl.TCGTransitionImpl

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

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

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

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.