如何从C ++调用Alloy？

Question

我有一个C ++项目，现在我需要从中调用Alloy来生成模型。我知道在Java中它是可能的，我想知道它是否也可以在C ++中使用。

Answer 1

Alloy是用Java编写的，内置于​​jar中。它只有Java API，因此它没有直接使用C ++应用程序中的Alloy。 （请注意，如果您只需要生成模型，则始终可以将文本形式的模型编写到文件中。）

正如您对问题的评论中所提到的，一种可能性是用Java编写一个单独的“薄层”应用程序，C ++应用程序将与之通信。