demo/XTDP_Demo.ttcn - titan/titan.ProtocolModules.XTDP - Git at Google

 ///////////////////////////////////////////////////////////////////////////////
 //
 // Copyright (c) 2000-2019 Ericsson Telecom AB
 //
 // All rights reserved. This program and the accompanying materials
 // are made available under the terms of the Eclipse Public License v2.0
 // which accompanies this distribution, and is available at
 // https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html
 ///////////////////////////////////////////////////////////////////////////////
 //
 //  File:     XTDP_Demo.ttcn
 //  Rev:      <RnXnn>
 //  Prodnr:   CNL 11
 //  Updated:  2009-10-16
 //  Contact:  http://ttcn.ericsson.se
 ///////////////////////////////////////////////////////////////////////////////

 ///////////////////////////////////////////////////////////
 //  Module: XTDP_Demo
 //
 //  Purpose:
 //    This module provides
 //
 //  Module depends on:
 //    -
 //
 //  Current Owner:
 //    Laszlo Skumat (ELSZSKU)
 //
 //  Last Review Date:
 //    -
 //
 ///////////////////////////////////////////////////////////////
 module XTDP_Demo
 {
 import from XTDP_EncDecFunctions all
 //import from www_mozilla_org_keymaster_gatekeeper_there_is_only_xul all;
 import from ttcn_ericsson_se_protocolModules_xtdp_xtdl all
 import from ttcn_ericsson_se_protocolModules_xtdp_xtdp all
 //import from ttcn_ericsson_se_xtdp_xul_1_0 all
 //import from NoTargetNamespace all;
 import from IPL4asp_PortType all;
 import from IPL4asp_Types all;
 //import from IPL4asp_Functions all;
 //import from XTDP_Templates all;
 import from Socket_API_Definitions all;

 modulepar boolean tsp_debug_GuiTest :=false; //from XTDP_TP:RunTimeGuiTest.ttcn
 modulepar boolean tsp_debugVerbose_GuiTest :=false;//from XTDP_TP:RunTimeGuiTest.ttcn
 modulepar integer tsp_callGrpsNo := 80;//from XTDP_TP:RunTimeGuiTest.ttcn
 modulepar integer  tsp_sigLinksNo := 80//from XTDP_TP:RunTimeGuiTest.ttcn

 const Hbox c_MainWidget := {
   disabled := omit,
   fixedposition := omit,
   flex        := omit,
   id          := "EPTF_Main_hbox",
   orientation := horizontal,
   scrollable  := omit,
   embeddedwidgets := {
     embeddedwidget_list := {
     {
       hbox := {
         disabled := omit,
         fixedposition := omit,
         flex        := omit,
         id          := "EPTF_Main_hbox_labels",
         orientation := vertical,
         scrollable  := omit,
         embeddedwidgets := {
           embeddedwidget_list := {
           {
             label_ := {
               disabled := omit,
               flex      := omit,
               id        := "refreshClock",
               style     := omit,
               tooltiptext := omit,
               value_ := "Time elapsed since Test was started: 0.0",
               externaldata := omit
             }
           },
           {
             label_ := {
               disabled := omit,
               flex      := omit,
               id        := "status",
               style     := omit,
               tooltiptext := omit,
               value_ := "This text will be replaced runtime.",
               externaldata := omit
             }
           }
         }
         }
       }
     },
     {
       hbox := {
         disabled := omit,
         fixedposition := omit,
         flex        := omit,
         id          := "EPTF_Main_hbox_buttons",
         orientation := horizontal,
         scrollable  := omit,
         embeddedwidgets := {
           embeddedwidget_list := {
           {
             spacer    :=  {
               flex := 1.0,
               id   := omit
             }
           },
           {
             button    := {
               checked     := omit,//BOOLEAN OPTIONAL,
               disabled    := true,
               flex        := omit,
               id          := "button1",
               imageid     := omit,
               label_ := "Snapshot",
               tooltiptext := omit,
               type_  := omit, //XSD.String OPTIONAL,
               externaldata := omit
               //image     := omit,
             }
           },
           {
             spacer    :=  {
               flex := 0.0,
               id   := omit
             }
           },
           {
             button    := {
               checked     := omit,//BOOLEAN OPTIONAL,
               disabled    := true,
               flex        := omit,
               id          := "button2",
               imageid     := omit,
               label_ := "Exit TTCN",
               tooltiptext := omit,
               type_  := omit, //XSD.String OPTIONAL,
               externaldata := omit
               //image       := omit,
             }
           }
         }
       }
       }
     }
   }
   }
 }

 type component MTC {
   port IPL4asp_PT IPL4;
   var integer v_reqId := 1;
   var integer v_plainRequest:= 0;
 }
 function f_getNextReqId() runs on MTC return integer {
   var integer vl_retVal := v_reqId;
   v_reqId := v_reqId+1;
   return vl_retVal;
 }
 modulepar{
   charstring tsp_xtdp_listen_addr := "127.0.0.1";
   integer    tsp_xtdp_listen_port := 11420;
 }

 template ASP_RecvFrom t_recvfrom(template integer pl_connId) := {
   connId := pl_connId,
   remName := ?,
   remPort := ?,
   locName := ?,
   locPort := ?,
   proto := ?,
   userData := ?,
   msg := ?
 }

 template ASP_Event t_res := {
   result := ?
 }

 template ASP_Event t_open := {
   connOpened := ?
 }

 template ASP_Event t_sctpEvent := {
   sctpEvent := ?
 }

 template ASP_Event t_close := {
   connClosed := ?
 }

 testcase tc_XTDP_GUI() runs on MTC{
   var XTDP_Message vl_msg
   vl_msg.transactionID := omit
   vl_msg.choice.xTDP_AddRequests.xTDP_AddRequest_list[0].parentWidgetId := omit
   vl_msg.choice.xTDP_AddRequests.xTDP_AddRequest_list[0].requestId := 1
   vl_msg.choice.xTDP_AddRequests.xTDP_AddRequest_list[0].widgets.hbox := c_MainWidget

   map(self:IPL4, system:IPL4);
   var integer vl_connId := 0
   var IPL4asp_Types.Result result:= IPL4asp_PortType.f_IPL4_connect(
     IPL4,
     tsp_xtdp_listen_addr, tsp_xtdp_listen_port,
     c_ipv4AnyAddr, c_anyPort,
     vl_connId, {tcp := {}})
   if (ispresent(result.errorCode)) {
     setverdict(fail,"Connection failed: ",result.errorCode);
     stop;
   }
   vl_connId := result.connId
   setverdict(pass,"Connection open: ",result);
   var octetstring vl_msgOct :=  enc_XTDP_Message(vl_msg)
   var ASP_SendTo asp := {
     connId := vl_connId,
     remName := tsp_xtdp_listen_addr,
     remPort := tsp_xtdp_listen_port,
     proto := omit,
     msg := int2oct(lengthof(vl_msgOct)+4,4) & vl_msgOct
   };
   IPL4.send(asp);
   timer T
   T.start(10.0);
   var ASP_RecvFrom vl_recv
   var ASP_Event vl_event
   alt {
     [] IPL4.receive(t_recvfrom(vl_connId)) -> value vl_recv {
       log("Communication ASP received: ",vl_recv)
       setverdict(pass);
       T.stop;
     }
     [] IPL4.receive(t_res) -> value vl_event{
       log("Event: Result ASP received:", vl_event)
       setverdict(fail);
       T.stop;
     }
     [] IPL4.receive(t_open) -> value vl_event {
       log("Event: Connection opened: ",vl_event)
       setverdict(fail);
       T.stop;
     }
     [] IPL4.receive(t_close) -> value vl_event {
       log("Event: Connection closed: ",vl_event)
       setverdict(fail);
       T.stop;
     }
     [] IPL4.receive(t_sctpEvent) -> value vl_event {
       log("Event: SCTP event arrived: ",vl_event)
       repeat;
     }
     [] T.timeout {
       log("timeout");
       setverdict(fail);
     }
   } // alt
   IPL4asp_PortType.f_IPL4_close(IPL4, vl_connId, {tcp := {}})
   unmap(self:IPL4, system:IPL4);
 }
 /*
 external function dec_XTDP_Message_sliding (inout octetstring p_oct,out XTDP_Message p_message) return integer
 with {extension "prototype(sliding) decode (XER:XER_EXTENDED) errorbehavior(ALL:ERROR)"}

 testcase tc_XTDP_sliding() runs on MTC{
 var XTDP_Message vl_msg, vl_msg2
 vl_msg.noNamespaceSchemaLocation := omit
 vl_msg.choice.xTDP_AddRequests_list[0].xTDP_AddRequest_list[0].parentWidgetId := omit
 vl_msg.choice.xTDP_AddRequests_list[0].xTDP_AddRequest_list[0].requestId := 1
 vl_msg.choice.xTDP_AddRequests_list[0].xTDP_AddRequest_list[0].xul.hbox := c_MainWidget
 var octetstring vl_ret := enc_XTDP_Message(vl_msg)
 action(vl_ret)
 dec_XTDP_Message_sliding(vl_ret, vl_msg2)
 if(match(vl_msg,vl_msg2)){
 setverdict(pass)
 }else{
 setverdict(fail, match(vl_msg,vl_msg2))
 }
 if(''O == vl_ret){
 setverdict(pass)
 }else{
 setverdict(fail, "vl_ret should be empty instead of ",vl_ret)
 }
 }
 */
 }  // end of module
	///////////////////////////////////////////////////////////////////////////////
	//
	// Copyright (c) 2000-2019 Ericsson Telecom AB
	//
	// All rights reserved. This program and the accompanying materials
	// are made available under the terms of the Eclipse Public License v2.0
	// which accompanies this distribution, and is available at
	// https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html
	///////////////////////////////////////////////////////////////////////////////
	//
	// File: XTDP_Demo.ttcn
	// Rev: <RnXnn>
	// Prodnr: CNL 11
	// Updated: 2009-10-16
	// Contact: http://ttcn.ericsson.se
	///////////////////////////////////////////////////////////////////////////////

	///////////////////////////////////////////////////////////
	// Module: XTDP_Demo
	//
	// Purpose:
	// This module provides
	//
	// Module depends on:
	// -
	//
	// Current Owner:
	// Laszlo Skumat (ELSZSKU)
	//
	// Last Review Date:
	// -
	//
	///////////////////////////////////////////////////////////////
	module XTDP_Demo
	{
	import from XTDP_EncDecFunctions all
	//import from www_mozilla_org_keymaster_gatekeeper_there_is_only_xul all;
	import from ttcn_ericsson_se_protocolModules_xtdp_xtdl all
	import from ttcn_ericsson_se_protocolModules_xtdp_xtdp all
	//import from ttcn_ericsson_se_xtdp_xul_1_0 all
	//import from NoTargetNamespace all;
	import from IPL4asp_PortType all;
	import from IPL4asp_Types all;
	//import from IPL4asp_Functions all;
	//import from XTDP_Templates all;
	import from Socket_API_Definitions all;

	modulepar boolean tsp_debug_GuiTest :=false; //from XTDP_TP:RunTimeGuiTest.ttcn
	modulepar boolean tsp_debugVerbose_GuiTest :=false;//from XTDP_TP:RunTimeGuiTest.ttcn
	modulepar integer tsp_callGrpsNo := 80;//from XTDP_TP:RunTimeGuiTest.ttcn
	modulepar integer tsp_sigLinksNo := 80//from XTDP_TP:RunTimeGuiTest.ttcn

	const Hbox c_MainWidget := {
	disabled := omit,
	fixedposition := omit,
	flex := omit,
	id := "EPTF_Main_hbox",
	orientation := horizontal,
	scrollable := omit,
	embeddedwidgets := {
	embeddedwidget_list := {
	{
	hbox := {
	disabled := omit,
	fixedposition := omit,
	flex := omit,
	id := "EPTF_Main_hbox_labels",
	orientation := vertical,
	scrollable := omit,
	embeddedwidgets := {
	embeddedwidget_list := {
	{
	label_ := {
	disabled := omit,
	flex := omit,
	id := "refreshClock",
	style := omit,
	tooltiptext := omit,
	value_ := "Time elapsed since Test was started: 0.0",
	externaldata := omit
	}
	},
	{
	label_ := {
	disabled := omit,
	flex := omit,
	id := "status",
	style := omit,
	tooltiptext := omit,
	value_ := "This text will be replaced runtime.",
	externaldata := omit
	}
	}
	}
	}
	}
	},
	{
	hbox := {
	disabled := omit,
	fixedposition := omit,
	flex := omit,
	id := "EPTF_Main_hbox_buttons",
	orientation := horizontal,
	scrollable := omit,
	embeddedwidgets := {
	embeddedwidget_list := {
	{
	spacer := {
	flex := 1.0,
	id := omit
	}
	},
	{
	button := {
	checked := omit,//BOOLEAN OPTIONAL,
	disabled := true,
	flex := omit,
	id := "button1",
	imageid := omit,
	label_ := "Snapshot",
	tooltiptext := omit,
	type_ := omit, //XSD.String OPTIONAL,
	externaldata := omit
	//image := omit,
	}
	},
	{
	spacer := {
	flex := 0.0,
	id := omit
	}
	},
	{
	button := {
	checked := omit,//BOOLEAN OPTIONAL,
	disabled := true,
	flex := omit,
	id := "button2",
	imageid := omit,
	label_ := "Exit TTCN",
	tooltiptext := omit,
	type_ := omit, //XSD.String OPTIONAL,
	externaldata := omit
	//image := omit,
	}
	}
	}
	}
	}
	}
	}
	}
	}

	type component MTC {
	port IPL4asp_PT IPL4;
	var integer v_reqId := 1;
	var integer v_plainRequest:= 0;
	}
	function f_getNextReqId() runs on MTC return integer {
	var integer vl_retVal := v_reqId;
	v_reqId := v_reqId+1;
	return vl_retVal;
	}
	modulepar{
	charstring tsp_xtdp_listen_addr := "127.0.0.1";
	integer tsp_xtdp_listen_port := 11420;
	}

	template ASP_RecvFrom t_recvfrom(template integer pl_connId) := {
	connId := pl_connId,
	remName := ?,
	remPort := ?,
	locName := ?,
	locPort := ?,
	proto := ?,
	userData := ?,
	msg := ?
	}

	template ASP_Event t_res := {
	result := ?
	}

	template ASP_Event t_open := {
	connOpened := ?
	}

	template ASP_Event t_sctpEvent := {
	sctpEvent := ?
	}

	template ASP_Event t_close := {
	connClosed := ?
	}

	testcase tc_XTDP_GUI() runs on MTC{
	var XTDP_Message vl_msg
	vl_msg.transactionID := omit
	vl_msg.choice.xTDP_AddRequests.xTDP_AddRequest_list[0].parentWidgetId := omit
	vl_msg.choice.xTDP_AddRequests.xTDP_AddRequest_list[0].requestId := 1
	vl_msg.choice.xTDP_AddRequests.xTDP_AddRequest_list[0].widgets.hbox := c_MainWidget

	map(self:IPL4, system:IPL4);
	var integer vl_connId := 0
	var IPL4asp_Types.Result result:= IPL4asp_PortType.f_IPL4_connect(
	IPL4,
	tsp_xtdp_listen_addr, tsp_xtdp_listen_port,
	c_ipv4AnyAddr, c_anyPort,
	vl_connId, {tcp := {}})
	if (ispresent(result.errorCode)) {
	setverdict(fail,"Connection failed: ",result.errorCode);
	stop;
	}
	vl_connId := result.connId
	setverdict(pass,"Connection open: ",result);
	var octetstring vl_msgOct := enc_XTDP_Message(vl_msg)
	var ASP_SendTo asp := {
	connId := vl_connId,
	remName := tsp_xtdp_listen_addr,
	remPort := tsp_xtdp_listen_port,
	proto := omit,
	msg := int2oct(lengthof(vl_msgOct)+4,4) & vl_msgOct
	};
	IPL4.send(asp);
	timer T
	T.start(10.0);
	var ASP_RecvFrom vl_recv
	var ASP_Event vl_event
	alt {
	[] IPL4.receive(t_recvfrom(vl_connId)) -> value vl_recv {
	log("Communication ASP received: ",vl_recv)
	setverdict(pass);
	T.stop;
	}
	[] IPL4.receive(t_res) -> value vl_event{
	log("Event: Result ASP received:", vl_event)
	setverdict(fail);
	T.stop;
	}
	[] IPL4.receive(t_open) -> value vl_event {
	log("Event: Connection opened: ",vl_event)
	setverdict(fail);
	T.stop;
	}
	[] IPL4.receive(t_close) -> value vl_event {
	log("Event: Connection closed: ",vl_event)
	setverdict(fail);
	T.stop;
	}
	[] IPL4.receive(t_sctpEvent) -> value vl_event {
	log("Event: SCTP event arrived: ",vl_event)
	repeat;
	}
	[] T.timeout {
	log("timeout");
	setverdict(fail);
	}
	} // alt
	IPL4asp_PortType.f_IPL4_close(IPL4, vl_connId, {tcp := {}})
	unmap(self:IPL4, system:IPL4);
	}
	/*
	external function dec_XTDP_Message_sliding (inout octetstring p_oct,out XTDP_Message p_message) return integer
	with {extension "prototype(sliding) decode (XER:XER_EXTENDED) errorbehavior(ALL:ERROR)"}

	testcase tc_XTDP_sliding() runs on MTC{
	var XTDP_Message vl_msg, vl_msg2
	vl_msg.noNamespaceSchemaLocation := omit
	vl_msg.choice.xTDP_AddRequests_list[0].xTDP_AddRequest_list[0].parentWidgetId := omit
	vl_msg.choice.xTDP_AddRequests_list[0].xTDP_AddRequest_list[0].requestId := 1
	vl_msg.choice.xTDP_AddRequests_list[0].xTDP_AddRequest_list[0].xul.hbox := c_MainWidget
	var octetstring vl_ret := enc_XTDP_Message(vl_msg)
	action(vl_ret)
	dec_XTDP_Message_sliding(vl_ret, vl_msg2)
	if(match(vl_msg,vl_msg2)){
	setverdict(pass)
	}else{
	setverdict(fail, match(vl_msg,vl_msg2))
	}
	if(''O == vl_ret){
	setverdict(pass)
	}else{
	setverdict(fail, "vl_ret should be empty instead of ",vl_ret)
	}
	}
	*/
	} // end of module