Commit cf36643a authored by schmitting's avatar schmitting
Browse files

End of Spectra2 validation June 12, 2013

parent 3d8e3848
Loading
Loading
Loading
Loading
+22 −22
Original line number Diff line number Diff line
@@ -84,7 +84,7 @@ module DiameterRx_Rx_TCFunctions {
            f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict()); // sync

            //AF session for UE2
            f_awaiting_AAR(mw_AAR_basic(?,?,?,?,?));
            f_awaiting_AAR(mw_AAR_basic(?,?,?,?,*));
           
            f_send_AAA(m_AAA_modified_ResultCode_ANCA(vc_sessionId,
													  vc_originHost,
@@ -93,7 +93,7 @@ module DiameterRx_Rx_TCFunctions {
													  m_accessNetworkChargingAddress(f_IPAdress(PX_ANCA_ipv4, PX_ANCA_ipv6))));

            //AF session for UE1
            f_awaiting_AAR(mw_AAR_basic(?,?,?,?,?));
            f_awaiting_AAR(mw_AAR_basic(?,?,?,?,*));
           
            f_send_AAA(m_AAA_modified_ResultCode_ANCA(vc_sessionId,
                                                      vc_originHost,
@@ -128,11 +128,11 @@ module DiameterRx_Rx_TCFunctions {
            f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict()); // sync

            //AF session for UE2
            f_awaiting_AAR(mw_AAR_SCD(?,?,?,?,?,
            f_awaiting_AAR(mw_AAR_SCD(?,?,?,?,*,
            mw_sponsoredConnectivityData(?,?,*,*))); // should be present

            //AF session for UE1
            f_awaiting_AAR(mw_AAR_SCD(?,?,?,?,?,
            f_awaiting_AAR(mw_AAR_SCD(?,?,?,?,*,
            mw_sponsoredConnectivityData(?,?,*,*))); // should be present
		
            f_send_AAA(m_AAA_basic(vc_sessionId, vc_originHost, vc_originRealm));
@@ -166,7 +166,7 @@ module DiameterRx_Rx_TCFunctions {
			f_selfOrClientSyncAndVerdict(c_sync1, f_getVerdict()); // sync1 before modification starts 

            //AF session for UE2
			f_awaiting_AAR(mw_AAR_FIP_Media1(?,?,?,?,?,
			f_awaiting_AAR(mw_AAR_FIP_Media1(?,?,?,?,*,
                f_framedIpAddress4(PX_UE2_framedIpAddress), // indicating UE
                f_framedIpAddress6(PX_UE2_framedIp6Address), // indicationg UE (IPv6)
            	mw_mediaComponentDescription)); // should be present
@@ -174,7 +174,7 @@ module DiameterRx_Rx_TCFunctions {
			f_send_AAA(m_AAA_basic(vc_sessionId, vc_originHost, vc_originRealm));

            //AF session for UE1
            f_awaiting_AAR(mw_AAR_FIP_Media1(?,?,?,?,?,
            f_awaiting_AAR(mw_AAR_FIP_Media1(?,?,?,?,*,
                f_framedIpAddress4(PX_UE1_framedIpAddress), // indicating UE
                f_framedIpAddress6(PX_UE1_framedIp6Address), // indicationg UE (IPv6)
                mw_mediaComponentDescription)); // should be present
@@ -211,7 +211,7 @@ module DiameterRx_Rx_TCFunctions {
			f_selfOrClientSyncAndVerdict(c_sync1, f_getVerdict()); // sync1 before modification starts 

            //AF session for UE2
			f_awaiting_AAR(mw_AAR_basic(?,?,?,?,?)); // should be present
			f_awaiting_AAR(mw_AAR_basic(?,?,?,?,*)); // should be present

            f_send_AAA(m_AAA_modified_ResultCode_ANCA(vc_sessionId,
													  vc_originHost,
@@ -220,7 +220,7 @@ module DiameterRx_Rx_TCFunctions {
													  m_accessNetworkChargingAddress(f_IPAdress(PX_ANCA_ipv4, PX_ANCA_ipv6))));

            //AF session for UE1
            f_awaiting_AAR(mw_AAR_basic(?,?,?,?,?)); // should be present
            f_awaiting_AAR(mw_AAR_basic(?,?,?,?,*)); // should be present

            f_send_AAA(m_AAA_modified_ResultCode_ANCA(vc_sessionId,
                                                      vc_originHost,
@@ -259,13 +259,13 @@ module DiameterRx_Rx_TCFunctions {
            f_selfOrClientSyncAndVerdict(c_sync1, f_getVerdict()); // sync  

            //AF session for UE2
            f_awaiting_AAR(mw_AAR_SCD(?,?,?,?,?,
            f_awaiting_AAR(mw_AAR_SCD(?,?,?,?,*,
            mw_sponsoredConnectivityData(?,?,*,*))); // should be present
		
            f_send_AAA(m_AAA_basic(vc_sessionId, vc_originHost, vc_originRealm));

            //AF session for UE1
            f_awaiting_AAR(mw_AAR_SCD(?,?,?,?,?,
            f_awaiting_AAR(mw_AAR_SCD(?,?,?,?,*,
            mw_sponsoredConnectivityData(?,?,*,*))); // should be present
		
            f_send_AAA(m_AAA_basic(vc_sessionId, vc_originHost, vc_originRealm));
@@ -371,7 +371,7 @@ module DiameterRx_Rx_TCFunctions {

            //AF session for UE2
			f_awaiting_AAR(mw_AAR_FIP_supSA_supMedia
						   (?, ?, ?, ?, ?, f_framedIpAddress4(PX_UE2_framedIpAddress),
						   (?, ?, ?, ?, *, f_framedIpAddress4(PX_UE2_framedIpAddress),
							//     indicating UE
							f_framedIpAddress6(PX_UE2_framedIp6Address),
							//     indicationg UE (IPv6)
@@ -386,7 +386,7 @@ module DiameterRx_Rx_TCFunctions {

            //AF session for UE1
            f_awaiting_AAR(mw_AAR_FIP_supSA_supMedia
                           (?, ?, ?, ?, ?, f_framedIpAddress4(PX_UE1_framedIpAddress),
                           (?, ?, ?, ?, *, f_framedIpAddress4(PX_UE1_framedIpAddress),
                            //     indicating UE
                            f_framedIpAddress6(PX_UE1_framedIp6Address),
                            //     indicationg UE (IPv6)
@@ -425,7 +425,7 @@ module DiameterRx_Rx_TCFunctions {

            //AF session for UE2
            f_awaiting_AAR(mw_AAR_FIP_supSA_supMedia
                           (?, ?, ?, ?, ?, f_framedIpAddress4(PX_UE2_framedIpAddress),
                           (?, ?, ?, ?, *, f_framedIpAddress4(PX_UE2_framedIpAddress),
                            //     indicating UE
                            f_framedIpAddress6(PX_UE2_framedIp6Address),
                            //     indicationg UE (IPv6)
@@ -443,7 +443,7 @@ module DiameterRx_Rx_TCFunctions {

            //AF session for UE1
            f_awaiting_AAR(mw_AAR_FIP_supSA_supMedia
                           (?, ?, ?, ?, ?, f_framedIpAddress4(PX_UE1_framedIpAddress),
                           (?, ?, ?, ?, *, f_framedIpAddress4(PX_UE1_framedIpAddress),
                            //     indicating UE
                            f_framedIpAddress6(PX_UE1_framedIp6Address),
                            //     indicationg UE (IPv6)
@@ -485,7 +485,7 @@ module DiameterRx_Rx_TCFunctions {

            //AF session for UE2
			f_awaiting_AAR(mw_AAR_FIP_supSA_supMedia
						   (?, ?, ?, ?, ?, f_framedIpAddress4(PX_UE2_framedIpAddress),
						   (?, ?, ?, ?, *, f_framedIpAddress4(PX_UE2_framedIpAddress),
							//     indicating UE
							f_framedIpAddress6(PX_UE2_framedIp6Address),
							//     indicationg UE (IPv6)
@@ -501,7 +501,7 @@ module DiameterRx_Rx_TCFunctions {

            //AF session for UE1
            f_awaiting_AAR(mw_AAR_FIP_supSA_supMedia
                           (?, ?, ?, ?, ?, f_framedIpAddress4(PX_UE1_framedIpAddress),
                           (?, ?, ?, ?, *, f_framedIpAddress4(PX_UE1_framedIpAddress),
                            //     indicating UE
                            f_framedIpAddress6(PX_UE1_framedIp6Address),
                            //     indicationg UE (IPv6)
@@ -548,7 +548,7 @@ module DiameterRx_Rx_TCFunctions {

            //AF session for UE2
            f_awaiting_AAR(mw_AAR_FIP_supSA_supMedia
                           (?, ?, ?, ?, ?, f_framedIpAddress4(PX_UE2_framedIpAddress),
                           (?, ?, ?, ?, *, f_framedIpAddress4(PX_UE2_framedIpAddress),
                            //     indicating UE
                            f_framedIpAddress6(PX_UE2_framedIp6Address),
                            //     indicationg UE (IPv6)
@@ -566,7 +566,7 @@ module DiameterRx_Rx_TCFunctions {

            //AF session for UE1
            f_awaiting_AAR(mw_AAR_FIP_supSA_supMedia
                           (?, ?, ?, ?, ?, f_framedIpAddress4(PX_UE1_framedIpAddress),
                           (?, ?, ?, ?, *, f_framedIpAddress4(PX_UE1_framedIpAddress),
                            //     indicating UE
                            f_framedIpAddress6(PX_UE1_framedIp6Address),
                            //     indicationg UE (IPv6)
@@ -614,7 +614,7 @@ module DiameterRx_Rx_TCFunctions {

            //AF session for UE2
            f_awaiting_AAR(mw_AAR_FIP_supSA_supMedia
                           (?, ?, ?, ?, ?, f_framedIpAddress4(PX_UE2_framedIpAddress),
                           (?, ?, ?, ?, *, f_framedIpAddress4(PX_UE2_framedIpAddress),
                            //     indicating UE
                            f_framedIpAddress6(PX_UE2_framedIp6Address),
                            //     indicationg UE (IPv6)
@@ -638,7 +638,7 @@ module DiameterRx_Rx_TCFunctions {

            //AF session for UE1
            f_awaiting_AAR(mw_AAR_FIP_supSA_supMedia
                           (?, ?, ?, ?, ?, f_framedIpAddress4(PX_UE2_framedIpAddress),
                           (?, ?, ?, ?, *, f_framedIpAddress4(PX_UE2_framedIpAddress),
                            //     indicating UE
                            f_framedIpAddress6(PX_UE2_framedIp6Address),
                            //     indicationg UE (IPv6)
@@ -687,7 +687,7 @@ module DiameterRx_Rx_TCFunctions {

            //AF session for UE2
			f_awaiting_AAR(mw_AAR_FIP_supSA_supMedia
						   (?, ?, ?, ?, ?, f_framedIpAddress4(PX_UE2_framedIpAddress),
						   (?, ?, ?, ?, *, f_framedIpAddress4(PX_UE2_framedIpAddress),
							//     indicating UE
							f_framedIpAddress6(PX_UE2_framedIp6Address),
							//     indicationg UE (IPv6)
@@ -703,7 +703,7 @@ module DiameterRx_Rx_TCFunctions {

            //AF session for UE1
            f_awaiting_AAR(mw_AAR_FIP_supSA_supMedia
                           (?, ?, ?, ?, ?, f_framedIpAddress4(PX_UE1_framedIpAddress),
                           (?, ?, ?, ?, *, f_framedIpAddress4(PX_UE1_framedIpAddress),
                            //     indicating UE
                            f_framedIpAddress6(PX_UE1_framedIp6Address),
                            //     indicationg UE (IPv6)
+1 −1
Original line number Diff line number Diff line
@@ -45,7 +45,7 @@ group auxFunctions {
			else
			{ return 1 }
		}; 
	// end f_IncCSeq
	// end f_NrofComps

}//end group auxFunctions