+redef class AModuleName
+ private init empty_init do end
+
+ init init_amodulename (
+ n_quad: nullable TQuad,
+ n_path: Collection[Object], # Should be Collection[TId]
+ n_id: nullable TId
+ )
+ do
+ empty_init
+ _n_quad = n_quad
+ if n_quad != null then
+ n_quad.parent = self
+ end
+ for n in n_path do
+ assert n isa TId
+ _n_path.add(n)
+ n.parent = self
+ end
+ _n_id = n_id.as(not null)
+ n_id.parent = self
+ end
+
+ redef fun replace_child(old_child: ANode, new_child: nullable ANode)
+ do
+ if _n_quad == old_child then
+ if new_child != null then
+ new_child.parent = self
+ assert new_child isa TQuad
+ _n_quad = new_child
+ else
+ _n_quad = null
+ end
+ return
+ end
+ for i in [0.._n_path.length[ do
+ if _n_path[i] == old_child then
+ if new_child != null then
+ assert new_child isa TId
+ _n_path[i] = new_child
+ new_child.parent = self
+ else
+ _n_path.remove_at(i)
+ end
+ return
+ end
+ end
+ if _n_id == old_child then
+ if new_child != null then
+ new_child.parent = self
+ assert new_child isa TId
+ _n_id = new_child
+ else
+ abort
+ end
+ return
+ end
+ end
+
+ redef fun visit_all(v: Visitor)
+ do
+ if _n_quad != null then
+ v.enter_visit(_n_quad.as(not null))
+ end
+ for n in _n_path do
+ v.enter_visit(n)
+ end
+ v.enter_visit(_n_id)
+ end
+end