Examples of TCGOCLIfThenElse

net.sf.parteg.base.testcasegraph.generated.TCGOCLIfThenElse
A representation of the model object 'TCGOCL If Then Else'.
The following features are supported:
- {@link net.sf.parteg.base.testcasegraph.generated.TCGOCLIfThenElse#getCondition Condition}
- {@link net.sf.parteg.base.testcasegraph.generated.TCGOCLIfThenElse#getThenExpression Then Expression}
- {@link net.sf.parteg.base.testcasegraph.generated.TCGOCLIfThenElse#getElseExpression Else Expression}
@see net.sf.parteg.base.testcasegraph.generated.GeneratedPackage#getTCGOCLIfThenElse() @model @generated
net.sf.parteg.base.testcasetree.generated.TCGOCLIfThenElse
A representation of the model object 'TCGOCL If Then Else'.
The following features are supported:
- {@link net.sf.parteg.base.testcasetree.generated.TCGOCLIfThenElse#getCondition Condition}
- {@link net.sf.parteg.base.testcasetree.generated.TCGOCLIfThenElse#getThenExpression Then Expression}
- {@link net.sf.parteg.base.testcasetree.generated.TCGOCLIfThenElse#getElseExpression Else Expression}
@see net.sf.parteg.base.testcasetree.generated.GeneratedPackage#getTCGOCLIfThenElse() @model @generated

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

      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) ||
        conditionContainsReferenceToObject(oIfThenElseExp.getThenExpression(), in_oReferencedObject) ||
        conditionContainsReferenceToObject(oIfThenElseExp.getElseExpression(), in_oReferencedObject);
    }
    return false;
  }

View Full Code Here

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

            oOldOperation.getRight(), in_oRow, out_oRow));
        oTCGOCLExpression = oNewOperation;
      }
      else if(in_oExpression instanceof TCGOCLIfThenElse)
      {
        TCGOCLIfThenElse oOldIfThenElse = (TCGOCLIfThenElse)in_oExpression;
        TCGOCLIfThenElse oNewIfThenElse = GeneratedFactory.eINSTANCE.createTCGOCLIfThenElse();
        oNewIfThenElse.setClassification(oOldIfThenElse.getClassification());
        oNewIfThenElse.setCondition(changeExpressionAccordingToDecisionTableRow(
            oOldIfThenElse.getCondition(), in_oRow, out_oRow));
        oNewIfThenElse.setThenExpression(changeExpressionAccordingToDecisionTableRow(
            oOldIfThenElse.getThenExpression(), in_oRow, out_oRow));
        oNewIfThenElse.setElseExpression(changeExpressionAccordingToDecisionTableRow(
            oOldIfThenElse.getElseExpression(), in_oRow, out_oRow));
        oTCGOCLExpression = oNewIfThenElse;
      }
      oTCGOCLExpression.setClassification(in_oExpression.getClassification());
      oTCGOCLExpression.setPositiveAssignmentOfOriginal(in_oExpression.isPositiveAssignmentOfOriginal());

View Full Code Here

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

        TCGOCLOperation oOldOperation = (TCGOCLOperation)in_oExpression;
        oTCGOCLExpression = copyOperation(oOldOperation);
      }
      else if(in_oExpression instanceof TCGOCLIfThenElse)
      {
        TCGOCLIfThenElse oOldIfThenElse = (TCGOCLIfThenElse)in_oExpression;
        oTCGOCLExpression = copyIfThenElse(oOldIfThenElse);
      }
      oTCGOCLExpression.setClassification(in_oExpression.getClassification());
      oTCGOCLExpression.setOclReference(in_oExpression.getOclReference());
      oTCGOCLExpression.setPositiveAssignmentOfOriginal(in_oExpression.isPositiveAssignmentOfOriginal());

