X-Git-Url: http://nitlanguage.org

diff --git a/src/parser/parser_nodes.nit b/src/parser/parser_nodes.nit
index 504dcbb..10e732a 100644
--- a/src/parser/parser_nodes.nit
+++ b/src/parser/parser_nodes.nit
@@ -17,10 +17,12 @@
 module parser_nodes
 
 import location
+import ordered_tree
+private import console
 
 # Root of the AST class-hierarchy
 abstract class ANode
-	# Location is set during AST building. Once built, location cannon be null.
+	# Location is set during AST building. Once built, location can not be null.
 	# However, manual instantiated nodes may need more care.
 	var location: Location is writable, noinit
 
@@ -33,6 +35,28 @@ abstract class ANode
 		sys.stderr.write "{hot_location} {self.class_name}: {message}\n{hot_location.colored_line("0;32")}\n"
 	end
 
+	# Is `self` a token or a pure-structural production like `AQId`?
+	fun is_structural: Bool do return false
+
+	# Write the subtree on stdout.
+	#
+	# Visit the subtree and display it with additional and useful information.
+	#
+	# By default, this displays all kind of nodes and the corresponding lines of codes.
+	#
+	# See `ASTDump` for details.
+	fun dump_tree(display_structural, display_line: nullable Bool)
+	do
+		var d = new ASTDump(display_structural or else true, display_line or else true)
+		d.enter_visit(self)
+		d.write_to(sys.stdout)
+	end
+
+	# Information to display on a node
+	#
+	# Refine this method to add additional information on each node type.
+	fun dump_info(v: ASTDump): String do return ""
+
 	# Parent of the node in the AST
 	var parent: nullable ANode = null
 
@@ -117,6 +141,108 @@ abstract class ANode
 	# Visit all nodes in order.
 	# Thus, call `v.enter_visit(e)` for each child `e`
 	fun visit_all(v: Visitor) is abstract
+
+	# Do a deep search and return an array of tokens that match a given text
+	fun collect_tokens_by_text(text: String): Array[Token]
+	do
+		var v = new CollectTokensByTextVisitor(text)
+		v.enter_visit(self)
+		return v.result
+	end
+
+	# Do a deep search and return an array of node that are annotated
+	# The attached node can be retrieved by two invocations of parent
+	fun collect_annotations_by_name(name: String): Array[AAnnotation]
+	do
+		var v = new CollectAnnotationsByNameVisitor(name)
+		v.enter_visit(self)
+		return v.result
+	end
+end
+
+private class CollectTokensByTextVisitor
+	super Visitor
+	var text: String
+	var result = new Array[Token]
+	redef fun visit(node)
+	do
+		node.visit_all(self)
+		if node isa Token and node.text == text then result.add(node)
+	end
+end
+
+private class CollectAnnotationsByNameVisitor
+	super Visitor
+	var name: String
+	var result = new Array[AAnnotation]
+	redef fun visit(node)
+	do
+		node.visit_all(self)
+		if node isa AAnnotation and node.n_atid.n_id.text == name then result.add(node)
+	end
+end
+
+# A helper class to handle (print) Nit AST as an OrderedTree
+class ASTDump
+	super Visitor
+	super OrderedTree[ANode]
+
+	# Reference to the last parent in the Ordered Tree
+	# Is used to handle the initial node parent and workaround possible inconsistent `ANode::parent`
+	private var last_parent: nullable ANode = null
+
+	# Display tokens and structural production?
+	#
+	# Should tokens (and structural production like AQId) be displayed?
+	var display_structural: Bool
+
+	# Display lines?
+	#
+	# Should each new line be displayed (numbered and in gray)?
+	var display_line: Bool
+
+	# Current line number (when printing lines)
+	private var line = 0
+
+	redef fun visit(n)
+	do
+		if not display_structural and n.is_structural then return
+		var p = last_parent
+		add(p, n)
+		last_parent = n
+		n.visit_all(self)
+		last_parent = p
+	end
+
+	redef fun write_line(o, n, p)
+	do
+		if display_line then
+			var ls = n.location.line_start
+			var file = n.location.file
+			var line = self.line
+			if ls > line and file != null then
+				if line == 0 then line = ls - 1
+				while line < ls do
+					line += 1
+					o.write "{line}\t{file.get_line(line)}\n".light_gray
+				end
+				self.line = ls
+			end
+		end
+
+		super
+	end
+
+	redef fun display(n)
+	do
+		return "{n.class_name} {n.dump_info(self)} @{n.location}"
+	end
+
+	# `s` as yellow
+	fun yellow(s: String): String do return s.yellow
+
+	# `s` as red
+	fun red(s: String): String do return s.red
 end
 
 # A sequence of nodes
@@ -126,6 +252,7 @@ class ANodes[E: ANode]
 	private var parent: ANode
 	private var items = new Array[E]
 	redef fun iterator do return items.iterator
+	redef fun reverse_iterator do return items.reverse_iterator
 	redef fun length do return items.length
 	redef fun is_empty do return items.is_empty
 	redef fun push(e)
@@ -234,6 +361,39 @@ abstract class Token
 	# May have disappeared in the AST
 	var next_token: nullable Token = null
 
+	# Is `self` a token discarded from the AST?
+	#
+	# Loose tokens are not present in the AST.
+	# It means they were identified by the lexer but were discarded by the parser.
+	# It also means that they are not visited or manipulated by AST-related functions.
+	#
+	# Each loose token is attached to the non-loose token that precedes or follows it.
+	# The rules are the following:
+	#
+	# * tokens that follow a non-loose token on a same line are attached to it.
+	#   See `next_looses`.
+	# * other tokens, thus that precede a non-loose token on the same line or the next one,
+	# are attached to this one. See `prev_looses`.
+	#
+	# Loose tokens are mostly end of lines (`TEol`) and comments (`TComment`).
+	# Whitespace are ignored by the lexer, so they are not even considered as loose tokens.
+	# See `blank_before` to get the whitespace that separate tokens.
+	var is_loose = false
+
+	redef fun is_structural do return true
+
+	redef fun dump_info(v) do return " {text.escape_to_c}"
+
+	# Loose tokens that precede `self`.
+	#
+	# These tokens start the line or belong to a line with only loose tokens.
+	var prev_looses = new Array[Token] is lazy
+
+	# Loose tokens that follow `self`
+	#
+	# These tokens are on the same line than `self`.
+	var next_looses = new Array[Token] is lazy
+
 	# The verbatim blank text between `prev_token` and `self`
 	fun blank_before: String
 	do
@@ -269,6 +429,26 @@ abstract class Prod
 	# All the annotations attached directly to the node
 	var n_annotations: nullable AAnnotations = null is writable
 
+	# Return all its annotations of a given name in the order of their declaration
+	# Retun an empty array if no such an annotation.
+	fun get_annotations(name: String): Array[AAnnotation]
+	do
+		var res = new Array[AAnnotation]
+		var nas = n_annotations
+		if nas != null then for na in nas.n_items do
+			if na.name != name then continue
+			res.add(na)
+		end
+		if self isa AClassdef then for na in n_propdefs do
+			if na isa AAnnotPropdef then
+				if na.name != name then continue
+				res.add na
+			end
+		end
+
+		return res
+	end
+
 	redef fun replace_with(n: ANode)
 	do
 		super
@@ -354,11 +534,16 @@ class TKwinterface
 	super TokenKeyword
 end
 
-# The keywords `enum` ane `universal`
+# The keywords `enum` and `universal`
 class TKwenum
 	super TokenKeyword
 end
 
+# The keyword `subset`
+class TKwsubset
+	super TokenKeyword
+end
+
 # The keyword `end`
 class TKwend
 	super TokenKeyword
@@ -394,6 +579,11 @@ class TKwdo
 	super TokenKeyword
 end
 
