MPS类型系统查询数据库/发出API调用

Question

我正在使用MPS来实现一个非常有趣的DSL。我很想知道，并且在他们的网站上没有找到任何东西，我是否可以在类型系统内发出API调用或动态查询数据库。所以我们会看到发生等价测试，我希望能够发出API调用或数据库查询，以便在进一步的约束和分析下看到等价测试的可行性。

Answer 1

您可以调用任何Java代码，但它可能会使编辑器和MPS的其他部分无响应，因为不支持异步调用。