OOP-subtyping
Submitted by Elemer Lelik
Link to original bug (#568745)
Description
The below code should not compile:
/***************************************************************** ** @author STF 572 ** @version 0.0.1 ** @purpose 5.1.1.0, Ensure that subtyping definition is not allowed for class types via the normal subtype definition. ** @verdict pass reject *****************************************************************/ module NegSem_50101_top_level_005 "TTCN-3:2018 Object-Oriented"{
type component GeneralComp {
}
public type class t_empty_class {
}
type t_empty_class MyClassType; //not allowed FIXME!!!
testcase TC_NegSem_50101_top_level_005() runs on GeneralComp {
var t_empty_class v_a := t_empty_class.create()
setverdict(pass);
}
control {
execute(TC_NegSem_50101_top_level_005());
}
}
Version: 7.1.0