OOP: improved handling for class finally blocks (issue #417)

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

Semantic_Analizer_Tests/src/Basic_tests/OopNegativeSemanticTest.ttcn

@@ -86,6 +86,25 @@ type class SubFunctionClass extends BaseFunctionClass {
 	}
 }
 
+// an abstract class can have a finally block
+type class @abstract FinallyClass {
+	public const integer m_const := 0;
+} finally {
+	log(this);
+}
+
+// a trait class cannot have a finally block
+type class @trait FinallyClass2 {
+	public const integer m_const := 0;
+} finally {
+	log(this);
+}
+
+// bad combination of class modifiers
+type class @final @abstract BadClass1 { }
+type class @final @trait BadClass3 { }
+type class @abstract @trait BadClass2 { }
+
 testcase tc_basicSyntax() runs on CT {
 	var GrandSubClass vl_gsc := GrandSubClass.create;