+# The keyword `catch`
+class TKwcatch
+	super TokenKeyword
+end
+
 # The keyword `var`
 class TKwvar
 	super TokenKeyword
@@ -564,6 +754,16 @@ class TKwlabel
 	super TokenKeyword
 end
 
+# The keyword `with`
+class TKwwith
+	super TokenKeyword
+end
+
+# The keyword `yield`
+class TKwyield
+	super TokenKeyword
+end
+
 # The special keyword `__DEBUG__`
 class TKwdebug
 	super Token
@@ -628,6 +828,51 @@ class TMinuseq
 	super TokenOperator
 end
 
+# The operator `*=`
+class TStareq
+	super TokenOperator
+end
+
+# The operator `/=`
+class TSlasheq
+	super TokenOperator
+end
+
+# The operator `%=`
+class TPercenteq
+	super TokenOperator
+end
+
+# The operator `**=`
+class TStarstareq
+	super TokenOperator
+end
+
+# The operator `|=`
+class TPipeeq
+	super TokenOperator
+end
+
+# The operator `^=`
+class TCareteq
+	super TokenOperator
+end
+
+# The operator `&=`
+class TAmpeq
+	super TokenOperator
+end
+
+# The operator `<<=`
+class TLleq
+	super TokenOperator
+end
+
+# The operator `>>=`
+class TGgeq
+	super TokenOperator
+end
+
 # The symbol `...`
 class TDotdotdot
 	super Token
@@ -668,11 +913,31 @@ class TSlash
 	super TokenOperator
 end
 
-# The operator `+%
+# The operator `%`
 class TPercent
 	super TokenOperator
 end
 
+# The operator `|`
+class TPipe
+	super TokenOperator
+end
+
+# The operator `^`
+class TCaret
+	super TokenOperator
+end
+
+# The operator `&`
+class TAmp
+	super TokenOperator
+end
+
+# The operator `~`
+class TTilde
+	super TokenOperator
+end
+
 # The operator `==`
 class TEq
 	super TokenOperator
@@ -718,6 +983,11 @@ class TStarship
 	super TokenOperator
 end
 
+# The operator `?`
+class TQuest
+	super TokenOperator
+end
+
 # The operator `!`
 class TBang
 	super TokenOperator
@@ -728,6 +998,11 @@ class TAt
 	super Token
 end
 
+# The symbol `;`
+class TSemi
+	super Token
+end
+
 # A class (or formal type) identifier. They start with an uppercase.
 class TClassid
 	super Token
@@ -737,7 +1012,7 @@ class TClassid
 	end
 end
 
-# A standard identifier (variable, method...). They start with a lowercase. 
+# A standard identifier (variable, method...). They start with a lowercase.
 class TId
 	super Token
 	redef fun to_s
@@ -764,13 +1039,8 @@ abstract class TokenLiteral
 	end
 end
 
-# A literal decimal integer
-class TNumber
-	super TokenLiteral
-end
-
-# A literal hexadecimal integer
-class THexNumber
+# A literal integer
+class TInteger
 	super TokenLiteral
 end
 
@@ -813,6 +1083,11 @@ class TBadString
 	end
 end
 
+# A malformed triple quoted string
+class TBadTString
+	super TBadString
+end
+
 # A malformed char
 class TBadChar
 	super Token
@@ -827,6 +1102,15 @@ class TExternCodeSegment
 	super Token
 end
 
+# A malformed extern code block
+class TBadExtern
+	super Token
+	redef fun to_s
+	do
+		do return "malformed extern segment {text}"
+	end
+end
+
 # A end of file
 class EOF
 	super Token
@@ -853,40 +1137,65 @@ end
 class AModule
 	super Prod
 
+	# The declaration part of the module
 	var n_moduledecl: nullable AModuledecl = null is writable
+
+	# List of importation clauses
 	var n_imports = new ANodes[AImport](self)
+
+	# List of extern blocks
 	var n_extern_code_blocks = new ANodes[AExternCodeBlock](self)
+
+	# List of class definition (including top-level methods and the main)
 	var n_classdefs = new ANodes[AClassdef](self)
 end
 
-# The declaration of the module with the documentation, name, and annotations
-class AModuledecl
+# Abstract class for definition of entities
+abstract class ADefinition
 	super Prod
+	# The documentation
 	var n_doc: nullable ADoc = null is writable
+
+	# The `redef` keyword
 	var n_kwredef: nullable TKwredef = null is writable
-	var n_visibility: AVisibility is writable, noinit
+
+	# The declared visibility
+	var n_visibility: nullable AVisibility = null is writable
+end
+
+# The declaration of the module with the documentation, name, and annotations
+class AModuledecl
+	super ADefinition
+
+	# The `module` keyword
 	var n_kwmodule: TKwmodule is writable, noinit
+
+	# The declared module name
 	var n_name: AModuleName is writable, noinit
 end
 
 # A import clause of a module
 abstract class AImport
 	super Prod
+
+	# The declared visibility
+	var n_visibility: AVisibility is writable, noinit
+
+	# The `import` keyword
+	var n_kwimport: TKwimport is writable, noinit
 end
 
 # A standard import clause. eg `import x`
 class AStdImport
 	super AImport
-	var n_visibility: AVisibility is writable, noinit
-	var n_kwimport: TKwimport is writable, noinit
+	# The imported module name
 	var n_name: AModuleName is writable, noinit
 end
 
 # The special import clause of the kernel module. eg `import end`
 class ANoImport
 	super AImport
-	var n_visibility: AVisibility is writable, noinit
-	var n_kwimport: TKwimport is writable, noinit
+	# The `end` keyword, that indicate the root module
 	var n_kwend: TKwend is writable, noinit
 end
 
@@ -903,45 +1212,69 @@ end
 # An implicit or explicit public visibility modifier
 class APublicVisibility
 	super AVisibility
-	var n_kwpublic: nullable TKwpublic is writable
+	# The `public` keyword, if any
+	var n_kwpublic: nullable TKwpublic = null is writable
 end
 # An explicit private visibility modifier
 class APrivateVisibility
 	super AVisibility
+	# The `private` keyword
 	var n_kwprivate: TKwprivate is writable, noinit
 end
 # An explicit protected visibility modifier
 class AProtectedVisibility
 	super AVisibility
+	# The `protected` keyword
 	var n_kwprotected: TKwprotected is writable, noinit
 end
 # An explicit intrude visibility modifier
 class AIntrudeVisibility
 	super AVisibility
+	# The `intrude` keyword
 	var n_kwintrude: TKwintrude is writable, noinit
 end
 
 # A class definition
-# While most definition are `AStdClassdef`
-# There is tow special case of class definition
+#
+# While most definitions are `AStdClassdef`s,
+# there are 2 special cases of class definitions.
 abstract class AClassdef
 	super Prod
+	# All the declared properties (including the main method)
 	var n_propdefs = new ANodes[APropdef](self)
 end
 
 # A standard class definition with a name, superclasses and properties
 class AStdClassdef
 	super AClassdef
-	var n_doc: nullable ADoc = null is writable
-	var n_kwredef: nullable TKwredef = null is writable
-	var n_visibility: AVisibility is writable, noinit
+	super ADefinition
+
+	# The class kind (interface, abstract class, etc.)
 	var n_classkind: AClasskind is writable, noinit
-	var n_id: nullable TClassid = null is writable
+
+	# The name of the class
+	var n_qid: nullable AQclassid = null is writable
+
+	# The `[` symbol
+	var n_obra: nullable TObra = null is writable
+
+	# The list of formal parameter types
 	var n_formaldefs = new ANodes[AFormaldef](self)
