codecamp

PHP xml_parser_get_option() 函数

PHP xml_parser_get_option() 函数


PHP XML 参考手册 完整的 PHP XML 参考手册

定义和用法

xml_parser_get_option() 函数从 XML 解析器获取选项。

如果成功,该函数则返回选项值。如果失败,则返回 FALSE 和一个错误。

语法

xml_parser_get_option(parser,option,value)

参数 描述
parser 必需。规定要使用的 XML 解析器。
option 必需。规定要获取的选项。可能的值:
  • XML_OPTION_CASE_FOLDING - 规定是否允许 case-folding。默认为允许。可以是 1(TRUE)或 0(FALSE)。
  • XML_OPTION_TARGET_ENCODING - 规定在 XML 解析器中使用哪个目标编码。默认情况下,它和xml_parser_create()函数的设置是相同的,它支持的目标编码是:ISO-8859-1、US-ASCII 和 UTF-8。


实例

<?php
$xmlparser = xml_parser_create();

echo xml_parser_get_option($xmlparser, XML_OPTION_CASE_FOLDING);

xml_parser_free($xmlparser);
?>


PHP XML 参考手册 完整的 PHP XML 参考手册
温馨提示
下载编程狮App,免费阅读超1000+编程语言教程
取消
确定
目录

PHP 相关教程

关闭

MIP.setData({ 'pageTheme' : getCookie('pageTheme') || {'day':true, 'night':false}, 'pageFontSize' : getCookie('pageFontSize') || 20 }); MIP.watch('pageTheme', function(newValue){ setCookie('pageTheme', JSON.stringify(newValue)) }); MIP.watch('pageFontSize', function(newValue){ setCookie('pageFontSize', newValue) }); function setCookie(name, value){ var days = 1; var exp = new Date(); exp.setTime(exp.getTime() + days*24*60*60*1000); document.cookie = name + '=' + value + ';expires=' + exp.toUTCString(); } function getCookie(name){ var reg = new RegExp('(^| )' + name + '=([^;]*)(;|$)'); return document.cookie.match(reg) ? JSON.parse(document.cookie.match(reg)[2]) : null; }