+= something
nitc :: AReassignFormExpr :: _n_assign_op
The combined operator (eg.+=
)
nitc :: AReassignFormExpr :: _n_value
The right-value to apply on the combined operator.nitc :: AReassignFormExpr :: _read_type
nitc :: AReassignFormExpr :: _reassign_callsite
The method designed by the reassign operator.nitc :: AReassignFormExpr :: defaultinit
nitc :: AReassignFormExpr :: n_assign_op=
The combined operator (eg.+=
)
nitc :: AReassignFormExpr :: n_value
The right-value to apply on the combined operator.nitc :: AReassignFormExpr :: n_value=
The right-value to apply on the combined operator.nitc :: AReassignFormExpr :: read_type
nitc :: AReassignFormExpr :: read_type=
nitc :: AReassignFormExpr :: reassign_callsite
The method designed by the reassign operator.nitc :: AReassignFormExpr :: reassign_callsite=
The method designed by the reassign operator.nitc :: AReassignFormExpr :: resolve_reassignment
Determine thereassign_property
nitc $ AReassignFormExpr :: SELF
Type of this instance, automatically specialized in every classnitc :: flow $ AReassignFormExpr :: accept_flow_visitor
nitc :: 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 :: AReassignFormExpr :: _n_assign_op
The combined operator (eg.+=
)
nitc :: AReassignFormExpr :: _n_value
The right-value to apply on the combined operator.nitc :: AReassignFormExpr :: _read_type
nitc :: AReassignFormExpr :: _reassign_callsite
The method designed by the reassign operator.nitc :: 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 :: Prod :: defaultinit
core :: Cloneable :: defaultinit
core :: Object :: defaultinit
nitc :: AReassignFormExpr :: defaultinit
nitc :: AExpr :: defaultinit
nitc :: ANode :: 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 :: 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 nodenitc :: AReassignFormExpr :: n_assign_op=
The combined operator (eg.+=
)
nitc :: AReassignFormExpr :: n_value
The right-value to apply on the combined operator.nitc :: AReassignFormExpr :: n_value=
The right-value to apply on the combined operator.core :: 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 :: AReassignFormExpr :: read_type
nitc :: AReassignFormExpr :: read_type=
nitc :: AReassignFormExpr :: reassign_callsite
The method designed by the reassign operator.nitc :: AReassignFormExpr :: reassign_callsite=
The method designed by the reassign operator.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 :: AReassignFormExpr :: resolve_reassignment
Determine thereassign_property
nitc :: 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 :: AExpr :: warn_parentheses
Warn in case of superfluous parenthesesnitc :: ANode :: was_inline
Doesself
was written in one line before transformation?
x[y,z]+=t
x.m(y)+=z
. OR just a simple complex assignment.
# Whatever is a combined assignment. eg `+= something`
abstract class AReassignFormExpr
super AExpr
# The combined operator (eg. `+=`)
var n_assign_op: AAssignOp is writable, noinit
# The right-value to apply on the combined operator.
var n_value: AExpr is writable, noinit
end
src/parser/parser_nodes.nit:2117,1--2126,3
redef class AReassignFormExpr
redef fun accept_flow_visitor(v)
do
super
self.after_flow_context = v.make_sub_flow
end
end
src/semantize/flow.nit:292,1--298,3
redef class AReassignFormExpr
# The method designed by the reassign operator.
var reassign_callsite: nullable CallSite
var read_type: nullable MType = null
# Determine the `reassign_property`
# `readtype` is the type of the reading of the left value.
# `writetype` is the type of the writing of the left value.
# (Because of `ACallReassignExpr`, both can be different.
# Return the static type of the value to store.
private fun resolve_reassignment(v: TypeVisitor, readtype, writetype: MType): nullable MType
do
var reassign_name = self.n_assign_op.operator
self.read_type = readtype
var callsite = v.build_callsite_by_name(self.n_assign_op, readtype, reassign_name, false)
if callsite == null then return null # Skip error
self.reassign_callsite = callsite
var msignature = callsite.msignature
var rettype = msignature.return_mtype
assert msignature.arity == 1 and rettype != null
var value_type = v.visit_expr_subtype(self.n_value, msignature.mparameters.first.mtype)
if value_type == null then return null # Skip error
v.check_subtype(self, rettype, writetype, false)
return rettype
end
end
src/semantize/typing.nit:1149,1--1180,3