Package net.sf.parteg.base.testcasegraph.ocl.parser

Examples of net.sf.parteg.base.testcasegraph.ocl.parser.TCGOCLVariableClassificator.shiftSubexpressionToTheLeft()

752
753
754
755
756
757
758
759
760
761
762
              VariableClassification.ACTIVE_DEPENDENT)) {
         
          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());
             
View Full Code Here
860
861
862
863
864
865
866
867
868
869
870
            new TCGOCLVariableClassificator(oPostCondition);
          for(TCGOCLAtom oActivePostExpression :
            oClassificator.getClassifiedElementsInExpression(
                VariableClassification.ACTIVE_DEPENDENT)) {
           
            oClassificator.shiftSubexpressionToTheLeft(oActivePostExpression);
            TCGOCLAtom oAtomPostExp = (TCGOCLAtom)oActivePostExpression;
           
            // 1) precondition references the same active object as postcondition
            // 2) expression is an operation (else a transformation is not possible)
            if((TCGOCLExpressionHelperClass.conditionContainsReferenceToObject(
View Full Code Here
204
205
206
207
208
209
210
211
212
213
214
        TCGOCLVariableClassificator oCheckedClassificator =
          new TCGOCLVariableClassificator(in_oCheckedExpression);
        oCheckedElement =
          TCGOCLExpressionHelperClass.
          getDependentVariablesAndInputParameters(oCheckedClassificator).get(0);
        oCheckedClassificator.shiftSubexpressionToTheLeft(oCheckedElement);
      }
      else {
        oCheckedElement = (TCGOCLAtom)in_oCheckedExpression;
      }
     
View Full Code Here
216
217
218
219
220
221
222
223
224
225
226
        TCGOCLVariableClassificator oWarrantedClassificator =
          new TCGOCLVariableClassificator(in_oWarrantedExpression);
        oWarrantedElement =
          TCGOCLExpressionHelperClass.
          getDependentVariablesAndInputParameters(oWarrantedClassificator).get(0);
        oWarrantedClassificator.shiftSubexpressionToTheLeft(oWarrantedElement);
      }
      else {
        oWarrantedElement = (TCGOCLAtom)in_oWarrantedExpression;
      }
       
View Full Code Here
834
835
836
837
838
839
840
841
842
843
844
 
      if (oToBeIsolatedOnLeft != null) {
        // if not isolated on left side - then isolate!
        if (!oClassificator
            .expressionIsIsolatedOnLeftSide(oToBeIsolatedOnLeft)) {
          oClassificator
              .shiftSubexpressionToTheLeft(oToBeIsolatedOnLeft);
        }
      }
    }
  }
View Full Code Here
1805
1806
1807
1808
1809
1810
1811
1812
1813
1814
1815
            oClassificator.getNumberOfInputParameter() == 1)) {
          oInterestingElement =
            getDependentVariablesAndInputParameters(oClassificator).get(0);
          oReferredObject =
            getReferencedElement(oInterestingElement);
          oClassificator.shiftSubexpressionToTheLeft(oInterestingElement);
          oActualValueRange =
            OCLExpressionValueTypeRangeFactory.
            getValueTypeRangeForRightSideOfExpression(
                oOperationExp);
        }
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.