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

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

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

net.sf.parteg.base.testcasegraph.generated.TCGConjunction
A representation of the model object 'TCG Conjunction'.
The following features are supported:
- {@link net.sf.parteg.base.testcasegraph.generated.TCGConjunction#getExpressions Expressions}
- {@link net.sf.parteg.base.testcasegraph.generated.TCGConjunction#isCanChangeValueIfOneExpressionChanges Can Change Value If One Expression Changes}
- {@link net.sf.parteg.base.testcasegraph.generated.TCGConjunction#isPositiveSubExpressionOfOriginal Positive Sub Expression Of Original}
@see net.sf.parteg.base.testcasegraph.generated.GeneratedPackage#getTCGConjunction() @model @generated

    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

      {
        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

        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

    {
      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

    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

          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

            
            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

0 1

TOP

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

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.TCGTransitionInstanceHelperClass

net.sf.parteg.base.testcasegraph.testgeneration.TestCaseGeneratorRunner

net.sf.parteg.base.testcasegraph.testgoals.TestGoalGenerator

net.sf.parteg.base.testcasegraph.testgoals.TestGoalGuardConditions

net.sf.parteg.output.testgraph.languages.TestCaseGraphOutputOO

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.