Commit 12bd89bb authored by garciay's avatar garciay
Browse files

Initial interface definition 

Initial configuration
parent 05413929

ttcn/LibCommonRfcs/LibIpv6_Interface_TypesAndValues.ttcn

+5 −5
Original line number Diff line number Diff line
@@ -39,7 +39,7 @@ module LibIpv6_Interface_TypesAndValues { 
		 *			defined based on this type the caller function must

		 *			be defined based on a type compatible component type.

		*/

		type component LibIpv6Node {

		type component LibIpv6Node extends ServerSyncComp, SelfSyncComp {

			port Ipv4Port ipv4Port;

			port Ipv6Port ipPort;

			port ArpPort arpPort;
@@ -50,10 +50,10 @@ module LibIpv6_Interface_TypesAndValues { 
			var Sad vc_sad;

			var IkeSad vc_ikeSad;

			timer tc_loop := PX_LOOP ;

			var StringStack v_stateStack:= c_initStringStack;

			port SyncPort syncSendPort;

			port SyncPort syncPort;

			timer tc_sync := PX_TSYNC_TIME_LIMIT;

//			var StringStack v_stateStack:= c_initStringStack;

//			port SyncPort syncSendPort;

//			port SyncPort syncPort;

//			timer tc_sync := PX_TSYNC_TIME_LIMIT;

		}



		/**

ttcn/LibSec/LibIpv6_Rfc4306Ikev2_Functions.ttcn

+4 −1
Original line number Diff line number Diff line
@@ -6070,7 +6070,10 @@ group establishSaFns_passive { 
		log("7 secrets computed");



		v_ret := fx_setIkeSecurityParameters(vc_ikeSad[0]);

		if(v_ret != e_success) {log("**** f_rcvSaInitReqAndRsp: ERROR: Call of fx_setIkeSecurityParameters failed **** "); f_selfOrClientSyncAndVerdict(c_prDone, v_ret);}

		if(v_ret != e_success) {

		    log("**** f_rcvSaInitReqAndRsp: ERROR: Call of fx_setIkeSecurityParameters failed **** "); 

		    f_selfOrClientSyncAndVerdict(c_prDone, v_ret);

		}



		return v_ret;