+
+	# The `]` symbol
+	var n_cbra: nullable TCbra = null is writable
+
+	# The extern block code
 	var n_extern_code_block: nullable AExternCodeBlock = null is writable
-	var n_superclasses = new ANodes[ASuperclass](self)
+
+	# The `end` keyword
 	var n_kwend: TKwend is writable, noinit
-	redef fun hot_location do return n_id.location
+
+	fun n_superclasses: Array[ASuperPropdef] do
+		return [for d in n_propdefs do if d isa ASuperPropdef then d]
+	end
+
+	redef fun hot_location do return n_qid.location
 end
 
 # The implicit class definition of the implicit main method
@@ -962,71 +1295,106 @@ end
 # A default, or concrete class modifier (just `class`)
 class AConcreteClasskind
 	super AClasskind
+
+	# The `class` keyword.
 	var n_kwclass: TKwclass is writable, noinit
 end
 
 # An abstract class modifier (`abstract class`)
 class AAbstractClasskind
 	super AClasskind
+
+	# The `abstract` keyword.
 	var n_kwabstract: TKwabstract is writable, noinit
+
+	# The `class` keyword.
 	var n_kwclass: TKwclass is writable, noinit
 end
 
 # An interface class modifier (`interface`)
 class AInterfaceClasskind
 	super AClasskind
+
+	# The `interface` keyword.
 	var n_kwinterface: TKwinterface is writable, noinit
 end
 
 # An enum/universal class modifier (`enum class`)
 class AEnumClasskind
 	super AClasskind
+
+	# The `enum` keyword.
 	var n_kwenum: TKwenum is writable, noinit
 end
 
 # An extern class modifier (`extern class`)
 class AExternClasskind
 	super AClasskind
+
+	# The `extern` keyword.
 	var n_kwextern: TKwextern is writable, noinit
+
+	# The `class` keyword.
 	var n_kwclass: nullable TKwclass = null is writable
 end
 
+class ASubsetClasskind
+	super AClasskind
+
+	# The `subset` keyword.
+	var n_kwsubset: TKwsubset is writable, noinit
+
+	redef fun visit_all(v) do
+		# TODO: Remove this redefinition once generated from the grammar.
+		v.enter_visit(n_kwsubset)
+	end
+end
+
 # The definition of a formal generic parameter type. eg `X: Y`
 class AFormaldef
 	super Prod
+
+	# The name of the parameter type
 	var n_id: TClassid is writable, noinit
+
 	# The bound of the parameter type
 	var n_type: nullable AType = null is writable
 end
 
-# A super-class. eg `super X`
-class ASuperclass
-	super Prod
-	var n_kwsuper: TKwsuper is writable, noinit
-	var n_type: AType is writable, noinit
-end
-
 # The definition of a property
 abstract class APropdef
-	super Prod
-	var n_doc: nullable ADoc = null is writable
-	var n_kwredef: nullable TKwredef = null is writable
-	var n_visibility: nullable AVisibility = null is writable
+	super ADefinition
 end
 
 # A definition of an attribute
 # For historical reason, old-syle and new-style attributes use the same `ANode` sub-class
 class AAttrPropdef
 	super APropdef
+
+	# The `var` keyword
 	var n_kwvar: TKwvar is writable, noinit
 
-	# The identifier for a new-style attribute (null if old-style)
+	# The identifier for a new-style attribute
 	var n_id2: TId is writable, noinit
 
+	# The declared type of the attribute
 	var n_type: nullable AType = null is writable
 
-	# The initial value, if any
+	# The `=` symbol
+	var n_assign: nullable TAssign = null is writable
+
+	# The initial value, if any (set with `=`)
 	var n_expr: nullable AExpr = null is writable
+
+	# The `do` keyword
+	var n_kwdo: nullable TKwdo = null is writable
+
+	# The initial value, if any (set with `do return`)
+	var n_block: nullable AExpr = null is writable
+
+	# The `end` keyword
+	var n_kwend: nullable TKwend = null is writable
+
 	redef fun hot_location
 	do
 		return n_id2.location
@@ -1036,14 +1404,40 @@ end
 # A definition of all kind of method (including constructors)
 class AMethPropdef
 	super APropdef
+
+	# The `fun` keyword, if any
 	var n_kwmeth: nullable TKwmeth = null is writable
+
+	# The `init` keyword, if any
 	var n_kwinit: nullable TKwinit = null is writable
+
+	# The `isa` keyword, if any
+	var n_kwisa: nullable TKwisa = null is writable
+
+	# The `new` keyword, if any
 	var n_kwnew: nullable TKwnew = null is writable
+
+	# The name of the method, if any
 	var n_methid: nullable AMethid = null is writable
+
+	# The signature of the method, if any
 	var n_signature: nullable ASignature = null is writable
+
+	# The `do` keyword
+	var n_kwdo: nullable TKwdo = null is writable
+
+	# The body (in Nit) of the method, if any
 	var n_block: nullable AExpr = null is writable
+
+	# The `end` keyword
+	var n_kwend: nullable TKwend = null is writable
+
+	# The list of declared callbacks (for extern methods)
 	var n_extern_calls: nullable AExternCalls = null is writable
+
+	# The body (in extern code) of the method, if any
 	var n_extern_code_block: nullable AExternCodeBlock = null is writable
+
 	redef fun hot_location
 	do
 		if n_methid != null then
@@ -1063,10 +1457,31 @@ class AMainMethPropdef
 	super AMethPropdef
 end
 
+class AAnnotPropdef
+	super APropdef
+	super AAnnotation
+end
+
+# A super-class. eg `super X`
+class ASuperPropdef
+	super APropdef
+
+	# The super keyword
+	var n_kwsuper: TKwsuper is writable, noinit
+
+	# The super-class (indicated as a type)
+	var n_type: AType is writable, noinit
+end
+
+
 # Declaration of callbacks for extern methods
 class AExternCalls
 	super Prod
+
+	# The `import` keyword
 	var n_kwimport: TKwimport is writable, noinit
+
+	# The list of declared callbacks
 	var n_extern_calls: ANodes[AExternCall] = new ANodes[AExternCall](self)
 end
 
@@ -1083,26 +1498,38 @@ end
 # A single callback declaration on a method on the current receiver
 class ALocalPropExternCall
 	super APropExternCall
+
+	# The name of the called-back method
 	var n_methid: AMethid is writable, noinit
 end
 
 # A single callback declaration on a method on an explicit receiver type.
 class AFullPropExternCall
 	super APropExternCall
+
+	# The type of the receiver of the called-back method
 	var n_type: AType is writable, noinit
+
+	# The dot `.`
 	var n_dot: nullable TDot = null is writable
+
+	# The name of the called-back method
 	var n_methid: AMethid is writable, noinit
 end
 
 # A single callback declaration on a method on a constructor
 class AInitPropExternCall
 	super APropExternCall
+
+	# The allocated type
 	var n_type: AType is writable, noinit
 end
 
 # A single callback declaration on a `super` call
 class ASuperExternCall
 	super AExternCall
+
+	# The `super` keyword
 	var n_kwsuper: TKwsuper is writable, noinit
 end
 
@@ -1114,34 +1541,62 @@ end
 # A single callback declaration on a cast to a given type
 class ACastAsExternCall
 	super ACastExternCall
+
+	# The origin type of the cast
 	var n_from_type: AType is writable, noinit
+
+	# The dot (`.`)
 	var n_dot: nullable TDot = null is writable
+
+	# The `as` keyword
 	var n_kwas: TKwas is writable, noinit
+
+	# The destination of the cast
 	var n_to_type: AType is writable, noinit
 end
 
 # A single callback declaration on a cast to a nullable type
 class AAsNullableExternCall
 	super ACastExternCall
+
+	# The origin type to cast as nullable
 	var n_type: AType is writable, noinit
