summaryrefslogtreecommitdiff
path: root/tests/classes/class_final.phpt
diff options
context:
space:
mode:
Diffstat (limited to 'tests/classes/class_final.phpt')
-rw-r--r--tests/classes/class_final.phpt22
1 files changed, 22 insertions, 0 deletions
diff --git a/tests/classes/class_final.phpt b/tests/classes/class_final.phpt
new file mode 100644
index 0000000..5c73cb2
--- /dev/null
+++ b/tests/classes/class_final.phpt
@@ -0,0 +1,22 @@
+--TEST--
+ZE2 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();
+
+class derived extends base {
+}
+
+echo "Done\n"; // shouldn't be displayed
+?>
+--EXPECTF--
+Fatal error: Class derived may not inherit from final class (base) in %s on line %d