_silent = $silent; } /** * Prints an opening parenthesis followed by production name and increases * indentation level by one. * * This method is called before executing a production. * * @param string $name Production name. * * @return void */ public function startProduction($name) { $this->println('(' . $name); $this->_indent++; } /** * Decreases indentation level by one and prints a closing parenthesis. * * This method is called after executing a production. * * @return void */ public function endProduction() { $this->_indent--; $this->println(')'); } /** * Prints text indented with spaces depending on current indentation level. * * @param string $str The text. * * @return void */ public function println($str) { if (! $this->_silent) { echo str_repeat(' ', $this->_indent), $str, "\n"; } } }