nitc :: ACastAsExternCall :: _n_from_type
The origin type of the castnitc :: ACastAsExternCall :: defaultinit
nitc :: ACastAsExternCall :: n_from_type=
The origin type of the castnitc :: ACastAsExternCall :: n_to_type=
The destination of the castnitc $ ACastAsExternCall :: SELF
Type of this instance, automatically specialized in every classnitc :: pretty $ ACastAsExternCall :: accept_pretty_printer
Start visit ofself
using a PrettyPrinterVisitor
nitc :: parser_prod $ ACastAsExternCall :: n_from_type=
The origin type of the castnitc :: parser_prod $ ACastAsExternCall :: n_to_type=
The destination of the castnitc :: parser_prod $ ACastAsExternCall :: replace_child
Replace a child with an other node in the ASTnitc :: nitni_callbacks $ ACastAsExternCall :: to_mtype
nitc :: nitni_callbacks $ ACastAsExternCall :: verify_and_collect
Verify this explicit declaration of call from C and collect all relevant callbacksnitc :: parser_prod $ ACastAsExternCall :: visit_all
Visit all nodes in order.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 :: 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 :: ACastAsExternCall :: _n_from_type
The origin type of the castnitc :: ANode :: accept_ast_validation
nitc :: ANode :: accept_auto_super_init
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 :: ANode :: after_simple_misc
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 :: ANode :: create_contracts
nitc :: ANode :: decorate_tag
Add aditionnal information on a child-token and return an additionnal HInfoBox on itnitc :: Prod :: defaultinit
nitc :: ACastAsExternCall :: defaultinit
core :: Object :: defaultinit
core :: Cloneable :: defaultinit
nitc :: ACastExternCall :: defaultinit
nitc :: AExternCall :: defaultinit
nitc :: ANode :: defaultinit
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 :: ACastExternCall :: from_mtype
nitc :: ANode :: full_transform_visitor
nitc :: 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 :: AExternCall :: init_aexterncall
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 :: 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 :: ACastAsExternCall :: n_from_type=
The origin type of the castnitc :: ACastAsExternCall :: n_to_type=
The destination of the castcore :: 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 :: 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 :: ACastExternCall :: to_mtype
nitc :: AExternCall :: verify_and_collect
Verify this explicit declaration of call from C and collect all relevant callbacksnitc :: ANode :: was_inline
Doesself
was written in one line before transformation?
# A single callback declaration on a cast to a given type
class ACastAsExternCall
super ACastExternCall
# The origin type of the cast
var n_from_type: AType is writable, noinit
# The dot (`.`)
var n_dot: nullable TDot = null is writable
# The `as` keyword
var n_kwas: TKwas is writable, noinit
# The destination of the cast
var n_to_type: AType is writable, noinit
end
src/parser/parser_nodes.nit:1541,1--1556,3
redef class ACastAsExternCall
init init_acastasexterncall (
n_from_type: nullable AType,
n_dot: nullable TDot,
n_kwas: nullable TKwas,
n_to_type: nullable AType
)
do
_n_from_type = n_from_type.as(not null)
n_from_type.parent = self
_n_dot = n_dot
if n_dot != null then n_dot.parent = self
_n_kwas = n_kwas.as(not null)
n_kwas.parent = self
_n_to_type = n_to_type.as(not null)
n_to_type.parent = self
end
redef fun replace_child(old_child: ANode, new_child: nullable ANode)
do
if _n_from_type == old_child then
n_from_type = new_child.as(AType)
return
end
if _n_dot == old_child then
n_dot = new_child.as(nullable TDot)
return
end
if _n_kwas == old_child then
n_kwas = new_child.as(TKwas)
return
end
if _n_to_type == old_child then
n_to_type = new_child.as(AType)
return
end
end
redef fun n_from_type=(node)
do
_n_from_type = node
node.parent = self
end
redef fun n_dot=(node)
do
_n_dot = node
if node != null then node.parent = self
end
redef fun n_kwas=(node)
do
_n_kwas = node
node.parent = self
end
redef fun n_to_type=(node)
do
_n_to_type = node
node.parent = self
end
redef fun visit_all(v: Visitor)
do
v.enter_visit(_n_from_type)
v.enter_visit(_n_dot)
v.enter_visit(_n_kwas)
v.enter_visit(_n_to_type)
end
end
src/parser/parser_prod.nit:8285,1--8352,3
redef class ACastAsExternCall
redef fun from_mtype do return n_from_type.mtype.as(not null)
redef fun to_mtype do return n_to_type.mtype.as(not null)
redef fun verify_and_collect(npropdef, callback_set, toolcontext)
do
var mclassdef = npropdef.mpropdef.mclassdef
toolcontext.modelbuilder.resolve_mtype_unchecked(mclassdef, n_from_type, true)
toolcontext.modelbuilder.resolve_mtype_unchecked(mclassdef, n_to_type, true)
super
end
end
src/nitni/nitni_callbacks.nit:394,1--405,3