File: class_final.phpt

package info (click to toggle)
php5 5.4.45-0%2Bdeb7u2
  • links: PTS, VCS
  • area: main
  • in suites: wheezy
  • size: 140,304 kB
  • sloc: ansic: 725,735; php: 21,197; sh: 11,702; xml: 5,860; cpp: 2,974; exp: 1,514; yacc: 1,271; makefile: 1,228; pascal: 686; awk: 538; perl: 315; sql: 22
file content (22 lines) | stat: -rw-r--r-- 422 bytes parent folder | download | duplicates (10) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
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