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

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

225
226
227
228
229
230
231
232
233
234
235
236
   */
  private void referToEvent(TCGEvent in_oTCGEvent, TCGOCLExpression in_oExpression)
  {
    if(in_oExpression != null)
    {
      TCGOCLVariableClassificator oClassificator = new TCGOCLVariableClassificator(in_oExpression);
      TCGOCLExpression oExpression = oClassificator.getClassifiedElementInExpression(VariableClassification.INPUT_PARAMETER);
      TCGOCLAtom oAtom = (TCGOCLAtom)oExpression;
      if(oAtom != null)
      {
        for(TCGParameter oParameter : in_oTCGEvent.getParameters())
        {
View Full Code Here
547
548
549
550
551
552
553
554
555
556
557
558
            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
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
     *    -> wenn passive Abh�ngige in Bezug zu Konstante gesetzt werden -> in vorherigen Postconditions suchen
     */
    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?
              // 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))
                {
                  // alle Elemente der Konjunktion durchsuchen
                  for(TCGConjunction oIndependentConjunction : in_colPostcondition.getConjunctions())
                  for(TCGOCLExpression oIndependentPostCondition : oIndependentConjunction.getExpressions())
                  {
                    // au�er der gerade behandelten Nachbedingung
                    if(oIndependentPostCondition != oPostCondition)
                    {
                      TCGOCLVariableClassificator oIndependentClassificator = new TCGOCLVariableClassificator(oIndependentPostCondition);
                      if(oIndependentClassificator.getClassifiedElementInExpression(VariableClassification.ACTIVE_DEPENDENT) == null)
                      {
                        // die Elemente ohne aktive Variablen weiter in fr�heren Postconditions checken
                        in_colNewExpressions.add(oIndependentPostCondition);
                      }
                    }
View Full Code Here
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
      ArrayList<TCGOCLExpression> in_colNewExpressions)
  {
    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?
              // 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))
                {
                  // alle Elemente der Konjunktion durchsuchen
                  for(TCGConjunction oIndependentConjunction : in_colPostcondition.getConjunctions())
                  for(TCGOCLExpression oIndependentPostCondition : oIndependentConjunction.getExpressions())
                  {
                    // au�er der gerade behandelten Nachbedingung
                    if(oIndependentPostCondition != oPostCondition)
                    {
                      TCGOCLVariableClassificator oIndependentClassificator = new TCGOCLVariableClassificator(oIndependentPostCondition);
                      if(oIndependentClassificator.getClassifiedElementInExpression(VariableClassification.ACTIVE_DEPENDENT) == null)
                      {
                        // die Elemente ohne aktive Variablen weiter in fr�heren Postconditions checken
                        in_colNewExpressions.add(oIndependentPostCondition);
                      }
                    }
View Full Code Here
1022
1023
1024
1025
1026
1027
1028
1029
1030
1031
1032
1033
  }
 
 
  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
1156
1157
1158
1159
1160
1161
1162
1163
1164
1165
1166
1167
1168
1169
1170
1171
  {
    // simple contradiction in just one condition
    for(TCGOCLExpression oExpression : in_oConjunction.getExpressions())
    {
      // first check that the expression has no dependent elements
      TCGOCLVariableClassificator oClassificator = new TCGOCLVariableClassificator(oExpression);
     
      // TODO #### Widerspr�che auch f�r Eingabeparameter aufdecken
     
      if((oClassificator.getNumberOfDependentVariables() == 0) &&
          (oClassificator.getNumberOfInputParameter() == 0))
      {
        try {
          if(oExpression instanceof TCGOCLOperation)
          {
            TCGOCLOperation oOperation = (TCGOCLOperation)oExpression;
View Full Code Here
59
60
61
62
63
64
65
66
67
68
 
  public static TCGOCLExpression getVariableOfType(
      TCGOCLExpression in_oExpression,
      VariableClassification in_oClassification)
  {
    TCGOCLVariableClassificator oClassificator =
      new TCGOCLVariableClassificator(in_oExpression);
    return oClassificator.getClassifiedElementInExpression(
        in_oClassification);   
  }
View Full Code Here
40
41
42
43
44
45
46
47
48
49
50
51
52
53
  }
 
  public static boolean needsToBeConverted(TCGOCLExpression in_oExpression)
  {
    try {
      TCGOCLVariableClassificator oClassificator = new TCGOCLVariableClassificator(in_oExpression);
     
      // there is at least one dependent variable -> convert the expression!
      if(oClassificator.getNumberOfDependentVariables() > 0)
        return true;
      else
        return false;
    }
    catch(Exception e)
View Full Code Here
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
  public static void normalizeExpression(TCGOCLExpression in_oCondition)
  {
    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);
        if(oExpression != null)
          oToBeIsolatedOnLeft = oExpression;
        else
        {
          oToBeIsolatedOnLeft = oClassificator.getClassifiedElementInExpression(VariableClassification.PASSIVE_DEPENDENT);
        }
      }
     
      if(oToBeIsolatedOnLeft != null)
      {
        // if not isolated on left side - then isolate!
        if(!oClassificator.expressionIsIsolatedOnLeftSide(oToBeIsolatedOnLeft))
        {
          oClassificator.shiftSubexpressionToTheLeft(oToBeIsolatedOnLeft);
        }
      }
    }
  }
View Full Code Here
TOP

Related Classes of net.sf.parteg.base.testcasetree.ocl.parser.TCGOCLVariableClassificator

  • net.sf.parteg.base.testcasetree.generated.TCGOCLAtom
  • net.sf.parteg.base.testcasetree.generated.TCGOCLExpression
  • net.sf.parteg.base.testcasetree.generated.TCGOCLOperation
  • net.sf.parteg.base.testcasetree.helperclasses.TCGOCLExpressionHelperClass
  • net.sf.parteg.base.testcasetree.ocl.ExpressionConverter
  • net.sf.parteg.base.testcasetree.ocl.TestCaseGraphHelper
    • 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.