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)
# 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
+
+ # 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
super TokenKeyword
end
+# The keyword `catch`
+class TKwcatch
+ super TokenKeyword
+end
+
# The keyword `var`
class TKwvar
super TokenKeyword
super TokenKeyword
end
+# The keyword `yield`
+class TKwyield
+ super TokenKeyword
+end
+
# The special keyword `__DEBUG__`
class TKwdebug
super Token
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
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
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
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
class APublicVisibility
super AVisibility
# The `public` keyword, if any
- var n_kwpublic: nullable TKwpublic is writable
+ var n_kwpublic: nullable TKwpublic = null is writable
end
# An explicit private visibility modifier
class APrivateVisibility
var n_classkind: AClasskind is writable, noinit
# The name of the class
- var n_id: nullable TClassid = null is writable
+ 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
return [for d in n_propdefs do if d isa ASuperPropdef then d]
end
- redef fun hot_location do return n_id.location
+ redef fun hot_location do return n_qid.location
end
# The implicit class definition of the implicit main method
class AAttrPropdef
super APropdef
- # The identifier for a old-style attribute (null if new-style)
+ # 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 `=` 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
# 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
var n_kwtype: TKwtype is writable, noinit
# The name of the virtual type
- var n_id: TClassid is writable, noinit
+ var n_qid: AQclassid is writable, noinit
# The bound of the virtual type
var n_type: AType is writable, noinit
var n_id: TId is writable, noinit
end
-# A method name `+`
-class APlusMethid
+# A method name for an operator
+class AOperatorMethid
super AMethid
- # The `+` symbol
- var n_plus: TPlus is writable, noinit
+ # The associated operator symbol
+ var n_op: Token is writable, noinit
+end
+# A method name `+`
+class APlusMethid
+ super AOperatorMethid
end
# A method name `-`
class AMinusMethid
- super AMethid
-
- # The `-` symbol
- var n_minus: TMinus is writable, noinit
+ super AOperatorMethid
end
# A method name `*`
class AStarMethid
- super AMethid
-
- # The `*` symbol
- var n_star: TStar is writable, noinit
+ super AOperatorMethid
end
# A method name `**`
class AStarstarMethid
- super AMethid
-
- # The `**` symbol
- var n_starstar: TStarstar is writable, noinit
+ super AOperatorMethid
end
# A method name `/`
class ASlashMethid
- super AMethid
-
- # The `/` symbol
- var n_slash: TSlash is writable, noinit
+ super AOperatorMethid
end
# A method name `%`
class APercentMethid
- super AMethid
+ super AOperatorMethid
+end
+
+# A method name `|`
+class APipeMethid
+ super AOperatorMethid
+end
- # The `%` symbol
- var n_percent: TPercent is writable, noinit
+# A method name `^`
+class ACaretMethid
+ super AOperatorMethid
+end
+
+# A method name `&`
+class AAmpMethid
+ super AOperatorMethid
+end
+
+# A method name `~`
+class ATildeMethid
+ super AOperatorMethid
end
# A method name `==`
class AEqMethid
- super AMethid
-
- # The `==` symbol
- var n_eq: TEq is writable, noinit
+ super AOperatorMethid
end
# A method name `!=`
class ANeMethid
- super AMethid
-
- # The `!=` symbol
- var n_ne: TNe is writable, noinit
+ super AOperatorMethid
end
# A method name `<=`
class ALeMethid
- super AMethid
-
- # The `<=` symbol
- var n_le: TLe is writable, noinit
+ super AOperatorMethid
end
# A method name `>=`
class AGeMethid
- super AMethid
-
- # The `>=` symbol
- var n_ge: TGe is writable, noinit
+ super AOperatorMethid
end
# A method name `<`
class ALtMethid
- super AMethid
-
- # The `<` symbol
- var n_lt: TLt is writable, noinit
+ super AOperatorMethid
end
# A method name `>`
class AGtMethid
- super AMethid
-
- # The `>` symbol
- var n_gt: TGt is writable, noinit
+ super AOperatorMethid
end
# A method name `<<`
class ALlMethid
- super AMethid
-
- # The `<<` symbol
- var n_ll: TLl is writable, noinit
+ super AOperatorMethid
end
# A method name `>>`
class AGgMethid
- super AMethid
+ super AOperatorMethid
+end
- # The `>>` symbol
- var n_gg: TGg is writable, noinit
+# A method name `<=>`
+class AStarshipMethid
+ super AOperatorMethid
end
# A method name `[]`
var n_cbra: TCbra is writable, noinit
end
-# A method name `<=>`
-class AStarshipMethid
- super AMethid
-
- # The `<=>` symbol
- var n_starship: TStarship is writable, noinit
-end
-
# A setter method name with a simple identifier (with a `=`)
class AAssignMethid
super AMethid
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
+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
+end
+
# A signature in a method definition. eg `(x,y:X,z:Z):T`
class ASignature
super Prod
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`
# 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
# 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
# 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
# The `for` keyword
var n_kwfor: TKwfor is writable, noinit
- # The list of name of the automatic variables
- var n_ids = new ANodes[TId](self)
-
- # The expression used as the collection to iterate on
- var n_expr: AExpr 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
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
# 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
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
redef fun operator do return "%"
end
-# A unary minus expression. eg `-x`
-class AUminusExpr
+# 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 `-` symbol
- var n_minus: TMinus is writable, noinit
+ # 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 AUnaryopExpr
+ redef fun operator do return "-"
end
# A unary plus expression. eg `+x`
class AUplusExpr
- super ASendExpr
+ super AUnaryopExpr
+ redef fun operator do return "+"
+end
- # The `+` symbol
- var n_plus: TPlus is writable, noinit
+# A unary `~` expression
+class AUtildeExpr
+ super AUnaryopExpr
+ redef fun operator do return "~"
end
# An explicit instantiation. eg `new T`
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
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
# The left (lower) element of the range
var n_expr: AExpr is writable, noinit
- # The right (uppr) element of the range
+ # The `..`
+ var n_dotdot: TDotdot is writable, noinit
+
+ # The right (upper) element of the range
var n_expr2: AExpr is writable, noinit
end
end
# An integer literal
-class AIntExpr
+class AIntegerExpr
super AExpr
-end
-# An integer literal in decimal format
-class ADecIntExpr
- super AIntExpr
-
- # The decimal token
- var n_number: TNumber is writable, noinit
-end
-
-# An integer literal in hexadecimal format
-class AHexIntExpr
- super AIntExpr
-
- # The hexadecimal token
- var n_hex_number: THexNumber is writable, noinit
+ # The integer token
+ var n_integer: TInteger is writable, noinit
end
# A float literal
var n_dotdotdot: TDotdotdot 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
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
# The starting quad (`::`)
var n_quad: nullable TQuad = null is writable
- # The list of quad-separated project/group identifiers
+ # The list of quad-separated package/group identifiers
var n_path = new ANodes[TId](self)
# The final module identifier
# The starting quad (`::`)
var n_quad: nullable TQuad = null is writable
- # The list of quad-separated project/group/module identifiers
+ # The list of quad-separated package/group/module identifiers
var n_id = new ANodes[TId](self)
# A class identifier
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 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