diff options
Diffstat (limited to 'tests/classes/class_final.phpt')
-rw-r--r-- | tests/classes/class_final.phpt | 22 |
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 |