eclipse中ast_JavaParser中AST节点的观察者

eclipse中ast

我们离JavaParser 3.0的第一个候选发布版本越来越近。我们添加的最后一项功能是支持观察抽象语法树的所有节点的更改。当我为此功能编写代码时，我收到了Danny van Bruggen（又名Matozoid）和Cruz Maximilien的宝贵反馈。因此，我使用“我们”来指代JavaParser团队。

AST节点上的哪些观察者可以用于？

我认为这对于JavaParser的生态系统来说是非常重要的功能，因为它通过对AST所做的更改做出React，使与JavaParser的集成变得更加容易。可以观察到的可能更改是为类设置新名称或添加新字段。不同的工具可以以不同的方式对这些变化做出React。例如：

编辑者可以更新其符号列表，该列表可用于自动完成等操作
一些框架可以重新生成源代码以反映更改
可以执行验证以验证新更改是否导致无效的AST
JavaSymbolSolver之类的库可以重新计算表达式的类型

这些只是我想到的一些想法，但我认为使用JavaParser的大多数方案都可以从对更改做出React的可能性中受益。

AstObserver

JavaParser 3.0 AST基于Nodes和NodeLists。一个节点，例如一个TypeDeclaration ，可以具有不同的子组。当这些组可以包含多个节点时，我们使用NodeLists。例如，一个TypeDeclarations可以具有多个成员（字段，方法，内部类）。因此，每个TypeDeclaration都有一个NodeList来包含字段，一个NodeList来包含方法，等等。其他子项（如TypeDeclaration的名称）则直接包含在一个节点中。

我们引入了一个名为AstObserver的新接口。 AstObserver接收节点和NodeList上的更改。

/*** An Observer for an AST element (either a Node or a NodeList).*/
public interface AstObserver {/*** Type of change occurring on a List*/public enum ListChangeType {ADDITION,REMOVAL}/*** The value of a property is changed** @param observedNode owner of the property* @param property property changed* @param oldValue value of the property before the change* @param newValue value of the property after the change*/void propertyChange(Node observedNode, ObservableProperty property, Object oldValue, Object newValue);/*** The parent of a node is changed** @param observedNode node of which the parent is changed* @param previousParent previous parent* @param newParent new parent*/void parentChange(Node observedNode, Node previousParent, Node newParent);/*** A list is changed** @param observedNode list changed* @param type type of change* @param index position at which the changed occurred* @param nodeAddedOrRemoved element added or removed*/void listChange(NodeList observedNode, ListChangeType type, int index, Node nodeAddedOrRemoved);
}

观察什么

现在我们有了一个AstObserver ，我们需要确定它应该接收哪些更改。我们考虑了三种可能的情况：

仅观察一个节点，例如ClassDeclaration。观察者将收到有关该节点上的更改的通知（例如，如果类更改名称），而不是其任何后代的通知。例如，如果类更改名称的字段不会通知观察者
对于观察者注册时的节点及其所有后代。在这种情况下，如果我注册了ClassDeclaration的观察者，则将通知我有关类及其所有字段和方法的更改。如果添加了新字段并在以后进行了修改，那么我将不会收到有关这些更改的通知
对于一个节点及其所有后代，在观察者注册时存在的节点和以后添加的节点。

因此，Node现在具有此方法：

/*** Register a new observer for the given node. Depending on the mode specified also descendants, existing* and new, could be observed. For more details seeObserverRegistrationMode .*/public void register(AstObserver observer, ObserverRegistrationMode mode) {if (mode == null) {throw new IllegalArgumentException("Mode should be not null");}switch (mode) {case JUST_THIS_NODE:register(observer);break;case THIS_NODE_AND_EXISTING_DESCENDANTS:registerForSubtree(observer);break;case SELF_PROPAGATING:registerForSubtree(PropagatingAstObserver.transformInPropagatingObserver(observer));break;default:throw new UnsupportedOperationException("This mode is not supported: " + mode);}}

为了区分这三种情况，我们仅使用一个枚举（ ObserverRegistrationMode ）。稍后，您将看到我们如何实现PropagatingAstObserver 。

实施对观察员的支持

如果JavaParser基于诸如EMF之类的元建模框架，则这将非常简单。鉴于情况并非如此，我需要在AST类的所有设置器中添加一个通知调用（其中有90个左右）。

因此，当在特定节点上调用setter时，它将通知所有观察者。简单。以TypeDeclaration <T>中的 setName 为例：

@Override
public T setName(SimpleName name) {notifyPropertyChange(ObservableProperty.NAME, this.name, name);this.name = assertNotNull(name);setAsParentNodeOf(name);return (T) this;
}

鉴于我们没有适当的元模型，因此没有属性的定义。因此，我们在枚举中添加了一个名为ObservableProperty的属性列表。通过这种方式，观察者可以检查更改了哪个属性并决定如何做出React。

观察者的内部等级

