summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
Diffstat (limited to 'tests')
-rwxr-xr-xtests/classes/class_final.phpt25
1 files changed, 25 insertions, 0 deletions
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