Abstract standard visitor on the AST

Introduced properties

private var _current_node: nullable ANode

nitc :: Visitor :: _current_node

The current visited node
fun current_node: nullable ANode

nitc :: Visitor :: current_node

The current visited node
fun current_node=(current_node: nullable ANode)

nitc :: Visitor :: current_node=

The current visited node
fun enter_visit(e: nullable ANode)

nitc :: Visitor :: enter_visit

Ask the visitor to visit a given node.
protected abstract fun visit(e: ANode)

nitc :: Visitor :: visit

What the visitor do when a node is visited

Redefined properties

redef type SELF: Visitor

nitc $ Visitor :: SELF

Type of this instance, automatically specialized in every class

All properties

fun !=(other: nullable Object): Bool

core :: Object :: !=

Have self and other different values?
fun ==(other: nullable Object): Bool

core :: Object :: ==

Have self and other the same value?
type CLASS: Class[SELF]

core :: Object :: CLASS

The type of the class of self.
type SELF: Object

core :: Object :: SELF

Type of this instance, automatically specialized in every class
private var _current_node: nullable ANode

nitc :: Visitor :: _current_node

The current visited node
protected fun class_factory(name: String): CLASS

core :: Object :: class_factory

Implementation used by get_class to create the specific class.
fun class_name: String

core :: Object :: class_name

The class name of the object.
fun current_node: nullable ANode

nitc :: Visitor :: current_node

The current visited node
fun current_node=(current_node: nullable ANode)

nitc :: Visitor :: current_node=

The current visited node
fun enter_visit(e: nullable ANode)

nitc :: Visitor :: enter_visit

Ask the visitor to visit a given node.
fun get_class: CLASS

core :: Object :: get_class

The meta-object representing the dynamic type of self.
fun hash: Int

core :: Object :: hash

The hash code of the object.
init init

core :: Object :: init

fun inspect: String

core :: Object :: inspect

Developer readable representation of self.
protected fun inspect_head: String

core :: Object :: inspect_head

Return "CLASSNAME:#OBJECTID".
intern fun is_same_instance(other: nullable Object): Bool

core :: Object :: is_same_instance

Return true if self and other are the same instance (i.e. same identity).
fun is_same_serialized(other: nullable Object): Bool

core :: Object :: is_same_serialized

Is self the same as other in a serialization context?
intern fun is_same_type(other: Object): Bool

core :: Object :: is_same_type

Return true if self and other have the same dynamic type.
private intern fun native_class_name: CString

core :: Object :: native_class_name

The class name of the object in CString format.
intern fun object_id: Int

core :: Object :: object_id

An internal hash code for the object based on its identity.
fun output

core :: Object :: output

Display self on stdout (debug only).
intern fun output_class_name

core :: Object :: output_class_name

Display class name on stdout (debug only).
fun serialization_hash: Int

core :: Object :: serialization_hash

Hash value use for serialization
intern fun sys: Sys

core :: Object :: sys

Return the global sys object, the only instance of the Sys class.
abstract fun to_jvalue(env: JniEnv): JValue

core :: Object :: to_jvalue

fun to_s: String

core :: Object :: to_s

User readable representation of self.
protected abstract fun visit(e: ANode)

nitc :: Visitor :: visit

What the visitor do when a node is visited
package_diagram nitc::Visitor Visitor core::Object Object nitc::Visitor->core::Object nitc::Visitor... ... nitc::Visitor...->nitc::Visitor

Parents

interface Object

core :: Object

The root of the class hierarchy.

Children

class ASTDump

nitc :: ASTDump

A helper class to handle (print) Nit AST as an OrderedTree
class ASTValidationVisitor

nitc :: ASTValidationVisitor

Check the consitency of AST
private class ASelfVisitor

nitc :: ASelfVisitor

private class ATypeCounterVisitor

nitc :: ATypeCounterVisitor

The job of this visitor is to resolve all types found
private class AnnotationPhaseVisitor

nitc :: AnnotationPhaseVisitor

Collect all annotation
private class CallSiteVisitor

nitc :: CallSiteVisitor

This visitor checks the callsite to see if the target mpropdef has a contract.
private class CloneVisitor

nitc :: CloneVisitor

private class ComputeProdLocationVisitor

nitc :: ComputeProdLocationVisitor

Find location of production nodes
private class ContractsVisitor

nitc :: ContractsVisitor

Visitor to build all contracts.
private class DivByZeroVisitor

nitc :: DivByZeroVisitor

The real visitor that does the real job
private class ExplainAssertVisitor

nitc :: ExplainAssertVisitor

Visitor to find and explain asserts
private class FlowVisitor

nitc :: FlowVisitor

The visitor that determine flowcontext for nodes
class JavaCompilerVisitor

nitc :: JavaCompilerVisitor

The class visiting the AST
private class LiteralVisitor

nitc :: LiteralVisitor

private class MPropertyCallVisitor

nitc :: MPropertyCallVisitor

Visitor looking for calls to a MProperty (new T).
private class NullableSends

nitc :: NullableSends

private class PTokenVisitor

nitc :: PTokenVisitor

private class RegexVisitor

nitc :: RegexVisitor

private class ScopeVisitor

nitc :: ScopeVisitor

Visit a npropdef and:
abstract class StaticAnalysis

nitc :: StaticAnalysis

The base of all analysis performed statically.
private class StringFinder

nitc :: StringFinder

private class TypeInitVisitor

nitc :: TypeInitVisitor

Visitor looking for initialized MType (new T).

Descendants

class ForwardAnalysis

nitc :: ForwardAnalysis

An analysis go forward from the entry point to the exit point.
class ReachingDefsAnalysis

nitc :: ReachingDefsAnalysis

Determines wich variables definitions reach each statement.

Class definitions

nitc $ Visitor
# Abstract standard visitor on the AST
abstract class Visitor
	# What the visitor do when a node is visited
	# Concrete visitors should implement this method.
	# @toimplement
	protected fun visit(e: ANode) is abstract

	# Ask the visitor to visit a given node.
	# Usually automatically called by visit_all* methods.
	# This method should not be redefined
	fun enter_visit(e: nullable ANode)
	do
		if e == null then return
		var old = _current_node
		_current_node = e
		visit(e)
		_current_node = old
	end

	# The current visited node
	var current_node: nullable ANode = null is writable
end
src/parser/parser_nodes.nit:460,1--481,3