x.m(y)
. OR just a simple idNote: because the parser cannot distinguish a variable read with a method call with an implicit receiver and no arguments, it always returns a ACallExpr
.
Semantic analysis have to transform them to instance of AVarExpr
.
nitc :: ACallExpr :: defaultinit
nitc :: ACallExpr :: init_acallexpr
nitc :: explain_assert $ ACallExpr :: accept_explain_assert
Fillv
to explain this node if the parent assert fails
nitc :: pretty $ ACallExpr :: accept_pretty_printer
Start visit ofself
using a PrettyPrinterVisitor
nitc :: regex_phase $ ACallExpr :: accept_regex_visitor
nitc :: typing $ ACallExpr :: compute_raw_arguments
nitc :: typing $ ACallExpr :: property_name
The name of the propertynitc :: typing $ ACallExpr :: property_node
The node identifying the name (id, operator, etc) for messages.nitc :: parser_prod $ ACallExpr :: replace_child
Replace a child with an other node in the ASTnitc :: scope $ ACallExpr :: variable_create
Create a variable access corresponding to the call formnitc :: AExpr :: _after_flow_context
The flow after the full evaluation of the expression/statementnitc :: AExpr :: _comprehension
Is non-null ifself
is a leaf of a comprehension array construction.
nitc :: Prod :: _first_location
Location on the first token after the start of a productionnitc :: Prod :: _first_token
The first token of the production in the ASTnitc :: AExpr :: _implicit_cast_to
If required, the following implicit cast.as(XXX)
nitc :: ANode :: _is_broken
The indication that the node did not pass some semantic verifications.nitc :: Prod :: _last_token
The last token of the production in the ASTnitc :: Prod :: _n_annotations
All the annotations attached directly to the nodenitc :: AExpr :: _vararg_decl
It indicates the number of arguments collected as a vararg.nitc :: AExpr :: _variable_cache
nitc :: ANode :: accept_ast_validation
nitc :: ANode :: accept_auto_super_init
nitc :: AExpr :: accept_explain_assert
Fillv
to explain this node if the parent assert fails
nitc :: ANode :: accept_flow_visitor
nitc :: ANode :: accept_forward_analysis
Apply the forward analysisv
to self
.
nitc :: ANode :: accept_literal
nitc :: ANode :: accept_post_typing
nitc :: ANode :: accept_pretty_printer
Start visit ofself
using a PrettyPrinterVisitor
nitc :: ANode :: accept_reaching_defs
Apply a ReachingDefsAnalysis toself
.
nitc :: ANode :: accept_regex_visitor
nitc :: ANode :: accept_scope_visitor
nitc :: ANode :: accept_simple_misc
nitc :: ANode :: accept_string_finder
nitc :: AExpr :: accept_typing
nitc :: AExpr :: after_flow_context
The flow after the full evaluation of the expression/statementnitc :: AExpr :: after_flow_context=
The flow after the full evaluation of the expression/statementnitc :: ANode :: after_simple_misc
nitc :: AExpr :: allocate_mtype
Make themtype
of the expression live
nitc :: ANode :: bad_expr_message
An additional information message to explain the role of a child expression.nitc :: ANode :: check_callsite
core :: Object :: class_factory
Implementation used byget_class
to create the specific class.
nitc :: ANode :: collect_annotations_by_name
Do a deep search and return an array of node that are annotatednitc :: Prod :: collect_comments
Collect allTComment
contained in the production
nitc :: ANode :: collect_length
Collect the length (inChar
) of the node.
nitc :: ANode :: collect_tokens_by_text
Do a deep search and return an array of tokens that match a given textnitc :: ANode :: common_parent
The most specific common parent betweenself
and other
nitc :: AExpr :: comprehension
Is non-null ifself
is a leaf of a comprehension array construction.
nitc :: AExpr :: comprehension=
Is non-null ifself
is a leaf of a comprehension array construction.
nitc :: ANode :: create_contracts
nitc :: ANode :: decorate_tag
Add aditionnal information on a child-token and return an additionnal HInfoBox on itnitc :: ASendExpr :: defaultinit
nitc :: ACallFormExpr :: defaultinit
nitc :: AExpr :: defaultinit
nitc :: ACallExpr :: defaultinit
nitc :: Prod :: defaultinit
nitc :: ANode :: defaultinit
core :: Object :: defaultinit
core :: Cloneable :: defaultinit
nitc :: AExpr :: detach_with_placeholder
Thedetach
method completely remove the node in the parent.
nitc :: ANode :: do_cloneable
nitc :: Prod :: first_location
Location on the first token after the start of a productionnitc :: Prod :: first_location=
Location on the first token after the start of a productionnitc :: Prod :: first_token
The first token of the production in the ASTnitc :: Prod :: first_token=
The first token of the production in the ASTnitc :: ANode :: force_block=
Forceself
to be rendered as a block.
nitc :: ANode :: force_inline=
Forceself
to be rendered as a line.
nitc :: ANode :: full_transform_visitor
nitc :: AExpr :: generate_basic_blocks
Generate recursively basic block for this expressionnitc :: Prod :: get_annotations
Return all its annotations of a given name in the order of their declarationnitc :: Prod :: get_single_annotation
Try to get its single annotation with a given namenitc :: ANode :: hot_location
The location of the important part of the node (identifier or whatever)nitc :: AExpr :: implicit_cast_to
If required, the following implicit cast.as(XXX)
nitc :: AExpr :: implicit_cast_to=
If required, the following implicit cast.as(XXX)
nitc :: ACallExpr :: init_acallexpr
nitc :: ASendExpr :: init_asendexpr
nitc :: ANode :: is_broken=
The indication that the node did not pass some semantic verifications.nitc :: ANode :: is_noserialize
Is this node annotated to not be made serializable?core :: Object :: is_same_instance
Return true ifself
and other
are the same instance (i.e. same identity).
core :: Object :: is_same_serialized
Isself
the same as other
in a serialization context?
core :: Object :: is_same_type
Return true ifself
and other
have the same dynamic type.
nitc :: ANode :: is_serialize
Is this node annotated to be made serializable?nitc :: ANode :: is_structural
Isself
a token or a pure-structural production like AQId
?
nitc :: Prod :: last_token
The last token of the production in the ASTnitc :: Prod :: last_token=
The last token of the production in the ASTnitc :: AExpr :: make_var_read
Return a new variable read that contains the value of the expressionnitc :: ANode :: must_be_block
Doesself
have to be rendered as a block?
nitc :: ANode :: must_be_inline
Doesself
have be rendered as a line?
nitc :: Prod :: n_annotations
All the annotations attached directly to the nodenitc :: Prod :: n_annotations=
All the annotations attached directly to the nodecore :: Object :: native_class_name
The class name of the object in CString format.core :: Object :: output_class_name
Display class name on stdout (debug only).nitc :: ANode :: parentize_tokens
Visit the AST and computes advanced AST attributes on Tokens and Prodnitc :: ASendExpr :: property_name
The name of the propertynitc :: ASendExpr :: property_node
The node identifying the name (id, operator, etc) for messages.nitc :: ASendExpr :: raw_arguments
An array of all arguments (excluding self)nitc :: ANode :: replace_child
Replace a child with an other node in the ASTnitc :: ANode :: replace_with
Replace itself with an other node in the ASTnitc :: Prod :: start_token
The token where the production really start (skipping ADoc).nitc :: AExpr :: vararg_decl
It indicates the number of arguments collected as a vararg.nitc :: AExpr :: vararg_decl=
It indicates the number of arguments collected as a vararg.nitc :: AExpr :: variable_cache
nitc :: AExpr :: variable_cache=
nitc :: ACallFormExpr :: variable_create
Create a variable access corresponding to the call formnitc :: AExpr :: warn_parentheses
Warn in case of superfluous parenthesesnitc :: ANode :: was_inline
Doesself
was written in one line before transformation?
# A call with a standard method-name and any number of arguments. eg `x.m(y)`. OR just a simple id
# Note: because the parser cannot distinguish a variable read with a method call with an implicit receiver and no arguments, it always returns a `ACallExpr`.
# Semantic analysis have to transform them to instance of `AVarExpr`.
class ACallExpr
super ACallFormExpr
end
src/parser/parser_nodes.nit:2436,1--2441,3
redef class ACallExpr
init init_acallexpr (
n_expr: nullable AExpr,
n_qid: nullable AQid,
n_args: nullable AExprs
)
do
_n_expr = n_expr.as(not null)
n_expr.parent = self
_n_qid = n_qid.as(not null)
n_qid.parent = self
_n_args = n_args.as(not null)
n_args.parent = self
end
redef fun replace_child(old_child: ANode, new_child: nullable ANode)
do
if _n_expr == old_child then
n_expr = new_child.as(AExpr)
return
end
if _n_qid == old_child then
n_qid = new_child.as(AQid)
return
end
if _n_args == old_child then
n_args = new_child.as(AExprs)
return
end
end
redef fun n_expr=(node)
do
_n_expr = node
node.parent = self
end
redef fun n_qid=(node)
do
_n_qid = node
node.parent = self
end
redef fun n_args=(node)
do
_n_args = node
node.parent = self
end
redef fun visit_all(v: Visitor)
do
v.enter_visit(_n_expr)
v.enter_visit(_n_qid)
v.enter_visit(_n_args)
end
end
src/parser/parser_prod.nit:5381,1--5435,3
redef class ACallExpr
redef fun accept_regex_visitor(v)
do
var method = n_qid.n_id
var receiver = n_expr
# Check only string literals on which `to_re` is called
if method.text == "to_re" and receiver isa AStringFormExpr then
# Retrieve regex source
var re_src = receiver.value
# Check for errors by compiling it right now
var re = re_src.to_re
var error = re.compile
re.finalize
if error != null then
v.toolcontext.error(self.location, "Regex Error: " + error.to_s)
end
end
end
end
src/frontend/regex_phase.nit:50,1--73,3
redef class ACallExpr
redef fun accept_pretty_printer(v) do
var can_inline = v.can_inline(self)
v.visit_recv n_expr
if not n_expr isa AImplicitSelfExpr and not can_inline then
v.forcen
v.addt
end
v.visit n_qid
if not n_args.n_exprs.is_empty then
if is_stmt and n_args.n_exprs.length == 1 then
v.adds
if v.current_token isa TOpar then v.skip
v.visit n_args.n_exprs.first
if v.current_token isa TCpar then v.skip
else
v.visit_args n_args.n_exprs
end
end
end
# Is the call alone on its line?
fun is_stmt: Bool do return parent isa ABlockExpr
end
src/pretty.nit:1590,1--1616,3
redef class ACallExpr
private init make(recv: AExpr, callsite: nullable CallSite, args: nullable Array[AExpr])
do
self._n_expr = recv
_n_args = new AListExprs
_n_qid = new AQid
_n_qid.n_id = new TId
_n_qid.n_id.text = callsite.mproperty.name
if args != null then
self.n_args.n_exprs.add_all(args)
end
if callsite != null then
self.callsite = callsite
self.mtype = callsite.msignature.return_mtype
self.is_typed = true
end
end
end
src/astbuilder.nit:620,1--638,3
redef class ACallExpr
redef fun accept_explain_assert(v)
do
if n_expr.mtype == null then return
v.explain_expr n_expr
v.explain_string ".{n_qid.n_id.text}"
if n_args.to_a.not_empty then
v.explain_string "("
v.explain_args n_args
v.explain_string ")"
end
end
end
src/frontend/explain_assert.nit:205,1--219,3