XQuery 関数の静的分析用に存在するツールはどれですか?
タスクの例: 2 つの XSD スキーマAおよびBといくつかの XQuery fが与えられた場合、タイプAの任意のドキュメントdについて、その変換f(d)がBに対して有効であることを確認します。
または、指定されたクエリに対して、存在する場合はその逆を生成します。
残念ながら、このトピックはグーグルにとって難しいものです。
XQuery 関数の静的分析用に存在するツールはどれですか?
タスクの例: 2 つの XSD スキーマAおよびBといくつかの XQuery fが与えられた場合、タイプAの任意のドキュメントdについて、その変換f(d)がBに対して有効であることを確認します。
または、指定されたクエリに対して、存在する場合はその逆を生成します。
残念ながら、このトピックはグーグルにとって難しいものです。
はい、XQuery 分析には素晴らしいと思います。OxygenXML
独自の手動静的分析ツールが組み込まれています。
代わりに手動検証を使用できます: xDB 接続をエンジンとして指定した変換または検証シナリオを構成した後、[ドキュメント] > [検証] > [検証]。
このトピックで興味深い他のリソースを見つけました。XML エディターを使用して OLAC 静的リポジトリを作成または検証し、 XSLTの静的/動的コード分析ツールはどこにありますか? X-Query
(いくつか例を挙げると、酸素は、X-Path
、と一緒に使用できますXLink
)。