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

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

10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
  {
    if(in_oExp != null) {
      in_oVisitor.check(in_oExp);
      if(in_oExp instanceof TCGOCLOperation)
      {
        TCGOCLOperation oOpExp = (TCGOCLOperation)in_oExp;
        if(oOpExp.getLeft() != null)
          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);
View Full Code Here
85
86
87
88
89
90
91
92
93
94
95
96
97
 
  private void buildMapForClassification(TCGOCLExpression in_oExpression)
  {
    if(in_oExpression instanceof TCGOCLOperation)
    {
      TCGOCLOperation oOperation = (TCGOCLOperation)in_oExpression;
      buildMapForClassification(oOperation.getLeft());
      buildMapForClassification(oOperation.getRight());
    }
    if(in_oExpression instanceof TCGOCLAtom)
    {
      TCGOCLAtom oAtom = (TCGOCLAtom)in_oExpression;
      m_colExpressionClassification.get(oAtom.getClassification()).add(oAtom);
View Full Code Here
117
118
119
120
121
122
123
124
125
126
127
128
129
    {
      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
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
  public static String toString(TCGOCLExpression in_oExpression)
  {
    StringBuffer sRetValue = new StringBuffer("");
    if(in_oExpression instanceof TCGOCLOperation)
    {
      TCGOCLOperation oOp = (TCGOCLOperation)in_oExpression;
      if(oOp.getOperationName().equals("not")) {
        TCGOCLExpression oNonNullExp = oOp.getLeft();
        if(oNonNullExp == null)
          oNonNullExp = oOp.getRight();
        sRetValue.append("(not " + toString(oNonNullExp));
      }
      else
        sRetValue.append("(" + toString(oOp.getLeft()) +
          " " + oOp.getOperationName() + " " +
          toString(oOp.getRight()) + ")");
    }
    else if(in_oExpression instanceof TCGOCLAtom)
    {
      TCGOCLAtom oAtom = (TCGOCLAtom)in_oExpression;
      if(oAtom.getElement() instanceof BooleanLiteralExp) {
View Full Code Here
429
430
431
432
433
434
435
436
437
438
439
440
 
  public static boolean isBooleanOperation(TCGOCLExpression in_oExpression)
  {
    if(in_oExpression instanceof TCGOCLOperation)
    {
      TCGOCLOperation oOperation = (TCGOCLOperation)in_oExpression;
      return oOperation.getOperationName().equals("and") ||
        oOperation.getOperationName().equals("or") ||
        oOperation.getOperationName().equals("not");
    }
    return false;
  }
View Full Code Here
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
 
  public static boolean isComparisonOperation(TCGOCLExpression in_oExpression)
  {
    if(in_oExpression instanceof TCGOCLOperation)
    {
      TCGOCLOperation oOperation = (TCGOCLOperation)in_oExpression;
      return oOperation.getOperationName().equals("<") ||
        oOperation.getOperationName().equals("<=") ||
        oOperation.getOperationName().equals(">") ||
        oOperation.getOperationName().equals(">=") ||
        oOperation.getOperationName().equals("=") ||
        oOperation.getOperationName().equals("<>");
    }
    return false;   
  }
View Full Code Here
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
      }
      else if(in_oExpression instanceof TCGOCLOperation)
      {
        in_oExpression = TCGOCLExpressionHelperClass.removeDoubleNots(in_oExpression);
       
        TCGOCLOperation oOldOperation = (TCGOCLOperation)in_oExpression;
        TCGOCLOperation oNewOperation = GeneratedFactory.eINSTANCE.createTCGOCLOperation();
        oNewOperation.setOperation(oOldOperation.getOperation());
        oNewOperation.setOperationName(oOldOperation.getOperationName());
        oNewOperation.setLeft(changeExpressionAccordingToDecisionTableRow(
            oOldOperation.getLeft(), in_oRow, out_oRow));
        oNewOperation.setRight(changeExpressionAccordingToDecisionTableRow(
            oOldOperation.getRight(), in_oRow, out_oRow));
        oTCGOCLExpression = oNewOperation;
      }
      else if(in_oExpression instanceof TCGOCLIfThenElse)
      {
View Full Code Here
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
  }
 
  public static TCGOCLExpression removeDoubleNots(TCGOCLExpression in_oExpression)
  {
    if(in_oExpression instanceof TCGOCLOperation) {
      TCGOCLOperation oOpExp = (TCGOCLOperation)in_oExpression;
      if(oOpExp.getOperationName().equals("not")) {
        TCGOCLExpression oNegatedOp = oOpExp.getLeft();
        if(oNegatedOp == null)
          oNegatedOp = oOpExp.getRight();
       
        if(oNegatedOp instanceof TCGOCLOperation) {
          TCGOCLOperation oPositiveOp = (TCGOCLOperation)oNegatedOp;
          if(oPositiveOp.getOperationName().equals("not")) {
            TCGOCLExpression oFinalExp = oPositiveOp.getLeft();
            if(oFinalExp == null)
              oFinalExp = oPositiveOp.getRight();
           
            return removeDoubleNots(oFinalExp);
          }
        }
      }
View Full Code Here
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
  }
 
  public static TCGOCLExpression pushDownNots(TCGOCLExpression in_oExpression)
  {
    if(in_oExpression instanceof TCGOCLOperation) {
      TCGOCLOperation oOpExp = (TCGOCLOperation)in_oExpression;
      TCGOCLExpression oLeftOrRightExp =
        TCGOCLExpressionHelperClass.getNonNullLeftOrRight(oOpExp);
      if(oOpExp.getOperationName().equals("not") &&
          !TCGOCLExpressionHelperClass.isBooleanAtom(oLeftOrRightExp)) {
        return TCGOCLExpressionHelperClass.negateLogicalTCGOCLExpression(
            oLeftOrRightExp);
      }
      oOpExp.setLeft(pushDownNots(oOpExp.getLeft()));
      oOpExp.setRight(pushDownNots(oOpExp.getRight()));
    }
    return in_oExpression;
  }
View Full Code Here
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
   */
  public static boolean expressionIsContradicting(TCGOCLOperation in_oExpression)
  {
    // TODO: implement a checker operation to return the type of an expression (boolean, int, double)
    try { // double?
      TCGOCLOperation oOperation = (TCGOCLOperation)in_oExpression;
      double nLeftValue = TCGOCLExpressionHelperClass.getDoubleValue(oOperation.getLeft());
      double nRightValue = TCGOCLExpressionHelperClass.getDoubleValue(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;
      if((oOperation.getOperationName().compareTo("<>") == 0) && (nLeftValue == nRightValue))
        return true;
    }
    catch(Exception e)
    {
      // nothing ...
      try { // int?
        TCGOCLOperation oOperation = (TCGOCLOperation)in_oExpression;
        int nLeftValue = TCGOCLExpressionHelperClass.getIntegerValue(oOperation.getLeft());
        int nRightValue = TCGOCLExpressionHelperClass.getIntegerValue(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;
        if((oOperation.getOperationName().compareTo("<>") == 0) && (nLeftValue == nRightValue))
          return true;
      }
      catch(Exception e1) {
        // nothing ...
        try { // boolean?
          TCGOCLOperation oOperation = (TCGOCLOperation)in_oExpression;
          boolean nLeftValue = TCGOCLExpressionHelperClass.getBooleanValueIfNegative(oOperation.getLeft());
          boolean nRightValue = TCGOCLExpressionHelperClass.getBooleanValueIfNegative(oOperation.getRight());
          if((oOperation.getOperationName().compareTo("=") == 0) && (nLeftValue != nRightValue))
            return true;
          if((oOperation.getOperationName().compareTo("<>") == 0) && (nLeftValue == nRightValue))
            return true;
        }
        catch(Exception e2) {
         
          // nothing ... but an error message
View Full Code Here
TOP

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

  • net.amin.mobateg.helper.generatennittest.GenerateJUnitTest
  • net.sf.parteg.base.testcasegraph.decisiontables.DecisionTableFlat
  • net.sf.parteg.base.testcasegraph.decisiontables.DecisionTableHierarchy
  • net.sf.parteg.base.testcasegraph.decisiontables.DecisionTableRowEvaluator
  • 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.VariableReferencer
  • net.sf.parteg.base.testcasegraph.ocl.parser.OCLTreeAtomicExpressionFinderVisitor
    • Copyright © 2018 www.massapicom. 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.