X-Git-Url: http://nitlanguage.org diff --git a/src/parser/parser_nodes.nit b/src/parser/parser_nodes.nit index ac89b9f..90e93eb 100644 --- a/src/parser/parser_nodes.nit +++ b/src/parser/parser_nodes.nit @@ -1,916 +1,1207 @@ -# Raw AST node hierarchy. -# This file was generated by SableCC (http://www.sablecc.org/). +# This file is part of NIT ( http://www.nitlanguage.org ). +# +# Copyright 2008-2009 Jean Privat +# Copyright 2009 Jean-Sebastien Gelinas +# +# Licensed under the Apache License, Version 2.0 (the "License"); +# you may not use this file except in compliance with the License. +# You may obtain a copy of the License at +# +# http://www.apache.org/licenses/LICENSE-2.0 +# +# Unless required by applicable law or agreed to in writing, software +# distributed under the License is distributed on an "AS IS" BASIS, +# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. +# See the License for the specific language governing permissions and +# limitations under the License. + +# AST nodes of the Nit language +# Was previously based on parser_abs.nit. package parser_nodes +import location + # Root of the AST hierarchy -abstract class PNode +abstract class ANode + var _location: nullable Location + # Location is set during AST building. Once built, location cannon be null + # However, manual instanciated nodes may need mode care + fun location: Location do return _location.as(not null) + # The location of the important part of the node (identifier or whatever) + fun hot_location: Location do return location + init do end + + # Display a message for the colored location of the node + fun debug(message: String) + do + print "{hot_location} {self.class_name}: {message}\n{hot_location.colored_line("0;32")}" + end end # Ancestor of all tokens abstract class Token -special PNode + super ANode + fun text: String is abstract + + redef fun to_s: String do + return "'{text}'" + end end # Ancestor of all productions abstract class Prod -special PNode + super ANode + fun location=(l: Location) do _location = l end class TEol -special Token + super Token + redef fun to_s + do + return "end of line" + end end class TComment -special Token + super Token end -class TKwpackage -special Token +abstract class TokenKeyword + super Token + redef fun to_s + do + return "keyword '{text}'" + end +end +class TKwmodule + super TokenKeyword end class TKwimport -special Token + super TokenKeyword end class TKwclass -special Token + super TokenKeyword end class TKwabstract -special Token + super TokenKeyword end class TKwinterface -special Token + super TokenKeyword end -class TKwuniversal -special Token +class TKwenum + super TokenKeyword end class TKwspecial -special Token + super TokenKeyword end class TKwend -special Token + super TokenKeyword end class TKwmeth -special Token + super TokenKeyword end class TKwtype -special Token -end -class TKwattr -special Token + super TokenKeyword end class TKwinit -special Token + super TokenKeyword end class TKwredef -special Token + super TokenKeyword end class TKwis -special Token + super TokenKeyword end class TKwdo -special Token + super TokenKeyword end class TKwreadable -special Token + super TokenKeyword end class TKwwritable -special Token + super TokenKeyword end class TKwvar -special Token + super TokenKeyword end class TKwintern -special Token + super TokenKeyword end class TKwextern -special Token + super TokenKeyword end class TKwprotected -special Token + super TokenKeyword end class TKwprivate -special Token + super TokenKeyword end class TKwintrude -special Token + super TokenKeyword end class TKwif -special Token + super TokenKeyword end class TKwthen -special Token + super TokenKeyword end class TKwelse -special Token + super TokenKeyword end class TKwwhile -special Token + super TokenKeyword +end +class TKwloop + super TokenKeyword end class TKwfor -special Token + super TokenKeyword end class TKwin -special Token + super TokenKeyword end class TKwand -special Token + super TokenKeyword end class TKwor -special Token + super TokenKeyword end class TKwnot -special Token + super TokenKeyword end class TKwreturn -special Token + super TokenKeyword end class TKwcontinue -special Token + super TokenKeyword end class TKwbreak -special Token + super TokenKeyword end class TKwabort -special Token + super TokenKeyword end class TKwassert -special Token + super TokenKeyword end class TKwnew -special Token + super TokenKeyword end class TKwisa -special Token + super TokenKeyword end class TKwonce -special Token + super TokenKeyword end class TKwsuper -special Token + super TokenKeyword end class TKwself -special Token + super TokenKeyword end class TKwtrue -special Token + super TokenKeyword end class TKwfalse -special Token + super TokenKeyword end class TKwnull -special Token + super TokenKeyword end class TKwas -special Token + super TokenKeyword end -class TKwwith -special Token +class TKwnullable + super TokenKeyword +end +class TKwisset + super TokenKeyword +end +class TKwlabel + super TokenKeyword +end +class TKwdebug + super Token end class TOpar -special Token + super Token end class TCpar -special Token + super Token end class TObra -special Token + super Token end class TCbra -special Token + super Token end class TComma -special Token + super Token end class TColumn -special Token + super Token end class TQuad -special Token + super Token end class TAssign -special Token + super Token +end +abstract class TokenOperator + super Token + redef fun to_s + do + return "operator '{text}'" + end end class TPluseq -special Token + super TokenOperator end class TMinuseq -special Token + super TokenOperator end class TDotdotdot -special Token + super TokenOperator end class TDotdot -special Token + super TokenOperator end class TDot -special Token + super TokenOperator end class TPlus -special Token + super TokenOperator end class TMinus -special Token + super TokenOperator end class TStar -special Token + super TokenOperator end class TSlash -special Token + super TokenOperator end class TPercent -special Token + super TokenOperator end class TEq -special Token + super TokenOperator end class TNe -special Token + super TokenOperator end class TLt -special Token + super TokenOperator end class TLe -special Token + super TokenOperator +end +class TLl + super TokenOperator end class TGt -special Token + super TokenOperator end class TGe -special Token + super TokenOperator +end +class TGg + super TokenOperator end class TStarship -special Token + super TokenOperator +end +class TBang + super TokenOperator end class TClassid -special Token + super Token + redef fun to_s + do + do return "type identifier '{text}'" + end end class TId -special Token + super Token + redef fun to_s + do + do return "identifier '{text}'" + end end class TAttrid -special Token + super Token + redef fun to_s + do + do return "attribute '{text}'" + end +end +abstract class TokenLiteral + super Token + redef fun to_s + do + do return "literal value '{text}'" + end end class TNumber -special Token + super TokenLiteral end class TFloat -special Token + super TokenLiteral end class TChar -special Token + super TokenLiteral end class TString -special Token + super TokenLiteral end class TStartString -special Token + super TokenLiteral end class TMidString -special Token + super TokenLiteral end class TEndString -special Token + super Token end -class EOF -special Token +class TBadString + super Token + redef fun to_s + do + do return "malformed string {text}" + end +end +class TBadChar + super Token + redef fun to_s + do + do return "malformed character {text}" + end +end +class EOF + super Token private init noinit do end + redef fun to_s + do + return "end of file" + end end -class PError -special EOF +class AError + super EOF private init noinit do end end -class PModule special Prod end -class PPackagedecl special Prod end -class PImport special Prod end -class PVisibility special Prod end -class PClassdef special Prod end -class PClasskind special Prod end -class PFormaldef special Prod end -class PSuperclass special Prod end -class PPropdef special Prod - readable writable attr _n_doc: PDoc = null -end -class PAble special Prod - readable writable attr _n_kwredef: TKwredef = null -end -class PMethid special Prod end -class PSignature special Prod end -class PParam -special Prod - readable writable attr _n_id: TId = null - readable writable attr _n_type: PType = null -end -class PClosureDecl special Prod end -class PType special Prod end -class PExpr special Prod end -class PAssignOp special Prod end -class PClosureDef special Prod end -class PQualified special Prod end -class PDoc special Prod end - class AModule -special PModule - readable writable attr _n_packagedecl: PPackagedecl = null - readable writable attr _n_imports: List[PImport] = null - readable writable attr _n_classdefs: List[PClassdef] = null -end -class APackagedecl -special PPackagedecl - readable writable attr _n_doc: PDoc = null - readable writable attr _n_kwpackage: TKwpackage = null - readable writable attr _n_id: TId = null -end -class AImport -special PImport - readable writable attr _n_visibility: PVisibility = null - readable writable attr _n_kwimport: TKwimport = null - readable writable attr _n_id: TId = null + super Prod + readable var _n_moduledecl: nullable AModuledecl = null + readable var _n_imports: List[AImport] = new List[AImport] + readable var _n_classdefs: List[AClassdef] = new List[AClassdef] +end +class AModuledecl + super Prod + readable var _n_doc: nullable ADoc = null + readable var _n_kwmodule: TKwmodule + readable var _n_name: AModuleName +end +abstract class AImport super Prod end +class AStdImport + super AImport + readable var _n_visibility: AVisibility + readable var _n_kwimport: TKwimport + readable var _n_name: AModuleName end class ANoImport -special PImport - readable writable attr _n_visibility: PVisibility = null - readable writable attr _n_kwimport: TKwimport = null - readable writable attr _n_kwend: TKwend = null + super AImport + readable var _n_visibility: AVisibility + readable var _n_kwimport: TKwimport + readable var _n_kwend: TKwend end +abstract class AVisibility super Prod end class APublicVisibility -special PVisibility + super AVisibility end class APrivateVisibility -special PVisibility - readable writable attr _n_kwprivate: TKwprivate = null + super AVisibility + readable var _n_kwprivate: TKwprivate end class AProtectedVisibility -special PVisibility - readable writable attr _n_kwprotected: TKwprotected = null + super AVisibility + readable var _n_kwprotected: TKwprotected end class AIntrudeVisibility -special PVisibility - readable writable attr _n_kwintrude: TKwintrude = null -end -class AClassdef -special PClassdef - readable writable attr _n_doc: PDoc = null - readable writable attr _n_kwredef: TKwredef = null - readable writable attr _n_visibility: PVisibility = null - readable writable attr _n_classkind: PClasskind = null - readable writable attr _n_id: TClassid = null - readable writable attr _n_formaldefs: List[PFormaldef] = null - readable writable attr _n_superclasses: List[PSuperclass] = null - readable writable attr _n_propdefs: List[PPropdef] = null + super AVisibility + readable var _n_kwintrude: TKwintrude +end +abstract class AClassdef super Prod + readable var _n_propdefs: List[APropdef] = new List[APropdef] +end +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 var _n_formaldefs: List[AFormaldef] = new List[AFormaldef] + readable var _n_superclasses: List[ASuperclass] = new List[ASuperclass] + readable var _n_kwend: TKwend + redef fun hot_location do return n_id.location end class ATopClassdef -special PClassdef - readable writable attr _n_propdefs: List[PPropdef] = null + super AClassdef end class AMainClassdef -special PClassdef - readable writable attr _n_propdefs: List[PPropdef] = null + super AClassdef end +abstract class AClasskind super Prod end class AConcreteClasskind -special PClasskind - readable writable attr _n_kwclass: TKwclass = null + super AClasskind + readable var _n_kwclass: TKwclass end class AAbstractClasskind -special PClasskind - readable writable attr _n_kwabstract: TKwabstract = null - readable writable attr _n_kwclass: TKwclass = null + super AClasskind + readable var _n_kwabstract: TKwabstract + readable var _n_kwclass: TKwclass end class AInterfaceClasskind -special PClasskind - readable writable attr _n_kwinterface: TKwinterface = null + super AClasskind + readable var _n_kwinterface: TKwinterface +end +class AEnumClasskind + super AClasskind + readable var _n_kwenum: TKwenum end -class AUniversalClasskind -special PClasskind - readable writable attr _n_kwuniversal: TKwuniversal = null +class AExternClasskind + super AClasskind + readable var _n_kwextern: TKwextern end class AFormaldef -special PFormaldef - readable writable attr _n_id: TClassid = null - readable writable attr _n_type: PType = null + super Prod + readable var _n_id: TClassid + readable var _n_type: nullable AType = null end class ASuperclass -special PSuperclass - readable writable attr _n_kwspecial: TKwspecial = null - readable writable attr _n_type: PType = null + super Prod + readable var _n_kwspecial: nullable TKwspecial = null + readable var _n_kwsuper: nullable TKwsuper = null + readable var _n_type: AType +end +abstract class APropdef super Prod + readable var _n_doc: nullable ADoc = null end class AAttrPropdef -special PPropdef - readable writable attr _n_kwredef: TKwredef = null - readable writable attr _n_visibility: PVisibility = null - readable writable attr _n_kwattr: TKwattr = null - readable writable attr _n_id: TAttrid = null - readable writable attr _n_type: PType = null - readable writable attr _n_readable: PAble = null - readable writable attr _n_writable: PAble = null - readable writable attr _n_expr: PExpr = null -end -class AMethPropdef -special PPropdef - readable writable attr _n_kwredef: TKwredef = null - readable writable attr _n_visibility: PVisibility = null - readable writable attr _n_methid: PMethid = null - readable writable attr _n_signature: PSignature = null + super APropdef + readable var _n_kwredef: nullable TKwredef = null + readable var _n_visibility: AVisibility + readable var _n_kwvar: TKwvar + readable var _n_id: nullable TAttrid + readable 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 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 + end +end +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 + redef fun hot_location + do + if n_methid != null then + return n_methid.location + else + return location + end + end end class ADeferredMethPropdef -special AMethPropdef - readable writable attr _n_kwmeth: TKwmeth = null + super AMethPropdef + readable var _n_kwmeth: TKwmeth end class AInternMethPropdef -special AMethPropdef - readable writable attr _n_kwmeth: TKwmeth = null + super AMethPropdef + readable var _n_kwmeth: TKwmeth +end +abstract class AExternPropdef + super AMethPropdef + readable var _n_extern: nullable TString = null + readable var _n_extern_calls: nullable AExternCalls = null end class AExternMethPropdef -special AMethPropdef - readable writable attr _n_kwmeth: TKwmeth = null - readable writable attr _n_extern: TString = null + super AMethPropdef + super AExternPropdef + readable var _n_kwmeth: TKwmeth end class AConcreteMethPropdef -special AMethPropdef - readable writable attr _n_kwmeth: TKwmeth = null - readable writable attr _n_block: PExpr = null + super AMethPropdef + readable var _n_kwmeth: nullable TKwmeth + readable var _n_block: nullable AExpr = null +end +abstract class AInitPropdef + super AMethPropdef end class AConcreteInitPropdef -special AConcreteMethPropdef - readable writable attr _n_kwinit: TKwinit = null + super AConcreteMethPropdef + super AInitPropdef + readable var _n_kwinit: TKwinit + redef fun hot_location do return n_kwinit.location +end +class AExternInitPropdef + super AExternPropdef + super AInitPropdef + readable var _n_kwnew: TKwnew end class AMainMethPropdef -special AConcreteMethPropdef + super AConcreteMethPropdef +end +class AExternCalls + super Prod + readable var _n_kwimport: TKwimport + readable var _n_extern_calls: List[AExternCall] = new List[AExternCall] +end +abstract class AExternCall + super Prod +end +abstract class APropExternCall +special AExternCall +end +class ALocalPropExternCall +special APropExternCall + readable var _n_methid: AMethid +end +class AFullPropExternCall +special APropExternCall + readable var _n_classid: TClassid + readable var _n_quad: nullable TQuad = null + readable var _n_methid: AMethid +end +class AInitPropExternCall +special APropExternCall + readable var _n_classid: TClassid +end +class ASuperExternCall +special AExternCall + readable var _n_kwsuper: TKwsuper +end +abstract class ACastExternCall +special AExternCall +end +class ACastAsExternCall +special ACastExternCall + readable var _n_from_type: AType + readable var _n_kwas: TKwas + readable var _n_to_type: AType +end +class AAsNullableExternCall +special ACastExternCall + readable var _n_type: AType + readable var _n_kwas: TKwas + readable var _n_kwnullable: TKwnullable +end +class AAsNotNullableExternCall +special ACastExternCall + readable var _n_type: AType + readable var _n_kwas: TKwas + readable var _n_kwnot: TKwnot + readable var _n_kwnullable: TKwnullable end class ATypePropdef -special PPropdef - readable writable attr _n_kwredef: TKwredef = null - readable writable attr _n_visibility: PVisibility = null - readable writable attr _n_kwtype: TKwtype = null - readable writable attr _n_id: TClassid = null - readable writable attr _n_type: PType = null + 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 +end +abstract class AAble super Prod + readable var _n_visibility: nullable AVisibility = null + readable var _n_kwredef: nullable TKwredef = null end class AReadAble -special PAble - readable writable attr _n_kwreadable: TKwreadable = null + super AAble + readable var _n_kwreadable: TKwreadable end class AWriteAble -special PAble - readable writable attr _n_kwwritable: TKwwritable = null + super AAble + readable var _n_kwwritable: TKwwritable end +abstract class AMethid super Prod end class AIdMethid -special PMethid - readable writable attr _n_id: TId = null + super AMethid + readable var _n_id: TId end class APlusMethid -special PMethid - readable writable attr _n_plus: TPlus = null + super AMethid + readable var _n_plus: TPlus end class AMinusMethid -special PMethid - readable writable attr _n_minus: TMinus = null + super AMethid + readable var _n_minus: TMinus end class AStarMethid -special PMethid - readable writable attr _n_star: TStar = null + super AMethid + readable var _n_star: TStar end class ASlashMethid -special PMethid - readable writable attr _n_slash: TSlash = null + super AMethid + readable var _n_slash: TSlash end class APercentMethid -special PMethid - readable writable attr _n_percent: TPercent = null + super AMethid + readable var _n_percent: TPercent end class AEqMethid -special PMethid - readable writable attr _n_eq: TEq = null + super AMethid + readable var _n_eq: TEq end class ANeMethid -special PMethid - readable writable attr _n_ne: TNe = null + super AMethid + readable var _n_ne: TNe end class ALeMethid -special PMethid - readable writable attr _n_le: TLe = null + super AMethid + readable var _n_le: TLe end class AGeMethid -special PMethid - readable writable attr _n_ge: TGe = null + super AMethid + readable var _n_ge: TGe end class ALtMethid -special PMethid - readable writable attr _n_lt: TLt = null + super AMethid + readable var _n_lt: TLt end class AGtMethid -special PMethid - readable writable attr _n_gt: TGt = null + super AMethid + readable var _n_gt: TGt +end +class ALlMethid + super AMethid + readable writable var _n_ll: TLl +end +class AGgMethid + super AMethid + readable writable var _n_gg: TGg end class ABraMethid -special PMethid - readable writable attr _n_obra: TObra = null - readable writable attr _n_cbra: TCbra = null + super AMethid + readable var _n_obra: TObra + readable var _n_cbra: TCbra end class AStarshipMethid -special PMethid - readable writable attr _n_starship: TStarship = null + super AMethid + readable var _n_starship: TStarship end class AAssignMethid -special PMethid - readable writable attr _n_id: TId = null - readable writable attr _n_assign: TAssign = null + super AMethid + readable var _n_id: TId + readable var _n_assign: TAssign end class ABraassignMethid -special PMethid - readable writable attr _n_obra: TObra = null - readable writable attr _n_cbra: TCbra = null - readable writable attr _n_assign: TAssign = null + super AMethid + readable var _n_obra: TObra + readable var _n_cbra: TCbra + readable var _n_assign: TAssign end class ASignature -special PSignature - readable writable attr _n_params: List[PParam] = null - readable writable attr _n_type: PType = null - readable writable attr _n_closure_decls: List[PClosureDecl] = null + super Prod + readable var _n_opar: nullable TOpar = null + readable var _n_params: List[AParam] = new List[AParam] + readable var _n_cpar: nullable TCpar = null + readable var _n_type: nullable AType = null + readable var _n_closure_decls: List[AClosureDecl] = new List[AClosureDecl] end class AParam -special PParam - readable writable attr _n_dotdotdot: TDotdotdot = null + super Prod + readable var _n_id: TId + readable var _n_type: nullable AType = null + readable var _n_dotdotdot: nullable TDotdotdot = null end class AClosureDecl -special PClosureDecl - readable writable attr _n_kwwith: TKwwith = null - readable writable attr _n_kwbreak: TKwbreak = null - readable writable attr _n_id: TId = null - readable writable attr _n_signature: PSignature = null + 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 end class AType -special PType - readable writable attr _n_id: TClassid = null - readable writable attr _n_types: List[PType] = null + super Prod + readable var _n_kwnullable: nullable TKwnullable = null + readable var _n_id: TClassid + readable var _n_types: List[AType] = new List[AType] end - - - +class ALabel + super Prod + readable var _n_kwlabel: TKwlabel + readable var _n_id: TId +end +abstract class AExpr super Prod end class ABlockExpr -special PExpr - readable writable attr _n_expr: List[PExpr] = null + super AExpr + readable var _n_expr: List[AExpr] = new List[AExpr] + readable var _n_kwend: nullable TKwend = null end class AVardeclExpr -special PExpr - readable writable attr _n_kwvar: TKwvar = null - readable writable attr _n_id: TId = null - readable writable attr _n_type: PType = null - readable writable attr _n_assign: TAssign = null - readable writable attr _n_expr: PExpr = null + 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 var _n_expr: nullable AExpr = null end class AReturnExpr -special PExpr - readable writable attr _n_kwreturn: TKwreturn = null - readable writable attr _n_expr: PExpr = null + super AExpr + readable var _n_kwreturn: nullable TKwreturn = null + readable var _n_expr: nullable AExpr = null +end +abstract class ALabelable + super Prod + readable var _n_label: nullable ALabel = null end class ABreakExpr -special PExpr - readable writable attr _n_kwbreak: TKwbreak = null - readable writable attr _n_expr: PExpr = null + super AExpr + super ALabelable + readable var _n_kwbreak: TKwbreak + readable var _n_expr: nullable AExpr = null end class AAbortExpr -special PExpr - readable writable attr _n_kwabort: TKwabort = null + super AExpr + readable var _n_kwabort: TKwabort end class AContinueExpr -special PExpr - readable writable attr _n_kwcontinue: TKwcontinue = null - readable writable attr _n_expr: PExpr = null + super AExpr + super ALabelable + readable var _n_kwcontinue: nullable TKwcontinue = null + readable var _n_expr: nullable AExpr = null end class ADoExpr -special PExpr - readable writable attr _n_kwdo: TKwdo = null - readable writable attr _n_block: PExpr = null + super AExpr + super ALabelable + readable var _n_kwdo: TKwdo + readable var _n_block: nullable AExpr = null end class AIfExpr -special PExpr - readable writable attr _n_kwif: TKwif = null - readable writable attr _n_expr: PExpr = null - readable writable attr _n_then: PExpr = null - readable writable attr _n_else: PExpr = null + 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 end class AIfexprExpr -special PExpr - readable writable attr _n_kwif: TKwif = null - readable writable attr _n_expr: PExpr = null - readable writable attr _n_kwthen: TKwthen = null - readable writable attr _n_then: PExpr = null - readable writable attr _n_kwelse: TKwelse = null - readable writable attr _n_else: PExpr = null + 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 end class AWhileExpr -special PExpr - readable writable attr _n_kwwhile: TKwwhile = null - readable writable attr _n_expr: PExpr = null - readable writable attr _n_kwdo: TKwdo = null - readable writable attr _n_block: PExpr = null + 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 +end +class ALoopExpr + super AExpr + super ALabelable + readable var _n_kwloop: TKwloop + readable var _n_block: nullable AExpr = null end class AForExpr -special PExpr - readable writable attr _n_vardecl: PExpr = null - readable writable attr _n_kwdo: TKwdo = null - readable writable attr _n_block: PExpr = null -end -class AForVardeclExpr -special PExpr - readable writable attr _n_kwfor: TKwfor = null - readable writable attr _n_id: TId = null - readable writable attr _n_expr: PExpr = null + super AExpr + super ALabelable + readable var _n_kwfor: TKwfor + readable var _n_ids: List[TId] = new List[TId] + readable var _n_expr: AExpr + readable var _n_kwdo: TKwdo + readable var _n_block: nullable AExpr = null end class AAssertExpr -special PExpr - readable writable attr _n_kwassert: TKwassert = null - readable writable attr _n_id: TId = null - readable writable attr _n_expr: PExpr = null -end -class AAssignFormExpr -special PExpr - readable writable attr _n_assign: TAssign = null - readable writable attr _n_value: PExpr = null -end -class AReassignFormExpr -special PExpr - readable writable attr _n_assign_op: PAssignOp = null - readable writable attr _n_value: PExpr = null + 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 +end +abstract class AAssignFormExpr + super AExpr + readable var _n_assign: TAssign + readable var _n_value: AExpr +end +abstract class AReassignFormExpr + super AExpr + readable var _n_assign_op: AAssignOp + readable var _n_value: AExpr end class AOnceExpr -special AProxyExpr - readable writable attr _n_kwonce: TKwonce = null + super AProxyExpr + readable var _n_kwonce: TKwonce end -class ASendExpr -special PExpr - readable writable attr _n_expr: PExpr = null - readable writable attr _n_closure_defs: List[PClosureDef] = null +abstract class ASendExpr + super AExpr + readable var _n_expr: AExpr + readable var _n_closure_defs: List[AClosureDef] = new List[AClosureDef] end -class ABinopExpr -special ASendExpr - readable writable attr _n_expr2: PExpr = null +abstract class ABinopExpr + super ASendExpr + readable var _n_expr2: AExpr end -class ABoolExpr -special PExpr +abstract class ABoolExpr + super AExpr end class AOrExpr -special ABoolExpr - readable writable attr _n_expr: PExpr = null - readable writable attr _n_expr2: PExpr = null + super ABoolExpr + readable var _n_expr: AExpr + readable var _n_expr2: AExpr end class AAndExpr -special ABoolExpr - readable writable attr _n_expr: PExpr = null - readable writable attr _n_expr2: PExpr = null + super ABoolExpr + readable var _n_expr: AExpr + readable var _n_expr2: AExpr +end +class AOrElseExpr + super ABoolExpr + readable var _n_expr: AExpr + readable var _n_expr2: AExpr end class ANotExpr -special ABoolExpr - readable writable attr _n_kwnot: TKwnot = null - readable writable attr _n_expr: PExpr = null + super ABoolExpr + readable var _n_kwnot: TKwnot + readable var _n_expr: AExpr end class AEqExpr -special ABinopExpr + super ABinopExpr end class AEeExpr -special ABoolExpr - readable writable attr _n_expr: PExpr = null - readable writable attr _n_expr2: PExpr = null + super ABoolExpr + readable var _n_expr: AExpr + readable var _n_expr2: AExpr end class ANeExpr -special ABinopExpr + super ABinopExpr end class ALtExpr -special ABinopExpr + super ABinopExpr end class ALeExpr -special ABinopExpr + super ABinopExpr +end +class ALlExpr + super ABinopExpr end class AGtExpr -special ABinopExpr + super ABinopExpr end class AGeExpr -special ABinopExpr + super ABinopExpr +end +class AGgExpr + super ABinopExpr end class AIsaExpr -special ABoolExpr - readable writable attr _n_expr: PExpr = null - readable writable attr _n_type: PType = null + super ABoolExpr + readable var _n_expr: AExpr + readable var _n_type: AType end class APlusExpr -special ABinopExpr + super ABinopExpr end class AMinusExpr -special ABinopExpr + super ABinopExpr end class AStarshipExpr -special ABinopExpr + super ABinopExpr end class AStarExpr -special ABinopExpr + super ABinopExpr end class ASlashExpr -special ABinopExpr + super ABinopExpr end class APercentExpr -special ABinopExpr + super ABinopExpr end class AUminusExpr -special ASendExpr - readable writable attr _n_minus: TMinus = null + super ASendExpr + readable var _n_minus: TMinus end class ANewExpr -special PExpr - readable writable attr _n_kwnew: TKwnew = null - readable writable attr _n_type: PType = null - readable writable attr _n_id: TId = null - readable writable attr _n_args: List[PExpr] = null + super AExpr + readable var _n_kwnew: TKwnew + readable var _n_type: AType + readable var _n_id: nullable TId = null + readable var _n_args: AExprs end -class AAttrFormExpr -special PExpr - readable writable attr _n_expr: PExpr = null - readable writable attr _n_id: TAttrid = null +abstract class AAttrFormExpr + super AExpr + readable var _n_expr: AExpr + readable var _n_id: TAttrid end class AAttrExpr -special AAttrFormExpr + super AAttrFormExpr end class AAttrAssignExpr -special AAttrFormExpr -special AAssignFormExpr + super AAttrFormExpr + super AAssignFormExpr end -class ACallFormExpr -special ASendExpr - readable writable attr _n_id: TId = null - readable writable attr _n_args: List[PExpr] = null +abstract class ACallFormExpr + super ASendExpr + readable var _n_id: TId + readable var _n_args: AExprs +end +abstract class ASendReassignFormExpr + super ASendExpr + super AReassignFormExpr end class AAttrReassignExpr -special PExpr -special AAttrFormExpr -special AReassignFormExpr + super AExpr + super AAttrFormExpr + super AReassignFormExpr end class ACallExpr -special ACallFormExpr + super ACallFormExpr end class ACallAssignExpr -special ACallFormExpr -special AAssignFormExpr + super ACallFormExpr + super AAssignFormExpr end class ACallReassignExpr -special PExpr -special ACallFormExpr -special AReassignFormExpr + super AExpr + super ACallFormExpr + super ASendReassignFormExpr end class ASuperExpr -special PExpr - readable writable attr _n_qualified: PQualified = null - readable writable attr _n_kwsuper: TKwsuper = null - readable writable attr _n_args: List[PExpr] = null + super AExpr + readable var _n_qualified: nullable AQualified = null + readable var _n_kwsuper: TKwsuper + readable var _n_args: AExprs end class AInitExpr -special ASendExpr - readable writable attr _n_kwinit: TKwinit = null - readable writable attr _n_args: List[PExpr] = null + super ASendExpr + readable var _n_kwinit: TKwinit + readable var _n_args: AExprs end -class ABraFormExpr -special ASendExpr - readable writable attr _n_args: List[PExpr] = null +abstract class ABraFormExpr + super ASendExpr + readable var _n_args: AExprs end class ABraExpr -special ABraFormExpr + super ABraFormExpr end class ABraAssignExpr -special ABraFormExpr -special AAssignFormExpr + super ABraFormExpr + super AAssignFormExpr end -class AVarFormExpr -special PExpr - readable writable attr _n_id: TId = null +abstract class AVarFormExpr + super AExpr + readable var _n_id: TId end class ABraReassignExpr -special ABraFormExpr -special AReassignFormExpr + super ABraFormExpr + super ASendReassignFormExpr +end +class AClosureCallExpr + super AExpr + readable var _n_id: TId + readable var _n_args: AExprs + readable var _n_closure_defs: List[AClosureDef] = new List[AClosureDef] end class AVarExpr -special AVarFormExpr + super AVarFormExpr end class AVarAssignExpr -special AVarFormExpr -special AAssignFormExpr + super AVarFormExpr + super AAssignFormExpr end class AVarReassignExpr -special AVarFormExpr -special AReassignFormExpr -end -class AClosureCallExpr -special ACallFormExpr - init(i: TId, a: List[PExpr], c: List[PClosureDef]) - do - _n_id = i - _n_args = a - _n_closure_defs = c - _n_expr = null - end + super AVarFormExpr + super AReassignFormExpr end -class ARangeExpr -special PExpr - readable writable attr _n_expr: PExpr = null - readable writable attr _n_expr2: PExpr = null +abstract class ARangeExpr + super AExpr + readable var _n_expr: AExpr + readable var _n_expr2: AExpr end class ACrangeExpr -special ARangeExpr + super ARangeExpr + readable var _n_obra: TObra + readable var _n_cbra: TCbra end class AOrangeExpr -special ARangeExpr + super ARangeExpr + readable var _n_obra: TObra + readable var _n_cbra: TObra end class AArrayExpr -special PExpr - readable writable attr _n_exprs: List[PExpr] = null + super AExpr + readable var _n_exprs: AExprs end class ASelfExpr -special PExpr - readable writable attr _n_kwself: TKwself = null + super AExpr + readable var _n_kwself: nullable TKwself end class AImplicitSelfExpr -special ASelfExpr + super ASelfExpr end class ATrueExpr -special ABoolExpr - readable writable attr _n_kwtrue: TKwtrue = null + super ABoolExpr + readable var _n_kwtrue: TKwtrue end class AFalseExpr -special ABoolExpr - readable writable attr _n_kwfalse: TKwfalse = null + super ABoolExpr + readable var _n_kwfalse: TKwfalse end class ANullExpr -special PExpr - readable writable attr _n_kwnull: TKwnull = null + super AExpr + readable var _n_kwnull: TKwnull end class AIntExpr -special PExpr - readable writable attr _n_number: TNumber = null + super AExpr + readable var _n_number: TNumber end class AFloatExpr -special PExpr - readable writable attr _n_float: TFloat = null + super AExpr + readable var _n_float: TFloat end class ACharExpr -special PExpr - readable writable attr _n_char: TChar = null + super AExpr + readable var _n_char: TChar end -class AStringFormExpr -special PExpr +abstract class AStringFormExpr + super AExpr end class AStringExpr -special AStringFormExpr - readable writable attr _n_string: TString = null + super AStringFormExpr + readable var _n_string: TString end class AStartStringExpr -special AStringFormExpr - readable writable attr _n_string: TStartString = null + super AStringFormExpr + readable var _n_string: TStartString end class AMidStringExpr -special AStringFormExpr - readable writable attr _n_string: TMidString = null + super AStringFormExpr + readable var _n_string: TMidString end class AEndStringExpr -special AStringFormExpr - readable writable attr _n_string: TEndString = null + super AStringFormExpr + readable var _n_string: TEndString end class ASuperstringExpr -special PExpr - readable writable attr _n_exprs: List[PExpr] = null + super AExpr + readable var _n_exprs: List[AExpr] = new List[AExpr] end class AParExpr -special AProxyExpr + super AProxyExpr + readable var _n_opar: TOpar + readable var _n_cpar: TCpar end -class AProxyExpr -special PExpr - readable writable attr _n_expr: PExpr = null +abstract class AProxyExpr + super AExpr + readable var _n_expr: AExpr end class AAsCastExpr -special PExpr - readable writable attr _n_expr: PExpr = null - readable writable attr _n_kwas: TKwas = null - readable writable attr _n_type: PType = null -end + 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 +end +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 +end +class AIssetAttrExpr + super AAttrFormExpr + readable var _n_kwisset: TKwisset +end +abstract class AExprs + super Prod + readable var _n_exprs: List[AExpr] = new List[AExpr] +end +class ADebugTypeExpr + super AExpr + readable var _n_kwdebug: TKwdebug + readable var _n_kwtype: TKwtype + readable var _n_expr: AExpr + readable var _n_type: AType +end +class AListExprs + super AExprs +end +class AParExprs + super AExprs + readable var _n_opar: TOpar + readable var _n_cpar: TCpar +end +class ABraExprs + super AExprs + readable var _n_obra: TObra + readable var _n_cbra: TCbra +end +abstract class AAssignOp super Prod end class APlusAssignOp -special PAssignOp - readable writable attr _n_pluseq: TPluseq = null + super AAssignOp + readable var _n_pluseq: TPluseq end class AMinusAssignOp -special PAssignOp - readable writable attr _n_minuseq: TMinuseq = null + super AAssignOp + readable var _n_minuseq: TMinuseq end class AClosureDef -special PClosureDef - readable writable attr _n_kwwith: TKwwith = null - readable writable attr _n_id: List[TId] = null - readable writable attr _n_kwdo: TKwdo = null - readable writable attr _n_expr: PExpr = null + super ALabelable + readable var _n_bang: TBang + readable var _n_id: AClosureId + readable var _n_ids: List[TId] = new List[TId] + 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 +special Prod + readable var _n_quad: nullable TQuad = null + readable var _n_path: List[TId] = new List[TId] + readable var _n_id: TId end class AQualified -special PQualified - readable writable attr _n_id: List[TId] = null - readable writable attr _n_classid: TClassid = null + super Prod + readable var _n_quad: nullable TQuad = null + readable var _n_id: List[TId] = new List[TId] + readable var _n_classid: nullable TClassid = null end class ADoc -special PDoc - readable writable attr _n_comment: List[TComment] = null + super Prod + readable var _n_comment: List[TComment] = new List[TComment] end class Start -special Prod - readable writable attr _n_base: PModule - readable writable attr _n_eof: EOF + super Prod + readable var _n_base: nullable AModule + readable var _n_eof: EOF + init(n_base: nullable AModule, n_eof: EOF) + do + self._n_base = n_base + self._n_eof = n_eof + end end