问题标签 [axiom]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
list - 通用列表的长度函数
这篇文章展示了如何公理化 Z3 内置列表的长度函数。但是，该函数是特定于排序的（此处为 Int），不适用于布尔列表或自定义排序。
编码排序通用列表函数的最聪明的方法是什么？（如果我没记错的话，函数本身不能是通用的）。
list - 公理化 Z3 列表的包含函数的不同方法
将列表（在 Rise4Fun 上）上的包含操作公理化为
使 Z3 4.0 能够反驳断言
在我眼里等价的公理化
结果unknown。
这可能是触发器的问题，还是 List 域特有的东西可以解释行为差异？
xpath - Axis 2 Web 服务上的 AXIOMXPath 没有结果
我正在使用 ServiceClient 对象（不生成客户端代码）从 Java Axis 2 客户端调用 SharePoint 2010 Web 服务。
我需要用xPath查询结果，以便在以后的开发中得到结果代码和其他数据。
我无法使用 AXIOMXPath 获得结果...
这是 Web 服务调用的结果：
我的代码：
请问有什么想法吗？
java - 将命名空间添加到 AXIOMXPath
XML：
代码 ：
问题：
当xmlns="http://host.com/subPath"零件被删除时，这工作得很好。我想知道如何添加xmlns="http://host.com/subPath"部分来xpathExpression完成上述工作
我在下面试过但没有用。
java - com.ctc.wstx.exc.WstxUnexpectedCharException：非法字符（（CTRL-CHAR，代码 15））
我正在使用公理从 XML 中提取数据。
但是由于在 XML 中有 CTRL-CHAR（例如：â、€、¢、“、”、™、'、- 等），我遇到了错误。
任何机构都可以帮我替换所有 CTRL-SHAR 以避免上述错误。
xslt - 如何使用 XSLT 控制 Spring-WS 命名空间单引号或双引号
我想将文档中单个命名空间声明的双引号更改为单引号，同时将所有其他命名空间声明保留为双引号。我怎样才能做到这一点？
这是来自服务器的响应文档：
<?xml version='1.0' encoding='UTF-8'?><soapenv:Envelope xmlns:soapenv="http://schemas.xmlsoap.org/soap/envelope/"><soapenv:Body><InquiryResponse xmlns="http://www.openuri.org/"><Header><HeaderAttr1>abcd</HeaderAttr1><HeaderAttr2>xxx</HeaderAttr2><HeaderAttr3>string</HeaderAttr3></Header><Body><InquiryResult><ResultItem1>theresulttext</ResultItem1><ResultItem2>abcd</ResultItem2><ResultItem3>0</ResultItem3></InquiryResult></Body></InquiryResponse></soapenv:Body></soapenv:Envelope>
我需要类似的东西（注意 open:InquiryResponse 没有“）。
<?xml version="1.0" encoding="utf-8"?> <SOAP-ENV:Envelope xmlns:SOAP-ENV="http://schemas.xmlsoap.org/soap/envelope/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xsd="http://www.w3.org/2001/XMLSchema"> <SOAP-ENV:Body> <open:InquiryResponse xmlns:open='http://www.openuri.org/'><open:Header><open:HeaderAttr1>abcd</open:HeaderAttr1><open:HeaderAttr2>xxx</open:HeaderAttr2><open:HeaderAttr3>string</open:HeaderAttr3></open:Header><open:Body><open:InquiryResult><open:ResultItem1>theresulttext</open:ResultItem1><open:ResultItem2>abcd</open:ResultItem2><open:ResultItem3>0</open:ResultItem3></open:InquiryResult></open:Body></open:InquiryResponse> </SOAP-ENV:Body> </SOAP-ENV:Envelope>
我已经能够进行命名空间前缀更改、附加命名空间声明、空白修正、字符集更改，我现在只需要更改这两个字节。
我正在使用 Spring WS + Woodstox + Axiom 构建一个简单的查询 Web 服务。它是现有服务的替代品，我想让它逐字节相同（$$ 原因）。我可以将 XML 转换为相同的类型，但目前我们不知道哪些消费者使用 grep 或正则表达式来查找数据。
到目前为止，我正在尝试使用 XSLT 和 PayloadTransformingInterceptor 来解决这个问题。我也会对其他选项感兴趣。
c# - 在 C# 中转换/查找 Java 类库的类似物的选项？
我的任务是用 C#.NET 重写 Java Web 服务客户端。事实证明，这项任务中唯一真正乏味的部分是弄清楚如何处理所有 Java 类库（抱歉，如果这不是正确的术语——Java 的经验不如 C# 的经验丰富）。我正在寻找两种不同的选择：
1）反编译jar并使用Sharpen进行转换
2) 反编译或使用 Apache 的在线文档来重新创建我需要的部分
这两种方法的最大缺点是是否有任何 C# 类比我要转换的 Java 类的问题，这意味着我会重复工作。第一个选项也有一个缺点，即某些代码可能无法干净地转换，这让我必须查看所有代码才能弄清楚。我需要 C# 等效代码的两个最重要的库是 Axis2 AxisFault 和常量库以及 Axiom OM 库。
这是我的问题：除了我列出的两个之外，还有其他选择吗？我已经用谷歌搜索了十几次，我发现的只是这两个选项。
java - 肥皂处理程序 org.w3c.dom.DOMException：HIERARCHY_REQUEST_ERR：
我在使用 Spring 配置（不是 Spring-WS）作为 Web 服务公开的无状态 bean 中使用 JAX-WS。我添加了一个 SOAP 处理程序，并且在处理程序中，当我尝试在 SOAPMessageContext 上获取消息（）时，我得到一个尝试插入一个不允许的节点。
我将这些依赖项添加到我的 Maven 配置中： JAX-WS: Getting DOMException - HIERARCHY_REQUEST_ERR 在尝试添加安全标头时
我读到 WebLogic saaj 库已经过时了。我尝试将其添加到我的启动环境脚本中：
并尝试过：
但这没有帮助。
java - 错误：org.apache.axis2.AxisFault：请求中未指定方法
我用axis2-1.6.2做客户端有问题然后我总结一下问题。
我正在尝试使用下一个 wsdl 来制作客户端：http ://www.mobilefish.com/services/web_service/countries.php?wsdl
我在 Windows 中使用这一行：
我正在使用xmlbeans，因为使用adb我有问题
当我尝试将此客户端与下一个代码一起使用时：
我收到下一个错误：
线程“主”org.apache.axis2.AxisFault 中的异常：请求中未指定方法。 在 org.apache.axis2.util.Utils.getInboundFaultFromMessageContext(Utils.java:531) 在 org.apache.axis2.description.OutInAxisOperationClient.handleResponse(OutInAxisOperation.java:375) 在 org.apache.axis2.description.OutInAxisOperationClient.send (OutInAxisOperation.java:421) 在 org.apache.axis2.description.OutInAxisOperationClient.executeImpl(OutInAxisOperation.java:229) 在 org.apache.axis2.client.OperationClient.execute(OperationClient.java:165) 在 com.mobilefish。 Webservice.countries.CountriesWebserviceMobilefishComServiceStub.countryInfoByIana(CountriesWebserviceMobilefishComServiceStub.java:462) 在 Main.main(Main.java:33)
请如果有人可以帮助解决这个问题，将不胜感激。提前致谢。
xml - 解析 XML 时如何让 Apache Axiom 正确报告源数据行号
这就是我正在做的事情，基本上是从 Axiom Quickstart 文档中复制/粘贴：
这可行，但问题是 element.getLineNumber() 返回的行号似乎总是-1。关于 getLineNumber() 方法的文档并不多，而且在源代码中想要定义行号的地方也不容易找到。为了让 Axiom 跟踪行号，我需要做一些额外的配置吗？