value = $value; } public function getSubNodeNames() : array { return ['value']; } function getType() : string { return 'Stmt_InlineHTML'; } }