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

      TCGNode in_oTCGNode,
      Operation in_oOperation,
      org.eclipse.uml2.uml.Class in_oContextClass)
  {
    ArrayList<TCGNode> colNodes = new ArrayList<TCGNode>();
    TCGOCLExpression oTCGOCLExp = TransformOCLToTCGOCL.transformExpression(
        in_oExpression, Configuration.getOCLPostId(), in_oContextClass);
    TCGDisjunctiveNormalForm oDNF = ExpressionConverter.createDisjunctiveNormalForm(oTCGOCLExp);
    for(TCGConjunction oConjunction : oDNF.getConjunctions())
    {
      TCGTransition oTransition = createTCGPart(in_oTCGNode, in_oOperation.getName());
      if(oTransition != null)
      {
        // remember original expression
        oTransition.getTargetNode().setOriginalExpression(in_oExpression);
        
        TCGEvent oTCGEvent = findTriggeringEvent(oTransition);
        boolean bResult = true; 
        
        for(TCGOCLExpression oExpression : oConjunction.getExpressions())
        {
          adaptTCGOCLExpression(oExpression, oTransition, null, in_oContextClass);
          referToEvent(oTCGEvent, oExpression);
          if(oTransition.getPostcondition().getConjunctions().isEmpty())
            oTransition.getPostcondition().getConjunctions().add(
                GeneratedFactory.eINSTANCE.createTCGConjunction());
          oTransition.getPostcondition().getConjunctions().get(0).getExpressions().add(oExpression);
          
          // if this postcondition contains no dependent elements -> then adapt the domain!
          TCGOCLVariableClassificator oClassificator = new TCGOCLVariableClassificator(oExpression);
          TCGOCLExpression oActiveDependentExpression = oClassificator.getClassifiedElementInExpression(VariableClassification.ACTIVE_DEPENDENT);
//          TCGOCLExpression oPassiveDependentExpression = oClassificator.getClassifiedElementInExpression(VariableClassification.PASSIVE_DEPENDENT);
          if(oActiveDependentExpression == null)
          {
//            if(oPassiveDependentExpression == null) // just constants and input parameters
//            {

View Full Code Here

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

     */
    for(TCGConjunction oConjunction : in_colPostcondition.getConjunctions())
    for(TCGOCLExpression oPostCondition : oConjunction.getExpressions())
    {
      TCGOCLVariableClassificator oClassificator = new TCGOCLVariableClassificator(oPostCondition);
      TCGOCLExpression oActiveExpression = oClassificator.getClassifiedElementInExpression(VariableClassification.ACTIVE_DEPENDENT);
      if(oActiveExpression instanceof TCGOCLAtom)
      {
        TCGOCLAtom oAtomExp = (TCGOCLAtom)oActiveExpression;
        if(oAtomExp.getElement().equals(in_oProperty))
        {
          oClassificator.shiftSubexpressionToTheLeft(oActiveExpression);
          if(oClassificator.getExpression() instanceof TCGOCLOperation)
          {
            TCGOCLOperation oOperation = (TCGOCLOperation)oClassificator.getExpression();
            TCGOCLVariableClassificator oRightSubClassificator = new TCGOCLVariableClassificator(oOperation.getRight());
            
            // does the right side contain an active dependent element? -> schwierig -> daf�r oActiveExpression und
            // oActiveSubExpression auseinanderhalten !
            //TCGOCLExpression oActiveSubExpression = oRightSubClassificator.getClassifiedElementInExpression(VariableClassification.ACTIVE_DEPENDENT);


            // does the right side contain a passive dependent element?
            TCGOCLExpression oPassiveDependentSubExpression = oRightSubClassificator.getClassifiedElementInExpression(VariableClassification.PASSIVE_DEPENDENT);
            TCGOCLExpression oInputParameterSubExpression = oRightSubClassificator.getClassifiedElementInExpression(VariableClassification.INPUT_PARAMETER);
            if((oPassiveDependentSubExpression != null) || (oInputParameterSubExpression != null))
            {
              in_colNewExpressions.add(connectPreconditionAndPostcondition(in_oPrecondition, oPostCondition));
            }
            else { // does the right side contain just independent elements?

View Full Code Here

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

    for(TCGConjunction oConjunction : in_colPostcondition.getConjunctions())
    for(TCGOCLExpression oPostCondition : oConjunction.getExpressions())
    {
      TCGOCLVariableClassificator oClassificator = 
        new TCGOCLVariableClassificator(oPostCondition);
      TCGOCLExpression oActivePostExpression = 
        oClassificator.getClassifiedElementInExpression(
            VariableClassification.ACTIVE_DEPENDENT);
      if(oActivePostExpression instanceof TCGOCLAtom)
      {
        TCGOCLAtom oAtomPostExp = (TCGOCLAtom)oActivePostExpression;
        if(TCGOCLExpressionHelperClass.conditionContainsReferenceToObject(
            in_oPrecondition, oAtomPostExp.getElement()))
        {
          oClassificator.shiftSubexpressionToTheLeft(oActivePostExpression);
          if(oClassificator.getExpression() instanceof TCGOCLOperation)
          {
            TCGOCLOperation oOperation = 
              (TCGOCLOperation)oClassificator.getExpression();
            TCGOCLVariableClassificator oRightSubClassificator = 
              new TCGOCLVariableClassificator(oOperation.getRight());
            
            // does the right side contain a passive dependent element?
            TCGOCLExpression oPassiveDependentSubExpression = oRightSubClassificator.getClassifiedElementInExpression(VariableClassification.PASSIVE_DEPENDENT);
            TCGOCLExpression oInputParameterSubExpression = oRightSubClassificator.getClassifiedElementInExpression(VariableClassification.INPUT_PARAMETER);
            if((oPassiveDependentSubExpression != null) || (oInputParameterSubExpression != null))
            {
              in_colNewExpressions.add(connectPreconditionAndPostcondition(in_oPrecondition, oPostCondition));
            }
            else { // does the right side contain just independent elements?

View Full Code Here

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

  /**
   * copies the TCGOCLExpression
   */
  public static TCGOCLExpression copyExpression(TCGOCLExpression in_oExpression)
  {
    TCGOCLExpression oTCGOCLExpression = null;
    if(in_oExpression != null)
    {
      if(in_oExpression instanceof TCGOCLAtom)
      {
        TCGOCLAtom oOldAtom = (TCGOCLAtom)in_oExpression;
        TCGOCLAtom oNewAtom = GeneratedFactory.eINSTANCE.createTCGOCLAtom();
        oNewAtom.setElement(oOldAtom.getElement());
        oNewAtom.setTcgParameter(oOldAtom.getTcgParameter());
        oTCGOCLExpression = oNewAtom;
      }
      else if(in_oExpression instanceof TCGOCLOperation)
      {
        TCGOCLOperation oOldOperation = (TCGOCLOperation)in_oExpression;
        TCGOCLOperation oNewOperation = GeneratedFactory.eINSTANCE.createTCGOCLOperation();
        oNewOperation.setOperation(oOldOperation.getOperation());
        oNewOperation.setOperationName(oOldOperation.getOperationName());
        oNewOperation.setLeft(copyExpression(oOldOperation.getLeft()));
        oNewOperation.setRight(copyExpression(oOldOperation.getRight()));
        oTCGOCLExpression = oNewOperation;
      }
      oTCGOCLExpression.setClassification(in_oExpression.getClassification());
      oTCGOCLExpression.setOclReference(in_oExpression.getOclReference());
    }
    return oTCGOCLExpression;    
  }

View Full Code Here

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

  
  
  private boolean expressionContainsActiveProperty(TCGOCLExpression in_oExpression, Property in_oSearchedProperty)
  {
    TCGOCLVariableClassificator oClassificator = new TCGOCLVariableClassificator(in_oExpression);
    TCGOCLExpression oExpression = oClassificator.getClassifiedElementInExpression(VariableClassification.ACTIVE_DEPENDENT);
    if(oExpression instanceof TCGOCLAtom)
    {
      TCGOCLAtom oAtomExp = (TCGOCLAtom)oExpression;
      if(oAtomExp.getElement().equals(in_oSearchedProperty))
        return true;

View Full Code Here

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

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

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

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

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

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

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

      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

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

  {
    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

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.