OOP: semantic check - abstract/trait classes cannot be instantiated (issue #427)

Signed-off-by: Miklos Magyari miklos.magyari@sigmatechnology.se

Semantic_Analizer_Tests/src/Basic_tests/OopNegativeSemanticTest.ttcn

@@ -287,6 +287,10 @@ testcase tc_basicSyntax() runs on CT {
 	
 	// nested class member reference
 	var octetstring vl_octet := vl_outer.NestedClass.InnerClass.EvenDeeper.Core.f_inside(1)
+	
+	// instantiating abstract and trait classes is not allowed
+	var object vl_trait := MinimalTraitClass.create;
+	var MinimalAbstractClass vl_abstract := MinimalAbstractClass.create;
 }
 
 } 
\ No newline at end of file