nitc :: PostTypingVisitor :: defaultinit
nitc $ PostTypingVisitor :: SELF
Type of this instance, automatically specialized in every classnitc $ PostTypingVisitor :: visit
What the visitor do when a node is visitedcore :: Object :: class_factory
Implementation used byget_class
to create the specific class.
nitc :: Visitor :: current_node=
The current visited nodenitc :: Visitor :: defaultinit
nitc :: PostTypingVisitor :: defaultinit
core :: Object :: defaultinit
nitc :: Visitor :: enter_visit
Ask the visitor to visit a given node.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.
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).
private class PostTypingVisitor
super Visitor
var type_visitor: TypeVisitor
redef fun visit(n) do
n.visit_all(self)
n.accept_post_typing(type_visitor)
if n isa AExpr and n.mtype == null and not n.is_typed then
n.is_broken = true
end
end
end
src/semantize/typing.nit:939,1--949,3