Commit bd57d319 authored by liebigan's avatar liebigan
Browse files

rename AML_SMS to AML_SMS_MESSAGE, fix capitalization of "unknown"

parent eb41b63b

test_purposes/aml/aml_commons.tplan2

+1 −1
Original line number Diff line number Diff line
@@ -33,7 +33,7 @@ Package aml_commons { 
			;

		

		

		type AML_SMS

		type AML_SMS_MESSAGE

			with 

						"A\"ML" of type Number,

						"lt" 	of type DecimalDegrees,

test_purposes/aml/aml_tps.tplan2

+7 −7
Original line number Diff line number Diff line
@@ -24,7 +24,7 @@ Package AML { 
        	    	the IUT entity initiates an emergency call

					}

					then {

                	the IUT entity sends an AML_SMS to the SMS_ENDPOINT entity

                	the IUT entity sends an AML_SMS_MESSAGE to the SMS_ENDPOINT entity

					}

	        }

			}
@@ -51,7 +51,7 @@ Package AML { 
	                the IUT entity initiates an emergency sms

					}

					then {

	                the IUT entity sends an AML_SMS to the SMS_ENDPOINT entity

	                the IUT entity sends an AML_SMS_MESSAGE to the SMS_ENDPOINT entity

					}

	        }

			}
@@ -83,7 +83,7 @@ Package AML { 
        	    	the IUT entity is_triggered_to_perform an emergency call

					}

					then {

	                the IUT entity sends an AML_SMS containing

	                the IUT entity sends an AML_SMS_MESSAGE containing

								User_Data containing

	                	 	"AM\"L"  indicating value AML_VERSION,

							"lt" 	 indicating value close_to PX_LATITUDE,
@@ -101,7 +101,7 @@ Package AML { 
	                					derived from PX_IMEI;,

	                		"mcc" 	 corresponding to PX_MCC,

	                		"mnc" 	 corresponding to PX_MNC,

	                		"ml" 	 derived from the value of AML_SMS;

	                		"ml" 	 derived from the value of AML_SMS_MESSAGE;

							;

						to the SMS_ENDPOINT entity

					}
@@ -128,7 +128,7 @@ Package AML { 
        	    	the IUT entity initiates an emergency call

					}

					then {

                	the IUT entity sends an AML_SMS "within" timeout T1

                	the IUT entity sends an AML_SMS_MESSAGE "within" timeout T1

						to the SMS_ENDPOINT entity

					}

	        }
@@ -193,7 +193,7 @@ Package AML { 
        	    	the IUT entity initiates an emergency call

					}

					then {

                	the IUT entity sends an AML_SMS to the SMS_ENDPOINT entity

                	the IUT entity sends an AML_SMS_MESSAGE to the SMS_ENDPOINT entity

                	and the USER entity has_no_record_of the AML_SMS

					}

	        }
@@ -385,7 +385,7 @@ Package AML { 
	                		"location_longitude" 	set to '+000.00000',	    

							"location_time"			containing Number

														indicating value "when location process was deemed to have failed";,

							"location_source"		set to 'Unknown', 

							"location_source"		set to 'unknown',

							"location_accuracy"		set to 0,

							"location_confidence"	set to 0,						

							"device_imsi"			corresponding to PX_IMSI,