Commit 8102607b authored by Matthias Simon's avatar Matthias Simon
Browse files

Merge branch '3-automatic-types-for-expressions' into 'main' 

Resolve "Automatic types for expressions"

Closes #3

See merge request k3/ttcn3-conformance-tests!3
parents 029a4bd5 fdf5cae4

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

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

// @purpose  1:6.5, Ensure qualified enumerated values.

// @verdict  pass reject

module NegSem_0605_expressions_001 {



type component GeneralComp {}



type enumerated E { A(1), B(2) }



testcase TC_NegSem_0605_expressions_001() runs on GeneralComp {

	var e := A;

}



control {

    execute(TC_NegSem_0605_expressions_001());

}



}

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

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

// @purpose  1:6.5, Ensure automatic type for expressions.

// @verdict  pass accept, ttcn3verdict:pass

module Sem_0605_expressions_001 {



type component GeneralComp {}



testcase TC_Sem_0605_expressions_001() runs on GeneralComp {

	var cond := 1 + 2 <= 3;

	if (cond == true) {

		setverdict(pass);

	} else {

		setverdict(fail);

	}

}



control {

    execute(TC_Sem_0605_expressions_001());

}



}

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

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

// @purpose  1:6.5, Ensure qualified enumerated values.

// @verdict  pass accept, ttcn3verdict:pass

module Sem_0605_expressions_002 {



type component GeneralComp {}



type enumerated E { A(1), B(2) }

type enumerated F { B(3), C(4) }



testcase TC_Sem_0605_expressions_002() runs on GeneralComp {

	var v := F.B;

	if (enum2int(v) == 3) {

		setverdict(pass);

	} else {

		setverdict(fail);

	}

}



control {

    execute(TC_Sem_0605_expressions_002());

}



}

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

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

// @purpose  1:6.5, Ensure automatic type for value ranges.

// @verdict  pass accept, ttcn3verdict:pass

module Sem_0605_expressions_003 {



type component GeneralComp {}



testcase TC_Sem_0605_expressions_003() runs on GeneralComp {

	var v := (0.1..!0.2);

	if (match(0.11, v)) {

		setverdict(pass);

	} else {

		setverdict(fail);

	}

}



control {

    execute(TC_Sem_0605_expressions_003());

}



}

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

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

// @purpose  1:6.5, Ensure infinity bounds are inferred to integer.

// @verdict  pass accept, ttcn3verdict:pass

module Sem_0605_expressions_004 {



type component GeneralComp {}



testcase TC_Sem_0605_expressions_004() runs on GeneralComp {

	var v := (-infinity..infinity);

	if (match(7, v)) {

		setverdict(pass);

	} else {

		setverdict(fail);

	}

}



control {

    execute(TC_Sem_0605_expressions_004());

}



}