+
+	# The `as` keyword
 	var n_kwas: TKwas is writable, noinit
+
+	# The `nullable` keyword
 	var n_kwnullable: TKwnullable is writable, noinit
 end
 
 # A single callback declaration on a cast to a non-nullable type
 class AAsNotNullableExternCall
 	super ACastExternCall
+
+	# The destination type on a cast to not nullable
 	var n_type: AType is writable, noinit
+
+	# The `as` keyword.
 	var n_kwas: TKwas is writable, noinit
+
+	# The `not` keyword
 	var n_kwnot: TKwnot is writable, noinit
+
+	# The `nullable` keyword
 	var n_kwnullable: TKwnullable is writable, noinit
 end
 
 # A definition of a virtual type
 class ATypePropdef
 	super APropdef
+
+	# The `type` keyword
 	var n_kwtype: TKwtype is writable, noinit
-	var n_id: TClassid is writable, noinit
+
+	# The name of the virtual type
+	var n_qid: AQclassid is writable, noinit
+
+	# The bound of the virtual type
 	var n_type: AType is writable, noinit
 end
 
@@ -1154,155 +1609,232 @@ end
 # A method name with a simple identifier
 class AIdMethid
 	super AMethid
+
+	# The simple identifier
 	var n_id: TId is writable, noinit
 end
 
+# A method name for an operator
+class AOperatorMethid
+	super AMethid
+
+	# The associated operator symbol
+	var n_op: Token is writable, noinit
+end
 # A method name `+`
 class APlusMethid
-	super AMethid
-	var n_plus: TPlus is writable, noinit
+	super AOperatorMethid
 end
 
 # A method name `-`
 class AMinusMethid
-	super AMethid
-	var n_minus: TMinus is writable, noinit
+	super AOperatorMethid
 end
 
 # A method name `*`
 class AStarMethid
-	super AMethid
-	var n_star: TStar is writable, noinit
+	super AOperatorMethid
 end
 
 # A method name `**`
 class AStarstarMethid
-	super AMethid
-	var n_starstar: TStarstar is writable, noinit
+	super AOperatorMethid
 end
 
 # A method name `/`
 class ASlashMethid
-	super AMethid
-	var n_slash: TSlash is writable, noinit
+	super AOperatorMethid
 end
 
 # A method name `%`
 class APercentMethid
-	super AMethid
-	var n_percent: TPercent is writable, noinit
+	super AOperatorMethid
 end
 
-# A method name `==`
-class AEqMethid
-	super AMethid
-	var n_eq: TEq is writable, noinit
+# A method name `|`
+class APipeMethid
+	super AOperatorMethid
 end
 
-# A method name `!=`
-class ANeMethid
-	super AMethid
-	var n_ne: TNe is writable, noinit
+# A method name `^`
+class ACaretMethid
+	super AOperatorMethid
 end
 
-# A method name `<=`
-class ALeMethid
-	super AMethid
-	var n_le: TLe is writable, noinit
+# A method name `&`
+class AAmpMethid
+	super AOperatorMethid
+end
+
+# A method name `~`
+class ATildeMethid
+	super AOperatorMethid
+end
+
+# A method name `==`
+class AEqMethid
+	super AOperatorMethid
+end
+
+# A method name `!=`
+class ANeMethid
+	super AOperatorMethid
+end
+
+# A method name `<=`
+class ALeMethid
+	super AOperatorMethid
 end
 
 # A method name `>=`
 class AGeMethid
-	super AMethid
-	var n_ge: TGe is writable, noinit
+	super AOperatorMethid
 end
 
 # A method name `<`
 class ALtMethid
-	super AMethid
-	var n_lt: TLt is writable, noinit
+	super AOperatorMethid
 end
 
 # A method name `>`
 class AGtMethid
-	super AMethid
-	var n_gt: TGt is writable, noinit
+	super AOperatorMethid
 end
 
 # A method name `<<`
 class ALlMethid
-	super AMethid
-	var n_ll: TLl is writable, noinit
+	super AOperatorMethid
 end
 
 # A method name `>>`
 class AGgMethid
-	super AMethid
-	var n_gg: TGg is writable, noinit
+	super AOperatorMethid
+end
+
+# A method name `<=>`
+class AStarshipMethid
+	super AOperatorMethid
 end
 
 # A method name `[]`
 class ABraMethid
 	super AMethid
+
+	# The `[` symbol
 	var n_obra: TObra is writable, noinit
-	var n_cbra: TCbra is writable, noinit
-end
 
-# A method name `<=>`
-class AStarshipMethid
-	super AMethid
-	var n_starship: TStarship is writable, noinit
+	# The `]` symbol
+	var n_cbra: TCbra is writable, noinit
 end
 
 # A setter method name with a simple identifier (with a `=`)
 class AAssignMethid
 	super AMethid
+
+	# The base identifier
 	var n_id: TId is writable, noinit
+
+	# The `=` symbol
 	var n_assign: TAssign is writable, noinit
 end
 
 # A method name `[]=`
 class ABraassignMethid
 	super AMethid
+
+	# The `[` symbol
 	var n_obra: TObra is writable, noinit
+
+	# The `]` symbol
 	var n_cbra: TCbra is writable, noinit
+
+	# The `=` symbol
 	var n_assign: TAssign is writable, noinit
 end
 
+# A potentially qualified simple identifier `foo::bar::baz`
+class AQid
+	super Prod
+	# The qualifier, if any
+	var n_qualified: nullable AQualified = null is writable
+
+	# The final identifier
+	var n_id: TId is writable, noinit
+
+	redef fun is_structural do return true
+end
+
+# A potentially qualified class identifier `foo::bar::Baz`
+class AQclassid
+	super Prod
+	# The qualifier, if any
+	var n_qualified: nullable AQualified = null is writable
+
+	# The final identifier
+	var n_id: TClassid is writable, noinit
+
+	redef fun is_structural do return true
+end
+
 # A signature in a method definition. eg `(x,y:X,z:Z):T`
 class ASignature
 	super Prod
+
+	# The `(` symbol
 	var n_opar: nullable TOpar = null is writable
+
+	# The list of parameters
 	var n_params = new ANodes[AParam](self)
+
+	# The `)` symbol
 	var n_cpar: nullable TCpar = null is writable
+
+	# The return type
 	var n_type: nullable AType = null is writable
 end
 
 # A parameter definition in a signature. eg `x:X`
 class AParam
 	super Prod
+
+	# The name of the parameter
 	var n_id: TId is writable, noinit
+
+	# The type of the parameter, if any
 	var n_type: nullable AType = null is writable
+
+	# The `...` symbol to indicate varargs
 	var n_dotdotdot: nullable TDotdotdot = null is writable
 end
 
 # A static type. eg `nullable X[Y]`
 class AType
 	super Prod
+	# The `nullable` keyword
 	var n_kwnullable: nullable TKwnullable = null is writable
 
 	# The name of the class or of the formal type
-	var n_id: TClassid is writable, noinit
+	var n_qid: AQclassid is writable, noinit
+
+	# The opening bracket
+	var n_obra: nullable TObra = null is writable
 
 	# Type arguments for a generic type
 	var n_types = new ANodes[AType](self)
+
+	# The closing bracket
+	var n_cbra: nullable TCbra = null is writable
 end
 
 # A label at the end of a block or in a break/continue statement. eg `label x`
 class ALabel
 	super Prod
+
+	# The `label` keyword
 	var n_kwlabel: TKwlabel is writable, noinit
-	var n_id: nullable TId is writable
+
+	# The name of the label, if any
+	var n_id: nullable TId is writable, noinit
 end
 
 # Expression and statements
@@ -1315,16 +1847,29 @@ end
 # The last `AExpr` gives the value of the whole block
 class ABlockExpr
 	super AExpr
