问题标签 [codesynthesis]

我是 Codesynthesis 的新手，我想知道如何将字符串值与序列进行比较。

例如，我有一个消息 ID“0x100”，我想检查它是否在发送序列中。如果它在那里，我只想获取 ID 为“0x100”（在本例中为“one”）的消息的信号名称，而不是整个序列。

使用我的代码，我可以获得所有发送序列中的所有消息 ID，但我不知道如何使用它们分别将其与字符串变量进行比较，只需从序列中取出一个元素并将其保存到字符串变量中。

我怎样才能做到这一点？

谢谢你的帮助！

这是xml：

这就是我从 xml 中读取序列的方式：

我想知道codesynthesis-xsd是否可以用来修改xml的值。从网站上我只能看到有关 xml 解析的信息。但在我的程序中，我想同时进行解析和编辑 xml。

我遇到了与此问题类似的问题。基本上，如果我的 xml 不包含有关 xsd 的信息，我会收到错误消息。下面给出的是 xml、xsd 和一个给我错误的示例程序。

hello.xml

如果我用以下内容替换了开头的“hello”标签，那么程序就会运行得很好。

hello.xsd

main.cpp

Error

我想知道是否有办法绕过这个问题而无需在 xml 中指定 xsd 信息。如果 xml 不符合 xsd，我还希望解析器向我抛出错误（就像现在一样）。

我一直在尝试实现运行时库，它是 CodeSynthesis 的仅标头库。但是，每当我尝试运行由 XSD 可执行文件生成的文件时，我只会收到链接编译错误。

这是向您显示运行时库的链接问题的错误：

我已按照 CodeSynthesis 给出的指南使用以下命令生成我的 hello.cxx 和 hello.hxx 文件：xsd cxx-tree --std c++11 hello.xsd

制作

我已经看到了一些关于如何用 Rosette 合成小块代数或命题逻辑代码的示例。我的问题是，这些是你可以合成的唯一类型吗？我试图合成围绕类型列表的小段代码？但我收到错误，因为它不是可解决的类型。我希望做的是综合关于列表的定理，例如“Forall list x, (length x) = (length (reverse x))”。这可能吗？