出于性能原因，每个节点都有自己的观察者列表。当我们要观察节点的所有后代时，我们只需向该子树中的所有节点和节点列表添加相同的观察者即可。

但是，这还不够，因为在某些情况下，您可能还需要观察放置观察者后添加到子树中的所有节点。我们通过使用PropagatingAstObserver做到这一点。这是一个AstObserver，当看到一个新节点已附加到该节点时，它也开始观察该新节点。简单吧？

/*** This AstObserver attach itself to all new nodes added to the nodes already observed.*/
public abstract class PropagatingAstObserver implements AstObserver {/*** Wrap a given observer to make it self-propagating. If the given observer is an instance of PropagatingAstObserver* the observer is returned without changes.*/public static PropagatingAstObserver transformInPropagatingObserver(final AstObserver observer) {if (observer instanceof PropagatingAstObserver) {return (PropagatingAstObserver)observer;}return new PropagatingAstObserver() {@Overridepublic void concretePropertyChange(Node observedNode, ObservableProperty property, Object oldValue, Object newValue) {observer.propertyChange(observedNode, property, oldValue, newValue);}@Overridepublic void concreteListChange(NodeList observedNode, ListChangeType type, int index, Node nodeAddedOrRemoved) {observer.listChange(observedNode, type, index, nodeAddedOrRemoved);}@Overridepublic void parentChange(Node observedNode, Node previousParent, Node newParent) {observer.parentChange(observedNode, previousParent, newParent);}};}@Overridepublic final void propertyChange(Node observedNode, ObservableProperty property, Object oldValue, Object newValue) {considerRemoving(oldValue);considerAdding(newValue);concretePropertyChange(observedNode, property, oldValue, newValue);}@Overridepublic final void listChange(NodeList observedNode, ListChangeType type, int index, Node nodeAddedOrRemoved) {if (type == ListChangeType.REMOVAL) {considerRemoving(nodeAddedOrRemoved);} else if (type == ListChangeType.ADDITION) {considerAdding(nodeAddedOrRemoved);}concreteListChange(observedNode, type, index, nodeAddedOrRemoved);}public void concretePropertyChange(Node observedNode, ObservableProperty property, Object oldValue, Object newValue) {// do nothing}public void concreteListChange(NodeList observedNode, ListChangeType type, int index, Node nodeAddedOrRemoved) {// do nothing}@Overridepublic void parentChange(Node observedNode, Node previousParent, Node newParent) {// do nothing}private void considerRemoving(Object element) {if (element instanceof Observable) {if (((Observable) element).isRegistered(this)) {((Observable) element).unregister(this);}}}private void considerAdding(Object element) {if (element instanceof Node) {((Node) element).registerForSubtree(this);} else if (element instanceof Observable) {((Observable) element).register(this);}}}

观察员在行动

让我们看看这在实践中如何工作：

// write some code and parse it
String code = "class A { int f; void foo(int p) { return 'z'; }}";
CompilationUnit cu = JavaParser.parse(code);// set up our observer
List changes = new ArrayList<>();
AstObserver observer = new AstObserverAdapter() {@Overridepublic void propertyChange(Node observedNode, ObservableProperty property, Object oldValue, Object newValue) {changes.add(String.format("%s.%s changed from %s to %s", observedNode.getClass().getSimpleName(), property.name().toLowerCase(), oldValue, newValue));}
};
cu.getClassByName("A").register(observer, /* Here we could use different modes */);// Doing some changes
cu.getClassByName("A").setName("MyCoolClass");
cu.getClassByName("MyCoolClass").getFieldByName("f").setElementType(new PrimitiveType(PrimitiveType.Primitive.Boolean));
cu.getClassByName("MyCoolClass").getMethodsByName("foo").get(0).getParamByName("p").setName("myParam");
// Here we are adding a new field and immediately changing it
cu.getClassByName("MyCoolClass").addField("int", "bar").getVariables().get(0).setInit("0");// If we registered our observer with mode JUST_THIS_NODE
assertEquals(Arrays.asList("ClassOrInterfaceDeclaration.name changed from A to MyCoolClass"), changes);// If we registered our observer with mode THIS_NODE_AND_EXISTING_DESCENDANTS
assertEquals(Arrays.asList("ClassOrInterfaceDeclaration.name changed from A to MyCoolClass","FieldDeclaration.element_type changed from int to boolean","VariableDeclaratorId.name changed from p to myParam"), changes);// If we registered our observer with mode SELF_PROPAGATING
assertEquals(Arrays.asList("ClassOrInterfaceDeclaration.name changed from A to MyCoolClass","FieldDeclaration.element_type changed from int to boolean","VariableDeclaratorId.name changed from p to myParam","FieldDeclaration.modifiers changed from [] to []","FieldDeclaration.element_type changed from empty to int","VariableDeclaratorId.array_bracket_pairs_after_id changed from com.github.javaparser.ast.NodeList@1 to com.github.javaparser.ast.NodeList@1","VariableDeclarator.init changed from null to 0"), changes);