fun location=(l: Location) do _location = l
# All the annotations attached directly to the node
- readable writable var _n_annotations: nullable AAnnotations = null
+ 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
redef fun replace_with(n: ANode)
do
end
# The current visited node
- readable writable var _current_node: nullable ANode = null
+ 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
end
# Token of end of line (basically `\n`)
class AModule
super Prod
- 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)
+ 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
end
# The declaration of the module with the documentation, name, and annotations
class AModuledecl
super Prod
- readable writable var _n_doc: nullable ADoc = null
- readable writable var _n_kwmodule: TKwmodule
- readable writable var _n_name: AModuleName
+ 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_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
end
# A standard import clause. eg `import x`
class AStdImport
super AImport
- readable writable var _n_visibility: AVisibility
- readable writable var _n_kwimport: TKwimport
- readable writable var _n_name: AModuleName
+ 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
end
# The special import clause of the kernel module. eg `import end`
class ANoImport
super AImport
- readable writable var _n_visibility: AVisibility
- readable writable var _n_kwimport: TKwimport
- readable writable var _n_kwend: TKwend
+ 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
end
end
class APrivateVisibility
super AVisibility
- readable writable var _n_kwprivate: TKwprivate
+ 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
end
class AProtectedVisibility
super AVisibility
- readable writable var _n_kwprotected: TKwprotected
+ 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
end
class AIntrudeVisibility
super AVisibility
- readable writable var _n_kwintrude: TKwintrude
+ 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
end
# There is tow special case of class definition
abstract class AClassdef
super Prod
- readable var _n_propdefs: ANodes[APropdef] = new ANodes[APropdef](self)
+ var n_propdefs: ANodes[APropdef] = new ANodes[APropdef](self)
init do end
end
# A standard class definition with a name, superclasses and properties
class AStdClassdef
super AClassdef
- 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 writable var _n_extern_code_block: nullable AExternCodeBlock = null
- readable var _n_superclasses: ANodes[ASuperclass] = new ANodes[ASuperclass](self)
- readable writable var _n_kwend: TKwend
+ 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
redef fun hot_location do return n_id.location
init do end
end
end
class AConcreteClasskind
super AClasskind
- readable writable var _n_kwclass: TKwclass
+ 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
end
class AAbstractClasskind
super AClasskind
- readable writable var _n_kwabstract: TKwabstract
- readable writable var _n_kwclass: TKwclass
+ 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
end
class AInterfaceClasskind
super AClasskind
- readable writable var _n_kwinterface: TKwinterface
+ 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
end
class AEnumClasskind
super AClasskind
- readable writable var _n_kwenum: TKwenum
+ 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
end
class AExternClasskind
super AClasskind
- readable writable var _n_kwextern: TKwextern
- readable writable var _n_kwclass: nullable TKwclass = null
+ 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
end
# The definition of a formal generic parameter type. eg `X: Y`
class AFormaldef
super Prod
- readable writable var _n_id: TClassid
+ var _n_id: TClassid
+ fun n_id: TClassid do return _n_id
+ fun n_id=(n_id: TClassid) do _n_id = n_id
# The bound of the parameter type
- readable writable var _n_type: nullable AType = null
+ 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
end
# A super-class. eg `super X`
class ASuperclass
super Prod
- readable writable var _n_kwsuper: TKwsuper
- readable writable var _n_type: AType
+ 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
end
# The definition of a property
abstract class APropdef
super Prod
- readable writable var _n_doc: nullable ADoc = null
- readable writable var _n_kwredef: nullable TKwredef = null
- readable writable var _n_visibility: nullable AVisibility = null
+ 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
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 writable var _n_kwvar: TKwvar
+ 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)
- readable writable var _n_id: nullable TAttrid
+ 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 new-style attribute (null if old-style)
- readable writable var _n_id2: nullable TId
-
- readable writable var _n_type: nullable AType = null
- readable writable var _n_readable: nullable AAble = null
- readable writable var _n_writable: nullable AAble = null
+ 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
# The initial value, if any
- readable writable var _n_expr: nullable AExpr = null
+ 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
# A definition of all kind of method (including constructors)
abstract class AMethPropdef
super APropdef
- readable writable var _n_kwmeth: nullable TKwmeth = null
- readable writable var _n_kwinit: nullable TKwinit = null
- readable writable var _n_kwnew: nullable TKwnew = null
- readable writable var _n_methid: nullable AMethid = null
- readable writable var _n_signature: nullable ASignature = null
- 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
+ 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
redef fun hot_location
do
if n_methid != null then
# Declaration of callbacks for extern methods
class AExternCalls
super Prod
- readable writable var _n_kwimport: TKwimport
- readable var _n_extern_calls: ANodes[AExternCall] = new ANodes[AExternCall](self)
+ 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_extern_calls: ANodes[AExternCall] = new ANodes[AExternCall](self)
init do end
end
abstract class AExternCall
end
class ALocalPropExternCall
super APropExternCall
- readable writable var _n_methid: AMethid
+ 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
end
class AFullPropExternCall
super APropExternCall
- readable writable var _n_type: AType
- readable writable var _n_dot: nullable TDot = null
- readable writable var _n_methid: AMethid
+ 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
end
class AInitPropExternCall
super APropExternCall
- readable writable var _n_type: AType
+ 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 ASuperExternCall
super AExternCall
- readable writable var _n_kwsuper: TKwsuper
+ 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
end
abstract class ACastExternCall
end
class ACastAsExternCall
super ACastExternCall
- 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
+ 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
end
class AAsNullableExternCall
super ACastExternCall
- readable writable var _n_type: AType
- readable writable var _n_kwas: TKwas
- readable writable var _n_kwnullable: TKwnullable
+ 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
end
class AAsNotNullableExternCall
super ACastExternCall
- readable writable var _n_type: AType
- readable writable var _n_kwas: TKwas
- readable writable var _n_kwnot: TKwnot
- readable writable var _n_kwnullable: TKwnullable
+ 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
end
# A definition of a virtual type
class ATypePropdef
super APropdef
- readable writable var _n_kwtype: TKwtype
- readable writable var _n_id: TClassid
- readable writable var _n_type: AType
+ 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
- readable writable var _n_visibility: nullable AVisibility = null
- readable writable var _n_kwredef: nullable TKwredef = null
+ 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
- readable writable var _n_kwreadable: TKwreadable
+ 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
# A `writable` modifier
class AWriteAble
super AAble
- readable writable var _n_kwwritable: TKwwritable
+ 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
end
end
class AIdMethid
super AMethid
- readable writable var _n_id: TId
+ 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
end
class APlusMethid
super AMethid
- readable writable var _n_plus: TPlus
+ 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
end
class AMinusMethid
super AMethid
- readable writable var _n_minus: TMinus
+ 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
end
class AStarMethid
super AMethid
- readable writable var _n_star: TStar
+ 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
end
class ASlashMethid
super AMethid
- readable writable var _n_slash: TSlash
+ 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
end
class APercentMethid
super AMethid
- readable writable var _n_percent: TPercent
+ 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
end
class AEqMethid
super AMethid
- readable writable var _n_eq: TEq
+ 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
end
class ANeMethid
super AMethid
- readable writable var _n_ne: TNe
+ 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
end
class ALeMethid
super AMethid
- readable writable var _n_le: TLe
+ 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
end
class AGeMethid
super AMethid
- readable writable var _n_ge: TGe
+ 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
end
class ALtMethid
super AMethid
- readable writable var _n_lt: TLt
+ 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
end
class AGtMethid
super AMethid
- readable writable var _n_gt: TGt
+ 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
end
class ALlMethid
super AMethid
- readable writable var _n_ll: TLl
+ 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
end
class AGgMethid
super AMethid
- readable writable var _n_gg: TGg
+ 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
end
class ABraMethid
super AMethid
- readable writable var _n_obra: TObra
- readable writable var _n_cbra: TCbra
+ 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
end
class AStarshipMethid
super AMethid
- readable writable var _n_starship: TStarship
+ 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
end
class AAssignMethid
super AMethid
- readable writable var _n_id: TId
- readable writable var _n_assign: TAssign
+ 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
end
class ABraassignMethid
super AMethid
- readable writable var _n_obra: TObra
- readable writable var _n_cbra: TCbra
- readable writable var _n_assign: TAssign
+ 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
end
# A signature in a method definition. eg `(x,y:X,z:Z):T`
class ASignature
super Prod
- readable writable var _n_opar: nullable TOpar = null
- readable var _n_params: ANodes[AParam] = new ANodes[AParam](self)
- readable writable var _n_cpar: nullable TCpar = null
- readable writable var _n_type: nullable AType = null
+ 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
end
# A parameter definition in a signature. eg `x:X`
class AParam
super Prod
- readable writable var _n_id: TId
- readable writable var _n_type: nullable AType = null
- readable writable var _n_dotdotdot: nullable TDotdotdot = null
+ 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
end
# A static type. eg `nullable X[Y]`
class AType
super Prod
- readable writable var _n_kwnullable: nullable TKwnullable = null
+ 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 name of the class or of the formal type
- readable writable var _n_id: TClassid
+ var _n_id: TClassid
+ fun n_id: TClassid do return _n_id
+ fun n_id=(n_id: TClassid) do _n_id = n_id
# Type arguments for a generic type
- readable var _n_types: ANodes[AType] = new ANodes[AType](self)
+ var n_types: ANodes[AType] = new ANodes[AType](self)
init do end
end
# A label at the end of a block or in a break/continue statement. eg `label x`
class ALabel
super Prod
- readable writable var _n_kwlabel: TKwlabel
- readable writable var _n_id: TId
+ 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: TId
+ fun n_id: TId do return _n_id
+ fun n_id=(n_id: TId) do _n_id = n_id
init do end
end
# The last AExpr gives the value of the whole block
class ABlockExpr
super AExpr
- readable var _n_expr: ANodes[AExpr] = new ANodes[AExpr](self)
- readable writable var _n_kwend: nullable TKwend = null
+ 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
end
# A declaration of a local variable. eg `var x: X = y`
class AVardeclExpr
super AExpr
- 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
+ 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 initial value, if any
- readable writable var _n_expr: nullable AExpr = null
+ 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
end
# A `return` statement. eg `return x`
class AReturnExpr
super AExpr
- readable writable var _n_kwreturn: nullable TKwreturn = null
- readable writable var _n_expr: nullable AExpr = null
+ 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
end
# Something that has a label.
abstract class ALabelable
super Prod
- readable writable var _n_label: nullable ALabel = null
+ 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
end
class ABreakExpr
super AExpr
super ALabelable
- readable writable var _n_kwbreak: TKwbreak
- readable writable var _n_expr: nullable AExpr = null
+ 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
end
# An `abort` statement
class AAbortExpr
super AExpr
- readable writable var _n_kwabort: TKwabort
+ 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
end
class AContinueExpr
super AExpr
super ALabelable
- readable writable var _n_kwcontinue: nullable TKwcontinue = null
- readable writable var _n_expr: nullable AExpr = null
+ 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
end
class ADoExpr
super AExpr
super ALabelable
- readable writable var _n_kwdo: TKwdo
- readable writable var _n_block: nullable AExpr = null
+ 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
end
# A `if` statement
class AIfExpr
super AExpr
- 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
+ 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
class AIfexprExpr
super 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
+ 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
end
class AWhileExpr
super AExpr
super ALabelable
- 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
+ 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
end
class ALoopExpr
super AExpr
super ALabelable
- readable writable var _n_kwloop: TKwloop
- readable writable var _n_block: nullable AExpr = null
+ 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
end
class AForExpr
super AExpr
super ALabelable
- readable writable var _n_kwfor: TKwfor
- readable var _n_ids: ANodes[TId] = new ANodes[TId](self)
- readable writable var _n_expr: AExpr
- readable writable var _n_kwdo: TKwdo
- readable writable var _n_block: nullable AExpr = null
+ 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
end
# An `assert` statement
class AAssertExpr
super AExpr
- 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
+ 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
end
# Whatever is a simple assignment. eg `= something`
abstract class AAssignFormExpr
super AExpr
- readable writable var _n_assign: TAssign
- readable writable var _n_value: 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
end
# Whatever is a combined assignment. eg `+= something`
abstract class AReassignFormExpr
super AExpr
- readable writable var _n_assign_op: AAssignOp
- readable writable var _n_value: 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
end
# A `once` expression. eg `once x`
class AOnceExpr
super AProxyExpr
- readable writable var _n_kwonce: TKwonce
+ 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
end
abstract class ASendExpr
super AExpr
# The receiver of the method invocation
- readable writable var _n_expr: 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
end
super ASendExpr
# The second operand of the operation
# Note: the receiver (`n_expr`) is the first operand
- readable writable var _n_expr2: AExpr
+ 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
end
# A `or` expression
class AOrExpr
super ABoolExpr
- readable writable var _n_expr: AExpr
- readable writable var _n_expr2: 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
end
# A `and` expression
class AAndExpr
super ABoolExpr
- readable writable var _n_expr: AExpr
- readable writable var _n_expr2: 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
end
# A `or else` expression
class AOrElseExpr
super ABoolExpr
- readable writable var _n_expr: AExpr
- readable writable var _n_expr2: 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
end
# A `implies` expression
class AImpliesExpr
super ABoolExpr
- readable writable var _n_expr: AExpr
- readable writable var _n_expr2: 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
end
# A `not` expression
class ANotExpr
super ABoolExpr
- readable writable var _n_kwnot: TKwnot
- readable writable var _n_expr: AExpr
+ 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
end
# A type-ckeck expression. eg `x isa T`
class AIsaExpr
super ABoolExpr
- readable writable var _n_expr: AExpr
- readable writable var _n_type: AType
+ 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
end
# A unary minus expression. eg `-x`
class AUminusExpr
super ASendExpr
- readable writable var _n_minus: TMinus
+ 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
end
# An explicit instantiation. eg `new T`
class ANewExpr
super AExpr
- readable writable var _n_kwnew: TKwnew
- readable writable var _n_type: AType
+ 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 name of the named-constructor, if any
- readable writable var _n_id: nullable TId = null
- readable writable var _n_args: AExprs
+ 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
end
super AExpr
# The receiver of the attribute
- readable writable var _n_expr: AExpr
+ var _n_expr: AExpr
+ fun n_expr: AExpr do return _n_expr
+ fun n_expr=(n_expr: AExpr) do _n_expr = n_expr
# The name of the attribute
- readable writable var _n_id: TAttrid
+ var _n_id: TAttrid
+ fun n_id: TAttrid do return _n_id
+ fun n_id=(n_id: TAttrid) do _n_id = n_id
init do end
end
super ASendExpr
# The name of the method
- readable writable var _n_id: TId
+ var _n_id: TId
+ fun n_id: TId do return _n_id
+ fun n_id=(n_id: TId) do _n_id = n_id
# The arguments of the call
- readable writable var _n_args: AExprs
+ 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
end
# A call to `super`. OR a call of a super-constructor
class ASuperExpr
super AExpr
- readable writable var _n_qualified: nullable AQualified = null
- readable writable var _n_kwsuper: TKwsuper
- readable writable var _n_args: AExprs
+ 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
end
# Note: because `init` is a keyword and not a `TId`, the explicit call to init cannot be a ACallFormExpr.
class AInitExpr
super ASendExpr
- readable writable var _n_kwinit: TKwinit
- readable writable var _n_args: AExprs
+ 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
end
# Whatever looks-like a call of the brackets `[]` operator.
abstract class ABraFormExpr
super ASendExpr
- readable writable var _n_args: AExprs
+ 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
end
# Whatever is an access to a local variable
abstract class AVarFormExpr
super AExpr
- readable writable var _n_id: TId
+ 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
end
# A literal range, open or closed
abstract class ARangeExpr
super AExpr
- readable writable var _n_expr: AExpr
- readable writable var _n_expr2: 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
end
# A closed literal range. eg `[x..y]`
class ACrangeExpr
super ARangeExpr
- readable writable var _n_obra: TObra
- readable writable var _n_cbra: TCbra
+ 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
end
# An open literal range. eg `[x..y[`
class AOrangeExpr
super ARangeExpr
- readable writable var _n_obra: TObra
- readable writable var _n_cbra: TObra
+ 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
end
# A literal array. eg. `[x,y,z]`
class AArrayExpr
super AExpr
- readable writable var _n_exprs: AExprs
+ 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
end
# A read of `self`
class ASelfExpr
super AExpr
- readable writable var _n_kwself: nullable TKwself
+ 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
end
# A `true` boolean literal constant
class ATrueExpr
super ABoolExpr
- readable writable var _n_kwtrue: TKwtrue
+ 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
end
# A `false` boolean literal constant
class AFalseExpr
super ABoolExpr
- readable writable var _n_kwfalse: TKwfalse
+ 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
end
# A `null` literal constant
class ANullExpr
super AExpr
- readable writable var _n_kwnull: TKwnull
+ 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
end
# An integer literal
# An integer literal in decimal format
class ADecIntExpr
super AIntExpr
- readable writable var _n_number: TNumber
+ 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
end
# An integer literal in hexadecimal format
class AHexIntExpr
super AIntExpr
- readable writable var _n_hex_number: THexNumber
+ 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
end
# A float literal
class AFloatExpr
super AExpr
- readable writable var _n_float: TFloat
+ 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
end
# A character literal
class ACharExpr
super AExpr
- readable writable var _n_char: TChar
+ 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
end
# A string literal
abstract class AStringFormExpr
super AExpr
- readable writable var _n_string: Token
+ 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
end
# 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)
+ var n_exprs: ANodes[AExpr] = new ANodes[AExpr](self)
init do end
end
# A simple parenthesis. eg `(x)`
class AParExpr
super AProxyExpr
- readable writable var _n_opar: TOpar
- readable writable var _n_cpar: TCpar
+ 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
- readable writable var _n_expr: 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
end
# A type cast. eg `x.as(T)`
class AAsCastExpr
super AExpr
- 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
+ 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
end
# A as-not-null cast. eg `x.as(not null)`
class AAsNotnullExpr
super AExpr
- 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
+ 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
end
# A is-set check of old-style attributes. eg `isset x._a`
class AIssetAttrExpr
super AAttrFormExpr
- readable writable var _n_kwisset: TKwisset
+ 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
end
# A list of expression separated with commas (arguments for instance)
abstract class AExprs
super Prod
- readable var _n_exprs: ANodes[AExpr] = new ANodes[AExpr](self)
+ var n_exprs: ANodes[AExpr] = new ANodes[AExpr](self)
init do end
end
class ADebugTypeExpr
super AExpr
- readable writable var _n_kwdebug: TKwdebug
- readable writable var _n_kwtype: TKwtype
- readable writable var _n_expr: AExpr
- readable writable var _n_type: AType
+ 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
end
# A list of expressions enclosed in parentheses
class AParExprs
super AExprs
- readable writable var _n_opar: TOpar
- readable writable var _n_cpar: TCpar
+ 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
# A list of expressions enclosed in brackets
class ABraExprs
super AExprs
- readable writable var _n_obra: TObra
- readable writable var _n_cbra: TCbra
+ 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
end
end
class APlusAssignOp
super AAssignOp
- readable writable var _n_pluseq: TPluseq
+ 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
end
class AMinusAssignOp
super AAssignOp
- readable writable var _n_minuseq: TMinuseq
+ 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
end
class AModuleName
super Prod
- readable writable var _n_quad: nullable TQuad = null
- readable var _n_path: ANodes[TId] = new ANodes[TId](self)
- readable writable var _n_id: TId
+ 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
end
class AInLanguage
super Prod
- readable writable var _n_kwin: TKwin
- readable writable var _n_string: TString
+ 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
end
class AExternCodeBlock
super Prod
- readable writable var _n_in_language: nullable AInLanguage = null
- readable writable var _n_extern_code_segment: TExternCodeSegment
+ 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
end
class AQualified
super Prod
- readable writable var _n_quad: nullable TQuad = null
- readable var _n_id: ANodes[TId] = new ANodes[TId](self)
- readable writable var _n_classid: nullable TClassid = null
+ 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
end
# It contains the block of comments just above the declaration
class ADoc
super Prod
- readable var _n_comment: ANodes[TComment] = new ANodes[TComment](self)
+ var n_comment: ANodes[TComment] = new ANodes[TComment](self)
init do end
end
class AAnnotations
super Prod
- 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 writable var _n_cpar: nullable TCpar = null
+ 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
end
class AAnnotation
super Prod
- 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 writable var _n_cpar: nullable TCpar = null
+ 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
end
class ATypeAtArg
super AAtArg
- readable writable var _n_type: AType
+ 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
- readable writable var _n_expr: 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
end
class AAtAtArg
end
abstract class AAtid
super Prod
- readable writable var _n_id: Token
+ 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
end
class AIdAtid
# The root of the AST
class Start
super Prod
- readable writable var _n_base: nullable AModule
- readable writable var _n_eof: EOF
+ 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
nitlanguage / nit.git / blobdiff