# AST nodes of the Nit language
# Was previously based on parser_abs.nit.
-package parser_nodes
+module parser_nodes
import location
end
# Parent of the node in the AST
- readable writable var _parent: nullable ANode = null
+ var parent: nullable ANode = null
# Protect form invalid instantiation of nodes
private init do end
# ENDURE: parent == null
fun detach
do
- assert _parent != null
- _parent.replace_child(self, null)
- _parent = null
+ assert parent != null
+ parent.replace_child(self, null)
+ parent = null
end
# Replace itself with an other node in the AST
# ENSURE: parent == null
fun replace_with(node: ANode)
do
- assert _parent != null
- _parent.replace_child(self, node)
- _parent = null
+ assert parent != null
+ parent.replace_child(self, node)
+ parent = null
end
# Visit all nodes in order.
assert e.parent == parent
e.parent = null
end
+
+ # Used in parent contructor to fill elements
+ private fun unsafe_add_all(nodes: Collection[Object])
+ do
+ var parent = self.parent
+ for n in nodes do
+ assert n isa E
+ add n
+ n.parent = parent
+ end
+ end
+
+ private fun replace_child(old_child: ANode, new_child: nullable ANode): Bool
+ do
+ var parent = self.parent
+ for i in [0..length[ do
+ if self[i] == old_child then
+ if new_child != null then
+ assert new_child isa E
+ self[i] = new_child
+ new_child.parent = parent
+ else
+ self.remove_at(i)
+ end
+ return true
+ end
+ end
+ return false
+ end
+
+ private fun visit_all(v: Visitor)
+ do
+ for n in self do v.enter_visit(n)
+ end
end
# Ancestor of all tokens
fun text: String is abstract
fun text=(text: String) is abstract
+ # The previous token in the Lexer.
+ # May have disapeared in the AST
+ var prev_token: nullable Token
+
+ # The next token in the Lexer.
+ # May have disapeared in the AST
+ var next_token: nullable Token
+
redef fun to_s: String do
return "'{text}'"
end
fun location=(l: Location) do _location = l
# All the annotations attached directly to the node
- readable var _n_annotations: nullable AAnnotations = null
+ readable writable var _n_annotations: nullable AAnnotations = null
redef fun replace_with(n: ANode)
do
end
# The current visited node
- readable var _current_node: nullable ANode = null
+ readable writable var _current_node: nullable ANode = null
end
# Token of end of line (basically `\n`)
return "keyword '{text}'"
end
end
+class TKwpackage
+ super TokenKeyword
+end
class TKwmodule
super TokenKeyword
end
class TKwextern
super TokenKeyword
end
+class TKwpublic
+ super TokenKeyword
+end
class TKwprotected
super TokenKeyword
end
class TKwor
super TokenKeyword
end
+class TKwimplies
+ super TokenKeyword
+end
class TKwnot
super TokenKeyword
end
class TNumber
super TokenLiteral
end
+class THexNumber
+ super TokenLiteral
+end
class TFloat
super TokenLiteral
end
super TokenLiteral
end
class TEndString
- super Token
+ super TokenLiteral
end
# A malformed string
class AModule
super Prod
- readable var _n_moduledecl: nullable AModuledecl = null
+ readable writable var _n_moduledecl: nullable AModuledecl = null
readable var _n_imports: ANodes[AImport] = new ANodes[AImport](self)
readable var _n_extern_code_blocks: ANodes[AExternCodeBlock] = new ANodes[AExternCodeBlock](self)
readable var _n_classdefs: ANodes[AClassdef] = new ANodes[AClassdef](self)
# The declaration of the module with the documentation, name, and annotations
class AModuledecl
super Prod
- readable var _n_doc: nullable ADoc = null
- readable var _n_kwmodule: TKwmodule
- readable var _n_name: AModuleName
+ readable writable var _n_doc: nullable ADoc = null
+ readable writable var _n_kwmodule: TKwmodule
+ readable writable var _n_name: AModuleName
end
# A import clause of a module
# A standard import clause. eg `import x`
class AStdImport
super AImport
- readable var _n_visibility: AVisibility
- readable var _n_kwimport: TKwimport
- readable var _n_name: AModuleName
+ readable writable var _n_visibility: AVisibility
+ readable writable var _n_kwimport: TKwimport
+ readable writable var _n_name: AModuleName
end
# The special import clause of the kernel module. eg `import end`
class ANoImport
super AImport
- readable var _n_visibility: AVisibility
- readable var _n_kwimport: TKwimport
- readable var _n_kwend: TKwend
+ readable writable var _n_visibility: AVisibility
+ readable writable var _n_kwimport: TKwimport
+ readable writable var _n_kwend: TKwend
end
# A visibility modifier
end
class APrivateVisibility
super AVisibility
- readable var _n_kwprivate: TKwprivate
+ readable writable var _n_kwprivate: TKwprivate
end
class AProtectedVisibility
super AVisibility
- readable var _n_kwprotected: TKwprotected
+ readable writable var _n_kwprotected: TKwprotected
end
class AIntrudeVisibility
super AVisibility
- readable var _n_kwintrude: TKwintrude
+ readable writable var _n_kwintrude: TKwintrude
end
# A class definition
# A standard class definition with a name, superclasses and properties
class AStdClassdef
super AClassdef
- readable var _n_doc: nullable ADoc = null
- readable var _n_kwredef: nullable TKwredef = null
- readable var _n_visibility: AVisibility
- readable var _n_classkind: AClasskind
- readable var _n_id: nullable TClassid = null
+ readable writable var _n_doc: nullable ADoc = null
+ readable writable var _n_kwredef: nullable TKwredef = null
+ readable writable var _n_visibility: AVisibility
+ readable writable var _n_classkind: AClasskind
+ readable writable var _n_id: nullable TClassid = null
readable var _n_formaldefs: ANodes[AFormaldef] = new ANodes[AFormaldef](self)
- readable var _n_extern_code_block: nullable AExternCodeBlock = null
+ readable writable var _n_extern_code_block: nullable AExternCodeBlock = null
readable var _n_superclasses: ANodes[ASuperclass] = new ANodes[ASuperclass](self)
- readable var _n_kwend: TKwend
+ readable writable var _n_kwend: TKwend
redef fun hot_location do return n_id.location
end
end
class AConcreteClasskind
super AClasskind
- readable var _n_kwclass: TKwclass
+ readable writable var _n_kwclass: TKwclass
end
class AAbstractClasskind
super AClasskind
- readable var _n_kwabstract: TKwabstract
- readable var _n_kwclass: TKwclass
+ readable writable var _n_kwabstract: TKwabstract
+ readable writable var _n_kwclass: TKwclass
end
class AInterfaceClasskind
super AClasskind
- readable var _n_kwinterface: TKwinterface
+ readable writable var _n_kwinterface: TKwinterface
end
class AEnumClasskind
super AClasskind
- readable var _n_kwenum: TKwenum
+ readable writable var _n_kwenum: TKwenum
end
class AExternClasskind
super AClasskind
- readable var _n_kwextern: TKwextern
- readable var _n_kwclass: nullable TKwclass = null
+ readable writable var _n_kwextern: TKwextern
+ readable writable var _n_kwclass: nullable TKwclass = null
end
# The definition of a formal generic parameter type. eg `X: Y`
class AFormaldef
super Prod
- readable var _n_id: TClassid
+ readable writable var _n_id: TClassid
# The bound of the parameter type
- readable var _n_type: nullable AType = null
+ readable writable var _n_type: nullable AType = null
end
# A super-class. eg `super X`
class ASuperclass
super Prod
- readable var _n_kwsuper: TKwsuper
- readable var _n_type: AType
+ readable writable var _n_kwsuper: TKwsuper
+ readable writable var _n_type: AType
end
# The definition of a property
abstract class APropdef
super Prod
- readable var _n_doc: nullable ADoc = null
+ readable writable var _n_doc: nullable ADoc = null
+ readable writable var _n_kwredef: nullable TKwredef = null
+ readable writable var _n_visibility: nullable AVisibility = null
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
- readable var _n_kwredef: nullable TKwredef = null
- readable var _n_visibility: AVisibility
- readable var _n_kwvar: TKwvar
+ readable writable var _n_kwvar: TKwvar
# The identifier for an old-style attribute (null if new-style)
- readable var _n_id: nullable TAttrid
+ readable writable var _n_id: nullable TAttrid
# The identifier for a new-style attribute (null if old-style)
- readable var _n_id2: nullable TId
+ readable writable var _n_id2: nullable TId
- readable var _n_type: nullable AType = null
- readable var _n_readable: nullable AAble = null
- readable var _n_writable: nullable AAble = null
+ readable writable var _n_type: nullable AType = null
+ readable writable var _n_readable: nullable AAble = null
+ readable writable var _n_writable: nullable AAble = null
# The initial value, if any
- readable var _n_expr: nullable AExpr = null
+ readable writable var _n_expr: nullable AExpr = null
redef fun hot_location
do
if n_id != null then return n_id.location else return n_id2.location
# A definition of all kind of method (including constructors)
abstract class AMethPropdef
super APropdef
- readable var _n_kwredef: nullable TKwredef = null
- readable var _n_visibility: nullable AVisibility
- readable var _n_methid: nullable AMethid = null
- readable var _n_signature: nullable ASignature
+ readable writable var _n_kwmeth: nullable TKwmeth
+ readable writable var _n_kwinit: nullable TKwinit
+ readable writable var _n_kwnew: nullable TKwnew
+ readable writable var _n_methid: nullable AMethid = null
+ readable writable var _n_signature: nullable ASignature
+ readable writable var _n_block: nullable AExpr = null
+ readable writable var _n_extern: nullable TString = null
+ readable writable var _n_extern_calls: nullable AExternCalls = null
+ readable writable var _n_extern_code_block: nullable AExternCodeBlock = null
redef fun hot_location
do
if n_methid != null then
return n_methid.location
+ else if n_kwinit != null then
+ return n_kwinit.location
+ else if n_kwnew != null then
+ return n_kwnew.location
else
return location
end
# *deferred* is a old synonynmous of *abstract* that comes from PRM, that comes from Eiffel.
class ADeferredMethPropdef
super AMethPropdef
- readable var _n_kwmeth: TKwmeth
end
# A method marked intern
class AInternMethPropdef
super AMethPropdef
- readable var _n_kwmeth: TKwmeth
end
# A method of a constructor marked extern
abstract class AExternPropdef
super AMethPropdef
- readable var _n_extern: nullable TString = null
- readable var _n_extern_calls: nullable AExternCalls = null
- readable var _n_extern_code_block: nullable AExternCodeBlock = null
end
# A method marked extern
class AExternMethPropdef
super AExternPropdef
- readable var _n_kwmeth: TKwmeth
end
# A method with a body
class AConcreteMethPropdef
super AMethPropdef
- readable var _n_kwmeth: nullable TKwmeth
- readable var _n_block: nullable AExpr = null
end
# A constructor
class AConcreteInitPropdef
super AConcreteMethPropdef
super AInitPropdef
- readable var _n_kwinit: TKwinit
- redef fun hot_location do return n_kwinit.location
end
# A constructor marked extern (defined with the `new` keyword)
class AExternInitPropdef
super AExternPropdef
super AInitPropdef
- readable var _n_kwnew: TKwnew
end
# The implicit main method
# Declaration of callbacks for extern methods
class AExternCalls
super Prod
- readable var _n_kwimport: TKwimport
+ readable writable var _n_kwimport: TKwimport
readable var _n_extern_calls: ANodes[AExternCall] = new ANodes[AExternCall](self)
end
abstract class AExternCall
end
class ALocalPropExternCall
super APropExternCall
- readable var _n_methid: AMethid
+ readable writable var _n_methid: AMethid
end
class AFullPropExternCall
super APropExternCall
- readable var _n_classid: TClassid
- readable var _n_quad: nullable TQuad = null
- readable var _n_methid: AMethid
+ readable writable var _n_type: AType
+ readable writable var _n_dot: nullable TDot = null
+ readable writable var _n_methid: AMethid
end
class AInitPropExternCall
super APropExternCall
- readable var _n_classid: TClassid
+ readable writable var _n_type: AType
end
class ASuperExternCall
super AExternCall
- readable var _n_kwsuper: TKwsuper
+ readable writable var _n_kwsuper: TKwsuper
end
abstract class ACastExternCall
super AExternCall
end
class ACastAsExternCall
super ACastExternCall
- readable var _n_from_type: AType
- readable var _n_kwas: TKwas
- readable var _n_to_type: AType
+ readable writable var _n_from_type: AType
+ readable writable var _n_dot: nullable TDot = null
+ readable writable var _n_kwas: TKwas
+ readable writable var _n_to_type: AType
end
class AAsNullableExternCall
super ACastExternCall
- readable var _n_type: AType
- readable var _n_kwas: TKwas
- readable var _n_kwnullable: TKwnullable
+ readable writable var _n_type: AType
+ readable writable var _n_kwas: TKwas
+ readable writable var _n_kwnullable: TKwnullable
end
class AAsNotNullableExternCall
super ACastExternCall
- readable var _n_type: AType
- readable var _n_kwas: TKwas
- readable var _n_kwnot: TKwnot
- readable var _n_kwnullable: TKwnullable
+ readable writable var _n_type: AType
+ readable writable var _n_kwas: TKwas
+ readable writable var _n_kwnot: TKwnot
+ readable writable var _n_kwnullable: TKwnullable
end
# A definition of a virtual type
class ATypePropdef
super APropdef
- readable var _n_kwredef: nullable TKwredef = null
- readable var _n_visibility: AVisibility
- readable var _n_kwtype: TKwtype
- readable var _n_id: TClassid
- readable var _n_type: AType
+ readable writable var _n_kwtype: TKwtype
+ readable writable var _n_id: TClassid
+ readable writable var _n_type: AType
end
# A `writable` or `readable` modifier
abstract class AAble
super Prod
- readable var _n_visibility: nullable AVisibility = null
- readable var _n_kwredef: nullable TKwredef = null
+ readable writable var _n_visibility: nullable AVisibility = null
+ readable writable var _n_kwredef: nullable TKwredef = null
end
# A `readable` modifier
class AReadAble
super AAble
- readable var _n_kwreadable: TKwreadable
+ readable writable var _n_kwreadable: TKwreadable
end
# A `writable` modifier
class AWriteAble
super AAble
- readable var _n_kwwritable: TKwwritable
+ readable writable var _n_kwwritable: TKwwritable
end
# The identifier of a method in a method declaration.
end
class AIdMethid
super AMethid
- readable var _n_id: TId
+ readable writable var _n_id: TId
end
class APlusMethid
super AMethid
- readable var _n_plus: TPlus
+ readable writable var _n_plus: TPlus
end
class AMinusMethid
super AMethid
- readable var _n_minus: TMinus
+ readable writable var _n_minus: TMinus
end
class AStarMethid
super AMethid
- readable var _n_star: TStar
+ readable writable var _n_star: TStar
end
class ASlashMethid
super AMethid
- readable var _n_slash: TSlash
+ readable writable var _n_slash: TSlash
end
class APercentMethid
super AMethid
- readable var _n_percent: TPercent
+ readable writable var _n_percent: TPercent
end
class AEqMethid
super AMethid
- readable var _n_eq: TEq
+ readable writable var _n_eq: TEq
end
class ANeMethid
super AMethid
- readable var _n_ne: TNe
+ readable writable var _n_ne: TNe
end
class ALeMethid
super AMethid
- readable var _n_le: TLe
+ readable writable var _n_le: TLe
end
class AGeMethid
super AMethid
- readable var _n_ge: TGe
+ readable writable var _n_ge: TGe
end
class ALtMethid
super AMethid
- readable var _n_lt: TLt
+ readable writable var _n_lt: TLt
end
class AGtMethid
super AMethid
- readable var _n_gt: TGt
+ readable writable var _n_gt: TGt
end
class ALlMethid
super AMethid
end
class ABraMethid
super AMethid
- readable var _n_obra: TObra
- readable var _n_cbra: TCbra
+ readable writable var _n_obra: TObra
+ readable writable var _n_cbra: TCbra
end
class AStarshipMethid
super AMethid
- readable var _n_starship: TStarship
+ readable writable var _n_starship: TStarship
end
class AAssignMethid
super AMethid
- readable var _n_id: TId
- readable var _n_assign: TAssign
+ readable writable var _n_id: TId
+ readable writable var _n_assign: TAssign
end
class ABraassignMethid
super AMethid
- readable var _n_obra: TObra
- readable var _n_cbra: TCbra
- readable var _n_assign: TAssign
+ readable writable var _n_obra: TObra
+ readable writable var _n_cbra: TCbra
+ readable writable var _n_assign: TAssign
end
# A signature in a method definition. eg `(x,y:X,z:Z):T`
class ASignature
super Prod
- readable var _n_opar: nullable TOpar = null
+ readable writable var _n_opar: nullable TOpar = null
readable var _n_params: ANodes[AParam] = new ANodes[AParam](self)
- readable var _n_cpar: nullable TCpar = null
- readable var _n_type: nullable AType = null
- readable var _n_closure_decls: ANodes[AClosureDecl] = new ANodes[AClosureDecl](self)
+ readable writable var _n_cpar: nullable TCpar = null
+ readable writable var _n_type: nullable AType = null
end
# A parameter definition in a signature. eg `x:X`
class AParam
super Prod
- readable var _n_id: TId
- readable var _n_type: nullable AType = null
- readable var _n_dotdotdot: nullable TDotdotdot = null
-end
-
-class AClosureDecl
- super Prod
- readable var _n_kwbreak: nullable TKwbreak = null
- readable var _n_bang: TBang
- readable var _n_id: TId
- readable var _n_signature: ASignature
- readable var _n_expr: nullable AExpr = null
+ readable writable var _n_id: TId
+ readable writable var _n_type: nullable AType = null
+ readable writable var _n_dotdotdot: nullable TDotdotdot = null
end
# A static type. eg `nullable X[Y]`
class AType
super Prod
- readable var _n_kwnullable: nullable TKwnullable = null
+ readable writable var _n_kwnullable: nullable TKwnullable = null
# The name of the class or of the formal type
- readable var _n_id: TClassid
+ readable writable var _n_id: TClassid
# Type arguments for a generic type
readable var _n_types: ANodes[AType] = new ANodes[AType](self)
# A label at the end of a block or in a break/continue statement. eg `label x`
class ALabel
super Prod
- readable var _n_kwlabel: TKwlabel
- readable var _n_id: TId
+ readable writable var _n_kwlabel: TKwlabel
+ readable writable var _n_id: TId
end
# Expression and statements
class ABlockExpr
super AExpr
readable var _n_expr: ANodes[AExpr] = new ANodes[AExpr](self)
- readable var _n_kwend: nullable TKwend = null
+ readable writable var _n_kwend: nullable TKwend = null
end
# A declaration of a local variable. eg `var x: X = y`
class AVardeclExpr
super AExpr
- readable var _n_kwvar: TKwvar
- readable var _n_id: TId
- readable var _n_type: nullable AType = null
- readable var _n_assign: nullable TAssign = null
+ readable writable var _n_kwvar: TKwvar
+ readable writable var _n_id: TId
+ readable writable var _n_type: nullable AType = null
+ readable writable var _n_assign: nullable TAssign = null
# The initial value, if any
- readable var _n_expr: nullable AExpr = null
+ readable writable var _n_expr: nullable AExpr = null
end
# A `return` statement. eg `return x`
class AReturnExpr
super AExpr
- readable var _n_kwreturn: nullable TKwreturn = null
- readable var _n_expr: nullable AExpr = null
+ readable writable var _n_kwreturn: nullable TKwreturn = null
+ readable writable var _n_expr: nullable AExpr = null
end
# Something that has a label.
abstract class ALabelable
super Prod
- readable var _n_label: nullable ALabel = null
+ readable writable var _n_label: nullable ALabel = null
end
# A `break` statement.
class ABreakExpr
super AExpr
super ALabelable
- readable var _n_kwbreak: TKwbreak
- readable var _n_expr: nullable AExpr = null
+ readable writable var _n_kwbreak: TKwbreak
+ readable writable var _n_expr: nullable AExpr = null
end
# An `abort` statement
class AAbortExpr
super AExpr
- readable var _n_kwabort: TKwabort
+ readable writable var _n_kwabort: TKwabort
end
# A `continue` statement
class AContinueExpr
super AExpr
super ALabelable
- readable var _n_kwcontinue: nullable TKwcontinue = null
- readable var _n_expr: nullable AExpr = null
+ readable writable var _n_kwcontinue: nullable TKwcontinue = null
+ readable writable var _n_expr: nullable AExpr = null
end
# A `do` statement
class ADoExpr
super AExpr
super ALabelable
- readable var _n_kwdo: TKwdo
- readable var _n_block: nullable AExpr = null
+ readable writable var _n_kwdo: TKwdo
+ readable writable var _n_block: nullable AExpr = null
end
# A `if` statement
class AIfExpr
super AExpr
- readable var _n_kwif: TKwif
- readable var _n_expr: AExpr
- readable var _n_then: nullable AExpr = null
- readable var _n_else: nullable AExpr = null
+ readable writable var _n_kwif: TKwif
+ readable writable var _n_expr: AExpr
+ readable writable var _n_then: nullable AExpr = null
+ readable writable var _n_else: nullable AExpr = null
end
# A `if` expression
class AIfexprExpr
super AExpr
- readable var _n_kwif: TKwif
- readable var _n_expr: AExpr
- readable var _n_kwthen: TKwthen
- readable var _n_then: AExpr
- readable var _n_kwelse: TKwelse
- readable var _n_else: AExpr
+ readable writable var _n_kwif: TKwif
+ readable writable var _n_expr: AExpr
+ readable writable var _n_kwthen: TKwthen
+ readable writable var _n_then: AExpr
+ readable writable var _n_kwelse: TKwelse
+ readable writable var _n_else: AExpr
end
# A `while` statement
class AWhileExpr
super AExpr
super ALabelable
- readable var _n_kwwhile: TKwwhile
- readable var _n_expr: AExpr
- readable var _n_kwdo: TKwdo
- readable var _n_block: nullable AExpr = null
+ readable writable var _n_kwwhile: TKwwhile
+ readable writable var _n_expr: AExpr
+ readable writable var _n_kwdo: TKwdo
+ readable writable var _n_block: nullable AExpr = null
end
# A `loop` statement
class ALoopExpr
super AExpr
super ALabelable
- readable var _n_kwloop: TKwloop
- readable var _n_block: nullable AExpr = null
+ readable writable var _n_kwloop: TKwloop
+ readable writable var _n_block: nullable AExpr = null
end
# A `for` statement
class AForExpr
super AExpr
super ALabelable
- readable var _n_kwfor: TKwfor
+ readable writable var _n_kwfor: TKwfor
readable var _n_ids: ANodes[TId] = new ANodes[TId](self)
- readable var _n_expr: AExpr
- readable var _n_kwdo: TKwdo
- readable var _n_block: nullable AExpr = null
+ readable writable var _n_expr: AExpr
+ readable writable var _n_kwdo: TKwdo
+ readable writable var _n_block: nullable AExpr = null
end
# An `assert` statement
class AAssertExpr
super AExpr
- readable var _n_kwassert: TKwassert
- readable var _n_id: nullable TId = null
- readable var _n_expr: AExpr
- readable var _n_else: nullable AExpr = null
+ readable writable var _n_kwassert: TKwassert
+ readable writable var _n_id: nullable TId = null
+ readable writable var _n_expr: AExpr
+ readable writable var _n_else: nullable AExpr = null
end
# Whatever is a simple assignment. eg `= something`
abstract class AAssignFormExpr
super AExpr
- readable var _n_assign: TAssign
- readable var _n_value: AExpr
+ readable writable var _n_assign: TAssign
+ readable writable var _n_value: AExpr
end
# Whatever is a combined assignment. eg `+= something`
abstract class AReassignFormExpr
super AExpr
- readable var _n_assign_op: AAssignOp
- readable var _n_value: AExpr
+ readable writable var _n_assign_op: AAssignOp
+ readable writable var _n_value: AExpr
end
# A `once` expression. eg `once x`
class AOnceExpr
super AProxyExpr
- readable var _n_kwonce: TKwonce
+ readable writable var _n_kwonce: TKwonce
end
# A polymorphic invocation of a method
abstract class ASendExpr
super AExpr
# The receiver of the method invocation
- readable var _n_expr: AExpr
- readable var _n_closure_defs: ANodes[AClosureDef] = new ANodes[AClosureDef](self)
+ readable writable var _n_expr: AExpr
end
# A binary operation on a method
super ASendExpr
# The second operand of the operation
# Note: the receiver (`n_expr`) is the first operand
- readable var _n_expr2: AExpr
+ readable writable var _n_expr2: AExpr
end
# Something that is boolean expression
# A `or` expression
class AOrExpr
super ABoolExpr
- readable var _n_expr: AExpr
- readable var _n_expr2: AExpr
+ readable writable var _n_expr: AExpr
+ readable writable var _n_expr2: AExpr
end
# A `and` expression
class AAndExpr
super ABoolExpr
- readable var _n_expr: AExpr
- readable var _n_expr2: AExpr
+ readable writable var _n_expr: AExpr
+ readable writable var _n_expr2: AExpr
end
# A `or else` expression
class AOrElseExpr
super ABoolExpr
- readable var _n_expr: AExpr
- readable var _n_expr2: AExpr
+ readable writable var _n_expr: AExpr
+ readable writable var _n_expr2: AExpr
+end
+
+# A `implies` expression
+class AImpliesExpr
+ super ABoolExpr
+ readable writable var _n_expr: AExpr
+ readable writable var _n_expr2: AExpr
end
# A `not` expression
class ANotExpr
super ABoolExpr
- readable var _n_kwnot: TKwnot
- readable var _n_expr: AExpr
+ readable writable var _n_kwnot: TKwnot
+ readable writable var _n_expr: AExpr
end
# A `==` expression
super ABinopExpr
end
-# A `is` expression
-class AEeExpr
- super ABoolExpr
- readable var _n_expr: AExpr
- readable var _n_expr2: AExpr
-end
-
# A `!=` expression
class ANeExpr
super ABinopExpr
# A type-ckeck expression. eg `x isa T`
class AIsaExpr
super ABoolExpr
- readable var _n_expr: AExpr
- readable var _n_type: AType
+ readable writable var _n_expr: AExpr
+ readable writable var _n_type: AType
end
# A `+` expression
# A unary minus expression. eg `-x`
class AUminusExpr
super ASendExpr
- readable var _n_minus: TMinus
+ readable writable var _n_minus: TMinus
end
# An explicit instantiation. eg `new T`
class ANewExpr
super AExpr
- readable var _n_kwnew: TKwnew
- readable var _n_type: AType
+ readable writable var _n_kwnew: TKwnew
+ readable writable var _n_type: AType
# The name of the named-constructor, if any
- readable var _n_id: nullable TId = null
- readable var _n_args: AExprs
+ readable writable var _n_id: nullable TId = null
+ readable writable var _n_args: AExprs
end
# Whatever is a old-style attribute access
super AExpr
# The receiver of the attribute
- readable var _n_expr: AExpr
+ readable writable var _n_expr: AExpr
# The name of the attribute
- readable var _n_id: TAttrid
+ readable writable var _n_id: TAttrid
end
# The read of an attribute. eg `x._a`
super ASendExpr
# The name of the method
- readable var _n_id: TId
+ readable writable var _n_id: TId
# The arguments of the call
- readable var _n_args: AExprs
+ readable writable var _n_args: AExprs
end
# A complex setter call (standard or brackets)
end
# A call with a standard method-name and any number of arguments. eg `x.m(y)`. OR just a simple id
-# Note: because the parser cannot distinguish a variable read with a method call with an implicit receiver and no arguments. it always returns a ACallExpr.
+# Note: because the parser cannot distinguish a variable read with a method call with an implicit receiver and no arguments, it always returns a `ACallExpr`.
# Semantic analysis have to transform them to instance of `AVarExpr`.
class ACallExpr
super ACallFormExpr
end
# A setter call with a standard method-name and any number of arguments. eg `x.m(y)=z`. OR just a simple assignment.
-# Note: because the parser cannot distinguish a variable write with a setter call with an implicit receiver and no arguments. it always returns a ACallAssignExpr.
+# Note: because the parser cannot distinguish a variable write with a setter call with an implicit receiver and no arguments, it always returns a `ACallAssignExpr`.
# Semantic analysis have to transform them to instance of `AVarAssignExpr`.
class ACallAssignExpr
super ACallFormExpr
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 compex 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
- readable var _n_qualified: nullable AQualified = null
- readable var _n_kwsuper: TKwsuper
- readable var _n_args: AExprs
+ readable writable var _n_qualified: nullable AQualified = null
+ readable writable var _n_kwsuper: TKwsuper
+ readable writable var _n_args: AExprs
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
- readable var _n_kwinit: TKwinit
- readable var _n_args: AExprs
+ readable writable var _n_kwinit: TKwinit
+ readable writable var _n_args: AExprs
end
# Whatever looks-like a call of the brackets `[]` operator.
abstract class ABraFormExpr
super ASendExpr
- readable var _n_args: AExprs
+ readable writable var _n_args: AExprs
end
# A call of the brackets operator. eg `x[y,z]`
# Whatever is an access to a local variable
abstract class AVarFormExpr
super AExpr
- readable var _n_id: TId
+ readable writable var _n_id: TId
end
# A complex setter call of the bracket operator. eg `x[y,z]+=t`
super ASendReassignFormExpr
end
-class AClosureCallExpr
- super AExpr
- readable var _n_id: TId
- readable var _n_args: AExprs
- readable var _n_closure_defs: ANodes[AClosureDef] = new ANodes[AClosureDef](self)
-end
-
# A local variable read access.
# The parser cannot instantiate them, see `ACallExpr`.
class AVarExpr
end
# A local variable simple assigment access
-# The parser cannot instantiate them, see `ACallAssingExpr`.
+# The parser cannot instantiate them, see `ACallAssignExpr`.
class AVarAssignExpr
super AVarFormExpr
super AAssignFormExpr
end
# A local variable complex assignment access
-# The parser cannot instantiate them, see `ACallReassingExpr`.
+# The parser cannot instantiate them, see `ACallReassignExpr`.
class AVarReassignExpr
super AVarFormExpr
super AReassignFormExpr
# A literal range, open or closed
abstract class ARangeExpr
super AExpr
- readable var _n_expr: AExpr
- readable var _n_expr2: AExpr
+ readable writable var _n_expr: AExpr
+ readable writable var _n_expr2: AExpr
end
# A closed literal range. eg `[x..y]`
class ACrangeExpr
super ARangeExpr
- readable var _n_obra: TObra
- readable var _n_cbra: TCbra
+ readable writable var _n_obra: TObra
+ readable writable var _n_cbra: TCbra
end
# An open literal range. eg `[x..y[`
class AOrangeExpr
super ARangeExpr
- readable var _n_obra: TObra
- readable var _n_cbra: TObra
+ readable writable var _n_obra: TObra
+ readable writable var _n_cbra: TObra
end
# A literal array. eg. `[x,y,z]`
class AArrayExpr
super AExpr
- readable var _n_exprs: AExprs
+ readable writable var _n_exprs: AExprs
end
# A read of `self`
class ASelfExpr
super AExpr
- readable var _n_kwself: nullable TKwself
+ readable writable var _n_kwself: nullable TKwself
end
# When there is no explicit receiver, `self` is implicit
# A `true` boolean literal constant
class ATrueExpr
super ABoolExpr
- readable var _n_kwtrue: TKwtrue
+ readable writable var _n_kwtrue: TKwtrue
end
# A `false` boolean literal constant
class AFalseExpr
super ABoolExpr
- readable var _n_kwfalse: TKwfalse
+ readable writable var _n_kwfalse: TKwfalse
end
# A `null` literal constant
class ANullExpr
super AExpr
- readable var _n_kwnull: TKwnull
+ readable writable var _n_kwnull: TKwnull
end
# An integer literal
class AIntExpr
super AExpr
- readable var _n_number: TNumber
+end
+# An integer literal in decimal format
+class ADecIntExpr
+ super AIntExpr
+ readable writable var _n_number: TNumber
+end
+# An integer literal in hexadecimal format
+class AHexIntExpr
+ super AIntExpr
+ readable writable var _n_hex_number: THexNumber
end
# A float literal
class AFloatExpr
super AExpr
- readable var _n_float: TFloat
+ readable writable var _n_float: TFloat
end
# A character literal
class ACharExpr
super AExpr
- readable var _n_char: TChar
+ readable writable var _n_char: TChar
end
# A string literal
abstract class AStringFormExpr
super AExpr
- readable var _n_string: Token
+ readable writable var _n_string: Token
end
# A simple string. eg. `"abc"`
super AStringFormExpr
end
-# A superstring literal. eg "a{x}b{y}c"
-# Each part is modelized a sequence of expression. eg. ["a{, x, }b{, y, }c"]
+# A superstring literal. eg `"a{x}b{y}c"`
+# Each part is modelized a sequence of expression. eg. `["a{, x, }b{, y, }c"]`
class ASuperstringExpr
super AExpr
readable var _n_exprs: ANodes[AExpr] = new ANodes[AExpr](self)
# A simple parenthesis. eg `(x)`
class AParExpr
super AProxyExpr
- readable var _n_opar: TOpar
- readable var _n_cpar: TCpar
+ readable writable var _n_opar: TOpar
+ readable writable var _n_cpar: TCpar
end
# Whatevej just contains (and mimic) an other expression
abstract class AProxyExpr
super AExpr
- readable var _n_expr: AExpr
+ readable writable var _n_expr: AExpr
end
# A type cast. eg `x.as(T)`
class AAsCastExpr
super AExpr
- readable var _n_expr: AExpr
- readable var _n_kwas: TKwas
- readable var _n_opar: TOpar
- readable var _n_type: AType
- readable var _n_cpar: TCpar
+ readable writable var _n_expr: AExpr
+ readable writable var _n_kwas: TKwas
+ readable writable var _n_opar: nullable TOpar = null
+ readable writable var _n_type: AType
+ readable writable var _n_cpar: nullable TCpar = null
end
# A as-not-null cast. eg `x.as(not null)`
class AAsNotnullExpr
super AExpr
- readable var _n_expr: AExpr
- readable var _n_kwas: TKwas
- readable var _n_opar: TOpar
- readable var _n_kwnot: TKwnot
- readable var _n_kwnull: TKwnull
- readable var _n_cpar: TCpar
+ readable writable var _n_expr: AExpr
+ readable writable var _n_kwas: TKwas
+ readable writable var _n_opar: nullable TOpar = null
+ readable writable var _n_kwnot: TKwnot
+ readable writable var _n_kwnull: TKwnull
+ readable writable var _n_cpar: nullable TCpar = null
end
# A is-set check of old-style attributes. eg `isset x._a`
class AIssetAttrExpr
super AAttrFormExpr
- readable var _n_kwisset: TKwisset
+ readable writable var _n_kwisset: TKwisset
end
# A list of expression separated with commas (arguments for instance)
class ADebugTypeExpr
super AExpr
- readable var _n_kwdebug: TKwdebug
- readable var _n_kwtype: TKwtype
- readable var _n_expr: AExpr
- readable var _n_type: AType
+ readable writable var _n_kwdebug: TKwdebug
+ readable writable var _n_kwtype: TKwtype
+ readable writable var _n_expr: AExpr
+ readable writable var _n_type: AType
end
# A simple list of expressions
# A list of expressions enclosed in parentheses
class AParExprs
super AExprs
- readable var _n_opar: TOpar
- readable var _n_cpar: TCpar
+ readable writable var _n_opar: TOpar
+ readable writable var _n_cpar: TCpar
end
# A list of expressions enclosed in brackets
class ABraExprs
super AExprs
- readable var _n_obra: TObra
- readable var _n_cbra: TCbra
+ readable writable var _n_obra: TObra
+ readable writable var _n_cbra: TCbra
end
# A complex assignment operator. eg `+=`
end
class APlusAssignOp
super AAssignOp
- readable var _n_pluseq: TPluseq
+ readable writable var _n_pluseq: TPluseq
end
class AMinusAssignOp
super AAssignOp
- readable var _n_minuseq: TMinuseq
+ readable writable var _n_minuseq: TMinuseq
end
-class AClosureDef
- super ALabelable
- readable var _n_bang: TBang
- readable var _n_id: AClosureId
- readable var _n_ids: ANodes[TId] = new ANodes[TId](self)
- readable var _n_kwdo: nullable TKwdo = null
- readable var _n_expr: nullable AExpr = null
- redef fun hot_location do return n_id.location
-end
-abstract class AClosureId
- super Prod
-end
-class ASimpleClosureId
- super AClosureId
- readable var _n_id: TId
-end
-class ABreakClosureId
- super AClosureId
- readable var _n_kwbreak: TKwbreak
-end
class AModuleName
super Prod
- readable var _n_quad: nullable TQuad = null
+ readable writable var _n_quad: nullable TQuad = null
readable var _n_path: ANodes[TId] = new ANodes[TId](self)
- readable var _n_id: TId
+ readable writable var _n_id: TId
end
class AInLanguage
super Prod
- readable var _n_kwin: TKwin
- readable var _n_string: TString
+ readable writable var _n_kwin: TKwin
+ readable writable var _n_string: TString
end
class AExternCodeBlock
super Prod
- readable var _n_in_language: nullable AInLanguage = null
- readable var _n_extern_code_segment: TExternCodeSegment
+ readable writable var _n_in_language: nullable AInLanguage = null
+ readable writable var _n_extern_code_segment: TExternCodeSegment
end
class AQualified
super Prod
- readable var _n_quad: nullable TQuad = null
+ readable writable var _n_quad: nullable TQuad = null
readable var _n_id: ANodes[TId] = new ANodes[TId](self)
- readable var _n_classid: nullable TClassid = null
+ readable writable var _n_classid: nullable TClassid = null
end
# A documentation of a definition
class AAnnotations
super Prod
- readable var _n_at: nullable TAt = null
- readable var _n_opar: nullable TOpar = null
+ readable writable var _n_at: nullable TAt = null
+ readable writable var _n_opar: nullable TOpar = null
readable var _n_items: ANodes[AAnnotation] = new ANodes[AAnnotation](self)
- readable var _n_cpar: nullable TCpar = null
+ readable writable var _n_cpar: nullable TCpar = null
end
class AAnnotation
super Prod
- readable var _n_atid: AAtid
- readable var _n_opar: nullable TOpar = null
+ readable writable var _n_atid: AAtid
+ readable writable var _n_opar: nullable TOpar = null
readable var _n_args: ANodes[AAtArg] = new ANodes[AAtArg](self)
- readable var _n_cpar: nullable TCpar = null
+ readable writable var _n_cpar: nullable TCpar = null
end
abstract class AAtArg
super Prod
end
class ATypeAtArg
super AAtArg
- readable var _n_type: AType
+ readable writable var _n_type: AType
end
class AExprAtArg
super AAtArg
- readable var _n_expr: AExpr
+ readable writable var _n_expr: AExpr
end
class AAtAtArg
super AAtArg
end
abstract class AAtid
super Prod
- readable var _n_id: Token
+ readable writable var _n_id: Token
end
class AIdAtid
super AAtid
# The root of the AST
class Start
super Prod
- readable var _n_base: nullable AModule
- readable var _n_eof: EOF
+ readable writable var _n_base: nullable AModule
+ readable writable var _n_eof: EOF
init(n_base: nullable AModule, n_eof: EOF)
do
self._n_base = n_base