+
+	# The list of statements in the bloc.
+	# The last element is often considered as an expression that give the value of the whole block.
 	var n_expr = new ANodes[AExpr](self)
+
+	# The `end` keyword
 	var n_kwend: nullable TKwend = null is writable
 end
 
 # A declaration of a local variable. eg `var x: X = y`
 class AVardeclExpr
 	super AExpr
-	var n_kwvar: TKwvar is writable, noinit
+
+	# The `var` keyword
+	var n_kwvar: nullable TKwvar = null is writable
+
+	# The name of the local variable
 	var n_id: TId is writable, noinit
+
+	# The declaration type of the local variable
 	var n_type: nullable AType = null is writable
+
+	# The `=` symbol (for the initial value)
 	var n_assign: nullable TAssign = null is writable
 
 	# The initial value, if any
@@ -1333,64 +1878,125 @@ end
 
 # A `return` statement. eg `return x`
 class AReturnExpr
-	super AExpr
+	super AEscapeExpr
+
+	# The `return` keyword
 	var n_kwreturn: nullable TKwreturn = null is writable
+end
+
+# A `yield` statement. eg `yield x`
+class AYieldExpr
+	super AExpr
+
+	# The `yield` keyword
+	var n_kwyield: nullable TKwyield = null is writable
+
+	# The return value, if any
 	var n_expr: nullable AExpr = null is writable
 end
 
 # Something that has a label.
 abstract class ALabelable
 	super Prod
+
+	# The associated label declatation
 	var n_label: nullable ALabel = null is writable
 end
 
-# A `break` statement.
-class ABreakExpr
+# A `break` or a `continue`
+abstract class AEscapeExpr
 	super AExpr
 	super ALabelable
-	var n_kwbreak: TKwbreak is writable, noinit
+
+	# The return value, if nay (unused currently)
 	var n_expr: nullable AExpr = null is writable
 end
 
+# A `break` statement.
+class ABreakExpr
+	super AEscapeExpr
+
+	# The `break` keyword
+	var n_kwbreak: TKwbreak is writable, noinit
+end
+
 # An `abort` statement
 class AAbortExpr
 	super AExpr
+
+	# The `abort` keyword
 	var n_kwabort: TKwabort is writable, noinit
 end
 
 # A `continue` statement
 class AContinueExpr
-	super AExpr
-	super ALabelable
+	super AEscapeExpr
+
+	# The `continue` keyword.
 	var n_kwcontinue: nullable TKwcontinue = null is writable
-	var n_expr: nullable AExpr = null is writable
 end
 
 # A `do` statement
 class ADoExpr
 	super AExpr
 	super ALabelable
+
+	# The `do` keyword
 	var n_kwdo: TKwdo is writable, noinit
+
+	# The list of statements of the `do`.
 	var n_block: nullable AExpr = null is writable
+
+	# The `catch` keyword
+	var n_kwcatch: nullable TKwcatch = null is writable
+
+	# The do catch block
+	var n_catch: nullable AExpr = null is writable
 end
 
 # A `if` statement
 class AIfExpr
 	super AExpr
+
+	# The `if` keyword
 	var n_kwif: TKwif is writable, noinit
+
+	# The expression used as the condition of the `if`
 	var n_expr: AExpr is writable, noinit
+
+	# The `then` keyword
+	var n_kwthen: TKwthen is writable, noinit
+
+	# The body of the `then` part
 	var n_then: nullable AExpr = null is writable
+
+	# The `else` keyword
+	var n_kwelse: nullable TKwelse = null is writable
+
+	# The body of the `else` part
 	var n_else: nullable AExpr = null is writable
 end
 
-# A `if` expression
+# A `if` expression (ternary conditional). eg. `if true then 1 else 0`
 class AIfexprExpr
 	super AExpr
+
+	# The `if` keyword
 	var n_kwif: TKwif is writable, noinit
+
+	# The expression used as the condition of the `if`
 	var n_expr: AExpr is writable, noinit
+
+	# The `then` keyword
 	var n_kwthen: TKwthen is writable, noinit
+
+	# The expression in the `then` part
 	var n_then: AExpr is writable, noinit
+
+	# The `else` keyword
 	var n_kwelse: TKwelse is writable, noinit
+
+	# The expression in the `else` part
 	var n_else: AExpr is writable, noinit
 end
 
@@ -1398,9 +2004,17 @@ end
 class AWhileExpr
 	super AExpr
 	super ALabelable
+
+	# The `while` keyword
 	var n_kwwhile:  TKwwhile is writable, noinit
+
+	# The expression used as the condition of the `while`
 	var n_expr: AExpr is writable, noinit
+
+	# The `do` keyword
 	var n_kwdo: TKwdo is writable, noinit
+
+	# The body of the loop
 	var n_block: nullable AExpr = null is writable
 end
 
@@ -1408,7 +2022,11 @@ end
 class ALoopExpr
 	super AExpr
 	super ALabelable
+
+	# The `loop` keyword
 	var n_kwloop: TKwloop is writable, noinit
+
+	# The body of the loop
 	var n_block: nullable AExpr = null is writable
 end
 
@@ -1416,40 +2034,105 @@ end
 class AForExpr
 	super AExpr
 	super ALabelable
+
+	# The `for` keyword
 	var n_kwfor: TKwfor is writable, noinit
+
+	# The list of groups to iterate
+	var n_groups = new ANodes[AForGroup](self)
+
+	# The `do` keyword
+	var n_kwdo: TKwdo is writable, noinit
+
+	# The body of the loop
+	var n_block: nullable AExpr = null is writable
+end
+
+# A collection iterated by a for, its automatic variables and its implicit iterator.
+#
+# Standard `for` iterate on a single collection.
+# Multiple `for` can iterate on more than one collection at once.
+class AForGroup
+	super Prod
+
+	# The list of name of the automatic variables
 	var n_ids = new ANodes[TId](self)
+
+	# The `in` keyword
+	var n_kwin: TKwin is writable, noinit
+
+	# The expression used as the collection to iterate on
+	var n_expr: AExpr is writable, noinit
+end
+
+# A `with` statement
+class AWithExpr
+	super AExpr
+	super ALabelable
+
+	# The `with` keyword
+	var n_kwwith: TKwwith is writable, noinit
+
+	# The expression used to get the value to control
 	var n_expr: AExpr is writable, noinit
+
+	# The `do` keyword
 	var n_kwdo: TKwdo is writable, noinit
+
+	# The body of the loop
 	var n_block: nullable AExpr = null is writable
 end
 
 # An `assert` statement
 class AAssertExpr
 	super AExpr
+
+	# The `assert` keyword
 	var n_kwassert: TKwassert is writable, noinit
+
+	# The name of the assert, if any
 	var n_id: nullable TId = null is writable
+
+	# The expression used as the condition of the `assert`
 	var n_expr: AExpr is writable, noinit
+
+	# The `else` keyword
+	var n_kwelse: nullable TKwelse = null is writable
+
+	# The body to execute when the assert fails
 	var n_else: nullable AExpr = null is writable
 end
 
 # Whatever is a simple assignment. eg `= something`
 abstract class AAssignFormExpr
 	super AExpr
+
+	# The `=` symbol
 	var n_assign: TAssign is writable, noinit
+
+	# The right-value to assign.
 	var n_value: AExpr is writable, noinit
 end
 
 # Whatever is a combined assignment. eg `+= something`
 abstract class AReassignFormExpr
 	super AExpr
+
+	# The combined operator (eg. `+=`)
 	var n_assign_op: AAssignOp is writable, noinit
+
+	# The right-value to apply on the combined operator.
 	var n_value: AExpr is writable, noinit
 end
 
 # A `once` expression. eg `once x`
 class AOnceExpr
 	super AExpr
