# Root of the AST class-hierarchy
abstract class ANode
- var _location: nullable Location = null
-
# Location is set during AST building. Once built, location cannon be null.
# However, manual instantiated nodes may need more care.
- fun location: Location do return _location.as(not null)
+ var location: Location is writable, noinit
# The location of the important part of the node (identifier or whatever)
fun hot_location: Location do return location
end
end
- # Protect from invalid instantiation of nodes
- private init do end
-
# Replace a child with an other node in the AST
private fun replace_child(old_child: ANode, new_child: nullable ANode) is abstract
# Detach a node from its parent
- # Aborts if the node is not detashable. use `replace_with` instead
+ # Aborts if the node is not detachable. use `replace_with` instead
# REQUIRE: parent != null
# REQUIRE: is_detachable
# ENDURE: parent == null
# 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 sequence of nodes
-# There is a specifc class (instead of a using Array) to track the parent/child relation when nodes are added or removed
+# It is a specific class (instead of using a Array) to track the parent/child relation when nodes are added or removed
class ANodes[E: ANode]
super Sequence[E]
private var parent: ANode
e.parent = null
end
- # Used in parent contructor to fill elements
+ # Used in parent constructor to fill elements
private fun unsafe_add_all(nodes: Collection[Object])
do
var parent = self.parent
# The raw content on the token
fun text: String is abstract
+
+ # The raw content on the token
fun text=(text: String) is abstract
# The previous token in the Lexer.
- # May have disapeared in the AST
+ # May have disappeared in the AST
var prev_token: nullable Token = null
# The next token in the Lexer.
- # May have disapeared in the AST
+ # May have disappeared in the AST
var next_token: nullable Token = null
# The verbatim blank text between `prev_token` and `self`
redef class SourceFile
# The first token parser by the lexer
- # May have disapeared in the final AST
+ # May have disappeared in the final AST
var first_token: nullable Token = null
# The first token parser by the lexer
- # May have disapeared in the final AST
+ # May have disappeared in the final AST
var last_token: nullable Token = null
end
abstract class Prod
super ANode
- fun location=(l: Location) do _location = l
-
# All the annotations attached directly to the node
- var _n_annotations: nullable AAnnotations = null
- fun n_annotations: nullable AAnnotations do return _n_annotations
- fun n_annotations=(n_annotations: nullable AAnnotations) do _n_annotations = n_annotations
+ 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 return res
+ for na in nas.n_items do
+ if na.name != name then continue
+ res.add(na)
+ end
+ return res
+ end
redef fun replace_with(n: ANode)
do
super
assert n isa Prod
- if n._location == null then n._location = _location
+ if not isset n._location and isset _location then n._location = _location
end
end
end
# The current visited node
- var _current_node: nullable ANode = null
- fun current_node: nullable ANode do return _current_node
- fun current_node=(current_node: nullable ANode) do _current_node = current_node
+ var current_node: nullable ANode = null is writable
end
# Token of end of line (basically `\n`)
return "keyword '{text}'"
end
end
+
+# The deprecated keyword `package`.
class TKwpackage
super TokenKeyword
end
+
+# The keyword `module`
class TKwmodule
super TokenKeyword
end
+
+# The keyword `import`
class TKwimport
super TokenKeyword
end
+
+# The keyword `class`
class TKwclass
super TokenKeyword
end
+
+# The keyword `abstract`
class TKwabstract
super TokenKeyword
end
+
+# The keyword `interface`
class TKwinterface
super TokenKeyword
end
+
+# The keywords `enum` ane `universal`
class TKwenum
super TokenKeyword
end
+
+# The keyword `end`
class TKwend
super TokenKeyword
end
+
+# The keyword `fun`
class TKwmeth
super TokenKeyword
end
+
+# The keyword `type`
class TKwtype
super TokenKeyword
end
+
+# The keyword `init`
class TKwinit
super TokenKeyword
end
+
+# The keyword `redef`
class TKwredef
super TokenKeyword
end
+
+# The keyword `is`
class TKwis
super TokenKeyword
end
+
+# The keyword `do`
class TKwdo
super TokenKeyword
end
-class TKwreadable
- super TokenKeyword
-end
-class TKwwritable
- super TokenKeyword
-end
+
+# The keyword `var`
class TKwvar
super TokenKeyword
end
-class TKwintern
- super TokenKeyword
-end
+
+# The keyword `extern`
class TKwextern
super TokenKeyword
end
+
+# The keyword `public`
class TKwpublic
super TokenKeyword
end
+
+# The keyword `protected`
class TKwprotected
super TokenKeyword
end
+
+# The keyword `private`
class TKwprivate
super TokenKeyword
end
+
+# The keyword `intrude`
class TKwintrude
super TokenKeyword
end
+
+# The keyword `if`
class TKwif
super TokenKeyword
end
+
+# The keyword `then`
class TKwthen
super TokenKeyword
end
+
+# The keyword `else`
class TKwelse
super TokenKeyword
end
+
+# The keyword `while`
class TKwwhile
super TokenKeyword
end
+
+# The keyword `loop`
class TKwloop
super TokenKeyword
end
+
+# The keyword `for`
class TKwfor
super TokenKeyword
end
+
+# The keyword `in`
class TKwin
super TokenKeyword
end
+
+# The keyword `and`
class TKwand
super TokenKeyword
end
+
+# The keyword `or`
class TKwor
super TokenKeyword
end
+
+# The keyword `implies`
class TKwimplies
super TokenKeyword
end
+
+# The keyword `not`
class TKwnot
super TokenKeyword
end
+
+# The keyword `return`
class TKwreturn
super TokenKeyword
end
+
+# The keyword `continue`
class TKwcontinue
super TokenKeyword
end
+
+# The keyword `break`
class TKwbreak
super TokenKeyword
end
+
+# The keyword `abort`
class TKwabort
super TokenKeyword
end
+
+# The keyword `assert`
class TKwassert
super TokenKeyword
end
+
+# The keyword `new`
class TKwnew
super TokenKeyword
end
+
+# The keyword `isa`
class TKwisa
super TokenKeyword
end
+
+# The keyword `once`
class TKwonce
super TokenKeyword
end
+
+# The keyword `super`
class TKwsuper
super TokenKeyword
end
+
+# The keyword `self`
class TKwself
super TokenKeyword
end
+
+# The keyword `true`
class TKwtrue
super TokenKeyword
end
+
+# The keyword `false`
class TKwfalse
super TokenKeyword
end
+
+# The keyword `null`
class TKwnull
super TokenKeyword
end
+
+# The keyword `as`
class TKwas
super TokenKeyword
end
+
+# The keyword `nullable`
class TKwnullable
super TokenKeyword
end
+
+# The keyword `isset`
class TKwisset
super TokenKeyword
end
+
+# The keyword `label`
class TKwlabel
super TokenKeyword
end
+
+# The special keyword `__DEBUG__`
class TKwdebug
super Token
end
+
+# The symbol `(`
class TOpar
super Token
end
+
+# The symbol `)`
class TCpar
super Token
end
+
+# The symbol `[`
class TObra
super Token
end
+
+# The symbol `]`
class TCbra
super Token
end
+
+# The symbol `,`
class TComma
super Token
end
+
+# The symbol `:`
class TColumn
super Token
end
+
+# The symbol `::`
class TQuad
super Token
end
+
+# The symbol `=`
class TAssign
super Token
end
return "operator '{text}'"
end
end
+
+# The operator `+=`
class TPluseq
super TokenOperator
end
+
+# The operator `-=`
class TMinuseq
super TokenOperator
end
+
+# The symbol `...`
class TDotdotdot
super Token
end
+
+# The symbol `..`
class TDotdot
super Token
end
+
+# The symbol `.`
class TDot
super Token
end
+
+# The operator `+`
class TPlus
super TokenOperator
end
+
+# The operator `-`
class TMinus
super TokenOperator
end
+
+# The operator `*`
class TStar
super TokenOperator
end
+
+# The operator `**`
+class TStarstar
+ super TokenOperator
+end
+
+# The operator `/`
class TSlash
super TokenOperator
end
+
+# The operator `+%
class TPercent
super TokenOperator
end
+
+# The operator `==`
class TEq
super TokenOperator
end
+
+# The operator `!=`
class TNe
super TokenOperator
end
+
+# The operator `<`
class TLt
super TokenOperator
end
+
+# The operator `<=`
class TLe
super TokenOperator
end
+
+# The operator `<<`
class TLl
super TokenOperator
end
+
+# The operator `>`
class TGt
super TokenOperator
end
+
+# The operator `>=`
class TGe
super TokenOperator
end
+
+# The operator `>>`
class TGg
super TokenOperator
end
+
+# The operator `<=>`
class TStarship
super TokenOperator
end
+
+# The operator `!`
class TBang
super TokenOperator
end
+
+# The symbol `@`
class TAt
super Token
end
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
do return "literal value '{text}'"
end
end
+
+# A literal decimal integer
class TNumber
super TokenLiteral
end
+
+# A literal hexadecimal integer
class THexNumber
super TokenLiteral
end
+
+# A literal floating point number
class TFloat
super TokenLiteral
end
+
+# A literal character
class TChar
super TokenLiteral
end
+
+# A literal string
class TString
super TokenLiteral
end
+
+# The starting part of a super string (between `"` and `{`)
class TStartString
super TokenLiteral
end
+
+# The middle part of a super string (between `}` and `{`)
class TMidString
super TokenLiteral
end
+
+# The final part of a super string (between `}` and `"`)
class TEndString
super TokenLiteral
end
end
end
+# A extern code block
class TExternCodeSegment
super Token
end
class AError
super EOF
end
+# A lexical error (unexpected character)
class ALexerError
super AError
end
+# A syntactic error (unexpected token)
class AParserError
super AError
end
class AModule
super Prod
- var _n_moduledecl: nullable AModuledecl = null
- fun n_moduledecl: nullable AModuledecl do return _n_moduledecl
- fun n_moduledecl=(n_moduledecl: nullable AModuledecl) do _n_moduledecl = n_moduledecl
- var n_imports: ANodes[AImport] = new ANodes[AImport](self)
- var n_extern_code_blocks: ANodes[AExternCodeBlock] = new ANodes[AExternCodeBlock](self)
- var n_classdefs: ANodes[AClassdef] = new ANodes[AClassdef](self)
- init do end
+ # 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
+
+# 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
+
+ # 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 Prod
- var _n_doc: nullable ADoc = null
- fun n_doc: nullable ADoc do return _n_doc
- fun n_doc=(n_doc: nullable ADoc) do _n_doc = n_doc
- var _n_kwredef: nullable TKwredef = null
- fun n_kwredef: nullable TKwredef do return _n_kwredef
- fun n_kwredef=(n_kwredef: nullable TKwredef) do _n_kwredef = n_kwredef
- var _n_visibility: AVisibility
- fun n_visibility: AVisibility do return _n_visibility
- fun n_visibility=(n_visibility: AVisibility) do _n_visibility = n_visibility
- var _n_kwmodule: TKwmodule
- fun n_kwmodule: TKwmodule do return _n_kwmodule
- fun n_kwmodule=(n_kwmodule: TKwmodule) do _n_kwmodule = n_kwmodule
- var _n_name: AModuleName
- fun n_name: AModuleName do return _n_name
- fun n_name=(n_name: AModuleName) do _n_name = n_name
- init do end
+ 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
- fun n_visibility: AVisibility do return _n_visibility
- fun n_visibility=(n_visibility: AVisibility) do _n_visibility = n_visibility
- var _n_kwimport: TKwimport
- fun n_kwimport: TKwimport do return _n_kwimport
- fun n_kwimport=(n_kwimport: TKwimport) do _n_kwimport = n_kwimport
- var _n_name: AModuleName
- fun n_name: AModuleName do return _n_name
- fun n_name=(n_name: AModuleName) do _n_name = n_name
- init do end
+ # 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
- fun n_visibility: AVisibility do return _n_visibility
- fun n_visibility=(n_visibility: AVisibility) do _n_visibility = n_visibility
- var _n_kwimport: TKwimport
- fun n_kwimport: TKwimport do return _n_kwimport
- fun n_kwimport=(n_kwimport: TKwimport) do _n_kwimport = n_kwimport
- var _n_kwend: TKwend
- fun n_kwend: TKwend do return _n_kwend
- fun n_kwend=(n_kwend: TKwend) do _n_kwend = n_kwend
- init do end
+ # The `end` keyword, that indicate the root module
+ var n_kwend: TKwend is writable, noinit
end
# A visibility modifier
abstract class AVisibility
super Prod
end
+
+# An implicit or explicit public visibility modifier
class APublicVisibility
super AVisibility
- var _n_kwpublic: nullable TKwpublic
- fun n_kwpublic: nullable TKwpublic do return _n_kwpublic
- fun n_kwpublic=(n_kwpublic: nullable TKwpublic) do _n_kwpublic = n_kwpublic
- init do end
+ # The `public` keyword, if any
+ var n_kwpublic: nullable TKwpublic is writable
end
+# An explicit private visibility modifier
class APrivateVisibility
super AVisibility
- var _n_kwprivate: TKwprivate
- fun n_kwprivate: TKwprivate do return _n_kwprivate
- fun n_kwprivate=(n_kwprivate: TKwprivate) do _n_kwprivate = n_kwprivate
- init do end
+ # The `private` keyword
+ var n_kwprivate: TKwprivate is writable, noinit
end
+# An explicit protected visibility modifier
class AProtectedVisibility
super AVisibility
- var _n_kwprotected: TKwprotected
- fun n_kwprotected: TKwprotected do return _n_kwprotected
- fun n_kwprotected=(n_kwprotected: TKwprotected) do _n_kwprotected = n_kwprotected
- init do end
+ # The `protected` keyword
+ var n_kwprotected: TKwprotected is writable, noinit
end
+# An explicit intrude visibility modifier
class AIntrudeVisibility
super AVisibility
- var _n_kwintrude: TKwintrude
- fun n_kwintrude: TKwintrude do return _n_kwintrude
- fun n_kwintrude=(n_kwintrude: TKwintrude) do _n_kwintrude = n_kwintrude
- init do end
+ # The `intrude` keyword
+ var n_kwintrude: TKwintrude is writable, noinit
end
# A class definition
# There is tow special case of class definition
abstract class AClassdef
super Prod
- var n_propdefs: ANodes[APropdef] = new ANodes[APropdef](self)
- init do end
+ # 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
- fun n_doc: nullable ADoc do return _n_doc
- fun n_doc=(n_doc: nullable ADoc) do _n_doc = n_doc
- var _n_kwredef: nullable TKwredef = null
- fun n_kwredef: nullable TKwredef do return _n_kwredef
- fun n_kwredef=(n_kwredef: nullable TKwredef) do _n_kwredef = n_kwredef
- var _n_visibility: AVisibility
- fun n_visibility: AVisibility do return _n_visibility
- fun n_visibility=(n_visibility: AVisibility) do _n_visibility = n_visibility
- var _n_classkind: AClasskind
- fun n_classkind: AClasskind do return _n_classkind
- fun n_classkind=(n_classkind: AClasskind) do _n_classkind = n_classkind
- var _n_id: nullable TClassid = null
- fun n_id: nullable TClassid do return _n_id
- fun n_id=(n_id: nullable TClassid) do _n_id = n_id
- var n_formaldefs: ANodes[AFormaldef] = new ANodes[AFormaldef](self)
- var _n_extern_code_block: nullable AExternCodeBlock = null
- fun n_extern_code_block: nullable AExternCodeBlock do return _n_extern_code_block
- fun n_extern_code_block=(n_extern_code_block: nullable AExternCodeBlock) do _n_extern_code_block = n_extern_code_block
- var n_superclasses: ANodes[ASuperclass] = new ANodes[ASuperclass](self)
- var _n_kwend: TKwend
- fun n_kwend: TKwend do return _n_kwend
- fun n_kwend=(n_kwend: TKwend) do _n_kwend = n_kwend
+ super ADefinition
+
+ # The class kind (interface, abstract class, etc.)
+ var n_classkind: AClasskind is writable, noinit
+
+ # The name of the class
+ var n_id: nullable TClassid = null is writable
+
+ # The list of formal parameter types
+ var n_formaldefs = new ANodes[AFormaldef](self)
+
+ # The extern block code
+ var n_extern_code_block: nullable AExternCodeBlock = null is writable
+
+ # The list of super-classes
+ 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
- init do end
end
# The implicit class definition of the implicit main method
abstract class AClasskind
super Prod
end
+
+# A default, or concrete class modifier (just `class`)
class AConcreteClasskind
super AClasskind
- var _n_kwclass: TKwclass
- fun n_kwclass: TKwclass do return _n_kwclass
- fun n_kwclass=(n_kwclass: TKwclass) do _n_kwclass = n_kwclass
- init do end
+
+ # The `class` keyword.
+ var n_kwclass: TKwclass is writable, noinit
end
+
+# An abstract class modifier (`abstract class`)
class AAbstractClasskind
super AClasskind
- var _n_kwabstract: TKwabstract
- fun n_kwabstract: TKwabstract do return _n_kwabstract
- fun n_kwabstract=(n_kwabstract: TKwabstract) do _n_kwabstract = n_kwabstract
- var _n_kwclass: TKwclass
- fun n_kwclass: TKwclass do return _n_kwclass
- fun n_kwclass=(n_kwclass: TKwclass) do _n_kwclass = n_kwclass
- init do end
+
+ # 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
- var _n_kwinterface: TKwinterface
- fun n_kwinterface: TKwinterface do return _n_kwinterface
- fun n_kwinterface=(n_kwinterface: TKwinterface) do _n_kwinterface = n_kwinterface
- init do end
+
+ # The `interface` keyword.
+ var n_kwinterface: TKwinterface is writable, noinit
end
+
+# An enum/universal class modifier (`enum class`)
class AEnumClasskind
super AClasskind
- var _n_kwenum: TKwenum
- fun n_kwenum: TKwenum do return _n_kwenum
- fun n_kwenum=(n_kwenum: TKwenum) do _n_kwenum = n_kwenum
- init do end
+
+ # The `enum` keyword.
+ var n_kwenum: TKwenum is writable, noinit
end
+
+# An extern class modifier (`extern class`)
class AExternClasskind
super AClasskind
- var _n_kwextern: TKwextern
- fun n_kwextern: TKwextern do return _n_kwextern
- fun n_kwextern=(n_kwextern: TKwextern) do _n_kwextern = n_kwextern
- var _n_kwclass: nullable TKwclass = null
- fun n_kwclass: nullable TKwclass do return _n_kwclass
- fun n_kwclass=(n_kwclass: nullable TKwclass) do _n_kwclass = n_kwclass
- init do end
+
+ # The `extern` keyword.
+ var n_kwextern: TKwextern is writable, noinit
+
+ # The `class` keyword.
+ var n_kwclass: nullable TKwclass = null is writable
end
# The definition of a formal generic parameter type. eg `X: Y`
class AFormaldef
super Prod
- var _n_id: TClassid
- fun n_id: TClassid do return _n_id
- fun n_id=(n_id: TClassid) do _n_id = n_id
+
+ # 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
- fun n_type: nullable AType do return _n_type
- fun n_type=(n_type: nullable AType) do _n_type = n_type
- init do end
+ var n_type: nullable AType = null is writable
end
# A super-class. eg `super X`
class ASuperclass
super Prod
- var _n_kwsuper: TKwsuper
- fun n_kwsuper: TKwsuper do return _n_kwsuper
- fun n_kwsuper=(n_kwsuper: TKwsuper) do _n_kwsuper = n_kwsuper
- var _n_type: AType
- fun n_type: AType do return _n_type
- fun n_type=(n_type: AType) do _n_type = n_type
- init do end
+
+ # 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
# The definition of a property
abstract class APropdef
- super Prod
- var _n_doc: nullable ADoc = null
- fun n_doc: nullable ADoc do return _n_doc
- fun n_doc=(n_doc: nullable ADoc) do _n_doc = n_doc
- var _n_kwredef: nullable TKwredef = null
- fun n_kwredef: nullable TKwredef do return _n_kwredef
- fun n_kwredef=(n_kwredef: nullable TKwredef) do _n_kwredef = n_kwredef
- var _n_visibility: nullable AVisibility = null
- fun n_visibility: nullable AVisibility do return _n_visibility
- fun n_visibility=(n_visibility: nullable AVisibility) do _n_visibility = n_visibility
+ 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
- var _n_kwvar: TKwvar
- fun n_kwvar: TKwvar do return _n_kwvar
- fun n_kwvar=(n_kwvar: TKwvar) do _n_kwvar = n_kwvar
- # The identifier for an old-style attribute (null if new-style)
- var _n_id: nullable TAttrid
- fun n_id: nullable TAttrid do return _n_id
- fun n_id=(n_id: nullable TAttrid) do _n_id = n_id
+ # The identifier for a old-style attribute (null if new-style)
+ var n_kwvar: TKwvar is writable, noinit
# The identifier for a new-style attribute (null if old-style)
- var _n_id2: nullable TId
- fun n_id2: nullable TId do return _n_id2
- fun n_id2=(n_id2: nullable TId) do _n_id2 = n_id2
-
- var _n_type: nullable AType = null
- fun n_type: nullable AType do return _n_type
- fun n_type=(n_type: nullable AType) do _n_type = n_type
- var _n_readable: nullable AAble = null
- fun n_readable: nullable AAble do return _n_readable
- fun n_readable=(n_readable: nullable AAble) do _n_readable = n_readable
- var _n_writable: nullable AAble = null
- fun n_writable: nullable AAble do return _n_writable
- fun n_writable=(n_writable: nullable AAble) do _n_writable = n_writable
+ 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 (set with `=`)
+ var n_expr: nullable AExpr = null is writable
+
+ # The initial value, if any (set with `do return`)
+ var n_block: nullable AExpr = null is writable
- # The initial value, if any
- var _n_expr: nullable AExpr = null
- fun n_expr: nullable AExpr do return _n_expr
- fun n_expr=(n_expr: nullable AExpr) do _n_expr = n_expr
redef fun hot_location
do
- if n_id != null then return n_id.location else return n_id2.location
+ return n_id2.location
end
- init do end
end
# A definition of all kind of method (including constructors)
-abstract class AMethPropdef
+class AMethPropdef
super APropdef
- var _n_kwmeth: nullable TKwmeth = null
- fun n_kwmeth: nullable TKwmeth do return _n_kwmeth
- fun n_kwmeth=(n_kwmeth: nullable TKwmeth) do _n_kwmeth = n_kwmeth
- var _n_kwinit: nullable TKwinit = null
- fun n_kwinit: nullable TKwinit do return _n_kwinit
- fun n_kwinit=(n_kwinit: nullable TKwinit) do _n_kwinit = n_kwinit
- var _n_kwnew: nullable TKwnew = null
- fun n_kwnew: nullable TKwnew do return _n_kwnew
- fun n_kwnew=(n_kwnew: nullable TKwnew) do _n_kwnew = n_kwnew
- var _n_methid: nullable AMethid = null
- fun n_methid: nullable AMethid do return _n_methid
- fun n_methid=(n_methid: nullable AMethid) do _n_methid = n_methid
- var _n_signature: nullable ASignature = null
- fun n_signature: nullable ASignature do return _n_signature
- fun n_signature=(n_signature: nullable ASignature) do _n_signature = n_signature
- var _n_block: nullable AExpr = null
- fun n_block: nullable AExpr do return _n_block
- fun n_block=(n_block: nullable AExpr) do _n_block = n_block
- var _n_extern: nullable TString = null
- fun n_extern: nullable TString do return _n_extern
- fun n_extern=(n_extern: nullable TString) do _n_extern = n_extern
- var _n_extern_calls: nullable AExternCalls = null
- fun n_extern_calls: nullable AExternCalls do return _n_extern_calls
- fun n_extern_calls=(n_extern_calls: nullable AExternCalls) do _n_extern_calls = n_extern_calls
- var _n_extern_code_block: nullable AExternCodeBlock = null
- fun n_extern_code_block: nullable AExternCodeBlock do return _n_extern_code_block
- fun n_extern_code_block=(n_extern_code_block: nullable AExternCodeBlock) do _n_extern_code_block = n_extern_code_block
+
+ # 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 `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 body (in Nit) of the method, if any
+ var n_block: nullable AExpr = 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
end
end
-# A method marked abstract
-# *deferred* is a old synonynmous of *abstract* that comes from PRM, that comes from Eiffel.
-class ADeferredMethPropdef
- super AMethPropdef
-end
-
-# A method marked intern
-class AInternMethPropdef
- super AMethPropdef
-end
-
-# A method of a constructor marked extern
-abstract class AExternPropdef
- super AMethPropdef
-end
-
-# A method marked extern
-class AExternMethPropdef
- super AExternPropdef
-end
-
-# A method with a body
-class AConcreteMethPropdef
- super AMethPropdef
-end
-
-# A constructor
-abstract class AInitPropdef
- super AMethPropdef
-end
-
-# A constructor with a body
-class AConcreteInitPropdef
- super AConcreteMethPropdef
- super AInitPropdef
-end
-
-class AInternNewPropdef
- super AInternMethPropdef
- super AInitPropdef
-end
-
-# A constructor marked extern (defined with the `new` keyword)
-class AExternInitPropdef
- super AExternPropdef
- super AInitPropdef
-end
-
# The implicit main method
class AMainMethPropdef
- super AConcreteMethPropdef
+ super AMethPropdef
end
# Declaration of callbacks for extern methods
class AExternCalls
super Prod
- var _n_kwimport: TKwimport
- fun n_kwimport: TKwimport do return _n_kwimport
- fun n_kwimport=(n_kwimport: TKwimport) do _n_kwimport = n_kwimport
+
+ # 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)
- init do end
end
+
+# A single callback declaration
abstract class AExternCall
super Prod
end
+
+# A single callback declaration on a method
abstract class APropExternCall
super AExternCall
end
+
+# A single callback declaration on a method on the current receiver
class ALocalPropExternCall
super APropExternCall
- var _n_methid: AMethid
- fun n_methid: AMethid do return _n_methid
- fun n_methid=(n_methid: AMethid) do _n_methid = n_methid
- init do end
+
+ # 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
- var _n_type: AType
- fun n_type: AType do return _n_type
- fun n_type=(n_type: AType) do _n_type = n_type
- var _n_dot: nullable TDot = null
- fun n_dot: nullable TDot do return _n_dot
- fun n_dot=(n_dot: nullable TDot) do _n_dot = n_dot
- var _n_methid: AMethid
- fun n_methid: AMethid do return _n_methid
- fun n_methid=(n_methid: AMethid) do _n_methid = n_methid
- init do end
+
+ # 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
- var _n_type: AType
- fun n_type: AType do return _n_type
- fun n_type=(n_type: AType) do _n_type = n_type
- init do end
+
+ # The allocated type
+ var n_type: AType is writable, noinit
end
+
+# A single callback declaration on a `super` call
class ASuperExternCall
super AExternCall
- var _n_kwsuper: TKwsuper
- fun n_kwsuper: TKwsuper do return _n_kwsuper
- fun n_kwsuper=(n_kwsuper: TKwsuper) do _n_kwsuper = n_kwsuper
- init do end
+
+ # The `super` keyword
+ var n_kwsuper: TKwsuper is writable, noinit
end
+
+# A single callback declaration on a cast
abstract class ACastExternCall
super AExternCall
end
+
+# A single callback declaration on a cast to a given type
class ACastAsExternCall
super ACastExternCall
- var _n_from_type: AType
- fun n_from_type: AType do return _n_from_type
- fun n_from_type=(n_from_type: AType) do _n_from_type = n_from_type
- var _n_dot: nullable TDot = null
- fun n_dot: nullable TDot do return _n_dot
- fun n_dot=(n_dot: nullable TDot) do _n_dot = n_dot
- var _n_kwas: TKwas
- fun n_kwas: TKwas do return _n_kwas
- fun n_kwas=(n_kwas: TKwas) do _n_kwas = n_kwas
- var _n_to_type: AType
- fun n_to_type: AType do return _n_to_type
- fun n_to_type=(n_to_type: AType) do _n_to_type = n_to_type
- init do end
+
+ # 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
- var _n_type: AType
- fun n_type: AType do return _n_type
- fun n_type=(n_type: AType) do _n_type = n_type
- var _n_kwas: TKwas
- fun n_kwas: TKwas do return _n_kwas
- fun n_kwas=(n_kwas: TKwas) do _n_kwas = n_kwas
- var _n_kwnullable: TKwnullable
- fun n_kwnullable: TKwnullable do return _n_kwnullable
- fun n_kwnullable=(n_kwnullable: TKwnullable) do _n_kwnullable = n_kwnullable
- init do end
+
+ # 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
- var _n_type: AType
- fun n_type: AType do return _n_type
- fun n_type=(n_type: AType) do _n_type = n_type
- var _n_kwas: TKwas
- fun n_kwas: TKwas do return _n_kwas
- fun n_kwas=(n_kwas: TKwas) do _n_kwas = n_kwas
- var _n_kwnot: TKwnot
- fun n_kwnot: TKwnot do return _n_kwnot
- fun n_kwnot=(n_kwnot: TKwnot) do _n_kwnot = n_kwnot
- var _n_kwnullable: TKwnullable
- fun n_kwnullable: TKwnullable do return _n_kwnullable
- fun n_kwnullable=(n_kwnullable: TKwnullable) do _n_kwnullable = n_kwnullable
- init do end
+
+ # 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
- var _n_kwtype: TKwtype
- fun n_kwtype: TKwtype do return _n_kwtype
- fun n_kwtype=(n_kwtype: TKwtype) do _n_kwtype = n_kwtype
- var _n_id: TClassid
- fun n_id: TClassid do return _n_id
- fun n_id=(n_id: TClassid) do _n_id = n_id
- var _n_type: AType
- fun n_type: AType do return _n_type
- fun n_type=(n_type: AType) do _n_type = n_type
- init do end
-end
-
-# A `writable` or `readable` modifier
-abstract class AAble
- super Prod
- var _n_visibility: nullable AVisibility = null
- fun n_visibility: nullable AVisibility do return _n_visibility
- fun n_visibility=(n_visibility: nullable AVisibility) do _n_visibility = n_visibility
- var _n_kwredef: nullable TKwredef = null
- fun n_kwredef: nullable TKwredef do return _n_kwredef
- fun n_kwredef=(n_kwredef: nullable TKwredef) do _n_kwredef = n_kwredef
- init do end
-end
-# A `readable` modifier
-class AReadAble
- super AAble
- var _n_kwreadable: TKwreadable
- fun n_kwreadable: TKwreadable do return _n_kwreadable
- fun n_kwreadable=(n_kwreadable: TKwreadable) do _n_kwreadable = n_kwreadable
- init do end
-end
+ # The `type` keyword
+ var n_kwtype: TKwtype is writable, noinit
-# A `writable` modifier
-class AWriteAble
- super AAble
- var _n_kwwritable: TKwwritable
- fun n_kwwritable: TKwwritable do return _n_kwwritable
- fun n_kwwritable=(n_kwwritable: TKwwritable) do _n_kwwritable = n_kwwritable
- init do end
+ # The name of the virtual type
+ var n_id: TClassid is writable, noinit
+
+ # The bound of the virtual type
+ var n_type: AType is writable, noinit
end
# The identifier of a method in a method declaration.
abstract class AMethid
super Prod
end
+
+# A method name with a simple identifier
class AIdMethid
super AMethid
- var _n_id: TId
- fun n_id: TId do return _n_id
- fun n_id=(n_id: TId) do _n_id = n_id
- init do end
+
+ # The simple identifier
+ var n_id: TId is writable, noinit
end
+
+# A method name `+`
class APlusMethid
super AMethid
- var _n_plus: TPlus
- fun n_plus: TPlus do return _n_plus
- fun n_plus=(n_plus: TPlus) do _n_plus = n_plus
- init do end
+
+ # The `+` symbol
+ var n_plus: TPlus is writable, noinit
end
+
+# A method name `-`
class AMinusMethid
super AMethid
- var _n_minus: TMinus
- fun n_minus: TMinus do return _n_minus
- fun n_minus=(n_minus: TMinus) do _n_minus = n_minus
- init do end
+
+ # The `-` symbol
+ var n_minus: TMinus is writable, noinit
end
+
+# A method name `*`
class AStarMethid
super AMethid
- var _n_star: TStar
- fun n_star: TStar do return _n_star
- fun n_star=(n_star: TStar) do _n_star = n_star
- init do end
+
+ # The `*` symbol
+ var n_star: TStar is writable, noinit
+end
+
+# A method name `**`
+class AStarstarMethid
+ super AMethid
+
+ # The `**` symbol
+ var n_starstar: TStarstar is writable, noinit
end
+
+# A method name `/`
class ASlashMethid
super AMethid
- var _n_slash: TSlash
- fun n_slash: TSlash do return _n_slash
- fun n_slash=(n_slash: TSlash) do _n_slash = n_slash
- init do end
+
+ # The `/` symbol
+ var n_slash: TSlash is writable, noinit
end
+
+# A method name `%`
class APercentMethid
super AMethid
- var _n_percent: TPercent
- fun n_percent: TPercent do return _n_percent
- fun n_percent=(n_percent: TPercent) do _n_percent = n_percent
- init do end
+
+ # The `%` symbol
+ var n_percent: TPercent is writable, noinit
end
+
+# A method name `==`
class AEqMethid
super AMethid
- var _n_eq: TEq
- fun n_eq: TEq do return _n_eq
- fun n_eq=(n_eq: TEq) do _n_eq = n_eq
- init do end
+
+ # The `==` symbol
+ var n_eq: TEq is writable, noinit
end
+
+# A method name `!=`
class ANeMethid
super AMethid
- var _n_ne: TNe
- fun n_ne: TNe do return _n_ne
- fun n_ne=(n_ne: TNe) do _n_ne = n_ne
- init do end
+
+ # The `!=` symbol
+ var n_ne: TNe is writable, noinit
end
+
+# A method name `<=`
class ALeMethid
super AMethid
- var _n_le: TLe
- fun n_le: TLe do return _n_le
- fun n_le=(n_le: TLe) do _n_le = n_le
- init do end
+
+ # The `<=` symbol
+ var n_le: TLe is writable, noinit
end
+
+# A method name `>=`
class AGeMethid
super AMethid
- var _n_ge: TGe
- fun n_ge: TGe do return _n_ge
- fun n_ge=(n_ge: TGe) do _n_ge = n_ge
- init do end
+
+ # The `>=` symbol
+ var n_ge: TGe is writable, noinit
end
+
+# A method name `<`
class ALtMethid
super AMethid
- var _n_lt: TLt
- fun n_lt: TLt do return _n_lt
- fun n_lt=(n_lt: TLt) do _n_lt = n_lt
- init do end
+
+ # The `<` symbol
+ var n_lt: TLt is writable, noinit
end
+
+# A method name `>`
class AGtMethid
super AMethid
- var _n_gt: TGt
- fun n_gt: TGt do return _n_gt
- fun n_gt=(n_gt: TGt) do _n_gt = n_gt
- init do end
+
+ # The `>` symbol
+ var n_gt: TGt is writable, noinit
end
+
+# A method name `<<`
class ALlMethid
super AMethid
- var _n_ll: TLl
- fun n_ll: TLl do return _n_ll
- fun n_ll=(n_ll: TLl) do _n_ll = n_ll
- init do end
+
+ # The `<<` symbol
+ var n_ll: TLl is writable, noinit
end
+
+# A method name `>>`
class AGgMethid
super AMethid
- var _n_gg: TGg
- fun n_gg: TGg do return _n_gg
- fun n_gg=(n_gg: TGg) do _n_gg = n_gg
- init do end
+
+ # The `>>` symbol
+ var n_gg: TGg is writable, noinit
end
+
+# A method name `[]`
class ABraMethid
super AMethid
- var _n_obra: TObra
- fun n_obra: TObra do return _n_obra
- fun n_obra=(n_obra: TObra) do _n_obra = n_obra
- var _n_cbra: TCbra
- fun n_cbra: TCbra do return _n_cbra
- fun n_cbra=(n_cbra: TCbra) do _n_cbra = n_cbra
- init do end
+
+ # The `[` symbol
+ var n_obra: TObra is writable, noinit
+
+ # The `]` symbol
+ var n_cbra: TCbra is writable, noinit
end
+
+# A method name `<=>`
class AStarshipMethid
super AMethid
- var _n_starship: TStarship
- fun n_starship: TStarship do return _n_starship
- fun n_starship=(n_starship: TStarship) do _n_starship = n_starship
- init do end
+
+ # 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_id: TId
- fun n_id: TId do return _n_id
- fun n_id=(n_id: TId) do _n_id = n_id
- var _n_assign: TAssign
- fun n_assign: TAssign do return _n_assign
- fun n_assign=(n_assign: TAssign) do _n_assign = n_assign
- init do end
+
+ # 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
- var _n_obra: TObra
- fun n_obra: TObra do return _n_obra
- fun n_obra=(n_obra: TObra) do _n_obra = n_obra
- var _n_cbra: TCbra
- fun n_cbra: TCbra do return _n_cbra
- fun n_cbra=(n_cbra: TCbra) do _n_cbra = n_cbra
- var _n_assign: TAssign
- fun n_assign: TAssign do return _n_assign
- fun n_assign=(n_assign: TAssign) do _n_assign = n_assign
- init do end
+
+ # 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 signature in a method definition. eg `(x,y:X,z:Z):T`
class ASignature
super Prod
- var _n_opar: nullable TOpar = null
- fun n_opar: nullable TOpar do return _n_opar
- fun n_opar=(n_opar: nullable TOpar) do _n_opar = n_opar
- var n_params: ANodes[AParam] = new ANodes[AParam](self)
- var _n_cpar: nullable TCpar = null
- fun n_cpar: nullable TCpar do return _n_cpar
- fun n_cpar=(n_cpar: nullable TCpar) do _n_cpar = n_cpar
- var _n_type: nullable AType = null
- fun n_type: nullable AType do return _n_type
- fun n_type=(n_type: nullable AType) do _n_type = n_type
- init do end
+
+ # 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
- var _n_id: TId
- fun n_id: TId do return _n_id
- fun n_id=(n_id: TId) do _n_id = n_id
- var _n_type: nullable AType = null
- fun n_type: nullable AType do return _n_type
- fun n_type=(n_type: nullable AType) do _n_type = n_type
- var _n_dotdotdot: nullable TDotdotdot = null
- fun n_dotdotdot: nullable TDotdotdot do return _n_dotdotdot
- fun n_dotdotdot=(n_dotdotdot: nullable TDotdotdot) do _n_dotdotdot = n_dotdotdot
- init do end
+
+ # 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
- var _n_kwnullable: nullable TKwnullable = null
- fun n_kwnullable: nullable TKwnullable do return _n_kwnullable
- fun n_kwnullable=(n_kwnullable: nullable TKwnullable) do _n_kwnullable = n_kwnullable
+ # 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
- fun n_id: TClassid do return _n_id
- fun n_id=(n_id: TClassid) do _n_id = n_id
+ var n_id: TClassid is writable, noinit
# Type arguments for a generic type
- var n_types: ANodes[AType] = new ANodes[AType](self)
- init do end
+ var n_types = new ANodes[AType](self)
end
# A label at the end of a block or in a break/continue statement. eg `label x`
class ALabel
super Prod
- var _n_kwlabel: TKwlabel
- fun n_kwlabel: TKwlabel do return _n_kwlabel
- fun n_kwlabel=(n_kwlabel: TKwlabel) do _n_kwlabel = n_kwlabel
- var _n_id: nullable TId
- fun n_id: nullable TId do return _n_id
- fun n_id=(n_id: nullable TId) do _n_id = n_id
- init do end
+
+ # The `label` keyword
+ var n_kwlabel: TKwlabel is writable, noinit
+
+ # The name of the label, if any
+ var n_id: nullable TId is writable
end
# Expression and statements
super Prod
end
-# A sequence of AExpr (usually statements)
-# The last AExpr gives the value of the whole block
+# A sequence of `AExpr` (usually statements)
+# The last `AExpr` gives the value of the whole block
class ABlockExpr
super AExpr
- var n_expr: ANodes[AExpr] = new ANodes[AExpr](self)
- var _n_kwend: nullable TKwend = null
- fun n_kwend: nullable TKwend do return _n_kwend
- fun n_kwend=(n_kwend: nullable TKwend) do _n_kwend = n_kwend
- init do end
+
+ # 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
- fun n_kwvar: TKwvar do return _n_kwvar
- fun n_kwvar=(n_kwvar: TKwvar) do _n_kwvar = n_kwvar
- var _n_id: TId
- fun n_id: TId do return _n_id
- fun n_id=(n_id: TId) do _n_id = n_id
- var _n_type: nullable AType = null
- fun n_type: nullable AType do return _n_type
- fun n_type=(n_type: nullable AType) do _n_type = n_type
- var _n_assign: nullable TAssign = null
- fun n_assign: nullable TAssign do return _n_assign
- fun n_assign=(n_assign: nullable TAssign) do _n_assign = n_assign
+
+ # The `var` keyword
+ var n_kwvar: TKwvar is writable, noinit
+
+ # 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
- var _n_expr: nullable AExpr = null
- fun n_expr: nullable AExpr do return _n_expr
- fun n_expr=(n_expr: nullable AExpr) do _n_expr = n_expr
- init do end
+ var n_expr: nullable AExpr = null is writable
end
# A `return` statement. eg `return x`
class AReturnExpr
super AExpr
- var _n_kwreturn: nullable TKwreturn = null
- fun n_kwreturn: nullable TKwreturn do return _n_kwreturn
- fun n_kwreturn=(n_kwreturn: nullable TKwreturn) do _n_kwreturn = n_kwreturn
- var _n_expr: nullable AExpr = null
- fun n_expr: nullable AExpr do return _n_expr
- fun n_expr=(n_expr: nullable AExpr) do _n_expr = n_expr
- init do end
+
+ # The `return` keyword
+ var n_kwreturn: nullable TKwreturn = 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
- var _n_label: nullable ALabel = null
- fun n_label: nullable ALabel do return _n_label
- fun n_label=(n_label: nullable ALabel) do _n_label = n_label
- init do end
+
+ # 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
- fun n_kwbreak: TKwbreak do return _n_kwbreak
- fun n_kwbreak=(n_kwbreak: TKwbreak) do _n_kwbreak = n_kwbreak
- var _n_expr: nullable AExpr = null
- fun n_expr: nullable AExpr do return _n_expr
- fun n_expr=(n_expr: nullable AExpr) do _n_expr = n_expr
- init do end
+
+ # 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
- var _n_kwabort: TKwabort
- fun n_kwabort: TKwabort do return _n_kwabort
- fun n_kwabort=(n_kwabort: TKwabort) do _n_kwabort = n_kwabort
- init do end
+
+ # The `abort` keyword
+ var n_kwabort: TKwabort is writable, noinit
end
# A `continue` statement
class AContinueExpr
- super AExpr
- super ALabelable
- var _n_kwcontinue: nullable TKwcontinue = null
- fun n_kwcontinue: nullable TKwcontinue do return _n_kwcontinue
- fun n_kwcontinue=(n_kwcontinue: nullable TKwcontinue) do _n_kwcontinue = n_kwcontinue
- var _n_expr: nullable AExpr = null
- fun n_expr: nullable AExpr do return _n_expr
- fun n_expr=(n_expr: nullable AExpr) do _n_expr = n_expr
- init do end
+ super AEscapeExpr
+
+ # The `continue` keyword.
+ var n_kwcontinue: nullable TKwcontinue = null is writable
end
# A `do` statement
class ADoExpr
super AExpr
super ALabelable
- var _n_kwdo: TKwdo
- fun n_kwdo: TKwdo do return _n_kwdo
- fun n_kwdo=(n_kwdo: TKwdo) do _n_kwdo = n_kwdo
- var _n_block: nullable AExpr = null
- fun n_block: nullable AExpr do return _n_block
- fun n_block=(n_block: nullable AExpr) do _n_block = n_block
- init do end
+
+ # 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
end
# A `if` statement
class AIfExpr
super AExpr
- var _n_kwif: TKwif
- fun n_kwif: TKwif do return _n_kwif
- fun n_kwif=(n_kwif: TKwif) do _n_kwif = n_kwif
- var _n_expr: AExpr
- fun n_expr: AExpr do return _n_expr
- fun n_expr=(n_expr: AExpr) do _n_expr = n_expr
- var _n_then: nullable AExpr = null
- fun n_then: nullable AExpr do return _n_then
- fun n_then=(n_then: nullable AExpr) do _n_then = n_then
- var _n_else: nullable AExpr = null
- fun n_else: nullable AExpr do return _n_else
- fun n_else=(n_else: nullable AExpr) do _n_else = n_else
- init do end
-end
-
-# A `if` expression
+
+ # 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 body of the `then` part
+ var n_then: nullable AExpr = null is writable
+
+ # The body of the `else` part
+ var n_else: nullable AExpr = null is writable
+end
+
+# A `if` expression (ternary conditional). eg. `if true then 1 else 0`
class AIfexprExpr
super AExpr
- var _n_kwif: TKwif
- fun n_kwif: TKwif do return _n_kwif
- fun n_kwif=(n_kwif: TKwif) do _n_kwif = n_kwif
- var _n_expr: AExpr
- fun n_expr: AExpr do return _n_expr
- fun n_expr=(n_expr: AExpr) do _n_expr = n_expr
- var _n_kwthen: TKwthen
- fun n_kwthen: TKwthen do return _n_kwthen
- fun n_kwthen=(n_kwthen: TKwthen) do _n_kwthen = n_kwthen
- var _n_then: AExpr
- fun n_then: AExpr do return _n_then
- fun n_then=(n_then: AExpr) do _n_then = n_then
- var _n_kwelse: TKwelse
- fun n_kwelse: TKwelse do return _n_kwelse
- fun n_kwelse=(n_kwelse: TKwelse) do _n_kwelse = n_kwelse
- var _n_else: AExpr
- fun n_else: AExpr do return _n_else
- fun n_else=(n_else: AExpr) do _n_else = n_else
- init do end
+
+ # 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
# A `while` statement
class AWhileExpr
super AExpr
super ALabelable
- var _n_kwwhile: TKwwhile
- fun n_kwwhile: TKwwhile do return _n_kwwhile
- fun n_kwwhile=(n_kwwhile: TKwwhile) do _n_kwwhile = n_kwwhile
- var _n_expr: AExpr
- fun n_expr: AExpr do return _n_expr
- fun n_expr=(n_expr: AExpr) do _n_expr = n_expr
- var _n_kwdo: TKwdo
- fun n_kwdo: TKwdo do return _n_kwdo
- fun n_kwdo=(n_kwdo: TKwdo) do _n_kwdo = n_kwdo
- var _n_block: nullable AExpr = null
- fun n_block: nullable AExpr do return _n_block
- fun n_block=(n_block: nullable AExpr) do _n_block = n_block
- init do end
+
+ # 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
# A `loop` statement
class ALoopExpr
super AExpr
super ALabelable
- var _n_kwloop: TKwloop
- fun n_kwloop: TKwloop do return _n_kwloop
- fun n_kwloop=(n_kwloop: TKwloop) do _n_kwloop = n_kwloop
- var _n_block: nullable AExpr = null
- fun n_block: nullable AExpr do return _n_block
- fun n_block=(n_block: nullable AExpr) do _n_block = n_block
- init do end
+
+ # The `loop` keyword
+ var n_kwloop: TKwloop is writable, noinit
+
+ # The body of the loop
+ var n_block: nullable AExpr = null is writable
end
# A `for` statement
class AForExpr
super AExpr
super ALabelable
- var _n_kwfor: TKwfor
- fun n_kwfor: TKwfor do return _n_kwfor
- fun n_kwfor=(n_kwfor: TKwfor) do _n_kwfor = n_kwfor
- var n_ids: ANodes[TId] = new ANodes[TId](self)
- var _n_expr: AExpr
- fun n_expr: AExpr do return _n_expr
- fun n_expr=(n_expr: AExpr) do _n_expr = n_expr
- var _n_kwdo: TKwdo
- fun n_kwdo: TKwdo do return _n_kwdo
- fun n_kwdo=(n_kwdo: TKwdo) do _n_kwdo = n_kwdo
- var _n_block: nullable AExpr = null
- fun n_block: nullable AExpr do return _n_block
- fun n_block=(n_block: nullable AExpr) do _n_block = n_block
- init do 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 `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
- var _n_kwassert: TKwassert
- fun n_kwassert: TKwassert do return _n_kwassert
- fun n_kwassert=(n_kwassert: TKwassert) do _n_kwassert = n_kwassert
- var _n_id: nullable TId = null
- fun n_id: nullable TId do return _n_id
- fun n_id=(n_id: nullable TId) do _n_id = n_id
- var _n_expr: AExpr
- fun n_expr: AExpr do return _n_expr
- fun n_expr=(n_expr: AExpr) do _n_expr = n_expr
- var _n_else: nullable AExpr = null
- fun n_else: nullable AExpr do return _n_else
- fun n_else=(n_else: nullable AExpr) do _n_else = n_else
- init do end
+
+ # 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 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
- var _n_assign: TAssign
- fun n_assign: TAssign do return _n_assign
- fun n_assign=(n_assign: TAssign) do _n_assign = n_assign
- var _n_value: AExpr
- fun n_value: AExpr do return _n_value
- fun n_value=(n_value: AExpr) do _n_value = n_value
- init do end
+
+ # 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
- var _n_assign_op: AAssignOp
- fun n_assign_op: AAssignOp do return _n_assign_op
- fun n_assign_op=(n_assign_op: AAssignOp) do _n_assign_op = n_assign_op
- var _n_value: AExpr
- fun n_value: AExpr do return _n_value
- fun n_value=(n_value: AExpr) do _n_value = n_value
- init do end
+
+ # 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 AProxyExpr
- var _n_kwonce: TKwonce
- fun n_kwonce: TKwonce do return _n_kwonce
- fun n_kwonce=(n_kwonce: TKwonce) do _n_kwonce = n_kwonce
- init do end
+ 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
# A polymorphic invocation of a method
-# The form of the invocation (name, arguments, etc) are specific
+# The form of the invocation (name, arguments, etc.) are specific
abstract class ASendExpr
super AExpr
# The receiver of the method invocation
- var _n_expr: AExpr
- fun n_expr: AExpr do return _n_expr
- fun n_expr=(n_expr: AExpr) do _n_expr = n_expr
- init do end
+ var n_expr: AExpr is writable, noinit
end
# A binary operation on a method
super ASendExpr
# The second operand of the operation
# Note: the receiver (`n_expr`) is the first operand
- var _n_expr2: AExpr
- fun n_expr2: AExpr do return _n_expr2
- fun n_expr2=(n_expr2: AExpr) do _n_expr2 = n_expr2
- init do end
+ var n_expr2: AExpr is writable, noinit
end
# Something that is boolean expression
super AExpr
end
-# A `or` expression
-class AOrExpr
+# Something that is binary boolean expression
+abstract class ABinBoolExpr
super ABoolExpr
- var _n_expr: AExpr
- fun n_expr: AExpr do return _n_expr
- fun n_expr=(n_expr: AExpr) do _n_expr = n_expr
- var _n_expr2: AExpr
- fun n_expr2: AExpr do return _n_expr2
- fun n_expr2=(n_expr2: AExpr) do _n_expr2 = n_expr2
- init do end
+
+ # The first boolean operand
+ var n_expr: AExpr 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
- fun n_expr: AExpr do return _n_expr
- fun n_expr=(n_expr: AExpr) do _n_expr = n_expr
- var _n_expr2: AExpr
- fun n_expr2: AExpr do return _n_expr2
- fun n_expr2=(n_expr2: AExpr) do _n_expr2 = n_expr2
- init do end
+ super ABinBoolExpr
end
# A `or else` expression
class AOrElseExpr
- super ABoolExpr
- var _n_expr: AExpr
- fun n_expr: AExpr do return _n_expr
- fun n_expr=(n_expr: AExpr) do _n_expr = n_expr
- var _n_expr2: AExpr
- fun n_expr2: AExpr do return _n_expr2
- fun n_expr2=(n_expr2: AExpr) do _n_expr2 = n_expr2
- init do end
+ super ABinBoolExpr
end
# A `implies` expression
class AImpliesExpr
- super ABoolExpr
- var _n_expr: AExpr
- fun n_expr: AExpr do return _n_expr
- fun n_expr=(n_expr: AExpr) do _n_expr = n_expr
- var _n_expr2: AExpr
- fun n_expr2: AExpr do return _n_expr2
- fun n_expr2=(n_expr2: AExpr) do _n_expr2 = n_expr2
- init do end
+ super ABinBoolExpr
end
# A `not` expression
class ANotExpr
super ABoolExpr
- var _n_kwnot: TKwnot
- fun n_kwnot: TKwnot do return _n_kwnot
- fun n_kwnot=(n_kwnot: TKwnot) do _n_kwnot = n_kwnot
- var _n_expr: AExpr
- fun n_expr: AExpr do return _n_expr
- fun n_expr=(n_expr: AExpr) do _n_expr = n_expr
- init do end
+
+ # 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 `==` expression
# A type-ckeck expression. eg `x isa T`
class AIsaExpr
super ABoolExpr
- var _n_expr: AExpr
- fun n_expr: AExpr do return _n_expr
- fun n_expr=(n_expr: AExpr) do _n_expr = n_expr
- var _n_type: AType
- fun n_type: AType do return _n_type
- fun n_type=(n_type: AType) do _n_type = n_type
- init do end
+
+ # The expression to check
+ var n_expr: AExpr is writable, noinit
+
+ # The destination type to check to
+ var n_type: AType is writable, noinit
end
# A `+` expression
super ABinopExpr
end
+# A `**` expression
+class AStarstarExpr
+ super ABinopExpr
+end
+
# A `/` expression
class ASlashExpr
super ABinopExpr
# A unary minus expression. eg `-x`
class AUminusExpr
super ASendExpr
- var _n_minus: TMinus
- fun n_minus: TMinus do return _n_minus
- fun n_minus=(n_minus: TMinus) do _n_minus = n_minus
- init do end
+
+ # The `-` symbol
+ var n_minus: TMinus is writable, noinit
end
# An explicit instantiation. eg `new T`
class ANewExpr
super AExpr
- var _n_kwnew: TKwnew
- fun n_kwnew: TKwnew do return _n_kwnew
- fun n_kwnew=(n_kwnew: TKwnew) do _n_kwnew = n_kwnew
- var _n_type: AType
- fun n_type: AType do return _n_type
- fun n_type=(n_type: AType) do _n_type = n_type
+
+ # 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
- fun n_id: nullable TId do return _n_id
- fun n_id=(n_id: nullable TId) do _n_id = n_id
- var _n_args: AExprs
- fun n_args: AExprs do return _n_args
- fun n_args=(n_args: AExprs) do _n_args = n_args
- init do end
+ var n_id: nullable TId = null is writable
+
+ # The arguments of the `new`
+ var n_args: AExprs is writable, noinit
end
# Whatever is a old-style attribute access
super AExpr
# The receiver of the attribute
- var _n_expr: AExpr
- fun n_expr: AExpr do return _n_expr
- fun n_expr=(n_expr: AExpr) do _n_expr = n_expr
+ var n_expr: AExpr is writable, noinit
# The name of the attribute
- var _n_id: TAttrid
- fun n_id: TAttrid do return _n_id
- fun n_id=(n_id: TAttrid) do _n_id = n_id
+ var n_id: TAttrid is writable, noinit
- init do end
end
# The read of an attribute. eg `x._a`
super ASendExpr
# The name of the method
- var _n_id: TId
- fun n_id: TId do return _n_id
- fun n_id=(n_id: TId) do _n_id = n_id
+ var n_id: TId is writable, noinit
# The arguments of the call
- var _n_args: AExprs
- fun n_args: AExprs do return _n_args
- fun n_args=(n_args: AExprs) do _n_args = n_args
- init do end
+ var n_args: AExprs is writable, noinit
end
# A complex setter call (standard or brackets)
end
# A complex setter call with a standard method-name and any number of arguments. eg `x.m(y)+=z`. OR just a simple complex assignment.
-# Note: because the parser cannot distinguish a variable write with a compex setter call with an implicit receiver and no arguments, it always returns a `ACallReassignExpr`.
+# Note: because the parser cannot distinguish a variable write with a complex setter call with an implicit receiver and no arguments, it always returns a `ACallReassignExpr`.
# Semantic analysis have to transform them to instance of `AVarReassignExpr`.
class ACallReassignExpr
super ACallFormExpr
# A call to `super`. OR a call of a super-constructor
class ASuperExpr
super AExpr
- var _n_qualified: nullable AQualified = null
- fun n_qualified: nullable AQualified do return _n_qualified
- fun n_qualified=(n_qualified: nullable AQualified) do _n_qualified = n_qualified
- var _n_kwsuper: TKwsuper
- fun n_kwsuper: TKwsuper do return _n_kwsuper
- fun n_kwsuper=(n_kwsuper: TKwsuper) do _n_kwsuper = n_kwsuper
- var _n_args: AExprs
- fun n_args: AExprs do return _n_args
- fun n_args=(n_args: AExprs) do _n_args = n_args
- init do end
+
+ # 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
# A call to the `init` constructor.
-# Note: because `init` is a keyword and not a `TId`, the explicit call to init cannot be a ACallFormExpr.
+# Note: because `init` is a keyword and not a `TId`, the explicit call to init cannot be a `ACallFormExpr`.
class AInitExpr
super ASendExpr
- var _n_kwinit: TKwinit
- fun n_kwinit: TKwinit do return _n_kwinit
- fun n_kwinit=(n_kwinit: TKwinit) do _n_kwinit = n_kwinit
- var _n_args: AExprs
- fun n_args: AExprs do return _n_args
- fun n_args=(n_args: AExprs) do _n_args = n_args
- init do end
+
+ # 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
- var _n_args: AExprs
- fun n_args: AExprs do return _n_args
- fun n_args=(n_args: AExprs) do _n_args = n_args
- init do end
+
+ # The arguments inside the brackets
+ var n_args: AExprs is writable, noinit
end
# A call of the brackets operator. eg `x[y,z]`
# Whatever is an access to a local variable
abstract class AVarFormExpr
super AExpr
- var _n_id: TId
- fun n_id: TId do return _n_id
- fun n_id=(n_id: TId) do _n_id = n_id
- init do end
+
+ # The name of the attribute
+ var n_id: TId is writable, noinit
end
# A complex setter call of the bracket operator. eg `x[y,z]+=t`
super AVarFormExpr
end
-# A local variable simple assigment access
+# A local variable simple assignment access
# The parser cannot instantiate them, see `ACallAssignExpr`.
class AVarAssignExpr
super AVarFormExpr
# A literal range, open or closed
abstract class ARangeExpr
super AExpr
- var _n_expr: AExpr
- fun n_expr: AExpr do return _n_expr
- fun n_expr=(n_expr: AExpr) do _n_expr = n_expr
- var _n_expr2: AExpr
- fun n_expr2: AExpr do return _n_expr2
- fun n_expr2=(n_expr2: AExpr) do _n_expr2 = n_expr2
- init do end
+
+ # The left (lower) element of the range
+ var n_expr: AExpr is writable, noinit
+
+ # The right (uppr) element of the range
+ var n_expr2: AExpr is writable, noinit
end
# A closed literal range. eg `[x..y]`
class ACrangeExpr
super ARangeExpr
- var _n_obra: TObra
- fun n_obra: TObra do return _n_obra
- fun n_obra=(n_obra: TObra) do _n_obra = n_obra
- var _n_cbra: TCbra
- fun n_cbra: TCbra do return _n_cbra
- fun n_cbra=(n_cbra: TCbra) do _n_cbra = n_cbra
- init do end
+
+ # 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
- var _n_obra: TObra
- fun n_obra: TObra do return _n_obra
- fun n_obra=(n_obra: TObra) do _n_obra = n_obra
- var _n_cbra: TObra
- fun n_cbra: TObra do return _n_cbra
- fun n_cbra=(n_cbra: TObra) do _n_cbra = n_cbra
- init do end
+
+ # 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
- var _n_exprs: AExprs
- fun n_exprs: AExprs do return _n_exprs
- fun n_exprs=(n_exprs: AExprs) do _n_exprs = n_exprs
- init do end
+
+ # The opening bracket `[`
+ var n_obra: TObra 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
- fun n_kwself: nullable TKwself do return _n_kwself
- fun n_kwself=(n_kwself: nullable TKwself) do _n_kwself = n_kwself
- init do end
+
+ # The `self` keyword
+ var n_kwself: nullable TKwself is writable
end
# When there is no explicit receiver, `self` is implicit
# A `true` boolean literal constant
class ATrueExpr
super ABoolExpr
- var _n_kwtrue: TKwtrue
- fun n_kwtrue: TKwtrue do return _n_kwtrue
- fun n_kwtrue=(n_kwtrue: TKwtrue) do _n_kwtrue = n_kwtrue
- init do end
+
+ # The `true` keyword
+ var n_kwtrue: TKwtrue is writable, noinit
end
+
# A `false` boolean literal constant
class AFalseExpr
super ABoolExpr
- var _n_kwfalse: TKwfalse
- fun n_kwfalse: TKwfalse do return _n_kwfalse
- fun n_kwfalse=(n_kwfalse: TKwfalse) do _n_kwfalse = n_kwfalse
- init do end
+
+ # The `false` keyword
+ var n_kwfalse: TKwfalse is writable, noinit
end
+
# A `null` literal constant
class ANullExpr
super AExpr
- var _n_kwnull: TKwnull
- fun n_kwnull: TKwnull do return _n_kwnull
- fun n_kwnull=(n_kwnull: TKwnull) do _n_kwnull = n_kwnull
- init do end
+
+ # The `null` keyword
+ var n_kwnull: TKwnull is writable, noinit
end
+
# An integer literal
class AIntExpr
super AExpr
end
+
# An integer literal in decimal format
class ADecIntExpr
super AIntExpr
- var _n_number: TNumber
- fun n_number: TNumber do return _n_number
- fun n_number=(n_number: TNumber) do _n_number = n_number
- init do end
+
+ # The decimal token
+ var n_number: TNumber is writable, noinit
end
+
# An integer literal in hexadecimal format
class AHexIntExpr
super AIntExpr
- var _n_hex_number: THexNumber
- fun n_hex_number: THexNumber do return _n_hex_number
- fun n_hex_number=(n_hex_number: THexNumber) do _n_hex_number = n_hex_number
- init do end
+
+ # The hexadecimal token
+ var n_hex_number: THexNumber is writable, noinit
end
+
# A float literal
class AFloatExpr
super AExpr
- var _n_float: TFloat
- fun n_float: TFloat do return _n_float
- fun n_float=(n_float: TFloat) do _n_float = n_float
- init do end
+
+ # The float token
+ var n_float: TFloat is writable, noinit
end
+
# A character literal
class ACharExpr
super AExpr
- var _n_char: TChar
- fun n_char: TChar do return _n_char
- fun n_char=(n_char: TChar) do _n_char = n_char
- init do end
+
+ # The character token
+ var n_char: TChar is writable, noinit
end
+
# A string literal
abstract class AStringFormExpr
super AExpr
- var _n_string: Token
- fun n_string: Token do return _n_string
- fun n_string=(n_string: Token) do _n_string = n_string
- init do end
+
+ # The string token
+ var n_string: Token is writable, noinit
end
# A simple string. eg. `"abc"`
end
# A superstring literal. eg `"a{x}b{y}c"`
-# Each part is modelized a sequence of expression. eg. `["a{, x, }b{, y, }c"]`
+# Each part is modeled a sequence of expression. eg. `["a{, x, }b{, y, }c"]`
class ASuperstringExpr
super AExpr
- var n_exprs: ANodes[AExpr] = new ANodes[AExpr](self)
- init do end
+
+ # The list of the expressions of the superstring
+ var n_exprs = new ANodes[AExpr](self)
end
# A simple parenthesis. eg `(x)`
class AParExpr
- super AProxyExpr
- var _n_opar: TOpar
- fun n_opar: TOpar do return _n_opar
- fun n_opar=(n_opar: TOpar) do _n_opar = n_opar
- var _n_cpar: TCpar
- fun n_cpar: TCpar do return _n_cpar
- fun n_cpar=(n_cpar: TCpar) do _n_cpar = n_cpar
- init do end
-end
-
-# Whatevej just contains (and mimic) an other expression
-abstract class AProxyExpr
super AExpr
- var _n_expr: AExpr
- fun n_expr: AExpr do return _n_expr
- fun n_expr=(n_expr: AExpr) do _n_expr = n_expr
- init do end
+
+ # 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 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
+
+ # The closing parenthesis
+ var n_cpar: nullable TCpar = null is writable
end
# A type cast. eg `x.as(T)`
class AAsCastExpr
- super AExpr
- var _n_expr: AExpr
- fun n_expr: AExpr do return _n_expr
- fun n_expr=(n_expr: AExpr) do _n_expr = n_expr
- var _n_kwas: TKwas
- fun n_kwas: TKwas do return _n_kwas
- fun n_kwas=(n_kwas: TKwas) do _n_kwas = n_kwas
- var _n_opar: nullable TOpar = null
- fun n_opar: nullable TOpar do return _n_opar
- fun n_opar=(n_opar: nullable TOpar) do _n_opar = n_opar
- var _n_type: AType
- fun n_type: AType do return _n_type
- fun n_type=(n_type: AType) do _n_type = n_type
- var _n_cpar: nullable TCpar = null
- fun n_cpar: nullable TCpar do return _n_cpar
- fun n_cpar=(n_cpar: nullable TCpar) do _n_cpar = n_cpar
- init do end
+ 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
- fun n_expr: AExpr do return _n_expr
- fun n_expr=(n_expr: AExpr) do _n_expr = n_expr
- var _n_kwas: TKwas
- fun n_kwas: TKwas do return _n_kwas
- fun n_kwas=(n_kwas: TKwas) do _n_kwas = n_kwas
- var _n_opar: nullable TOpar = null
- fun n_opar: nullable TOpar do return _n_opar
- fun n_opar=(n_opar: nullable TOpar) do _n_opar = n_opar
- var _n_kwnot: TKwnot
- fun n_kwnot: TKwnot do return _n_kwnot
- fun n_kwnot=(n_kwnot: TKwnot) do _n_kwnot = n_kwnot
- var _n_kwnull: TKwnull
- fun n_kwnull: TKwnull do return _n_kwnull
- fun n_kwnull=(n_kwnull: TKwnull) do _n_kwnull = n_kwnull
- var _n_cpar: nullable TCpar = null
- fun n_cpar: nullable TCpar do return _n_cpar
- fun n_cpar=(n_cpar: nullable TCpar) do _n_cpar = n_cpar
- init do end
+ super AAsCastForm
+
+ # The `not` keyword
+ var n_kwnot: TKwnot is writable, noinit
+
+ # The `null` keyword
+ var n_kwnull: TKwnull is writable, noinit
end
# A is-set check of old-style attributes. eg `isset x._a`
class AIssetAttrExpr
super AAttrFormExpr
- var _n_kwisset: TKwisset
- fun n_kwisset: TKwisset do return _n_kwisset
- fun n_kwisset=(n_kwisset: TKwisset) do _n_kwisset = n_kwisset
- init do end
+
+ # The `isset` keyword
+ var n_kwisset: TKwisset is writable, noinit
end
-# A elyspis notation used to pass an expression as it in a vararg parameter
+# An ellipsis notation used to pass an expression as it, in a vararg parameter
class AVarargExpr
super AExpr
- var _n_expr: AExpr
- fun n_expr: AExpr do return _n_expr
- fun n_expr=(n_expr: AExpr) do _n_expr = n_expr
- var _n_dotdotdot: TDotdotdot
- fun n_dotdotdot: TDotdotdot do return _n_dotdotdot
- fun n_dotdotdot=(n_dotdotdot: TDotdotdot) do _n_dotdotdot = n_dotdotdot
- init do end
+
+ # The passed expression
+ var n_expr: AExpr is writable, noinit
+
+ # The `...` symbol
+ var n_dotdotdot: TDotdotdot is writable, noinit
end
# A list of expression separated with commas (arguments for instance)
-abstract class AExprs
- super Prod
- var n_exprs: ANodes[AExpr] = new ANodes[AExpr](self)
- init do end
+class AManyExpr
+ super AExpr
+
+ # The list of expressions
+ var n_exprs = new ANodes[AExpr](self)
end
+# A special expression that encapsulates a static type
+# 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
+# A special expression that encapsulates a method identifier
+# Can only be found in special construction like arguments of annotations.
+class AMethidExpr
+ super AExpr
+
+ # 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
+
+# A special expression to debug types
class ADebugTypeExpr
super AExpr
- var _n_kwdebug: TKwdebug
- fun n_kwdebug: TKwdebug do return _n_kwdebug
- fun n_kwdebug=(n_kwdebug: TKwdebug) do _n_kwdebug = n_kwdebug
- var _n_kwtype: TKwtype
- fun n_kwtype: TKwtype do return _n_kwtype
- fun n_kwtype=(n_kwtype: TKwtype) do _n_kwtype = n_kwtype
- var _n_expr: AExpr
- fun n_expr: AExpr do return _n_expr
- fun n_expr=(n_expr: AExpr) do _n_expr = n_expr
- var _n_type: AType
- fun n_type: AType do return _n_type
- fun n_type=(n_type: AType) do _n_type = n_type
- init do end
+
+ # 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
# A simple list of expressions
# A list of expressions enclosed in parentheses
class AParExprs
super AExprs
- var _n_opar: TOpar
- fun n_opar: TOpar do return _n_opar
- fun n_opar=(n_opar: TOpar) do _n_opar = n_opar
- var _n_cpar: TCpar
- fun n_cpar: TCpar do return _n_cpar
- fun n_cpar=(n_cpar: TCpar) do _n_cpar = n_cpar
- init do end
+
+ # 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
- var _n_obra: TObra
- fun n_obra: TObra do return _n_obra
- fun n_obra=(n_obra: TObra) do _n_obra = n_obra
- var _n_cbra: TCbra
- fun n_cbra: TCbra do return _n_cbra
- fun n_cbra=(n_cbra: TCbra) do _n_cbra = n_cbra
- init do end
+
+ # 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. eg `+=`
+# A complex assignment operator. (`+=` and `-=`)
abstract class AAssignOp
super Prod
end
+
+# The `+=` assignment operation
class APlusAssignOp
super AAssignOp
- var _n_pluseq: TPluseq
- fun n_pluseq: TPluseq do return _n_pluseq
- fun n_pluseq=(n_pluseq: TPluseq) do _n_pluseq = n_pluseq
- init do end
+
+ # The `+=` operator
+ var n_pluseq: TPluseq is writable, noinit
end
+
+# The `-=` assignment operator
class AMinusAssignOp
super AAssignOp
- var _n_minuseq: TMinuseq
- fun n_minuseq: TMinuseq do return _n_minuseq
- fun n_minuseq=(n_minuseq: TMinuseq) do _n_minuseq = n_minuseq
- init do end
+
+ # The `-=` operator
+ var n_minuseq: TMinuseq is writable, noinit
end
+# A possibly fully-qualified module identifier
class AModuleName
super Prod
- var _n_quad: nullable TQuad = null
- fun n_quad: nullable TQuad do return _n_quad
- fun n_quad=(n_quad: nullable TQuad) do _n_quad = n_quad
- var n_path: ANodes[TId] = new ANodes[TId](self)
- var _n_id: TId
- fun n_id: TId do return _n_id
- fun n_id=(n_id: TId) do _n_id = n_id
- init do end
+
+ # The starting quad (`::`)
+ var n_quad: nullable TQuad = null is writable
+
+ # The list of quad-separated project/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
- var _n_kwin: TKwin
- fun n_kwin: TKwin do return _n_kwin
- fun n_kwin=(n_kwin: TKwin) do _n_kwin = n_kwin
- var _n_string: TString
- fun n_string: TString do return _n_string
- fun n_string=(n_string: TString) do _n_string = n_string
- init do end
+
+ # 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
- var _n_in_language: nullable AInLanguage = null
- fun n_in_language: nullable AInLanguage do return _n_in_language
- fun n_in_language=(n_in_language: nullable AInLanguage) do _n_in_language = n_in_language
- var _n_extern_code_segment: TExternCodeSegment
- fun n_extern_code_segment: TExternCodeSegment do return _n_extern_code_segment
- fun n_extern_code_segment=(n_extern_code_segment: TExternCodeSegment) do _n_extern_code_segment = n_extern_code_segment
- init do end
+
+ # 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
- var _n_quad: nullable TQuad = null
- fun n_quad: nullable TQuad do return _n_quad
- fun n_quad=(n_quad: nullable TQuad) do _n_quad = n_quad
- var n_id: ANodes[TId] = new ANodes[TId](self)
- var _n_classid: nullable TClassid = null
- fun n_classid: nullable TClassid do return _n_classid
- fun n_classid=(n_classid: nullable TClassid) do _n_classid = n_classid
- init do end
+
+ # The starting quad (`::`)
+ var n_quad: nullable TQuad = null is writable
+
+ # The list of quad-separated project/group/module identifiers
+ var n_id = new ANodes[TId](self)
+
+ # A class identifier
+ var n_classid: nullable TClassid = null is writable
end
# A documentation of a definition
# It contains the block of comments just above the declaration
class ADoc
super Prod
- var n_comment: ANodes[TComment] = new ANodes[TComment](self)
- init do end
+
+ # 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
- var _n_at: nullable TAt = null
- fun n_at: nullable TAt do return _n_at
- fun n_at=(n_at: nullable TAt) do _n_at = n_at
- var _n_opar: nullable TOpar = null
- fun n_opar: nullable TOpar do return _n_opar
- fun n_opar=(n_opar: nullable TOpar) do _n_opar = n_opar
- var n_items: ANodes[AAnnotation] = new ANodes[AAnnotation](self)
- var _n_cpar: nullable TCpar = null
- fun n_cpar: nullable TCpar do return _n_cpar
- fun n_cpar=(n_cpar: nullable TCpar) do _n_cpar = n_cpar
- init do end
+
+ # 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
end
+
+# A single annotation
class AAnnotation
- super Prod
- var _n_atid: AAtid
- fun n_atid: AAtid do return _n_atid
- fun n_atid=(n_atid: AAtid) do _n_atid = n_atid
- var _n_opar: nullable TOpar = null
- fun n_opar: nullable TOpar do return _n_opar
- fun n_opar=(n_opar: nullable TOpar) do _n_opar = n_opar
- var n_args: ANodes[AAtArg] = new ANodes[AAtArg](self)
- var _n_cpar: nullable TCpar = null
- fun n_cpar: nullable TCpar do return _n_cpar
- fun n_cpar=(n_cpar: nullable TCpar) do _n_cpar = n_cpar
- init do end
-end
-abstract class AAtArg
- super Prod
-end
-class ATypeAtArg
- super AAtArg
- var _n_type: AType
- fun n_type: AType do return _n_type
- fun n_type=(n_type: AType) do _n_type = n_type
- init do end
-end
-class AExprAtArg
- super AAtArg
- var _n_expr: AExpr
- fun n_expr: AExpr do return _n_expr
- fun n_expr=(n_expr: AExpr) do _n_expr = n_expr
- init do end
-end
-class AAtAtArg
- super AAtArg
+ 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
- var _n_id: Token
- fun n_id: Token do return _n_id
- fun n_id=(n_id: Token) do _n_id = n_id
- init do end
+
+ # The identifier of the annotation.
+ # Can be a TId of a keyword
+ var n_id: Token is writable, noinit
end
+
+# An annotation name based on an identifier
class AIdAtid
super AAtid
end
+
+# An annotation name based on the keyword `extern`
class AKwexternAtid
super AAtid
end
-class AKwinternAtid
- super AAtid
-end
-class AKwreadableAtid
- super AAtid
-end
-class AKwwritableAtid
+
+# An annotation name based on the keyword `import`
+class AKwimportAtid
super AAtid
end
-class AKwimportAtid
+
+# An annotation name based on the keyword `abstract`
+class AKwabstractAtid
super AAtid
end
# The root of the AST
class Start
super Prod
- var _n_base: nullable AModule
- fun n_base: nullable AModule do return _n_base
- fun n_base=(n_base: nullable AModule) do _n_base = n_base
- var _n_eof: EOF
- fun n_eof: EOF do return _n_eof
- fun n_eof=(n_eof: EOF) do _n_eof = n_eof
- init(n_base: nullable AModule, n_eof: EOF)
- do
- self._n_base = n_base
- self._n_eof = n_eof
- end
+
+ # The main module
+ var n_base: nullable AModule is writable
+
+ # The end of file (or error) token
+ var n_eof: EOF is writable
end