Commit 174c8df5 authored by YannGarcia's avatar YannGarcia
Browse files

TTF T024: Add 'entity' missing keyword

parent 5816ec20

Test Purposes/MEC040/SRV/FederationEnablement.tplan2

+32 −32
Original line number Diff line number Diff line
@@ -22,8 +22,8 @@ Package MEC_MEC040_SRV_FED { 


        Initial conditions  with {

           the IUT entity being_in idle_state and

           the IUT is_registered to the MEC_FED and

           the MEC_FED are_aware_of_eachother and

           the IUT entity is_registered to the MEC_FED entity and

           the MEC_FED entity are_aware_of_eachother and

           the MEC_FED entity having a systemInfoList containing

              systemInfo1 indicating value SYSTEM_ID_1,

              systemInfo2 indicating value SYSTEM_ID_2,
@@ -85,7 +85,7 @@ Package MEC_MEC040_SRV_FED { 


        Initial conditions  with {

           the IUT entity being_in idle_state and

           the IUT is_registered to the MEC_FED and

           the IUT entity is_registered to the MEC_FED entity and

           the MEC_FED entity having a systemInfoList containing

              systemInfo1 indicating value SYSTEM_ID_1,

              systemInfo2 indicating value SYSTEM_ID_2,
@@ -140,7 +140,7 @@ Package MEC_MEC040_SRV_FED { 


        Initial conditions  with {

           the IUT entity being_in idle_state and

           the IUT is_registered to the MEC_FED and

           the IUT entity is_registered to the MEC_FED entity and

           the MEC_FED entity having a systemInfoList containing

              systemInfo1 indicating value SYSTEM_ID_1,

              systemInfo2 indicating value SYSTEM_ID_2,
@@ -201,7 +201,7 @@ Package MEC_MEC040_SRV_FED { 


        Initial conditions  with {

           the IUT entity being_in idle_state and

           the IUT is_registered to the MEC_FED and

           the IUT entity is_registered to the MEC_FED entity and

           the MEC_FED entity having a systemInfoList containing

              systemInfo1 indicating value SYSTEM_ID_1,

              systemInfo2 indicating value SYSTEM_ID_2,
@@ -266,7 +266,7 @@ Package MEC_MEC040_SRV_FED { 


        Initial conditions  with {

           the IUT entity being_in idle_state and

           the IUT is_registered to the MEC_FED and

           the IUT entity is_registered to the MEC_FED entity and

           the MEC_FED entity having a systemInfoList containing

              systemInfo1 indicating value SYSTEM_NAME_1,

              systemInfoN indicating value SYSTEM_NAME_2,
@@ -321,7 +321,7 @@ Package MEC_MEC040_SRV_FED { 


        Initial conditions  with {

           the IUT entity being_in idle_state and

           the IUT is_registered to the MEC_FED and

           the IUT entity is_registered to the MEC_FED entity and

           the MEC_FED entity having a systemInfoList containing

              systemInfo1 indicating value SYSTEM_NAME_1,

              systemInfoN indicating value SYSTEM_NAME_2,
@@ -382,7 +382,7 @@ Package MEC_MEC040_SRV_FED { 


        Initial conditions  with {

           the IUT entity being_in idle_state and

           the IUT is_registered to the MEC_FED and

           the IUT entity is_registered to the MEC_FED entity and

           the MEC_FED entity having a systemInfoList containing

              systemInfo1 indicating value SYSTEM_NAME_1,

              systemInfoN indicating value SYSTEM_NAME_2,
@@ -447,7 +447,7 @@ Package MEC_MEC040_SRV_FED { 


        Initial conditions  with {

           the IUT entity being_in idle_state and

           the IUT is_registered to the MEC_FED and

           the IUT entity is_registered to the MEC_FED entity and

           the MEC_FED entity having a systemInfoList containing

              systemInfo1 indicating value SYSTEM_PROVIDER_1,

              systemInfoN indicating value SYSTEM_PROVIDER_2,
@@ -502,7 +502,7 @@ Package MEC_MEC040_SRV_FED { 


        Initial conditions  with {

           the IUT entity being_in idle_state and

           the IUT is_registered to the MEC_FED and

           the IUT entity is_registered to the MEC_FED entity and

           the MEC_FED entity having a systemInfoList containing

              systemInfo1 indicating value SYSTEM_PROVIDER_1,

              systemInfoN indicating value SYSTEM_PROVIDER_2,
@@ -563,7 +563,7 @@ Package MEC_MEC040_SRV_FED { 


        Initial conditions  with {

           the IUT entity being_in idle_state and

           the IUT is_registered to the MEC_FED and

           the IUT entity is_registered to the MEC_FED entity and

           the MEC_FED entity having a systemInfoList containing

              systemInfo1 indicating value SYSTEM_PROVIDER_1,

              systemInfoN indicating value SYSTEM_PROVIDER_2,
@@ -628,7 +628,7 @@ Package MEC_MEC040_SRV_FED { 


        Initial conditions  with {

           the IUT entity being_in idle_state and

           the IUT is_registered to the MEC_FED and

           the IUT entity is_registered to the MEC_FED entity and

           the MEC_FED entity having a systemInfoList containing

              systemInfo1 indicating value SYSTEM_ID_1,

              systemInfo1 indicating value SYSTEM_ID_2,
@@ -690,7 +690,7 @@ Package MEC_MEC040_SRV_FED { 


        Initial conditions  with {

           the IUT entity being_in idle_state and

           the IUT is_registered to the MEC_FED and

           the IUT entity is_registered to the MEC_FED entity and

           the MEC_FED entity having a systemInfoList containing

              systemInfo1 indicating value SYSTEM_ID_1,

              systemInfo1 indicating value SYSTEM_ID_2,
@@ -736,7 +736,7 @@ Package MEC_MEC040_SRV_FED { 


        Initial conditions  with {

           the IUT entity being_in idle_state and

           the IUT is_registered to the MEC_FED and

           the IUT entity is_registered to the MEC_FED entity and

           the MEC_FED entity having a systemInfoList containing

              systemInfo1 indicating value SYSTEM_NAME_1,

              systemInfo1 indicating value SYSTEM_NAME_2,
@@ -782,7 +782,7 @@ Package MEC_MEC040_SRV_FED { 


        Initial conditions  with {

           the IUT entity being_in idle_state and

           the IUT is_registered to the MEC_FED and

           the IUT entity is_registered to the MEC_FED entity and

           the MEC_FED entity having a systemInfoList containing

              systemInfo1 indicating value SYSTEM_PROVIDER_1,

              systemInfo1 indicating value SYSTEM_PROVIDER_2,
@@ -828,7 +828,7 @@ Package MEC_MEC040_SRV_FED { 


        Initial conditions  with {

           the IUT entity being_in idle_state and

           the IUT is_registered to the MEC_FED and

           the IUT entity is_registered to the MEC_FED entity and

           the MEC_FED entity having a systemInfoList containing

              systemInfo1 indicating value SYSTEM_ID_1

           ;
@@ -869,7 +869,7 @@ Package MEC_MEC040_SRV_FED { 


        Initial conditions  with {

           the IUT entity being_in idle_state and

           the IUT is_registered to the MEC_FED and

           the IUT entity is_registered to the MEC_FED entity and

           the MEC_FED entity not having a systemInfoList containing

              systemInfo2 indicating value SYSTEM_ID_2

           ;
@@ -924,7 +924,7 @@ Package MEC_MEC040_SRV_FED { 


        Initial conditions  with {

           the IUT entity being_in idle_state and

           the IUT is_registered to the MEC_FED and

           the IUT entity is_registered to the MEC_FED entity and

           the MEC_FED entity not having a systemInfoList containing

              systemInfo2 indicating value SYSTEM_ID_2

           ;
@@ -972,7 +972,7 @@ Package MEC_MEC040_SRV_FED { 


        Initial conditions  with {

           the IUT entity being_in idle_state and

           the IUT is_registered to the MEC_FED and

           the IUT entity is_registered to the MEC_FED entity and

           the MEC_FED entity having a systemInfoList containing

              systemInfo2 indicating value SYSTEM_ID_2

           ;
@@ -1020,7 +1020,7 @@ Package MEC_MEC040_SRV_FED { 


        Initial conditions  with {

           the IUT entity being_in idle_state and

           the IUT is_registered to the MEC_FED and

           the IUT entity is_registered to the MEC_FED entity and

           the MEC_FED entity having a systemInfoList containing

              systemInfo1 indicating value SYSTEM_ID_1,

              systemInfo2 indicating value SYSTEM_ID_2,
@@ -1070,7 +1070,7 @@ Package MEC_MEC040_SRV_FED { 


        Initial conditions  with {

           the IUT entity being_in idle_state and

           the IUT is_registered to the MEC_FED and

           the IUT entity is_registered to the MEC_FED entity and

           the MEC_FED entity having a systemInfoList containing

              systemInfo1 indicating value SYSTEM_ID_1,

              systemInfo2 indicating value SYSTEM_ID_2,
@@ -1113,7 +1113,7 @@ Package MEC_MEC040_SRV_FED { 


        Initial conditions  with {

           the IUT entity being_in idle_state and

           the IUT is_registered to the MEC_FED and

           the IUT entity is_registered to the MEC_FED entity and

           the MEC_FED entity having a systemInfoList containing

              systemInfo1 indicating value SYSTEM_ID_1,

              systemInfo2 indicating value SYSTEM_ID_2,
@@ -1156,7 +1156,7 @@ Package MEC_MEC040_SRV_FED { 


        Initial conditions  with {

           the IUT entity being_in idle_state and

           the IUT is_registered to the MEC_FED and

           the IUT entity is_registered to the MEC_FED entity and

           the MEC_FED entity having a systemInfoList containing

              systemInfo1 indicating value SYSTEM_ID_1,

              systemInfo2 indicating value SYSTEM_ID_2,
@@ -1212,7 +1212,7 @@ Package MEC_MEC040_SRV_FED { 


        Initial conditions  with {

           the IUT entity being_in idle_state and

           the IUT is_registered to the MEC_FED and

           the IUT entity is_registered to the MEC_FED entity and

           the MEC_FED entity having a systemInfoList containing

              systemInfo1 indicating value SYSTEM_ID_1,

              systemInfo2 indicating value SYSTEM_ID_2,
@@ -1268,7 +1268,7 @@ Package MEC_MEC040_SRV_FED { 


        Initial conditions  with {

           the IUT entity being_in idle_state and

           the IUT is_registered to the MEC_FED and

           the IUT entity is_registered to the MEC_FED entity and

           the MEC_FED entity having a systemInfoList containing

              systemInfo1 indicating value SYSTEM_ID_1,

              systemInfo2 indicating value SYSTEM_ID_2,
@@ -1324,7 +1324,7 @@ Package MEC_MEC040_SRV_FED { 


        Initial conditions  with {

           the IUT entity being_in idle_state and

           the IUT is_registered to the MEC_FED and

           the IUT entity is_registered to the MEC_FED entity and

           the MEC_FED entity having a systemInfoList containing

              systemInfo1 indicating value SYSTEM_ID_1

           ;
@@ -1371,7 +1371,7 @@ Package MEC_MEC040_SRV_FED { 


        Initial conditions  with {

           the IUT entity being_in idle_state and

           the IUT is_registered to the MEC_FED and

           the IUT entity is_registered to the MEC_FED entity and

           the MEC_FED entity having a systemInfoList containing

              systemInfo1 indicating value SYSTEM_ID_1

           ;
@@ -1418,7 +1418,7 @@ Package MEC_MEC040_SRV_FED { 


        Initial conditions  with {

           the IUT entity being_in idle_state and

           the IUT is_registered to the MEC_FED and

           the IUT entity is_registered to the MEC_FED entity and

           the MEC_FED entity having a systemInfoList containing

              systemInfo1 indicating value SYSTEM_ID_1

           ;
@@ -1465,7 +1465,7 @@ Package MEC_MEC040_SRV_FED { 


        Initial conditions  with {

           the IUT entity being_in idle_state and

           the IUT is_registered to the MEC_FED and

           the IUT entity is_registered to the MEC_FED entity and

           the MEC_FED entity having a systemInfoList containing

              systemInfo1 indicating value SYSTEM_ID_1

           ;
@@ -1512,7 +1512,7 @@ Package MEC_MEC040_SRV_FED { 


        Initial conditions  with {

           the IUT entity being_in idle_state and

           the IUT is_registered to the MEC_FED and

           the IUT entity is_registered to the MEC_FED entity and

           the MEC_FED entity having a systemInfoList containing

              systemInfo1 indicating value SYSTEM_ID_1

           ;
@@ -1553,7 +1553,7 @@ Package MEC_MEC040_SRV_FED { 


        Initial conditions  with {

           the IUT entity being_in idle_state and

           the IUT is_registered to the MEC_FED and

           the IUT entity is_registered to the MEC_FED entity and

           the MEC_FED entity having a systemInfoList containing

              systemInfo1 indicating value SYSTEM_ID_1

           ; and
@@ -1595,7 +1595,7 @@ Package MEC_MEC040_SRV_FED { 


        Initial conditions  with {

           the IUT entity being_in idle_state and

           the IUT is_registered to the MEC_FED and

           the IUT entity is_registered to the MEC_FED entity and

           the MEC_FED entity having a systemInfoList containing

              systemInfo1 indicating value SYSTEM_ID_1

           ; and