我需要从我的程序中的.als生成随机.xml实例。我设法通过在后台运行合金(隐形JFrame)并调用doOpen,doExecuteLatest和doShowLatest函数来实现这一点。但是每次运行我的代码时都必须等待合金开始,这是一个痛苦。我认为如果我简单地使用这个程序的合金代码部分(我想那将是kodkod)会更有效率。 有谁知道该怎么做?我发现合金的代码很混乱...Alloy - 从.als生成.xml实例
3
A
回答
6
您可以使用Alloy API。 生成一个实例,写它作为一个XML文件可以轻松完成以下这些步骤:
阅读从源文件中的合金模型。
model = CompUtil.parseEverything_fromFile(null,null, “yourmodel.als”);
获取要执行的命令。例如:
命令cmd = model.getAllCommands()。get(0);
在使用步骤中获得的命令执行模型2
A4Solution溶液= TranslateAlloyToKodkod.execute_command(NULL, model.getAllReachableSigs(),CMD,新A4Options());
写步骤中生成的溶液3
solution.writeXML( “路径/到/ your.xml”);
例子可以在合金jar文件
相关问题
- 1. Can Alloy会生成无约束关系的实例吗?
- 2. [Alloy]没有发现实例
- 3. 如何从DTD生成示例XML?
- 4. 从实体生成xml字符串
- 5. 示例XML文件生成
- 6. 从xml生成'relaxed'xsd
- 7. 从html生成xml
- 8. 从xsd生成xml
- 9. 从DataContext生成XMl
- 10. 从xml.exe生成的类的实例生成XmlDocument
- 11. 无法生成SQL实例
- 12. 使用XML从XSD生成XML的示例Perl代码::编译
- 13. 如何使用Eclipse MDT XSD项目自动从XSD文件生成XML实例?
- 14. eclipse功能如何从实现的xsd模式生成示例xml?
- 15. 从oracle11 DB生成XML
- 16. 从WSDL生成XML文件
- 17. XSLT - 生成HTML从XML
- 18. 从Xml文件生成HTML
- 19. 从PHP生成XML输出
- 20. 生成xml和xsl从php
- 21. 从XML生成HTML和PDF
- 22. 从类中生成XML
- 23. 从XML生成Excel文档
- 24. 从SQL Server生成XML 2008
- 25. 从关系表生成XML
- 26. 从多个类生成XML?
- 27. 从模式生成XML
- 28. 从XML生成SQL模式
- 29. 从多个类生成XML
- 30. 从C#生成XML代码
你没有多大的帮助,这是观念的edu.mit.csail.sdg.alloy4whole包中找到!非常感谢! – mcopo
很高兴帮助:D –
如何迭代解决方案? (在中提到)。谢谢。 –