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

Package net.sf.parteg.base.testcasetree.generated

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

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

   * <!-- begin-user-doc -->
   * <!-- end-user-doc -->
   * @generated
   */
  public void setCondition(TCGOCLExpression newCondition) {
    TCGOCLExpression oldCondition = condition;
    condition = newCondition;
    if (eNotificationRequired())
      eNotify(new ENotificationImpl(this, Notification.SET, GeneratedPackage.TCGOCL_IF_THEN_ELSE__CONDITION, oldCondition, condition));
  }

View Full Code Here

   * <!-- begin-user-doc -->
   * <!-- end-user-doc -->
   * @generated
   */
  public void setThenExpression(TCGOCLExpression newThenExpression) {
    TCGOCLExpression oldThenExpression = thenExpression;
    thenExpression = newThenExpression;
    if (eNotificationRequired())
      eNotify(new ENotificationImpl(this, Notification.SET, GeneratedPackage.TCGOCL_IF_THEN_ELSE__THEN_EXPRESSION, oldThenExpression, thenExpression));
  }

View Full Code Here

   * <!-- begin-user-doc -->
   * <!-- end-user-doc -->
   * @generated
   */
  public void setElseExpression(TCGOCLExpression newElseExpression) {
    TCGOCLExpression oldElseExpression = elseExpression;
    elseExpression = newElseExpression;
    if (eNotificationRequired())
      eNotify(new ENotificationImpl(this, Notification.SET, GeneratedPackage.TCGOCL_IF_THEN_ELSE__ELSE_EXPRESSION, oldElseExpression, elseExpression));
  }

View Full Code Here

      TCGNode in_oTCGNode) throws Exception
  {
    OCLExpression oExpression = OCLParser.parseCondition(
        SystemModelHelper.getStateInvariant(in_oVertex), 
        in_oContextClass, Configuration.getOCLGuardId());
    TCGOCLExpression oTCGOCLExp = TransformOCLToTCGOCL.transformExpression(
        oExpression, Configuration.getOCLGuardId(), in_oContextClass);
    in_oTCGNode.setInvariant(oTCGOCLExp);
  }

View Full Code Here

  {
    if(in_oCondition != null)
    {
      // find input parameter in condition
      TCGOCLVariableClassificator oClassificator = new TCGOCLVariableClassificator(in_oCondition);
      TCGOCLExpression oToBeIsolatedOnLeft = null;
      TCGOCLExpression oExpression = oClassificator.getClassifiedElementInExpression(VariableClassification.ACTIVE_DEPENDENT);
      if(oExpression != null)
        oToBeIsolatedOnLeft = oExpression;
      else
      {
        oExpression = oClassificator.getClassifiedElementInExpression(VariableClassification.INPUT_PARAMETER);

View Full Code Here

    // 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

    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

      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

      }
    }
    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

   * <!-- 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

0 1 2

TOP

Related Classes of net.sf.parteg.base.testcasetree.generated.TCGOCLExpression

net.sf.parteg.base.testcasetree.generated.impl.TCGNodeImpl

net.sf.parteg.base.testcasetree.generated.impl.TCGOCLIfThenElseImpl

net.sf.parteg.base.testcasetree.generated.impl.TCGOCLOperationImpl

net.sf.parteg.base.testcasetree.generated.util.GeneratedSwitch

net.sf.parteg.base.testcasetree.helperclasses.TCGNodeHelperClass

net.sf.parteg.base.testcasetree.ocl.ExpressionConverter

net.sf.parteg.base.testcasetree.ocl.parser.TCGOCLVariableClassificator

net.sf.parteg.base.testcasetree.ocl.TestCaseGraphHelper

net.sf.parteg.base.testcasetree.ocl.transformation.TransformOCLToTCGOCL

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.