+
+	# The `once` keyword
 	var n_kwonce: TKwonce is writable, noinit
+
+	# The expression to evaluate only one time
 	var n_expr: AExpr is writable, noinit
 end
 
@@ -1464,9 +2147,16 @@ end
 # A binary operation on a method
 abstract class ABinopExpr
 	super ASendExpr
+
+	# The operator
+	var n_op: Token is writable, noinit
+
 	# The second operand of the operation
 	# Note: the receiver (`n_expr`) is the first operand
 	var n_expr2: AExpr is writable, noinit
+
+	# The name of the operator (eg '+')
+	fun operator: String is abstract
 end
 
 # Something that is boolean expression
@@ -1474,137 +2164,226 @@ abstract class ABoolExpr
 	super AExpr
 end
 
-# A `or` expression 
-class AOrExpr
+# Something that is binary boolean expression
+abstract class ABinBoolExpr
 	super ABoolExpr
+
+	# The first boolean operand
 	var n_expr: AExpr is writable, noinit
+
+	# The operator
+	var n_op: Token is writable, noinit
+
+	# The second boolean operand
 	var n_expr2: AExpr is writable, noinit
 end
 
+# A `or` expression
+class AOrExpr
+	super ABinBoolExpr
+end
+
 # A `and` expression
 class AAndExpr
-	super ABoolExpr
-	var n_expr: AExpr is writable, noinit
-	var n_expr2: AExpr is writable, noinit
+	super ABinBoolExpr
 end
 
 # A `or else` expression
 class AOrElseExpr
-	super ABoolExpr
-	var n_expr: AExpr is writable, noinit
-	var n_expr2: AExpr is writable, noinit
+	super ABinBoolExpr
+
+	# The `else` keyword
+	var n_kwelse: TKwelse is writable, noinit
 end
 
 # A `implies` expression
 class AImpliesExpr
-	super ABoolExpr
-	var n_expr: AExpr is writable, noinit
-	var n_expr2: AExpr is writable, noinit
+	super ABinBoolExpr
 end
 
 # A `not` expression
 class ANotExpr
 	super ABoolExpr
+
+	# The `not` keyword
 	var n_kwnot: TKwnot is writable, noinit
+
+	# The boolean operand of the `not`
 	var n_expr: AExpr is writable, noinit
 end
 
+# A `==` or a `!=` expression
+#
+# Both have a similar effect on adaptive typing, so this class factorizes the common behavior.
+class AEqFormExpr
+	super ABinopExpr
+end
+
 # A `==` expression
 class AEqExpr
-	super ABinopExpr
+	super AEqFormExpr
+	redef fun operator do return "=="
 end
 
 # A `!=` expression
 class ANeExpr
-	super ABinopExpr
+	super AEqFormExpr
+	redef fun operator do return "!="
 end
 
 # A `<` expression
 class ALtExpr
 	super ABinopExpr
+	redef fun operator do return "<"
 end
 
 # A `<=` expression
 class ALeExpr
 	super ABinopExpr
+	redef fun operator do return "<="
 end
 
 # A `<<` expression
 class ALlExpr
 	super ABinopExpr
+	redef fun operator do return "<<"
 end
 
 # A `>` expression
 class AGtExpr
 	super ABinopExpr
+	redef fun operator do return ">"
 end
 
 # A `>=` expression
 class AGeExpr
 	super ABinopExpr
+	redef fun operator do return ">="
 end
 
 # A `>>` expression
 class AGgExpr
 	super ABinopExpr
+	redef fun operator do return ">>"
 end
 
 # A type-ckeck expression. eg `x isa T`
 class AIsaExpr
 	super ABoolExpr
+
+	# The expression to check
 	var n_expr: AExpr is writable, noinit
+
+	# The `isa` keyword
+	var n_kwisa: TKwisa is writable, noinit
+
+	# The destination type to check to
 	var n_type: AType is writable, noinit
 end
 
 # A `+` expression
 class APlusExpr
 	super ABinopExpr
+	redef fun operator do return "+"
 end
 
 # A `-` expression
 class AMinusExpr
 	super ABinopExpr
+	redef fun operator do return "-"
 end
 
 # A `<=>` expression
 class AStarshipExpr
 	super ABinopExpr
+	redef fun operator do return "<=>"
 end
 
 # A `*` expression
 class AStarExpr
 	super ABinopExpr
+	redef fun operator do return "*"
 end
 
 # A `**` expression
 class AStarstarExpr
 	super ABinopExpr
+	redef fun operator do return "**"
 end
 
 # A `/` expression
 class ASlashExpr
 	super ABinopExpr
+	redef fun operator do return "/"
 end
 
 # A `%` expression
 class APercentExpr
 	super ABinopExpr
+	redef fun operator do return "%"
+end
+
+# A `|` expression
+class APipeExpr
+	super ABinopExpr
+	redef fun operator do return "|"
+end
+
+# A `^` expression
+class ACaretExpr
+	super ABinopExpr
+	redef fun operator do return "^"
+end
+
+# A `&` expression
+class AAmpExpr
+	super ABinopExpr
+	redef fun operator do return "&"
+end
+
+# A unary operation on a method
+abstract class AUnaryopExpr
+	super ASendExpr
+
+	# The operator
+	var n_op: Token is writable, noinit
+
+	# The name of the operator (eg '+')
+	fun operator: String is abstract
 end
 
 # A unary minus expression. eg `-x`
 class AUminusExpr
-	super ASendExpr
-	var n_minus: TMinus is writable, noinit
+	super AUnaryopExpr
+	redef fun operator do return "-"
+end
+
+# A unary plus expression. eg `+x`
+class AUplusExpr
+	super AUnaryopExpr
+	redef fun operator do return "+"
+end
+
+# A unary `~` expression
+class AUtildeExpr
+	super AUnaryopExpr
+	redef fun operator do return "~"
 end
 
 # An explicit instantiation. eg `new T`
 class ANewExpr
 	super AExpr
+
+	# The `new` keyword
 	var n_kwnew: TKwnew is writable, noinit
+
+	# The `type` keyword
 	var n_type: AType is writable, noinit
 
 	# The name of the named-constructor, if any
-	var n_id: nullable TId = null is writable
+	var n_qid: nullable AQid = null is writable
+
+	# The arguments of the `new`
 	var n_args: AExprs is writable, noinit
 end
 
@@ -1636,7 +2415,7 @@ abstract class ACallFormExpr
 	super ASendExpr
 
 	# The name of the method
-	var n_id: TId is writable, noinit
+	var n_qid: AQid is writable, noinit
 
 	# The arguments of the call
 	var n_args: AExprs is writable, noinit
@@ -1677,11 +2456,38 @@ class ACallReassignExpr
 	super ASendReassignFormExpr
 end
 
+# A reference to a method with a captured receiver. eg. `&x.foo` or just `&foo` is self is captured.
+#
+# Currently, the syntax is analogous to a simple call (`recv.foo`) with a prefix `&`.
+# On chains, only the last call is captured (`.` has a higher precedence than `&`).
+#
+# The syntax is analogous to a call (except the &), there is always a receiver (including the implicit self or sys) and arguments are accepted by the parser.
+#
+# TODO There is no clear syntax proposal
+#
+# * to avoid the capture of a receiver since a receiver is statically expected to resolve the method name
+# * for special method names (setters, brackets and operators)
+#
+# Note: The class specializes `ASendExpr` (trough `ACallFormExpr`) so some behavior of a genuine send expression must be redefined.
+class ACallrefExpr
+       super ACallFormExpr
+
+       # The `&` operator
+       var n_amp: TAmp is writable, noinit
+end
+
+
 # A call to `super`. OR a call of a super-constructor
 class ASuperExpr
 	super AExpr
