alloy - 使用合金 API 打印合金模型和/或合金表达式
问题描述
我想知道一旦Alloy API/Analyzer解析了Alloy模型，是否有办法打印它。我知道有一种方法可以使用内置在 Alloy API 中的 Expr 类中的toString()方法来打印已解析的 Alloy 表达式。但是，toString()方法并不总是输出可解析的 Alloy 表达式。例如，如果您有以下函数/谓词调用variable.plus[1]，则Expr类中的toString()方法将在模型被解析后返回1.variable.plus而不是variable.plus[1]并且存储在 API 中。有没有办法让我们能够打印variable.plus[1]解析完成后代替1.variable.plus还是有办法在解析后打印合金模型？
任何帮助将不胜感激！
解决方案
推荐阅读
- java - 问：java中数值数组的排序
- javascript - 我如何才能使命令仅在您位于不和谐服务器中时才有效？
- java - 我在网页中有一个表格，其中我有一个如图所示的界面。通过匹配接口名称我需要点击箭头
- c# - 复杂的 XML 到 C# 类 - 如何反序列化它们？
- java - 跟踪类字节码中的方法实现变化
- regex - “.”时从块中退出 遇到
- python - json.decoder.JSONDecodeError：期望值：第 1 行第 1 列（字符 0）object_pairs_hook=object_pairs_hook，**kw）
- r - 如何使用RecommenderRegistry$get_entries() 修复无效的多字节字符串错误？
- c# - 如何使用 C# 解决 linq 中的 System.OutofMemoryException？
- windows-10-universal - Xamarin Form - 如何在 UWP 中使 UI 响应