Examples of TCGOCLIfThenElse

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

190
191
192
193
194
195
196
197
198
199
200
      getPassiveDependentElements(oOperation.getLeft(), out_ReferencedVariables);
      getPassiveDependentElements(oOperation.getRight(), out_ReferencedVariables);
    }
    else if(in_oExpression instanceof TCGOCLIfThenElse)
    {
      TCGOCLIfThenElse oIfThenElse = (TCGOCLIfThenElse)in_oExpression;
      getPassiveDependentElements(oIfThenElse.getCondition(), out_ReferencedVariables);
      getPassiveDependentElements(oIfThenElse.getThenExpression(), out_ReferencedVariables);
      getPassiveDependentElements(oIfThenElse.getElseExpression(), out_ReferencedVariables);     
    }
  }
View Full Code Here

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

88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
        oOperation.setOperationName(oOpExp.getReferredOperation().getName());
        oTCGOCLExpression = oOperation;
      }
      else if(in_oExpression instanceof IfExp)
      {
        TCGOCLIfThenElse oTCGIfExp = GeneratedFactory.eINSTANCE.createTCGOCLIfThenElse();
        IfExp oIfExp = (IfExp)in_oExpression;
        oTCGIfExp.setCondition(transformExpression((OCLExpression)oIfExp.getCondition(),
            in_sOCLTypeId, oContextClass, oContextClass));
        oTCGIfExp.setThenExpression(transformExpression((OCLExpression)oIfExp.getThenExpression(),
            in_sOCLTypeId, oContextClass, oContextClass));
        oTCGIfExp.setElseExpression(transformExpression((OCLExpression)oIfExp.getElseExpression(),
            in_sOCLTypeId, oContextClass, oContextClass));
        oTCGOCLExpression = oTCGIfExp;
      }
      else if(in_oExpression instanceof EnumLiteralExp)
      {
View Full Code Here

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

300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
       * 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(), in_bSplitInequations);
      TCGDisjunctiveNormalForm oThenDNF = createDisjunctiveNormalForm(oTCGIfThenElse
          .getThenExpression(), in_bSplitInequations);
      TCGDisjunctiveNormalForm oSatisfiedDNF = connectTwoDNFWithAnd(
          oConditionDNF, oThenDNF);

      // condition violated
      oTCGIfThenElse.setCondition(net.sf.parteg.base.testcasegraph.helperclasses.TCGOCLExpressionHelperClass.negateLogicalTCGOCLExpression(oTCGIfThenElse.getCondition()));
      TCGDisjunctiveNormalForm oNotConditionDNF = createDisjunctiveNormalForm(oTCGIfThenElse
          .getCondition(), in_bSplitInequations);
      TCGDisjunctiveNormalForm oElseDNF = createDisjunctiveNormalForm(oTCGIfThenElse
          .getElseExpression(), in_bSplitInequations);
      TCGDisjunctiveNormalForm oViolatedDNF = connectTwoDNFWithAnd(
          oNotConditionDNF, oElseDNF);

      return connectTwoDNFWithOr(oSatisfiedDNF, oViolatedDNF);
View Full Code Here

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

660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
      }
    }
   
    // If-Then-Else
    else if (in_oExpression instanceof TCGOCLIfThenElse) {
      TCGOCLIfThenElse oTCGIfThenElse = (TCGOCLIfThenElse) in_oExpression;

      // condition satisfied
      if(in_oRow.get(oTCGIfThenElse.getCondition()) == true)
      {
        createRestrictedDisjunctiveNormalForm(
            oTCGIfThenElse.getCondition(),
            in_oRow, in_bSplitInequations, out_oDNF);
        createRestrictedDisjunctiveNormalForm(
            oTCGIfThenElse.getThenExpression(),
            in_oRow, in_bSplitInequations, out_oDNF);
        return;
      }
      else
      {
        // condition violated
        oTCGIfThenElse.setCondition(
            net.sf.parteg.base.testcasegraph.helperclasses.TCGOCLExpressionHelperClass.negateLogicalTCGOCLExpression(oTCGIfThenElse.getCondition()));
        createRestrictedDisjunctiveNormalForm(oTCGIfThenElse.getCondition(),
            in_oRow, in_bSplitInequations, out_oDNF);
        createRestrictedDisjunctiveNormalForm(oTCGIfThenElse.getElseExpression(),
              in_oRow, in_bSplitInequations, out_oDNF);
        return;
      }
    }
View Full Code Here

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

68
69
70
71
72
73
74
75
76
77
78
      createVariableReferences(oOperation.getLeft(), in_oTransition);
      createVariableReferences(oOperation.getRight(), in_oTransition);
    }
    else if(in_oExpression instanceof TCGOCLIfThenElse)
    {
      TCGOCLIfThenElse oIfThenElse = (TCGOCLIfThenElse)in_oExpression;
      createVariableReferences(oIfThenElse.getCondition(), in_oTransition);
      createVariableReferences(oIfThenElse.getElseExpression(), in_oTransition);
      createVariableReferences(oIfThenElse.getThenExpression(), in_oTransition);
    }
  }
