Commit 3d2c433f authored by Matthias Simon's avatar Matthias Simon
Browse files

Add tests for ???

parent 8c3ac5b2

ATS/core_language/16_functions_altsteps_testcases/1601_functions/160106_the_not_implemented_function/NegSem_160106_the_not_implemented_function_000.ttcn

0 → 100644
+16 −0
Original line number Diff line number Diff line 
 // @author   TTF23

 // @purpose  1:16.1.6, Ensure optional parameter is universal charstring

 // @verdict  pass accept, ttcn3verdict:error

module NegSem_160106_the_not_implemented_function_000 {



type component GeneralComp {}



testcase TC_NegSem_160106_the_not_implemented_function_000() runs on GeneralComp {

	???("Hello " & ???);

}



control {

    execute(TC_NegSem_160106_the_not_implemented_function_000());

}



}

ATS/core_language/16_functions_altsteps_testcases/1601_functions/160106_the_not_implemented_function/NegSem_160106_the_not_implemented_function_001.ttcn

0 → 100644
+16 −0
Original line number Diff line number Diff line 
 // @author   TTF23

 // @purpose  1:16.1.6, Ensure ??? can be used as value in local expressions

 // @verdict  pass accept, ttcn3verdict:error

module NegSem_160106_the_not_implemented_function_001 {



type component GeneralComp {}



testcase TC_NegSem_160106_the_not_implemented_function_001() runs on GeneralComp {

	var integer i := ???;

}



control {

    execute(TC_NegSem_160106_the_not_implemented_function_001());

}



}

ATS/core_language/16_functions_altsteps_testcases/1601_functions/160106_the_not_implemented_function/NegSem_160106_the_not_implemented_function_002.ttcn

0 → 100644
+16 −0
Original line number Diff line number Diff line 
 // @author   TTF23

 // @purpose  1:16.1.6, Ensure ??? can be used as value in any expressions

 // @verdict  pass accept, ttcn3verdict:error

module NegSem_160106_the_not_implemented_function_002 {



type component GeneralComp {}



testcase TC_NegSem_160106_the_not_implemented_function_002() runs on GeneralComp {

	var integer i := -???;

}



control {

    execute(TC_NegSem_160106_the_not_implemented_function_002());

}



}

ATS/core_language/16_functions_altsteps_testcases/1601_functions/160106_the_not_implemented_function/NegSem_160106_the_not_implemented_function_003.ttcn

0 → 100644
+18 −0
Original line number Diff line number Diff line 
 // @author   TTF23

 // @purpose  1:16.1.6, Ensure ??? can be used as value in module parameters

 // @verdict  pass accept, ttcn3verdict:error

module NegSem_160106_the_not_implemented_function_003 {



modulepar charstring reason := ???;



type component GeneralComp {}



testcase TC_NegSem_160106_the_not_implemented_function_003() runs on GeneralComp {

	setverdict(pass, reason);

}



control {

    execute(TC_NegSem_160106_the_not_implemented_function_003());

}



}

ATS/core_language/16_functions_altsteps_testcases/1601_functions/160106_the_not_implemented_function/NegSem_160106_the_not_implemented_function_004.ttcn

0 → 100644
+23 −0
Original line number Diff line number Diff line 
 // @author   TTF23

 // @purpose  1:16.1.6, Ensure ??? can be used as value as default parameter

 // @verdict  pass accept, ttcn3verdict:error

module NegSem_160106_the_not_implemented_function_004 {



type component GeneralComp {}



function isNeg(in integer i := ???) boolean {

	return i < 0;

}



testcase TC_NegSem_160106_the_not_implemented_function_004() runs on GeneralComp {

	// Will have error verdict, because default parameter of isNeg contains ???.

	if (isNeg()) {

		setverdict(pass);

	}

}



control {

    execute(TC_NegSem_160106_the_not_implemented_function_004());

}



}