mixed) $options */ public function __construct( array $options = array() ) { $this->dublinCoreMetadata = false; $this->formatOutput = false; $this->styleSheets = null; $this->styleSheet = file_get_contents( dirname( __FILE__ ) . '/data/html_style.css' ); $this->headerLevel = 1; parent::__construct( $options ); } /** * Sets the option $name to $value. * * @throws ezcBasePropertyNotFoundException * if the property $name is not defined * @throws ezcBaseValueException * if $value is not correct for the property $name * @param string $name * @param mixed $value * @ignore */ public function __set( $name, $value ) { switch ( $name ) { case 'formatOutput': case 'dublinCoreMetadata': if ( !is_bool( $value ) ) { throw new ezcBaseValueException( $name, $value, 'boolean' ); } $this->properties[$name] = $value; break; case 'styleSheets': if ( !is_array( $value ) && !is_null( $value ) ) { throw new ezcBaseValueException( $name, $value, 'null OR array( URL )' ); } $this->properties[$name] = $value; break; case 'styleSheet': $this->properties[$name] = (string) $value; break; case 'headerLevel': if ( !is_int( $value ) || ( $value > 6 ) || ( $value < 0 ) ) { throw new ezcBaseValueException( $name, $value, '0 < int < 7' ); } $this->properties[$name] = $value; break; default: parent::__set( $name, $value ); } } } ?>