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

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


  private boolean adaptDomainForNonPostcondition(TCGOCLExpression in_oExpression, TCGNode in_oBackTrackStartNode, TCGNode in_oCurrentBackTrackNode)
  {
    if(in_oExpression != null)
    {
      // get equivalence class for right side of expression (left side is the Parameter)
      TCGEquivalenceClass oEqClass = ExpressionConverter.getEquivalenceClassForRightSideOfExpression(in_oExpression);
      if(oEqClass != null && in_oExpression instanceof TCGOCLOperation)
      {
        if(((TCGOCLOperation)in_oExpression).getLeft() instanceof TCGOCLAtom)
        {
          TCGOCLAtom oAtom = (TCGOCLAtom)((TCGOCLOperation)in_oExpression).getLeft();
View Full Code Here


            {
              in_colNewExpressions.add(connectPreconditionAndPostcondition(in_oPrecondition, oPostCondition));
            }
            else { // does the right side contain just independent elements?
              // compare the expressions of both elements!
              TCGEquivalenceClass oEqPostconditionClass = ExpressionConverter.getEquivalenceClassForRightSideOfExpression(oOperation);
              TCGEquivalenceClass oEqPreconditionClass = ExpressionConverter.getEquivalenceClassForRightSideOfExpression(in_oPrecondition);
              if(oEqPostconditionClass != null && oEqPreconditionClass != null)
              {
                // postcondition
                if(ConversionController.outerEquivalenceClassContainsInnerClass(oEqPreconditionClass, oEqPostconditionClass, false))
                {
View Full Code Here

            {
              in_colNewExpressions.add(connectPreconditionAndPostcondition(in_oPrecondition, oPostCondition));
            }
            else { // does the right side contain just independent elements?
              // compare the expressions of both elements!
              TCGEquivalenceClass oEqPostconditionClass = ExpressionConverter.getEquivalenceClassForRightSideOfExpression(oOperation);
              TCGEquivalenceClass oEqPreconditionClass = ExpressionConverter.getEquivalenceClassForRightSideOfExpression(in_oPrecondition);
              if(oEqPostconditionClass != null && oEqPreconditionClass != null)
              {
                // postcondition
                if(ConversionController.outerEquivalenceClassContainsInnerClass(oEqPreconditionClass, oEqPostconditionClass, false))
                {
View Full Code Here

        if (result == null) result = caseTCGElement(tcgTransition);
        if (result == null) result = defaultCase(theEObject);
        return result;
      }
      case GeneratedPackage.TCG_EQUIVALENCE_CLASS: {
        TCGEquivalenceClass tcgEquivalenceClass = (TCGEquivalenceClass)theEObject;
        T result = caseTCGEquivalenceClass(tcgEquivalenceClass);
        if (result == null) result = defaultCase(theEObject);
        return result;
      }
      case GeneratedPackage.TCG_EVENT: {
View Full Code Here

   
  }
 
  private static void copyEquivalenceClass(TCGPrimitiveParameter in_oSource, TCGPrimitiveParameter in_oTarget)
  {
    TCGEquivalenceClass oSourceEquivalenceClass = in_oSource.getEquivalenceClass();
    if(oSourceEquivalenceClass != null)
    {
      TCGEquivalenceClass oTargetEquivalenceClass = GeneratedFactory.eINSTANCE.createTCGEquivalenceClass();
      oTargetEquivalenceClass.setMinBorder(oSourceEquivalenceClass.getMinBorder().doubleValue());
      oTargetEquivalenceClass.setMinIncluded(oSourceEquivalenceClass.getMinIncluded());
      oTargetEquivalenceClass.setMaxBorder(oSourceEquivalenceClass.getMaxBorder().doubleValue());
      oTargetEquivalenceClass.setMaxIncluded(oSourceEquivalenceClass.getMaxIncluded());
      in_oTarget.setEquivalenceClass(oTargetEquivalenceClass);
    }
  }
View Full Code Here

   * create default equivalence class
   * @return default equivalence class
   */
  public static TCGEquivalenceClass createDefaultEquivalenceClass()
  {
    TCGEquivalenceClass oEqClass = GeneratedFactory.eINSTANCE.createTCGEquivalenceClass();
    oEqClass.setMinBorder(Configuration.getLowerDomainBoundary());
    oEqClass.setMinIncluded(true);
    oEqClass.setMaxBorder(Configuration.getUpperDomainBoundary());
    oEqClass.setMaxIncluded(true);
   
    return oEqClass;
  }
View Full Code Here

  }
 
  public static TCGEquivalenceClass getEquivalenceClassForRightSideOfExpression(TCGOCLExpression in_oCondition)
  {
    try {
      TCGEquivalenceClass oEqClass = DomainHelper.createDefaultEquivalenceClass();
     
      if(in_oCondition instanceof TCGOCLOperation)
      {
        TCGOCLOperation oCallExp = (TCGOCLOperation)in_oCondition;
        double dValue = getValue((TCGOCLExpression)oCallExp.getRight());
View Full Code Here

   * <!-- begin-user-doc -->
   * <!-- end-user-doc -->
   * @generated
   */
  public void setEquivalenceClass(TCGEquivalenceClass newEquivalenceClass) {
    TCGEquivalenceClass oldEquivalenceClass = equivalenceClass;
    equivalenceClass = newEquivalenceClass;
    if (eNotificationRequired())
      eNotify(new ENotificationImpl(this, Notification.SET, GeneratedPackage.TCG_PRIMITIVE_PARAMETER__EQUIVALENCE_CLASS, oldEquivalenceClass, equivalenceClass));
  }
View Full Code Here

TOP

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

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.