View Full Code Here

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

        oRetValue.getSecond().addAll(oFirstValue.getSecond());
        oRetValue.getSecond().addAll(oSecondValue.getSecond());
      }
      else if(in_oExpression instanceof TCGOCLIfThenElse)
      {
        TCGOCLIfThenElse oOldIfThenElse = (TCGOCLIfThenElse)in_oExpression;
        TCGOCLIfThenElse oNewIfThenElse = GeneratedFactory.eINSTANCE.createTCGOCLIfThenElse();
        oNewIfThenElse.setClassification(oOldIfThenElse.getClassification());
        oNewIfThenElse.setTransitionContext(oOldIfThenElse.getTransitionContext());
        Pair<TCGOCLExpression, List<TCGOCLAtom>> oFirstValue =
          copyExpression(oOldIfThenElse.getCondition(), in_colReferences);
        oNewIfThenElse.setCondition(oFirstValue.getFirst());
        Pair<TCGOCLExpression, List<TCGOCLAtom>> oSecondValue =
          copyExpression(oOldIfThenElse.getThenExpression(), in_colReferences);
        oNewIfThenElse.setThenExpression(oSecondValue.getFirst());
        Pair<TCGOCLExpression, List<TCGOCLAtom>> oThirdValue =
          copyExpression(oOldIfThenElse.getElseExpression(), in_colReferences);
        oNewIfThenElse.setElseExpression(oThirdValue.getFirst());
        
        oRetValue.setFirst(oNewIfThenElse);
        oRetValue.getSecond().addAll(oFirstValue.getSecond());
        oRetValue.getSecond().addAll(oSecondValue.getSecond());
        oRetValue.getSecond().addAll(oThirdValue.getSecond());

View Full Code Here

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

    oNewOperation.setRight(copyExpression(in_oOperation.getRight()));
    return oNewOperation;
  }  


  public static TCGOCLIfThenElse copyIfThenElse(TCGOCLIfThenElse in_oIfThenElse) {
    TCGOCLIfThenElse oNewIfThenElse = GeneratedFactory.eINSTANCE.createTCGOCLIfThenElse();
    oNewIfThenElse.setClassification(in_oIfThenElse.getClassification());
    oNewIfThenElse.setTransitionContext(in_oIfThenElse.getTransitionContext());
    oNewIfThenElse.setCondition(copyExpression(in_oIfThenElse.getCondition()));
    oNewIfThenElse.setThenExpression(copyExpression(in_oIfThenElse.getThenExpression()));
    oNewIfThenElse.setElseExpression(copyExpression(in_oIfThenElse.getElseExpression()));
    return oNewIfThenElse;
  }

View Full Code Here

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

        if (result == null) result = caseTCGOCLExpression(tcgoclAtom);
        if (result == null) result = defaultCase(theEObject);
        return result;
      }
      case GeneratedPackage.TCGOCL_IF_THEN_ELSE: {
        TCGOCLIfThenElse tcgoclIfThenElse = (TCGOCLIfThenElse)theEObject;
        T result = caseTCGOCLIfThenElse(tcgoclIfThenElse);
        if (result == null) result = caseTCGOCLExpression(tcgoclIfThenElse);
        if (result == null) result = defaultCase(theEObject);
        return result;
      }

View Full Code Here

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

        if (result == null) result = caseTCGOCLExpression(tcgoclAtom);
        if (result == null) result = defaultCase(theEObject);
        return result;
      }
      case GeneratedPackage.TCGOCL_IF_THEN_ELSE: {
        TCGOCLIfThenElse tcgoclIfThenElse = (TCGOCLIfThenElse)theEObject;
        T result = caseTCGOCLIfThenElse(tcgoclIfThenElse);
        if (result == null) result = caseTCGOCLExpression(tcgoclIfThenElse);
        if (result == null) result = defaultCase(theEObject);
        return result;
      }

View Full Code Here

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

      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) ||
        conditionContainsReferenceToObject(oIfThenElseExp.getThenExpression(), in_oReferencedObject) ||
        conditionContainsReferenceToObject(oIfThenElseExp.getElseExpression(), in_oReferencedObject);
    }
    return false;
  }

View Full Code Here

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

        }
      }  */    
    }
    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); 
    }

View Full Code Here

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

        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));
        oTCGIfExp.setThenExpression(transformExpression((OCLExpression)oIfExp.getThenExpression(), in_sOCLTypeId, oContextClass));
        oTCGIfExp.setElseExpression(transformExpression((OCLExpression)oIfExp.getElseExpression(), in_sOCLTypeId, oContextClass));
        oTCGOCLExpression = oTCGIfExp;
      }


      // Reference to original OCL expression
      oTCGOCLExpression.setOclReference(in_oExpression);

View Full Code Here

0 1

TOP

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.