Examples of TCGOCLExpression

net.sf.parteg.base.testcasegraph.generated.TCGOCLExpression
A representation of the model object 'TCGOCL Expression'.
The following features are supported:
- {@link net.sf.parteg.base.testcasegraph.generated.TCGOCLExpression#getClassification Classification}
- {@link net.sf.parteg.base.testcasegraph.generated.TCGOCLExpression#getOclReference Ocl Reference}
- {@link net.sf.parteg.base.testcasegraph.generated.TCGOCLExpression#getContainer Container}
- {@link net.sf.parteg.base.testcasegraph.generated.TCGOCLExpression#isPositiveAssignmentOfOriginal Positive Assignment Of Original}
- {@link net.sf.parteg.base.testcasegraph.generated.TCGOCLExpression#getTransitionContext Transition Context}
@see net.sf.parteg.base.testcasegraph.generated.GeneratedPackage#getTCGOCLExpression() @model @generated
net.sf.parteg.base.testcasetree.generated.TCGOCLExpression
A representation of the model object 'TCGOCL Expression'.
The following features are supported:
- {@link net.sf.parteg.base.testcasetree.generated.TCGOCLExpression#getClassification Classification}
- {@link net.sf.parteg.base.testcasetree.generated.TCGOCLExpression#getOclReference Ocl Reference}
@see net.sf.parteg.base.testcasetree.generated.GeneratedPackage#getTCGOCLExpression() @model @generated
org.xilaew.atg.model.activityTestCaseGraph.TCGOCLExpression
A representation of the model object 'TCGOCL Expression'. Superclass for all nodes in an Abstract Syntax Tree for OCL Expressions. @see org.xilaew.atg.model.activityTestCaseGraph.ActivityTestCaseGraphPackage#getTCGOCLExpression() @model @generated

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

    // TODO: condition coverage? all sizes of combinations ?
    //for(int i = 1; i < colExpressions.values().size(); ++i)
    
    for(TCGOCLExpression oExpression : colExpressions.values())
    {
      TCGOCLExpression oNewExpression = TestCaseGraphHelper.copyExpression(oExpression);
      oNewExpression = negateTCGOCLExpression(oNewExpression);
      TCGDisjunctiveNormalForm oDNF =  createDisjunctiveNormalForm(oNewExpression);
      for(TCGConjunction oConjunction : oDNF.getConjunctions())
      {
        oConjunction.setPositiveSubExpressionOfOriginal(false);

View Full Code Here

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

    for(TCGConjunction oConjunction : io_oDNF.getConjunctions())
    {
      io_colNewConjunctions.put(oConjunction, new ArrayList<TCGConjunction>());
      for(TCGOCLExpression oExpression : oConjunction.getExpressions())
      {
        TCGOCLExpression oNewExpression = TestCaseGraphHelper.copyExpression(oExpression);
        oNewExpression = negateTCGOCLExpression(oNewExpression);
        TCGDisjunctiveNormalForm oDNF =  createDisjunctiveNormalForm(oNewExpression);
        for(TCGConjunction oNewConjunction : oDNF.getConjunctions())
        {
          oNewConjunction.setPositiveSubExpressionOfOriginal(false);

View Full Code Here

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

      oNewConjunction.setPositiveSubExpressionOfOriginal(!in_bContainsNegativeExpressions);
      io_colNewConjunctions.get(in_oOriginalConjunction).add(oNewConjunction);
    }
    else
    {
      TCGOCLExpression oExpression = TestCaseGraphHelper.copyExpression(
          in_oOriginalConjunction.getExpressions().get(in_nCurrentExpressionIndex));
      io_colExpressionsForNewConjunction.add(oExpression);
      addAllPossibleConjunctions(io_colNewConjunctions, in_oOriginalConjunction, io_colExpressionsForNewConjunction,
          in_nCurrentExpressionIndex + 1, in_bContainsNegativeExpressions);
      io_colExpressionsForNewConjunction.remove(oExpression);
      
      TCGOCLExpression oNegatedExpression = TestCaseGraphHelper.copyExpression(oExpression);
      oNegatedExpression = negateTCGOCLExpression(oNegatedExpression);
      TCGDisjunctiveNormalForm oDNF =  createDisjunctiveNormalForm(oNegatedExpression);
      for(TCGConjunction oNewConjunction : oDNF.getConjunctions())
      {
        for(TCGOCLExpression oNewConjExp : oNewConjunction.getExpressions())

View Full Code Here

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

      }
    }
    else // collect all expression permutations
    {
      // recursion for positive expressions
      TCGOCLExpression oExpression = TestCaseGraphHelper.copyExpression(in_oOriginalConjunction.getExpressions().get(in_nCurrentExpressionIndex));
      io_colExpressionsForNewConjunction.add(oExpression);
      getExpressionsPermutationsForConjunction(io_colNewConjunctions, in_oOriginalConjunction, io_colExpressionsForNewConjunction,
          in_nCurrentExpressionIndex + 1, in_nNegativeExpressionCounter);
      io_colExpressionsForNewConjunction.remove(oExpression);
      
      // recursion for negative expressions
      TCGOCLExpression oNegativeExpression = TestCaseGraphHelper.copyExpression(oExpression);
      oNegativeExpression = negateTCGOCLExpression(oNegativeExpression);
      TCGDisjunctiveNormalForm oDNF =  createDisjunctiveNormalForm(oNegativeExpression);
      for(TCGConjunction oNewConjunction : oDNF.getConjunctions())
      {
        for(TCGOCLExpression oNewConjExp : oNewConjunction.getExpressions())

View Full Code Here

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

   * <!-- begin-user-doc -->
   * <!-- end-user-doc -->
   * @generated
   */
  public void setLeft(TCGOCLExpression newLeft) {
    TCGOCLExpression oldLeft = left;
    left = newLeft;
    if (eNotificationRequired())
      eNotify(new ENotificationImpl(this, Notification.SET, GeneratedPackage.TCGOCL_OPERATION__LEFT, oldLeft, left));
  }

View Full Code Here

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

   * <!-- begin-user-doc -->
   * <!-- end-user-doc -->
   * @generated
   */
  public void setRight(TCGOCLExpression newRight) {
    TCGOCLExpression oldRight = right;
    right = newRight;
    if (eNotificationRequired())
      eNotify(new ENotificationImpl(this, Notification.SET, GeneratedPackage.TCGOCL_OPERATION__RIGHT, oldRight, right));
  }

View Full Code Here

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

   * <!-- begin-user-doc -->
   * <!-- end-user-doc -->
   * @generated
   */
  public NotificationChain basicSetCondition(TCGOCLExpression newCondition, NotificationChain msgs) {
    TCGOCLExpression oldCondition = condition;
    condition = newCondition;
    if (eNotificationRequired()) {
      ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, GeneratedPackage.TCG_NODE__CONDITION, oldCondition, newCondition);
      if (msgs == null) msgs = notification; else msgs.add(notification);
    }

View Full Code Here

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

   * <!-- begin-user-doc -->
   * <!-- end-user-doc -->
   * @generated
   */
  public void setInvariant(TCGOCLExpression newInvariant) {
    TCGOCLExpression oldInvariant = invariant;
    invariant = newInvariant;
    if (eNotificationRequired())
      eNotify(new ENotificationImpl(this, Notification.SET, GeneratedPackage.TCG_NODE__INVARIANT, oldInvariant, invariant));
  }

View Full Code Here

Examples of org.xilaew.atg.model.activityTestCaseGraph.TCGOCLExpression

   * <!-- begin-user-doc -->
   * <!-- end-user-doc -->
   * @generated
   */
  public NotificationChain basicSetSource(TCGOCLExpression newSource, NotificationChain msgs) {
    TCGOCLExpression oldSource = source;
    source = newSource;
    if (eNotificationRequired()) {
      ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, ActivityTestCaseGraphPackage.TCGOCL_OPERATION_CALL_EXP__SOURCE, oldSource, newSource);
      if (msgs == null) msgs = notification; else msgs.add(notification);
    }

View Full Code Here

Examples of org.xilaew.atg.model.activityTestCaseGraph.TCGOCLExpression

    String function = "";
    String source = doSwitch(object.getSource());
    StringBuilder argumentList = new StringBuilder();
    for (Iterator<TCGOCLExpression> it = object.getArguments().iterator(); it
        .hasNext();) {
      TCGOCLExpression arg = it.next();
      argumentList.append(doSwitch(arg));
      if (it.hasNext())
        argumentList.append(", ");
    }
    switch (object.getOperation().getValue()) {

View Full Code Here

0 1 2 3 4 5

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.