alloy - 合金曾经被用来严格指定自己吗？

Question

我想知道是否有人在 Alloy 中完整指定了 Alloy 语言。

如果存在这样的元模型，它是否公开可用？

Answer 1

您的意思是您想要像 http://docs.appcelerator.com/titanium/latest/#!/api 这样的引用吗？但随后基于 Alloy XML 标签而不是 Ti. Javascript 命名空间？这也是我非常希望看到发生的事情，但我无法估计我们何时会拥有该自动取款机。