View Full Code Here

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

127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
        colRows.addAll(changeRowValue(colRightNegativeRows, true));
      }
    }
    else if(in_oExpression instanceof TCGOCLIfThenElse)
    {
      TCGOCLIfThenElse oIfThenElse = (TCGOCLIfThenElse)in_oExpression;
      ArrayList<DecisionTableExpressionValueSelection> colCondRows =
        getMCDCForExpression(oIfThenElse.getCondition(), in_colAtomicExpressions);
      ArrayList<DecisionTableExpressionValueSelection> colThenRows =
        getMCDCForExpression(oIfThenElse.getThenExpression(), in_colAtomicExpressions);
      ArrayList<DecisionTableExpressionValueSelection> colElseRows =
        getMCDCForExpression(oIfThenElse.getElseExpression(), in_colAtomicExpressions);
     
      ArrayList<DecisionTableExpressionValueSelection> colCondPositiveRows =
        new ArrayList<DecisionTableExpressionValueSelection>();
      ArrayList<DecisionTableExpressionValueSelection> colCondNegativeRows =
        new ArrayList<DecisionTableExpressionValueSelection>();
View Full Code Here

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

42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
        return bValue;
      }
    }
    else if(in_oExpression instanceof TCGOCLIfThenElse)
    {
      TCGOCLIfThenElse oIfThenElse = (TCGOCLIfThenElse)in_oExpression;
      if(evaluateExpressionWithValueAssignment(oIfThenElse.getCondition(), in_oRow))
      {
        bValue = evaluateExpressionWithValueAssignment(oIfThenElse.getThenExpression(), in_oRow);
        in_oRow.put(in_oExpression, bValue);
        return bValue;
      }
      else
      {
        bValue = evaluateExpressionWithValueAssignment(oIfThenElse.getElseExpression(), in_oRow);
        in_oRow.put(in_oExpression, bValue);
        return bValue;
      }
    }
    return true; // default value for boolean atoms
View Full Code Here

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

87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
        return selectRowsForNot(oLeftRows, oRightRows, in_bCreateRowsForUnnecessaryValues);
      }
    }
    else if(in_oExpression instanceof TCGOCLIfThenElse)
    {
      TCGOCLIfThenElse oIfThenElse = (TCGOCLIfThenElse)in_oExpression;
      DecisionRowSelector oIfRows =
        getMCDCForExpression(oIfThenElse.getCondition(),
            in_colAtomicExpressions, in_bCreateRowsForUnnecessaryValues);
      DecisionRowSelector oNotIfRows = selectRowsForNot(oIfRows, new DecisionRowSelector(),
          in_bCreateRowsForUnnecessaryValues);
      DecisionRowSelector oThenRows =
        getMCDCForExpression(oIfThenElse.getThenExpression(),
            in_colAtomicExpressions, in_bCreateRowsForUnnecessaryValues);
      DecisionRowSelector oElseRows =
        getMCDCForExpression(oIfThenElse.getElseExpression(),
            in_colAtomicExpressions, in_bCreateRowsForUnnecessaryValues);

      // if A then B else C is the same as (A and B) or (not A and C)
      return selectRowsForOr(
          selectRowsForAnd(oIfRows, oThenRows, in_bCreateRowsForUnnecessaryValues),
View Full Code Here

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

51
52
53
54
55
56
57
58
59
60
61
62
63
64
            m_colExpressions.add(oOperation.getRight());
      }
    }
    else if(in_oExpression instanceof TCGOCLIfThenElse)
    {
      TCGOCLIfThenElse oIfThenElse = (TCGOCLIfThenElse)in_oExpression;
      if(!isBooleanOperation(oIfThenElse.getCondition()))
        m_colExpressions.add(oIfThenElse.getCondition());
      if(!isBooleanOperation(oIfThenElse.getThenExpression()))
        m_colExpressions.add(oIfThenElse.getThenExpression());
      if(!isBooleanOperation(oIfThenElse.getElseExpression()))
        m_colExpressions.add(oIfThenElse.getElseExpression());
    }
  }
View Full Code Here

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

17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
          run(oOpExp.getLeft(), in_oVisitor);
        if(oOpExp.getRight() != null)
          run(oOpExp.getRight(), in_oVisitor);     
      }
      else if(in_oExp instanceof TCGOCLIfThenElse) {
        TCGOCLIfThenElse oIfThenElseExp = (TCGOCLIfThenElse)in_oExp;
        if(oIfThenElseExp.getCondition() != null)
          run(oIfThenElseExp.getCondition(), in_oVisitor);
        if(oIfThenElseExp.getThenExpression() != null)
          run(oIfThenElseExp.getThenExpression(), in_oVisitor);     
        if(oIfThenElseExp.getElseExpression() != null)
          run(oIfThenElseExp.getElseExpression(), in_oVisitor);             
      }
    }
  }
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.