Commit 64e8f453 authored by garciay's avatar garciay
Browse files

STF512 Week #19:

- For the purpose of the synchronization we propose to add some TTCN3 code into LibCommon_Sync module. In case if new sync points are introduced for the ATS purpose at the moment they can change the preamble or TestBody state and this should not be allowed. Proposed code have to be consulted by Sebastian who is in charge of LibCommon
parent 663e1423
Loading
Loading
Loading
Loading
+6 −2
Original line number Original line Diff line number Diff line
@@ -896,8 +896,10 @@ module LibCommon_Sync {
      runs on ClientSyncComp {
      runs on ClientSyncComp {
        f_setVerdictPreamble(p_ret);
        f_setVerdictPreamble(p_ret);
        f_clientSync(p_syncId,p_ret);
        f_clientSync(p_syncId,p_ret);
        if(p_syncId == c_prDone){ //Other sync points must not change the TestCaseStep. Sometimes c_sync1 is introduced and it must not changeTest CaseStep
            vc_testcaseStep := e_testBody;
            vc_testcaseStep := e_testBody;
        }
        }
      }


      /**
      /**
       * @desc   This function combines client verdict setting with its
       * @desc   This function combines client verdict setting with its
@@ -921,8 +923,10 @@ module LibCommon_Sync {
      runs on ClientSyncComp {
      runs on ClientSyncComp {
        f_setVerdict(p_ret);
        f_setVerdict(p_ret);
        f_clientSync(p_syncId,p_ret);
        f_clientSync(p_syncId,p_ret);
        if(p_syncId == c_tbDone){ //Other sync points must not change the TestCaseStep. Sometimes c_sync1 is introduced and it must not changeTest CaseStep
          vc_testcaseStep := e_postamble;
          vc_testcaseStep := e_postamble;
        }
        }
      }


      /**
      /**
       * @desc   This function combines client verdict setting with its
       * @desc   This function combines client verdict setting with its