+
+	# The qualifier part before the super (currenlty unused)
 	var n_qualified: nullable AQualified = null is writable
+
+	# The `super` keyword
 	var n_kwsuper: TKwsuper is writable, noinit
+
+	# The arguments of the super
 	var n_args: AExprs is writable, noinit
 end
 
@@ -1689,13 +2495,19 @@ end
 # Note: because `init` is a keyword and not a `TId`, the explicit call to init cannot be a `ACallFormExpr`.
 class AInitExpr
 	super ASendExpr
+
+	# The `init` keyword
 	var n_kwinit: TKwinit is writable, noinit
+
+	# The arguments of the init
 	var n_args: AExprs is writable, noinit
 end
 
 # Whatever looks-like a call of the brackets `[]` operator.
 abstract class ABraFormExpr
 	super ASendExpr
+
+	# The arguments inside the brackets
 	var n_args: AExprs is writable, noinit
 end
 
@@ -1713,6 +2525,8 @@ end
 # Whatever is an access to a local variable
 abstract class AVarFormExpr
 	super AExpr
+
+	# The name of the attribute
 	var n_id: TId is writable, noinit
 end
 
@@ -1745,37 +2559,62 @@ end
 # A literal range, open or closed
 abstract class ARangeExpr
 	super AExpr
+
+	# The left (lower) element of the range
 	var n_expr: AExpr is writable, noinit
+
+	# The `..`
+	var n_dotdot: TDotdot is writable, noinit
+
+	# The right (upper) element of the range
 	var n_expr2: AExpr is writable, noinit
 end
 
 # A closed literal range. eg `[x..y]`
 class ACrangeExpr
 	super ARangeExpr
+
+	# The opening bracket `[`
 	var n_obra: TObra is writable, noinit
+
+	# The closing bracket `]`
 	var n_cbra: TCbra is writable, noinit
 end
 
 # An open literal range. eg `[x..y[`
 class AOrangeExpr
 	super ARangeExpr
+
+	# The opening bracket `[`
 	var n_obra: TObra is writable, noinit
+
+	# The closing bracket `[` (because open range)
 	var n_cbra: TObra is writable, noinit
 end
 
 # A literal array. eg. `[x,y,z]`
 class AArrayExpr
 	super AExpr
+
+	# The opening bracket `[`
 	var n_obra: TObra is writable, noinit
-	var n_exprs: AExprs is writable, noinit
+
+	# The elements of the array
+	var n_exprs = new ANodes[AExpr](self)
+
+	# The type of the element of the array (if any)
 	var n_type: nullable AType = null is writable
+
+	# The closing bracket `]`
 	var n_cbra: TCbra is writable, noinit
 end
 
-# A read of `self` 
+# A read of `self`
 class ASelfExpr
 	super AExpr
-	var n_kwself: nullable TKwself is writable
+
+	# The `self` keyword
+	var n_kwself: nullable TKwself = null is writable
 end
 
 # When there is no explicit receiver, `self` is implicit
@@ -1786,45 +2625,56 @@ end
 # A `true` boolean literal constant
 class ATrueExpr
 	super ABoolExpr
+
+	# The `true` keyword
 	var n_kwtrue: TKwtrue is writable, noinit
 end
+
 # A `false` boolean literal constant
 class AFalseExpr
 	super ABoolExpr
+
+	# The `false` keyword
 	var n_kwfalse: TKwfalse is writable, noinit
 end
+
 # A `null` literal constant
 class ANullExpr
 	super AExpr
+
+	# The `null` keyword
 	var n_kwnull: TKwnull is writable, noinit
 end
+
 # An integer literal
-class AIntExpr
+class AIntegerExpr
 	super AExpr
+
+	# The integer token
+	var n_integer: TInteger is writable, noinit
 end
-# An integer literal in decimal format
-class ADecIntExpr
-	super AIntExpr
-	var n_number: TNumber is writable, noinit
-end
-# An integer literal in hexadecimal format
-class AHexIntExpr
-	super AIntExpr
-	var n_hex_number: THexNumber is writable, noinit
-end
+
 # A float literal
 class AFloatExpr
 	super AExpr
+
+	# The float token
 	var n_float: TFloat is writable, noinit
 end
+
 # A character literal
 class ACharExpr
 	super AExpr
+
+	# The character token
 	var n_char: TChar is writable, noinit
 end
+
 # A string literal
 abstract class AStringFormExpr
 	super AExpr
+
+	# The string token
 	var n_string: Token is writable, noinit
 end
 
@@ -1852,54 +2702,110 @@ end
 # Each part is modeled a sequence of expression. eg. `["a{, x, }b{, y, }c"]`
 class ASuperstringExpr
 	super AExpr
+
+	# The list of the expressions of the superstring
 	var n_exprs = new ANodes[AExpr](self)
 end
 
 # A simple parenthesis. eg `(x)`
 class AParExpr
 	super AExpr
+
+	# The opening parenthesis
 	var n_opar: TOpar is writable, noinit
+
+	# The inner expression
 	var n_expr: AExpr is writable, noinit
+
+	# The closing parenthesis
 	var n_cpar: TCpar is writable, noinit
 end
 
-# A type cast. eg `x.as(T)`
-class AAsCastExpr
+# A cast, against a type or `not null`
+class AAsCastForm
 	super AExpr
+
+	# The expression to cast
 	var n_expr: AExpr is writable, noinit
+
+	# The `as` keyword
 	var n_kwas: TKwas is writable, noinit
+
+	# The opening parenthesis
 	var n_opar: nullable TOpar = null is writable
-	var n_type: AType is writable, noinit
+
+	# The closing parenthesis
 	var n_cpar: nullable TCpar = null is writable
 end
 
+# A type cast. eg `x.as(T)`
+class AAsCastExpr
+	super AAsCastForm
+
+	# The target type to cast to
+	var n_type: AType is writable, noinit
+end
+
 # A as-not-null cast. eg `x.as(not null)`
 class AAsNotnullExpr
-	super AExpr
-	var n_expr: AExpr is writable, noinit
-	var n_kwas: TKwas is writable, noinit
-	var n_opar: nullable TOpar = null is writable
+	super AAsCastForm
+
+	# The `not` keyword
 	var n_kwnot: TKwnot is writable, noinit
+
+	# The `null` keyword
 	var n_kwnull: TKwnull is writable, noinit
-	var n_cpar: nullable TCpar = null is writable
 end
 
 # A is-set check of old-style attributes. eg `isset x._a`
 class AIssetAttrExpr
 	super AAttrFormExpr
+
+	# The `isset` keyword
 	var n_kwisset: TKwisset is writable, noinit
 end
 
 # An ellipsis notation used to pass an expression as it, in a vararg parameter
 class AVarargExpr
 	super AExpr
+
+	# The passed expression
 	var n_expr: AExpr is writable, noinit
+
+	# The `...` symbol
 	var n_dotdotdot: TDotdotdot is writable, noinit
 end
 
+# A receiver with a `?` suffix used in safe call operator.
+class ASafeExpr
+	super AExpr
+
+	# The expression made safe
+	var n_expr: AExpr is writable, noinit
+
+	# The `?` symbol
+	var n_quest: TQuest is writable, noinit
+end
+
+# An named notation used to pass an expression by name in a parameter
+class ANamedargExpr
+	super AExpr
+
+	# The name of the argument
+	var n_id: TId is writable, noinit
+
+	# The `=` synbol
+	var n_assign: TAssign is writable, noinit
+
+	# The passed expression
+	var n_expr: AExpr is writable, noinit
+end
+
 # A list of expression separated with commas (arguments for instance)
 class AManyExpr
 	super AExpr
+
+	# The list of expressions
 	var n_exprs = new ANodes[AExpr](self)
 end
 
