Tag: 合金

Alloy – 从.als生成.xml实例

我需要在程序中从.als生成随机的.xml实例。 我设法通过在后台运行合金（不可见的JFrame）并调用doOpen，doExecuteLatest和doShowLatest函数来做到这一点。 但每次运行我的代码时都要等合金开始是一件痛苦的事。 我认为如果我只使用合成代码部分执行此程序（我想这将是kodkod）会更有效率。 有谁知道这是怎么做到的吗？ 我发现合金的代码非常令人困惑……