Commit 58efb29c authored by pintar's avatar pintar
Browse files

Module description and some debug errors are solved

parent 62b93468
Loading
Loading
Loading
Loading
+9 −3
Original line number Diff line number Diff line
/*
 *	@author 	STF 370
 *  @version    $Id: LibIot_Functions.ttcn 16 2009-06-16 15:06:42Z pintar $
 *	@desc		This module provides the functions used by the test component 
 */

module LibIot_Functions {
	import from LibIot_PICS {modulepar PX_CONFOMANCE_CHECK;}

	import from LibIot_TypesAndValues {type IOTVerdict;}

	import from LibIot_TestSystem {
	import from LibIot_TestInterface {
		type TestCoordinator, TestMonitor, TestOracle;
	}

@@ -15,9 +21,9 @@ module LibIot_Functions {
	function f_setConformanceVerdict(in verdicttype p_verdict,
									 in charstring p_reason)
	runs on TestMonitor {
		var IOTVerdict v_verdict := {conformance := p_verdict};
		log("Conformance verdict set to: ", p_verdict);
		log(p_reason);
		var IOTVerdict v_verdict := {conformance := p_verdict};
		vPort.send(v_verdict);
	}

@@ -28,9 +34,9 @@ module LibIot_Functions {
	*/
	function f_setE2EVerdict(in verdicttype p_verdict, in charstring p_reason)
	runs on TestMonitor {
		var IOTVerdict v_verdict := {e2e := p_verdict};
		log("E2E verdict set to: ", p_verdict);
		log(p_reason);
		var IOTVerdict v_verdict := {e2e := p_verdict};
		vPort.send(v_verdict);
	}