@@ -1907,6 +2813,8 @@ end
 # Can only be found in special construction like arguments of annotations.
 class ATypeExpr
 	super AExpr
+
+	# The encapsulated type
 	var n_type: AType is writable, noinit
 end
 
@@ -1914,13 +2822,18 @@ end
 # Can only be found in special construction like arguments of annotations.
 class AMethidExpr
 	super AExpr
-	# The receiver, is any
+
+	# The receiver
 	var n_expr: AExpr is writable, noinit
+
+	# The encapsulated method identifier
 	var n_id: AMethid is writable, noinit
 end
 
 # A special expression that encapsulate an annotation
 # Can only be found in special construction like arguments of annotations.
+#
+# The encapsulated annotations are in `n_annotations`
 class AAtExpr
 	super AExpr
 end
@@ -1928,15 +2841,25 @@ end
 # A special expression to debug types
 class ADebugTypeExpr
 	super AExpr
+
+	# The `debug` keyword
 	var n_kwdebug: TKwdebug is writable, noinit
+
+	# The `type` keyword
 	var n_kwtype: TKwtype is writable, noinit
+
+	# The expression to check
 	var n_expr: AExpr is writable, noinit
+
+	# The type to check
 	var n_type: AType is writable, noinit
 end
 
 # A list of expression separated with commas (arguments for instance)
 abstract class AExprs
 	super Prod
+
+	# The list of expressions
 	var n_exprs = new ANodes[AExpr](self)
 end
 
@@ -1948,61 +2871,160 @@ end
 # A list of expressions enclosed in parentheses
 class AParExprs
 	super AExprs
+
+	# The opening parenthesis
 	var n_opar: TOpar is writable, noinit
+
+	# The closing parenthesis
 	var n_cpar: TCpar is writable, noinit
 end
 
 # A list of expressions enclosed in brackets
 class ABraExprs
 	super AExprs
+
+	# The opening bracket
 	var n_obra: TObra is writable, noinit
+
+	# The closing bracket
 	var n_cbra: TCbra is writable, noinit
 end
 
 # A complex assignment operator. (`+=` and `-=`)
 abstract class AAssignOp
 	super Prod
+
+	# The combined assignment operator
+	var n_op: Token is writable, noinit
+
+	# The name of the operator without the `=` (eg '+')
+	fun operator: String is abstract
 end
 
-# The `+=` assignment operation
+# A `+=` assignment operation
 class APlusAssignOp
 	super AAssignOp
-	var n_pluseq: TPluseq is writable, noinit
+
+	redef fun operator do return "+"
 end
 
-# The `-=` assignment operator
+# A `-=` assignment operation
 class AMinusAssignOp
 	super AAssignOp
-	var n_minuseq: TMinuseq is writable, noinit
+
+	redef fun operator do return "-"
+end
+
+# A `*=` assignment operation
+class AStarAssignOp
+	super AAssignOp
+
+	redef fun operator do return "*"
+end
+
+# A `/=` assignment operation
+class ASlashAssignOp
+	super AAssignOp
+
+	redef fun operator do return "/"
+end
+
+# A `%=` assignment operation
+class APercentAssignOp
+	super AAssignOp
+
+	redef fun operator do return "%"
+end
+
+# A `**=` assignment operation
+class AStarstarAssignOp
+	super AAssignOp
+
+	redef fun operator do return "**"
+end
+
+# A `|=` assignment operation
+class APipeAssignOp
+	super AAssignOp
+
+	redef fun operator do return "|"
+end
+
+# A `^=` assignment operation
+class ACaretAssignOp
+	super AAssignOp
+
+	redef fun operator do return "^"
+end
+
+# A `&=` assignment operation
+class AAmpAssignOp
+	super AAssignOp
+
+	redef fun operator do return "&"
+end
+
+# A `<<=` assignment operation
+class ALlAssignOp
+	super AAssignOp
+
+	redef fun operator do return "<<"
+end
+
+# A `>>=` assignment operation
+class AGgAssignOp
+	super AAssignOp
+
+	redef fun operator do return ">>"
 end
 
 # A possibly fully-qualified module identifier
 class AModuleName
 	super Prod
+
+	# The starting quad (`::`)
 	var n_quad: nullable TQuad = null is writable
+
+	# The list of quad-separated package/group identifiers
 	var n_path = new ANodes[TId](self)
+
+	# The final module identifier
 	var n_id: TId is writable, noinit
 end
 
 # A language declaration for an extern block
 class AInLanguage
 	super Prod
+
+	# The `in` keyword
 	var n_kwin: TKwin is writable, noinit
+
+	# The language name
 	var n_string: TString is writable, noinit
 end
 
 # An full extern block
 class AExternCodeBlock
 	super Prod
+
+	# The language declration
 	var n_in_language: nullable AInLanguage = null is writable
+
+	# The block of extern code
 	var n_extern_code_segment: TExternCodeSegment is writable, noinit
 end
 
 # A possible full method qualifier.
 class AQualified
 	super Prod
+
+	# The starting quad (`::`)
 	var n_quad: nullable TQuad = null is writable
+
+	# The list of quad-separated package/group/module identifiers
 	var n_id = new ANodes[TId](self)
+
+	# A class identifier
 	var n_classid: nullable TClassid = null is writable
 end
 
@@ -2010,33 +3032,70 @@ end
 # It contains the block of comments just above the declaration
 class ADoc
 	super Prod
+
+	# A list of lines of comment
 	var n_comment = new ANodes[TComment](self)
 end
 
 # A group of annotation on a node
+#
+# This same class is used for the 3 kind of annotations:
+#
+# * *is* annotations. eg `module foo is bar`.
+# * *at* annotations. eg `foo@bar` or `foo@(bar,baz)`.
+# * *class* annotations, defined in classes.
 class AAnnotations
 	super Prod
+
+	# The `is` keyword, for *is* annotations
+	var n_kwis: nullable TKwis = null is writable
+
+	# The `@` symbol, for *at* annotations
 	var n_at: nullable TAt = null is writable
+
+	# The opening parenthesis in *at* annotations
 	var n_opar: nullable TOpar = null is writable
+
+	# The list of annotations
 	var n_items = new ANodes[AAnnotation](self)
+
+	# The closing parenthesis in *at* annotations
 	var n_cpar: nullable TCpar = null is writable
+
+	# The `end` keyword, for *is* annotations
+	var n_kwend: nullable TKwend = null is writable
 end
 
 # A single annotation
 class AAnnotation
-	super Prod
-	var n_doc: nullable ADoc = null is writable
-	var n_kwredef: nullable TKwredef = null is writable
-	var n_visibility: nullable AVisibility is writable
+	super ADefinition
+
+	# The name of the annotation
 	var n_atid: AAtid is writable, noinit
+
+	# The opening parenthesis of the arguments
 	var n_opar: nullable TOpar = null is writable
+
+	# The list of arguments
 	var n_args = new ANodes[AExpr](self)
+
+	# The closing parenthesis
 	var n_cpar: nullable TCpar = null is writable
+
+	# The name of the annotation
+	fun name: String
+	do
+		return n_atid.n_id.text
+	end
 end
 
 # An annotation name
 abstract class AAtid
 	super Prod
+
+	# The identifier of the annotation.
+	#
+	# Can be a TId or a keyword.
 	var n_id: Token is writable, noinit
 end
 
@@ -2063,11 +3122,10 @@ end
 # The root of the AST
 class Start
 	super Prod
+
+	# The main module
 	var n_base: nullable AModule is writable
-	var n_eof: EOF is writable, noinit
-	init(n_base: nullable AModule, n_eof: EOF)
-	do
-		self._n_base = n_base
-		self._n_eof = n_eof
-	end
+
+	# The end of file (or error) token
+	var n_eof: EOF is writable
 end