Examples of TCGConjunction


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

    return oConjunction;
  }
 
  public static TCGConjunction copyConjunctionDeep(TCGConjunction in_oConjunction)
  {
    TCGConjunction oConjunction = GeneratedFactory.eINSTANCE.createTCGConjunction();
    for(TCGOCLExpression oExpression : in_oConjunction.getExpressions())
    {
      oConjunction.getExpressions().add(TCGOCLExpressionHelperClass.copyExpression(oExpression));     
    }
    oConjunction.setPositiveSubExpressionOfOriginal(in_oConjunction.isPositiveSubExpressionOfOriginal());
    return oConjunction;
  }
View Full Code Here

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

      {
        for(TCGConjunction oRunningConjunction : in_colConjunctionLists.get(in_nCurrentConjunctionIndex))
        {
          for(TCGConjunction oExistingConjunction : io_colConjunctions)
          {
            TCGConjunction oNewDNF = copyConjunction(oExistingConjunction);
            oNewDNF.getExpressions().addAll(oRunningConjunction.getExpressions());
            colConjunctions.add(oNewDNF);
          }
        }
      }
      io_colConjunctions.clear();
View Full Code Here

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

        T result = caseTCGOCLExpression(tcgoclExpression);
        if (result == null) result = defaultCase(theEObject);
        return result;
      }
      case GeneratedPackage.TCG_CONJUNCTION: {
        TCGConjunction tcgConjunction = (TCGConjunction)theEObject;
        T result = caseTCGConjunction(tcgConjunction);
        if (result == null) result = defaultCase(theEObject);
        return result;
      }
      case GeneratedPackage.TCG_DISJUNCTIVE_NORMAL_FORM: {
View Full Code Here

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

    {
      bFoundInequation = false;
      for(TCGDisjunctiveNormalForm oDNF : colRetValues)
      {
        ArrayList<TCGConjunction> colAddedConjunctions = new ArrayList<TCGConjunction>();
        TCGConjunction oRemovedConjunctions = null;
        CONJUNCTION: for(TCGConjunction oConjunction : oDNF.getConjunctions())
        {
          for(TCGOCLExpression oExpression : oConjunction.getExpressions())
          {
            if(oExpression instanceof TCGOCLOperation)
            {
              ArrayList<TCGOCLExpression> colExpressions =
                TCGOCLExpressionHelperClass.splitUpInequationToExpressionList((TCGOCLOperation)oExpression);
              if(!colExpressions.isEmpty()) // replaced inequations
              {
                oConjunction.getExpressions().remove(oExpression);
                TCGConjunction oNewConjunction =
                  TCGConjunctionHelperClass.copyConjunctionDeep(oConjunction);
               
                oConjunction.getExpressions().add(colExpressions.get(0));
                oNewConjunction.getExpressions().add(colExpressions.get(1));
                oNewConjunction.setPositiveSubExpressionOfOriginal(
                    oConjunction.isPositiveSubExpressionOfOriginal());
                colAddedConjunctions.add(oConjunction);
                colAddedConjunctions.add(oNewConjunction);
                oRemovedConjunctions = oConjunction;
                bFoundInequation = true;
View Full Code Here

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

    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

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

          new LinkedHashMap<TCGConjunction, ArrayList<TCGConjunction>>();
        HashMap<TCGConjunction, ArrayList<TCGConjunction>> colNegativeMapFromOriginalToChangedConjunctions =
          new LinkedHashMap<TCGConjunction, ArrayList<TCGConjunction>>();
 
        // this is the only positive and unchanged conjunction - all others are changed in every possible way
        TCGConjunction oCurrentConjunction = in_oOriginalDNF.getConjunctions().get(i);
       
        ArrayList<TCGConjunction> colPositiveConjunctions =
          new ArrayList<TCGConjunction>();
        colPositiveConjunctions.add(oCurrentConjunction);
       
View Full Code Here

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

           
            for(int nConjunctionCounter = 0;
              nConjunctionCounter < oDNF.getConjunctions().size();
              ++nConjunctionCounter)
            {
              TCGConjunction oConjunction = oDNF.getConjunctions().get(nConjunctionCounter);
              if(nConjunctionCounter != 0)
                in_oFormattedOutput.append(" || ");
              if(bMoreThanOneConjunction == true)
                in_oFormattedOutput.append("(");
             
              for(int nExpressionCounter = 0;
                nExpressionCounter < oConjunction.getExpressions().size();
                ++nExpressionCounter)
              {
                TCGOCLExpression oExpression = oConjunction.getExpressions().get(nExpressionCounter);
                if(nExpressionCounter != 0)
                  in_oFormattedOutput.append(" && ");
                if(oExpression != null)
                {
                  try {
View Full Code Here

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

        T result = caseTCGOCLExpression(tcgoclExpression);
        if (result == null) result = defaultCase(theEObject);
        return result;
      }
      case GeneratedPackage.TCG_CONJUNCTION: {
        TCGConjunction tcgConjunction = (TCGConjunction)theEObject;
        T result = caseTCGConjunction(tcgConjunction);
        if (result == null) result = defaultCase(theEObject);
        return result;
      }
      case GeneratedPackage.TCG_DISJUNCTIVE_NORMAL_FORM: {
View Full Code Here

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

      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;
View Full Code Here

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

    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
TOP
Copyright © 2018 www.massapi.com. All rights reserved.
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.