test for override final method

org.eclipse.xtext.xbase.tests/src/org/eclipse/xtext/xbase/tests/validation/JvmGenericTypeValidatorTest.java

@@ -446,6 +446,20 @@ public void testWildcardSuperType() throws Exception {
 			+ " inherited from InterfaceWithAbstractMethod.");
 	}
 
+	@Test public void testOverrideFinalMethod() throws Exception {
+		var source = "class Foo extends test.ClassWithFinalMembers { def void foo() {} }";
+		var model = parse(source);
+		validationHelper.assertError(model, MY_METHOD, OVERRIDDEN_FINAL,
+				source.indexOf("foo"), "foo".length(),
+				"override", "final");
+	}
+
+	@Test public void testOverrideNonFinalMethod() throws Exception {
+		var source = "class Foo extends test.SuperTypeClass { def void foo() {} }";
+		var model = parse(source);
+		validationHelper.assertNoErrors(model);
+	}
+
 	@Test public void testDuplicateParameter() throws Exception {
 		var source = "class Foo { def void foo(int x, int x) {} }";
 		var model = parse(source);

org.eclipse.xtext.xbase.tests/testdata/test/ClassWithFinalMembers.java

@@ -0,0 +1,19 @@
+/*******************************************************************************
+ * Copyright (c) 2024 itemis AG (http://www.itemis.eu) and others.
+ * This program and the accompanying materials are made available under the
+ * terms of the Eclipse Public License 2.0 which is available at
+ * http://www.eclipse.org/legal/epl-2.0.
+ *
+ * SPDX-License-Identifier: EPL-2.0
+ *******************************************************************************/
+package test;
+
+/**
+ * @author Lorenzo Bettini - Initial contribution and API
+ */
+public class ClassWithFinalMembers {
+
+	public final void foo() {
+	}
+
+}

org.eclipse.xtext.xbase.tests/testdata/test/SuperTypeClass.java

@@ -0,0 +1,19 @@
+/*******************************************************************************
+ * Copyright (c) 2024 itemis AG (http://www.itemis.eu) and others.
+ * This program and the accompanying materials are made available under the
+ * terms of the Eclipse Public License 2.0 which is available at
+ * http://www.eclipse.org/legal/epl-2.0.
+ *
+ * SPDX-License-Identifier: EPL-2.0
+ *******************************************************************************/
+package test;
+
+/**
+ * @author Lorenzo Bettini - Initial contribution and API
+ */
+public abstract class SuperTypeClass {
+
+	public void foo() {
+	}
+
+}