在哪里可以找到哪些匿名类实现了M3中的接口？

Question

我使用Rascal通过M3模型来检测多态类型(>1个实现)。在JHotDraw 6 (http://www.jhotdraw.org/)中，有一个仅由匿名类实现的接口org::jhotdraw::framework::ViewChangeListener，但JHotDraw的m3模型似乎不包含此信息。

import lang::java::jdt::m3::Core;
import lang::java::m3::TypeHierarchy;
jhd6 = createM3FromEclipseProject(|project://jhotdraw60b1|);
vcl = |java+interface:///org/jhotdraw/framework/ViewChangeListener|;
invert(jhd6@implements)[vcl];

返回空集。

可以在m3模型中找到匿名类|java+anonymousClass:///org/jhotdraw/standard/AbstractTool/createViewChangeListener()/$anonymous1|，但不会将其识别为实现ViewChangeListener接口。

有没有一种可靠的方法来获取这些信息？

Answer 1

M3本身并不包含此信息。模型中的implements关系只包含那些在源代码中使用"implements“关键字的对。对于匿名类，情况并非如此。

此信息在AST中可用。下面的newObject构造函数在声明类中包含匿名类，匿名类引用的类/接口可以从Type获得。

\newObject(Expression expr, Type \type, list[Expression] args, Declaration class)

\newObject(Type \type, list[Expression] args, Declaration class)

也许在M3的@types关系中包含引用的类是有意义的。目前，如果我们查看类型关系，对于您提供的示例，我们将获得

<|java+anonymousClass:///org/jhotdraw/standard/AbstractTool/createViewChangeListener()/$anonymous1|, |java+anonymousClass:///org/jhotdraw/standard/AbstractTool/createViewChangeListener()/$anonymous1|>

也许吧

<|java+anonymousClass:///org/jhotdraw/standard/AbstractTool/createViewChangeListener()/$anonymous1|,|java+interface:///org/jhotdraw/framework/ViewChangeListener|>

会更有意义。我会调查的。