import lexer
intrude import parser_nodes
+private import tables
redef class ANode
# Parent of the node in the AST
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_kwmodule: nullable TKwmodule,
n_id: nullable TId
)
do
if n_doc != null then
n_doc.parent = self
end
- _n_kwpackage = n_kwpackage.as(not null)
- n_kwpackage.parent = self
+ _n_kwmodule = n_kwmodule.as(not null)
+ n_kwmodule.parent = self
_n_id = n_id.as(not null)
n_id.parent = self
end
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
if _n_doc != null then
v.enter_visit(_n_doc.as(not null))
end
- v.enter_visit(_n_kwpackage)
+ v.enter_visit(_n_kwmodule)
v.enter_visit(_n_id)
end
end
init init_asuperclass (
n_kwspecial: nullable TKwspecial,
+ n_kwsuper: nullable TKwsuper,
n_type: nullable AType
)
do
empty_init
- _n_kwspecial = n_kwspecial.as(not null)
- n_kwspecial.parent = self
+ _n_kwspecial = n_kwspecial
+ if n_kwspecial != null then
+ n_kwspecial.parent = self
+ end
+ _n_kwsuper = n_kwsuper
+ if n_kwsuper != null then
+ n_kwsuper.parent = self
+ end
_n_type = n_type.as(not null)
n_type.parent = self
end
assert new_child isa TKwspecial
_n_kwspecial = new_child
else
- abort
+ _n_kwspecial = null
+ end
+ return
+ end
+ if _n_kwsuper == old_child then
+ if new_child != null then
+ new_child.parent = self
+ assert new_child isa TKwsuper
+ _n_kwsuper = new_child
+ else
+ _n_kwsuper = null
end
return
end
redef fun visit_all(v: Visitor)
do
- v.enter_visit(_n_kwspecial)
+ if _n_kwspecial != null then
+ v.enter_visit(_n_kwspecial.as(not null))
+ end
+ if _n_kwsuper != null then
+ v.enter_visit(_n_kwsuper.as(not null))
+ end
v.enter_visit(_n_type)
end
end
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_expr2)
end
end
+redef class AOrElseExpr
+ private init empty_init do end
+
+ init init_aorelseexpr (
+ 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 ANotExpr
private init empty_init do end