# Root of the AST class-hierarchy
abstract class ANode
- # Location is set during AST building. Once built, location cannon be null.
+ # Location is set during AST building. Once built, location can not be null.
# However, manual instantiated nodes may need more care.
var location: Location is writable, noinit
super TokenKeyword
end
-# The keywords `enum` ane `universal`
+# The keywords `enum` and `universal`
class TKwenum
super TokenKeyword
end
+# The keyword `subset`
+class TKwsubset
+ super TokenKeyword
+end
+
# The keyword `end`
class TKwend
super TokenKeyword
super TokenOperator
end
+# The operator `?`
+class TQuest
+ super TokenOperator
+end
+
# The operator `!`
class TBang
super TokenOperator
end
end
+# A malformed triple quoted string
+class TBadTString
+ super TBadString
+end
+
# A malformed char
class TBadChar
super Token
super Token
end
+# A malformed extern code block
+class TBadExtern
+ super Token
+ redef fun to_s
+ do
+ do return "malformed extern segment {text}"
+ end
+end
+
# A end of file
class EOF
super Token
end
# A class definition
-# While most definition are `AStdClassdef`
-# There is tow special case of class definition
+#
+# While most definitions are `AStdClassdef`s,
+# there are 2 special cases of class definitions.
abstract class AClassdef
super Prod
# All the declared properties (including the main method)
var n_kwclass: nullable TKwclass = null is writable
end
+class ASubsetClasskind
+ super AClasskind
+
+ # The `subset` keyword.
+ var n_kwsubset: TKwsubset is writable, noinit
+
+ redef fun visit_all(v) do
+ # TODO: Remove this redefinition once generated from the grammar.
+ v.enter_visit(n_kwsubset)
+ end
+end
+
# The definition of a formal generic parameter type. eg `X: Y`
class AFormaldef
super Prod
# The `init` keyword, if any
var n_kwinit: nullable TKwinit = null is writable
+ # The `isa` keyword, if any
+ var n_kwisa: nullable TKwisa = null is writable
+
# The `new` keyword, if any
var n_kwnew: nullable TKwnew = null is writable
var n_dotdotdot: TDotdotdot is writable, noinit
end
+# A receiver with a `?` suffix used in safe call operator.
+class ASafeExpr
+ super AExpr
+
+ # The expression made safe
+ var n_expr: AExpr is writable, noinit
+
+ # The `?` symbol
+ var n_quest: TQuest is writable, noinit
+end
+
# An named notation used to pass an expression by name in a parameter
class ANamedargExpr
super AExpr
super Prod
# The identifier of the annotation.
- # Can be a TId of a keyword
+ #
+ # Can be a TId or a keyword.
var n_id: Token is writable, noinit
end