Loading ATS/core_language/06_types_and_values/0605_automatic_type/NegSem_0605_automatic_type_001.ttcn 0 → 100644 +10 −0 Original line number Diff line number Diff line // @author TTF23 // @purpose 1:6.5, Ensure ArrayDef part is omitted for variables with automatic type inference. // @verdict pass reject module NegSem_0605_automatic_type_001 { function f() { var x[2] := {1,2}; } } ATS/core_language/06_types_and_values/0605_automatic_type/NegSem_0605_automatic_type_002.ttcn 0 → 100644 +8 −0 Original line number Diff line number Diff line // @author TTF23 // @purpose 1:6.5, Ensure ArrayDef part is omitted for constants with automatic type inference. // @verdict pass reject module NegSem_0605_automatic_type_002 { const IP[4] := { 192, 168, 0, 1 }; } ATS/core_language/06_types_and_values/0605_automatic_type/NegSem_0605_automatic_type_003.ttcn 0 → 100644 +8 −0 Original line number Diff line number Diff line // @author TTF23 // @purpose 1:6.5, Ensure ambiguous types are rejected. // @verdict pass reject module NegSem_0605_automatic_type_003 { const X := null; } ATS/core_language/06_types_and_values/0605_automatic_type/NegSem_0605_literals_001.ttcn 0 → 100644 +8 −0 Original line number Diff line number Diff line // @author TTF23 // @purpose 1:6.5, Ensure automatic type for *. // @verdict pass reject module NegSem_0605_literals_001 { modulepar template mpar := *; } ATS/core_language/06_types_and_values/0605_automatic_type/NegSem_0605_literals_002.ttcn 0 → 100644 +8 −0 Original line number Diff line number Diff line // @author TTF23 // @purpose 1:6.5, Ensure automatic type for ?. // @verdict pass reject module NegSem_0605_literals_002 { modulepar template mpar := ? } Loading
ATS/core_language/06_types_and_values/0605_automatic_type/NegSem_0605_automatic_type_001.ttcn 0 → 100644 +10 −0 Original line number Diff line number Diff line // @author TTF23 // @purpose 1:6.5, Ensure ArrayDef part is omitted for variables with automatic type inference. // @verdict pass reject module NegSem_0605_automatic_type_001 { function f() { var x[2] := {1,2}; } }
ATS/core_language/06_types_and_values/0605_automatic_type/NegSem_0605_automatic_type_002.ttcn 0 → 100644 +8 −0 Original line number Diff line number Diff line // @author TTF23 // @purpose 1:6.5, Ensure ArrayDef part is omitted for constants with automatic type inference. // @verdict pass reject module NegSem_0605_automatic_type_002 { const IP[4] := { 192, 168, 0, 1 }; }
ATS/core_language/06_types_and_values/0605_automatic_type/NegSem_0605_automatic_type_003.ttcn 0 → 100644 +8 −0 Original line number Diff line number Diff line // @author TTF23 // @purpose 1:6.5, Ensure ambiguous types are rejected. // @verdict pass reject module NegSem_0605_automatic_type_003 { const X := null; }
ATS/core_language/06_types_and_values/0605_automatic_type/NegSem_0605_literals_001.ttcn 0 → 100644 +8 −0 Original line number Diff line number Diff line // @author TTF23 // @purpose 1:6.5, Ensure automatic type for *. // @verdict pass reject module NegSem_0605_literals_001 { modulepar template mpar := *; }
ATS/core_language/06_types_and_values/0605_automatic_type/NegSem_0605_literals_002.ttcn 0 → 100644 +8 −0 Original line number Diff line number Diff line // @author TTF23 // @purpose 1:6.5, Ensure automatic type for ?. // @verdict pass reject module NegSem_0605_literals_002 { modulepar template mpar := ? }