将 OCL 表达式解析为 AST（抽象语法树）

Question

for context - OCL 表达式将与一个“Ecore”文件一起提供，该文件包含与表达式相关联的 UML 的信息。

作为我正在进行的研究的一部分，我正在尝试将 OCL 表达式解析为抽象语法树 (AST)，我希望能够对其进行迭代、查看每个节点的信息并进行更改。问题是我发现的所有与 OCL 有任何关系的软件—— 现代应用程序不支持，因为它们太过时了，或者用于验证表达式或为给定模型实例的表达式返回布尔值。

我确实设法使用 Eclipse MDE 查看给定表达式的 AST，但这只是通过 UI 没有导出它的选项（据我所知）。

Screenshot

我找到的最接近的解决方案是 DresdenOCL (https://github.com/dresden-ocl/standalone)，在对代码进行了很长时间的搜索后，我发现了一个函数，它为某个“OCLResource”对象返回一个“TreeIterator”对象。问题是树上的节点由仅供后端使用的类组成——这意味着除了类名、内存位置和有时代表一部分的字符串值之外，我无法从中获取任何真实信息的表达。除了打印的顺序之外，没有任何层次结构的迹象，这也是一个大问题。我也尝试在这些节点上使用反射，但据我所知，这些类没有任何有用的函数或字段可能会有所帮助。

我还提供了一些照片作为示例，包括输入和输出。 照片：

Input

Function

Output

目前我最好的选择是刻苦研究这些 DresdenOCL 输出，直到我很好地理解它们是如何构建的，然后自己编写一个代码来获取这些输出并构建一个我可以正常使用的 AST，但是可能需要很长时间，这就是为什么我在这里提出这个问题，希望一些漂亮的陌生人可能会出现更好的解决方案。

任何建议将不胜感激，在此先感谢。

Answer 1

使用 USE-OCL（由 Uni Bremen 提供，sourceforge 提供）您可能会更幸运。它是开源的，在 src/main/org/tzi/parser 包中，您可以找到一个带有节点元素的 AST 表示，以及用于从字符串输入创建 AST 的解析器/编译器类。它看起来很全面，可能适合集成到另一个工具中。

我自己还没有使用过 USE 的代码，但我在讲座中使用了该工具。它可靠、稳定且积极维护。

编辑：以下 sn-p 将 OCL 表达式转换为编译后的内部表示，您可以在包 org.tzi.use.uml.ocl.expr 中找到。查看函数compileExpression，您可以找到如何转换为包org.tzi.use.parser.ocl 的AST 表示。什么更适合你。使用的 UML 模型是空的，因此表达式中没有要使用的上下文。但是，将模型转换为 USE 模型格式可能并不费力。

    public static void main(String args[]) {
        
        ModelFactory mFactory = new ModelFactory();
        MModel mModel = mFactory.createModel("unnamed");
        MSystem system = new MSystem(mModel);
        
        String input = "Set{1,2,3} ->collect(i|i*2)";
        
        PrintWriter errorPrinter = new PrintWriter(new StringWriter(), true);
        
        Expression expr = OCLCompiler.compileExpression(mModel, input,
                "USE Api", errorPrinter, system.varBindings());
        
        System.out.println(expr.toString());
    }

Answer 2

使用来自 Eclipse OCL 的 Complete OCL 编辑器，您可以使用 OCL -> Save Abstract Syntax 上下文菜单操作，或者实际上是 Save Concrete (Xtext) Syntax。如果您需要以编程方式保存，则底层功能是 Java 可调用的。

您应该知道，由 OMG OCL 规范定义的 AST 有许多不足之处，而基于 Pivot 的 Eclipse OCL 原型解决方案正是针对这些不足之处。