private init empty_init do end
init init_amodule (
- n_packagedecl: nullable APackagedecl,
+ n_moduledecl: nullable AModuledecl,
n_imports: Collection[Object], # Should be Collection[AImport]
n_classdefs: Collection[Object] # Should be Collection[AClassdef]
)
do
empty_init
- _n_packagedecl = n_packagedecl
- if n_packagedecl != null then
- n_packagedecl.parent = self
+ _n_moduledecl = n_moduledecl
+ if n_moduledecl != null then
+ n_moduledecl.parent = self
end
for n in n_imports do
assert n isa AImport
redef fun replace_child(old_child: ANode, new_child: nullable ANode)
do
- if _n_packagedecl == old_child then
+ if _n_moduledecl == old_child then
if new_child != null then
new_child.parent = self
- assert new_child isa APackagedecl
- _n_packagedecl = new_child
+ assert new_child isa AModuledecl
+ _n_moduledecl = new_child
else
- _n_packagedecl = null
+ _n_moduledecl = null
end
return
end
redef fun visit_all(v: Visitor)
do
- if _n_packagedecl != null then
- v.enter_visit(_n_packagedecl.as(not null))
+ if _n_moduledecl != null then
+ v.enter_visit(_n_moduledecl.as(not null))
end
for n in _n_imports do
v.enter_visit(n)
end
end
end
-redef class APackagedecl
+redef class AModuledecl
private init empty_init do end
- init init_apackagedecl (
+ init init_amoduledecl (
n_doc: nullable ADoc,
- n_kwpackage: nullable TKwpackage,
- n_id: nullable TId
+ n_kwmodule: nullable TKwmodule,
+ n_name: nullable AModuleName
)
do
empty_init
if n_doc != null then
n_doc.parent = self
end
- _n_kwpackage = n_kwpackage.as(not null)
- n_kwpackage.parent = self
- _n_id = n_id.as(not null)
- n_id.parent = self
+ _n_kwmodule = n_kwmodule.as(not null)
+ n_kwmodule.parent = self
+ _n_name = n_name.as(not null)
+ n_name.parent = self
end
redef fun replace_child(old_child: ANode, new_child: nullable ANode)
end
return
end
- if _n_kwpackage == old_child then
+ if _n_kwmodule == old_child then
if new_child != null then
new_child.parent = self
- assert new_child isa TKwpackage
- _n_kwpackage = new_child
+ assert new_child isa TKwmodule
+ _n_kwmodule = new_child
else
abort
end
return
end
- if _n_id == old_child then
+ if _n_name == old_child then
if new_child != null then
new_child.parent = self
- assert new_child isa TId
- _n_id = new_child
+ assert new_child isa AModuleName
+ _n_name = new_child
else
abort
end
if _n_doc != null then
v.enter_visit(_n_doc.as(not null))
end
- v.enter_visit(_n_kwpackage)
- v.enter_visit(_n_id)
+ v.enter_visit(_n_kwmodule)
+ v.enter_visit(_n_name)
end
end
redef class AStdImport
init init_astdimport (
n_visibility: nullable AVisibility,
n_kwimport: nullable TKwimport,
- n_id: nullable TId
+ n_name: nullable AModuleName
)
do
empty_init
n_visibility.parent = self
_n_kwimport = n_kwimport.as(not null)
n_kwimport.parent = self
- _n_id = n_id.as(not null)
- n_id.parent = self
+ _n_name = n_name.as(not null)
+ n_name.parent = self
end
redef fun replace_child(old_child: ANode, new_child: nullable ANode)
end
return
end
- if _n_id == old_child then
+ if _n_name == old_child then
if new_child != null then
new_child.parent = self
- assert new_child isa TId
- _n_id = new_child
+ assert new_child isa AModuleName
+ _n_name = new_child
else
abort
end
do
v.enter_visit(_n_visibility)
v.enter_visit(_n_kwimport)
- v.enter_visit(_n_id)
+ v.enter_visit(_n_name)
end
end
redef class ANoImport
v.enter_visit(_n_kwinterface)
end
end
-redef class AUniversalClasskind
+redef class AEnumClasskind
private init empty_init do end
- init init_auniversalclasskind (
- n_kwuniversal: nullable TKwuniversal
+ init init_aenumclasskind (
+ n_kwenum: nullable TKwenum
)
do
empty_init
- _n_kwuniversal = n_kwuniversal.as(not null)
- n_kwuniversal.parent = self
+ _n_kwenum = n_kwenum.as(not null)
+ n_kwenum.parent = self
end
redef fun replace_child(old_child: ANode, new_child: nullable ANode)
do
- if _n_kwuniversal == old_child then
+ if _n_kwenum == old_child then
if new_child != null then
new_child.parent = self
- assert new_child isa TKwuniversal
- _n_kwuniversal = new_child
+ assert new_child isa TKwenum
+ _n_kwenum = new_child
else
abort
end
redef fun visit_all(v: Visitor)
do
- v.enter_visit(_n_kwuniversal)
+ v.enter_visit(_n_kwenum)
end
end
redef class AFormaldef
n_visibility: nullable AVisibility,
n_kwvar: nullable TKwvar,
n_id: nullable TAttrid,
+ n_id2: nullable TId,
n_type: nullable AType,
n_expr: nullable AExpr
)
n_visibility.parent = self
_n_kwvar = n_kwvar.as(not null)
n_kwvar.parent = self
- _n_id = n_id.as(not null)
- n_id.parent = self
+ _n_id = n_id
+ if n_id != null then
+ n_id.parent = self
+ end
+ _n_id2 = n_id2
+ if n_id2 != null then
+ n_id2.parent = self
+ end
_n_type = n_type
if n_type != null then
n_type.parent = self
assert new_child isa TAttrid
_n_id = new_child
else
- abort
+ _n_id = null
+ end
+ return
+ end
+ if _n_id2 == old_child then
+ if new_child != null then
+ new_child.parent = self
+ assert new_child isa TId
+ _n_id2 = new_child
+ else
+ _n_id2 = null
end
return
end
end
v.enter_visit(_n_visibility)
v.enter_visit(_n_kwvar)
- v.enter_visit(_n_id)
+ if _n_id != null then
+ v.enter_visit(_n_id.as(not null))
+ end
+ if _n_id2 != null then
+ v.enter_visit(_n_id2.as(not null))
+ end
if _n_type != null then
v.enter_visit(_n_type.as(not null))
end
init init_awriteable (
n_kwredef: nullable TKwredef,
+ n_visibility: nullable AVisibility,
n_kwwritable: nullable TKwwritable
)
do
if n_kwredef != null then
n_kwredef.parent = self
end
+ _n_visibility = n_visibility
+ if n_visibility != null then
+ n_visibility.parent = self
+ end
_n_kwwritable = n_kwwritable.as(not null)
n_kwwritable.parent = self
end
end
return
end
+ if _n_visibility == old_child then
+ if new_child != null then
+ new_child.parent = self
+ assert new_child isa AVisibility
+ _n_visibility = new_child
+ else
+ _n_visibility = null
+ end
+ return
+ end
if _n_kwwritable == old_child then
if new_child != null then
new_child.parent = self
if _n_kwredef != null then
v.enter_visit(_n_kwredef.as(not null))
end
+ if _n_visibility != null then
+ v.enter_visit(_n_visibility.as(not null))
+ end
v.enter_visit(_n_kwwritable)
end
end
v.enter_visit(_n_gt)
end
end
+redef class ALlMethid
+ private init empty_init do end
+
+ init init_allmethid (
+ n_ll: nullable TLl
+ )
+ do
+ empty_init
+ _n_ll = n_ll.as(not null)
+ n_ll.parent = self
+ end
+
+ redef fun replace_child(old_child: ANode, new_child: nullable ANode)
+ do
+ if _n_ll == old_child then
+ if new_child != null then
+ new_child.parent = self
+ assert new_child isa TLl
+ _n_ll = new_child
+ else
+ abort
+ end
+ return
+ end
+ end
+
+ redef fun visit_all(v: Visitor)
+ do
+ v.enter_visit(_n_ll)
+ end
+end
+redef class AGgMethid
+ private init empty_init do end
+
+ init init_aggmethid (
+ n_gg: nullable TGg
+ )
+ do
+ empty_init
+ _n_gg = n_gg.as(not null)
+ n_gg.parent = self
+ end
+
+ redef fun replace_child(old_child: ANode, new_child: nullable ANode)
+ do
+ if _n_gg == old_child then
+ if new_child != null then
+ new_child.parent = self
+ assert new_child isa TGg
+ _n_gg = new_child
+ else
+ abort
+ end
+ return
+ end
+ end
+
+ redef fun visit_all(v: Visitor)
+ do
+ v.enter_visit(_n_gg)
+ end
+end
redef class ABraMethid
private init empty_init do end
init init_aforexpr (
n_kwfor: nullable TKwfor,
- n_id: nullable TId,
+ n_ids: Collection[Object], # Should be Collection[TId]
n_expr: nullable AExpr,
n_kwdo: nullable TKwdo,
n_block: nullable AExpr,
empty_init
_n_kwfor = n_kwfor.as(not null)
n_kwfor.parent = self
- _n_id = n_id.as(not null)
- n_id.parent = self
+ for n in n_ids do
+ assert n isa TId
+ _n_ids.add(n)
+ n.parent = self
+ end
_n_expr = n_expr.as(not null)
n_expr.parent = self
_n_kwdo = n_kwdo.as(not null)
end
return
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
+ for i in [0.._n_ids.length[ do
+ if _n_ids[i] == old_child then
+ if new_child != null then
+ assert new_child isa TId
+ _n_ids[i] = new_child
+ new_child.parent = self
+ else
+ _n_ids.remove_at(i)
+ end
+ return
end
- return
- end
+ end
if _n_expr == old_child then
if new_child != null then
new_child.parent = self
redef fun visit_all(v: Visitor)
do
v.enter_visit(_n_kwfor)
- v.enter_visit(_n_id)
+ for n in _n_ids do
+ v.enter_visit(n)
+ end
v.enter_visit(_n_expr)
v.enter_visit(_n_kwdo)
if _n_block != null then
v.enter_visit(_n_expr2)
end
end
+redef class ALlExpr
+ private init empty_init do end
+
+ init init_allexpr (
+ n_expr: nullable AExpr,
+ n_expr2: nullable AExpr
+ )
+ do
+ empty_init
+ _n_expr = n_expr.as(not null)
+ n_expr.parent = self
+ _n_expr2 = n_expr2.as(not null)
+ n_expr2.parent = self
+ end
+
+ redef fun replace_child(old_child: ANode, new_child: nullable ANode)
+ do
+ if _n_expr == old_child then
+ if new_child != null then
+ new_child.parent = self
+ assert new_child isa AExpr
+ _n_expr = new_child
+ else
+ abort
+ end
+ return
+ end
+ if _n_expr2 == old_child then
+ if new_child != null then
+ new_child.parent = self
+ assert new_child isa AExpr
+ _n_expr2 = new_child
+ else
+ abort
+ end
+ return
+ end
+ end
+
+ redef fun visit_all(v: Visitor)
+ do
+ v.enter_visit(_n_expr)
+ v.enter_visit(_n_expr2)
+ end
+end
redef class AGtExpr
private init empty_init do end
v.enter_visit(_n_expr2)
end
end
+redef class AGgExpr
+ private init empty_init do end
+
+ init init_aggexpr (
+ n_expr: nullable AExpr,
+ n_expr2: nullable AExpr
+ )
+ do
+ empty_init
+ _n_expr = n_expr.as(not null)
+ n_expr.parent = self
+ _n_expr2 = n_expr2.as(not null)
+ n_expr2.parent = self
+ end
+
+ redef fun replace_child(old_child: ANode, new_child: nullable ANode)
+ do
+ if _n_expr == old_child then
+ if new_child != null then
+ new_child.parent = self
+ assert new_child isa AExpr
+ _n_expr = new_child
+ else
+ abort
+ end
+ return
+ end
+ if _n_expr2 == old_child then
+ if new_child != null then
+ new_child.parent = self
+ assert new_child isa AExpr
+ _n_expr2 = new_child
+ else
+ abort
+ end
+ return
+ end
+ end
+
+ redef fun visit_all(v: Visitor)
+ do
+ v.enter_visit(_n_expr)
+ v.enter_visit(_n_expr2)
+ end
+end
redef class AIsaExpr
private init empty_init do end
v.enter_visit(_n_kwbreak)
end
end
+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
redef class AQualified
private init empty_init do end