1 # This file is part of NIT ( http://www.nitlanguage.org ).
3 # Copyright 2008-2009 Jean Privat <jean@pryen.org>
4 # Copyright 2009 Jean-Sebastien Gelinas <calestar@gmail.com>
6 # Licensed under the Apache License, Version 2.0 (the "License");
7 # you may not use this file except in compliance with the License.
8 # You may obtain a copy of the License at
10 # http://www.apache.org/licenses/LICENSE-2.0
12 # Unless required by applicable law or agreed to in writing, software
13 # distributed under the License is distributed on an "AS IS" BASIS,
14 # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
15 # See the License for the specific language governing permissions and
16 # limitations under the License.
18 # AST nodes of the Nit language
19 # Was previously based on parser_abs.nit.
24 # Root of the AST hierarchy
26 var _location
: nullable Location
27 # Location is set during AST building. Once built, location cannon be null
28 # However, manual instanciated nodes may need mode care
29 fun location
: Location do return _location
.as(not null)
32 # Ancestor of all tokens
37 # Ancestor of all productions
40 fun location
=(l
: Location) do _location
= l
305 private init noinit
do end
309 private init noinit
do end
314 readable var _n_packagedecl
: nullable APackagedecl = null
315 readable var _n_imports
: List[AImport] = new List[AImport]
316 readable var _n_classdefs
: List[AClassdef] = new List[AClassdef]
320 readable var _n_doc
: nullable ADoc = null
321 readable var _n_kwpackage
: TKwpackage
322 readable var _n_id
: TId
324 class AImport special Prod end
327 readable var _n_visibility
: AVisibility
328 readable var _n_kwimport
: TKwimport
329 readable var _n_id
: TId
333 readable var _n_visibility
: AVisibility
334 readable var _n_kwimport
: TKwimport
335 readable var _n_kwend
: TKwend
337 class AVisibility special Prod end
338 class APublicVisibility
341 class APrivateVisibility
343 readable var _n_kwprivate
: TKwprivate
345 class AProtectedVisibility
347 readable var _n_kwprotected
: TKwprotected
349 class AIntrudeVisibility
351 readable var _n_kwintrude
: TKwintrude
353 class AClassdef special Prod end
356 readable var _n_doc
: nullable ADoc = null
357 readable var _n_kwredef
: nullable TKwredef = null
358 readable var _n_visibility
: AVisibility
359 readable var _n_classkind
: AClasskind
360 readable var _n_id
: nullable TClassid = null
361 readable var _n_formaldefs
: List[AFormaldef] = new List[AFormaldef]
362 readable var _n_superclasses
: List[ASuperclass] = new List[ASuperclass]
363 readable var _n_propdefs
: List[APropdef] = new List[APropdef]
367 readable var _n_propdefs
: List[APropdef] = new List[APropdef]
371 readable var _n_propdefs
: List[APropdef] = new List[APropdef]
373 class AClasskind special Prod end
374 class AConcreteClasskind
376 readable var _n_kwclass
: TKwclass
378 class AAbstractClasskind
380 readable var _n_kwabstract
: TKwabstract
381 readable var _n_kwclass
: TKwclass
383 class AInterfaceClasskind
385 readable var _n_kwinterface
: TKwinterface
387 class AUniversalClasskind
389 readable var _n_kwuniversal
: TKwuniversal
393 readable var _n_id
: TClassid
394 readable var _n_type
: nullable AType = null
398 readable var _n_kwspecial
: nullable TKwspecial = null
399 readable var _n_kwsuper
: nullable TKwsuper = null
400 readable var _n_type
: AType
402 class APropdef special Prod
403 readable var _n_doc
: nullable ADoc = null
407 readable var _n_kwredef
: nullable TKwredef = null
408 readable var _n_visibility
: AVisibility
409 readable var _n_kwvar
: TKwvar
410 readable var _n_id
: TAttrid
411 readable var _n_type
: nullable AType = null
412 readable var _n_readable
: nullable AAble = null
413 readable var _n_writable
: nullable AAble = null
414 readable var _n_expr
: nullable AExpr = null
418 readable var _n_kwredef
: nullable TKwredef = null
419 readable var _n_visibility
: nullable AVisibility
420 readable var _n_methid
: nullable AMethid = null
421 readable var _n_signature
: nullable ASignature
423 class ADeferredMethPropdef
425 readable var _n_kwmeth
: TKwmeth
427 class AInternMethPropdef
429 readable var _n_kwmeth
: TKwmeth
431 class AExternMethPropdef
433 readable var _n_kwmeth
: TKwmeth
434 readable var _n_extern
: nullable TString = null
436 class AConcreteMethPropdef
438 readable var _n_kwmeth
: nullable TKwmeth
439 readable var _n_block
: nullable AExpr = null
441 class AConcreteInitPropdef
442 special AConcreteMethPropdef
443 readable var _n_kwinit
: TKwinit
445 class AMainMethPropdef
446 special AConcreteMethPropdef
450 readable var _n_kwredef
: nullable TKwredef = null
451 readable var _n_visibility
: AVisibility
452 readable var _n_kwtype
: TKwtype
453 readable var _n_id
: TClassid
454 readable var _n_type
: AType
456 class AAble special Prod
457 readable var _n_kwredef
: nullable TKwredef = null
461 readable var _n_kwreadable
: TKwreadable
465 readable var _n_kwwritable
: TKwwritable
467 class AMethid special Prod end
470 readable var _n_id
: TId
474 readable var _n_plus
: TPlus
478 readable var _n_minus
: TMinus
482 readable var _n_star
: TStar
486 readable var _n_slash
: TSlash
490 readable var _n_percent
: TPercent
494 readable var _n_eq
: TEq
498 readable var _n_ne
: TNe
502 readable var _n_le
: TLe
506 readable var _n_ge
: TGe
510 readable var _n_lt
: TLt
514 readable var _n_gt
: TGt
518 readable var _n_obra
: TObra
519 readable var _n_cbra
: TCbra
521 class AStarshipMethid
523 readable var _n_starship
: TStarship
527 readable var _n_id
: TId
528 readable var _n_assign
: TAssign
530 class ABraassignMethid
532 readable var _n_obra
: TObra
533 readable var _n_cbra
: TCbra
534 readable var _n_assign
: TAssign
538 readable var _n_params
: List[AParam] = new List[AParam]
539 readable var _n_type
: nullable AType = null
540 readable var _n_closure_decls
: List[AClosureDecl] = new List[AClosureDecl]
544 readable var _n_id
: TId
545 readable var _n_type
: nullable AType = null
546 readable var _n_dotdotdot
: nullable TDotdotdot = null
550 readable var _n_kwbreak
: nullable TKwbreak = null
551 readable var _n_bang
: TBang
552 readable var _n_id
: TId
553 readable var _n_signature
: ASignature
554 readable var _n_expr
: nullable AExpr = null
558 readable var _n_kwnullable
: nullable TKwnullable = null
559 readable var _n_id
: TClassid
560 readable var _n_types
: List[AType] = new List[AType]
564 readable var _n_kwlabel
: TKwlabel
565 readable var _n_id
: TId
567 class AExpr special Prod end
570 readable var _n_expr
: List[AExpr] = new List[AExpr]
574 readable var _n_kwvar
: TKwvar
575 readable var _n_id
: TId
576 readable var _n_type
: nullable AType = null
577 readable var _n_assign
: nullable TAssign = null
578 readable var _n_expr
: nullable AExpr = null
582 readable var _n_kwreturn
: nullable TKwreturn = null
583 readable var _n_expr
: nullable AExpr = null
587 readable var _n_label
: nullable ALabel = null
592 readable var _n_kwbreak
: TKwbreak
593 readable var _n_expr
: nullable AExpr = null
597 readable var _n_kwabort
: TKwabort
602 readable var _n_kwcontinue
: nullable TKwcontinue = null
603 readable var _n_expr
: nullable AExpr = null
608 readable var _n_kwdo
: TKwdo
609 readable var _n_block
: nullable AExpr = null
613 readable var _n_kwif
: TKwif
614 readable var _n_expr
: AExpr
615 readable var _n_then
: nullable AExpr = null
616 readable var _n_else
: nullable AExpr = null
620 readable var _n_kwif
: TKwif
621 readable var _n_expr
: AExpr
622 readable var _n_kwthen
: TKwthen
623 readable var _n_then
: AExpr
624 readable var _n_kwelse
: TKwelse
625 readable var _n_else
: AExpr
630 readable var _n_kwwhile
: TKwwhile
631 readable var _n_expr
: AExpr
632 readable var _n_kwdo
: TKwdo
633 readable var _n_block
: nullable AExpr = null
638 readable var _n_kwloop
: TKwloop
639 readable var _n_block
: nullable AExpr = null
644 readable var _n_kwfor
: TKwfor
645 readable var _n_id
: TId
646 readable var _n_expr
: AExpr
647 readable var _n_kwdo
: TKwdo
648 readable var _n_block
: nullable AExpr = null
652 readable var _n_kwassert
: TKwassert
653 readable var _n_id
: nullable TId = null
654 readable var _n_expr
: AExpr
655 readable var _n_else
: nullable AExpr = null
657 class AAssignFormExpr
659 readable var _n_assign
: TAssign
660 readable var _n_value
: AExpr
662 class AReassignFormExpr
664 readable var _n_assign_op
: AAssignOp
665 readable var _n_value
: AExpr
669 readable var _n_kwonce
: TKwonce
673 readable var _n_expr
: AExpr
674 readable var _n_closure_defs
: List[AClosureDef] = new List[AClosureDef]
678 readable var _n_expr2
: AExpr
685 readable var _n_expr
: AExpr
686 readable var _n_expr2
: AExpr
690 readable var _n_expr
: AExpr
691 readable var _n_expr2
: AExpr
695 readable var _n_kwnot
: TKwnot
696 readable var _n_expr
: AExpr
703 readable var _n_expr
: AExpr
704 readable var _n_expr2
: AExpr
723 readable var _n_expr
: AExpr
724 readable var _n_type
: AType
746 readable var _n_minus
: TMinus
750 readable var _n_kwnew
: TKwnew
751 readable var _n_type
: AType
752 readable var _n_id
: nullable TId = null
753 readable var _n_args
: List[AExpr] = new List[AExpr]
757 readable var _n_expr
: AExpr
758 readable var _n_id
: TAttrid
761 special AAttrFormExpr
763 class AAttrAssignExpr
764 special AAttrFormExpr
765 special AAssignFormExpr
769 readable var _n_id
: TId
770 readable var _n_args
: List[AExpr] = new List[AExpr]
772 class AAttrReassignExpr
774 special AAttrFormExpr
775 special AReassignFormExpr
778 special ACallFormExpr
780 class ACallAssignExpr
781 special ACallFormExpr
782 special AAssignFormExpr
784 class ACallReassignExpr
786 special ACallFormExpr
787 special AReassignFormExpr
791 readable var _n_qualified
: nullable AQualified = null
792 readable var _n_kwsuper
: TKwsuper
793 readable var _n_args
: List[AExpr] = new List[AExpr]
797 readable var _n_kwinit
: TKwinit
798 readable var _n_args
: List[AExpr] = new List[AExpr]
802 readable var _n_args
: List[AExpr] = new List[AExpr]
809 special AAssignFormExpr
813 readable var _n_id
: TId
815 class ABraReassignExpr
817 special AReassignFormExpr
819 class AClosureCallExpr
821 readable var _n_id
: TId
822 readable var _n_args
: List[AExpr] = new List[AExpr]
823 readable var _n_closure_defs
: List[AClosureDef] = new List[AClosureDef]
830 special AAssignFormExpr
832 class AVarReassignExpr
834 special AReassignFormExpr
838 readable var _n_expr
: AExpr
839 readable var _n_expr2
: AExpr
849 readable var _n_exprs
: List[AExpr] = new List[AExpr]
853 readable var _n_kwself
: nullable TKwself
855 class AImplicitSelfExpr
860 readable var _n_kwtrue
: TKwtrue
864 readable var _n_kwfalse
: TKwfalse
868 readable var _n_kwnull
: TKwnull
872 readable var _n_number
: TNumber
876 readable var _n_float
: TFloat
880 readable var _n_char
: TChar
882 class AStringFormExpr
886 special AStringFormExpr
887 readable var _n_string
: TString
889 class AStartStringExpr
890 special AStringFormExpr
891 readable var _n_string
: TStartString
894 special AStringFormExpr
895 readable var _n_string
: TMidString
898 special AStringFormExpr
899 readable var _n_string
: TEndString
901 class ASuperstringExpr
903 readable var _n_exprs
: List[AExpr] = new List[AExpr]
910 readable var _n_expr
: AExpr
914 readable var _n_expr
: AExpr
915 readable var _n_kwas
: TKwas
916 readable var _n_type
: AType
920 readable var _n_expr
: AExpr
921 readable var _n_kwas
: TKwas
922 readable var _n_kwnot
: TKwnot
923 readable var _n_kwnull
: TKwnull
926 special AAttrFormExpr
927 readable var _n_kwisset
: TKwisset
929 class AAssignOp special Prod end
932 readable var _n_pluseq
: TPluseq
936 readable var _n_minuseq
: TMinuseq
940 readable var _n_bang
: TBang
941 readable var _n_id
: AClosureId
942 readable var _n_ids
: List[TId] = new List[TId]
943 readable var _n_kwdo
: nullable TKwdo = null
944 readable var _n_expr
: nullable AExpr = null
949 class ASimpleClosureId
951 readable var _n_id
: TId
953 class ABreakClosureId
955 readable var _n_kwbreak
: TKwbreak
959 readable var _n_id
: List[TId] = new List[TId]
960 readable var _n_classid
: nullable TClassid = null
964 readable var _n_comment
: List[TComment] = new List[TComment]
969 readable var _n_base
: nullable AModule
970 readable var _n_eof
: EOF