From 4ff79c7d84c2fb65308a9a855505f9a41a67425d Mon Sep 17 00:00:00 2001
From: Marcus Boerger <helly@php.net>
Date: Sat, 21 Jun 2003 22:02:16 +0000
Subject: [PATCH] Add test case for final classes

---
 tests/classes/class_final.phpt | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)
 create mode 100755 tests/classes/class_final.phpt

diff --git a/tests/classes/class_final.phpt b/tests/classes/class_final.phpt
new file mode 100755
index 0000000000..5f68dcd94b
--- /dev/null
+++ b/tests/classes/class_final.phpt
@@ -0,0 +1,25 @@
+--TEST--
+A final class cannot be inherited
+--SKIPIF--
+<?php if (version_compare(zend_version(), '2.0.0-dev', '<')) die('skip ZendEngine 2 needed'); ?>
+--FILE--
+<?php
+
+final class base {
+	function show() {
+		echo "base\n";
+	}
+}
+
+$t = new base();
+$t->show();
+
+class derived extends base {
+}
+
+echo "Done\n"; // shouldn't be displayed
+?>
+--EXPECTF--
+base
+
+Fatal error: Class derived may not inherit from final class (base) in %s on line %d
-- 
2.50.1