Commit 5642490d authored by Matthias Simon's avatar Matthias Simon
Browse files

Merge branch '2-automatic-type-for-field-assignment-list' into 'main' 

Resolve "Automatic type for field assignment list"

Closes #2

See merge request k3/ttcn3-conformance-tests!5
parents 429d1992 59aef316

ATS/core_language/06_types_and_values/0605_automatic_type/NegSem_0605_field_assignment_lists_001.ttcn

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

// @purpose  1:6.5, Ensure field assignment lists are anonymous records.

// @verdict  pass reject

module NegSem_0605_field_assignment_lists_001 {



type component GeneralComp {}



function verifyType(inout record { integer x, integer y } r) {

	setverdict(pass);

}



testcase TC_NegSem_0605_field_assignment_lists_001() runs on GeneralComp {

	var v := { x := 1, y := 2 };

	verifyType(v);

}



control {

    execute(TC_NegSem_0605_field_assignment_lists_001());

}



}

ATS/core_language/06_types_and_values/0605_automatic_type/Sem_0605_field_assignment_lists_001.ttcn

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

// @purpose  1:6.5, Ensure record fields have the same order as specified.

// @verdict  pass accept, ttcn3verdict:pass

module Sem_0605_field_assignment_lists_001 {



type component GeneralComp {}



type record Point {

	integer x,

	integer y

}



testcase TC_Sem_0605_field_assignment_lists_001() runs on GeneralComp {

	var v := { x := 1, y := 2 }

	if (match(v, Point:{x := 1, y := 2})) {

		setverdict(pass);

	} else {

		setverdict(fail);

	}

}



control {

    execute(TC_Sem_0605_field_assignment_lists_001());

}



}

ATS/core_language/06_types_and_values/0605_automatic_type/Sem_0605_field_assignment_lists_002.ttcn

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

// @purpose  1:6.5, Ensure record fields become optional as specified (15.8).

// @verdict  pass accept, ttcn3verdict:pass

module Sem_0605_field_assignment_lists_002 {



type component GeneralComp {}



type record Point {

	integer x,

	integer y optional

}



testcase TC_Sem_0605_field_assignment_lists_002() runs on GeneralComp {

	var v := { x := 1, y := omit }

	if (match(v, { x := 1, y := omit })) {

		setverdict(pass);

	} else {

		setverdict(fail);

	}

}



control {

    execute(TC_Sem_0605_field_assignment_lists_002());

}



}