class ASuperPropdef

nitc :: ASuperPropdef

A super-class. eg super X

Introduced properties

private var _n_kwsuper: TKwsuper

nitc :: ASuperPropdef :: _n_kwsuper

The super keyword
private var _n_type: AType

nitc :: ASuperPropdef :: _n_type

The super-class (indicated as a type)
init init_asuperpropdef(n_doc: nullable ADoc, n_kwredef: nullable TKwredef, n_visibility: nullable AVisibility, n_kwsuper: nullable TKwsuper, n_type: nullable AType, n_annotations: nullable AAnnotations)

nitc :: ASuperPropdef :: init_asuperpropdef

fun n_kwsuper: TKwsuper

nitc :: ASuperPropdef :: n_kwsuper

The super keyword
fun n_kwsuper=(n_kwsuper: TKwsuper)

nitc :: ASuperPropdef :: n_kwsuper=

The super keyword
fun n_type: AType

nitc :: ASuperPropdef :: n_type

The super-class (indicated as a type)
fun n_type=(n_type: AType)

nitc :: ASuperPropdef :: n_type=

The super-class (indicated as a type)

Redefined properties

redef type SELF: ASuperPropdef

nitc $ ASuperPropdef :: SELF

Type of this instance, automatically specialized in every class
redef fun accept_pretty_printer(v: PrettyPrinterVisitor)

nitc :: pretty $ ASuperPropdef :: accept_pretty_printer

Start visit of self using a PrettyPrinterVisitor
redef fun is_inlinable: Bool

nitc :: pretty $ ASuperPropdef :: is_inlinable

Is self printable in one line?
redef fun n_annotations=(node: nullable AAnnotations)

nitc :: parser_prod $ ASuperPropdef :: n_annotations=

All the annotations attached directly to the node
redef fun n_doc=(node: nullable ADoc)

nitc :: parser_prod $ ASuperPropdef :: n_doc=

The documentation
redef fun n_kwredef=(node: nullable TKwredef)

nitc :: parser_prod $ ASuperPropdef :: n_kwredef=

The redef keyword
redef fun n_kwsuper=(node: TKwsuper)

nitc :: parser_prod $ ASuperPropdef :: n_kwsuper=

The super keyword
redef fun n_type=(node: AType)

nitc :: parser_prod $ ASuperPropdef :: n_type=

The super-class (indicated as a type)
redef fun n_visibility=(node: nullable AVisibility)

nitc :: parser_prod $ ASuperPropdef :: n_visibility=

The declared visibility
redef fun replace_child(old_child: ANode, new_child: nullable ANode)

nitc :: parser_prod $ ASuperPropdef :: replace_child

Replace a child with an other node in the AST
redef fun visit_all(v: Visitor)

nitc :: parser_prod $ ASuperPropdef :: visit_all

Visit all nodes in order.

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 MPROPDEF: MPropDef

nitc :: APropdef :: MPROPDEF

The associated main model entity
type SELF: Object

core :: Object :: SELF

Type of this instance, automatically specialized in every class
private var _after_flow_context: nullable FlowContext

nitc :: APropdef :: _after_flow_context

The ending flow
private var _basic_block: nullable BasicBlock

nitc :: APropdef :: _basic_block

The first basic block of the code
private var _before_flow_context: nullable FlowContext

nitc :: APropdef :: _before_flow_context

The starting flow
private var _environment_size: Int

nitc :: APropdef :: _environment_size

The size of the environment to create to call this method
private var _first_location: nullable Location

nitc :: Prod :: _first_location

Location on the first token after the start of a production
private var _first_token: nullable Token

nitc :: Prod :: _first_token

The first token of the production in the AST
private var _force_block: Bool

nitc :: ANode :: _force_block

Force self to be rendered as a block.
private var _force_inline: Bool

nitc :: ANode :: _force_inline

Force self to be rendered as a line.
private var _is_broken: Bool

nitc :: ANode :: _is_broken

The indication that the node did not pass some semantic verifications.
private var _is_compiled: Bool

nitc :: APropdef :: _is_compiled

Indicite if this propdef was compile
private var _is_generated: Bool

nitc :: APropdef :: _is_generated

If true, the basic blocks where generated
private var _is_numbering: Bool

nitc :: APropdef :: _is_numbering

Indicate if the variables numbering has been done
private var _is_phased: Bool

nitc :: APropdef :: _is_phased

Is the propdef already analyzed by run_phases_on_npropdef.
private var _last_token: nullable Token

nitc :: Prod :: _last_token

The last token of the production in the AST
private var _location: Location

nitc :: ANode :: _location

Location is set during AST building. Once built, location can not be null.
private var _mpropdef: nullable MPROPDEF

nitc :: APropdef :: _mpropdef

The associated propdef once build by a ModelBuilder
private var _n_annotations: nullable AAnnotations

nitc :: Prod :: _n_annotations

All the annotations attached directly to the node
private var _n_doc: nullable ADoc

nitc :: ADefinition :: _n_doc

The documentation
private var _n_kwredef: nullable TKwredef

nitc :: ADefinition :: _n_kwredef

The redef keyword
private var _n_kwsuper: TKwsuper

nitc :: ASuperPropdef :: _n_kwsuper

The super keyword
private var _n_type: AType

nitc :: ASuperPropdef :: _n_type

The super-class (indicated as a type)
private var _n_visibility: nullable AVisibility

nitc :: ADefinition :: _n_visibility

The declared visibility
private var _object_sites: Array[AExpr]

nitc :: APropdef :: _object_sites

Contain all AST-parts related to object mechanisms the propdef has:
private var _parent: nullable ANode

nitc :: ANode :: _parent

Parent of the node in the AST
private var _return_mark: nullable EscapeMark

nitc :: APropdef :: _return_mark

The break escape mark associated with the return
private var _returnvar: Variable

nitc :: APropdef :: _returnvar

The return variable of the propdef
private var _selfvariable: nullable Variable

nitc :: APropdef :: _selfvariable

The variable associated to the receiver (if any)
private var _variables: HashSet[Variable]

nitc :: APropdef :: _variables

The variables contained in the body on this propdef
fun accept_forward_analysis(v: ForwardAnalysis)

nitc :: ANode :: accept_forward_analysis

Apply the forward analysis v to self.
private fun accept_post_typing(v: TypeVisitor)

nitc :: ANode :: accept_post_typing

private abstract fun accept_pretty_printer(v: PrettyPrinterVisitor)

nitc :: ANode :: accept_pretty_printer

Start visit of self using a PrettyPrinterVisitor
fun accept_reaching_defs(v: ReachingDefsAnalysis)

nitc :: ANode :: accept_reaching_defs

Apply a ReachingDefsAnalysis to self.
fun after_flow_context: nullable FlowContext

nitc :: APropdef :: after_flow_context

The ending flow
protected fun after_flow_context=(after_flow_context: nullable FlowContext)

nitc :: APropdef :: after_flow_context=

The ending flow
private fun bad_expr_message(child: AExpr): nullable String

nitc :: ANode :: bad_expr_message

An additional information message to explain the role of a child expression.
fun basic_block: nullable BasicBlock

nitc :: APropdef :: basic_block

The first basic block of the code
protected fun basic_block=(basic_block: nullable BasicBlock)

nitc :: APropdef :: basic_block=

The first basic block of the code
fun before_flow_context: nullable FlowContext

nitc :: APropdef :: before_flow_context

The starting flow
protected fun before_flow_context=(before_flow_context: nullable FlowContext)

nitc :: APropdef :: before_flow_context=

The starting flow
private fun build_property(modelbuilder: ModelBuilder, mclassdef: MClassDef)

nitc :: APropdef :: build_property

private fun build_signature(modelbuilder: ModelBuilder)

nitc :: APropdef :: build_signature

private fun call(v: NaiveInterpreter, mpropdef: MMethodDef, args: Array[Instance]): nullable Instance

nitc :: APropdef :: call

Execute a mpropdef associated with the current node.
private fun check_redef_keyword(modelbuilder: ModelBuilder, mclassdef: MClassDef, kwredef: nullable Token, need_redef: Bool, mprop: MProperty): Bool

nitc :: APropdef :: check_redef_keyword

private fun check_redef_property_visibility(modelbuilder: ModelBuilder, nvisibility: nullable AVisibility, mprop: MProperty)

nitc :: APropdef :: check_redef_property_visibility

private fun check_repeated_types(modelbuilder: ModelBuilder)

nitc :: APropdef :: check_repeated_types

Checks for useless type in redef signatures.
private fun check_signature(modelbuilder: ModelBuilder)

nitc :: APropdef :: check_signature

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.
abstract fun clone: SELF

core :: Cloneable :: clone

Duplicate self
fun collect_annotations_by_name(name: String): Array[AAnnotation]

nitc :: ANode :: collect_annotations_by_name

Do a deep search and return an array of node that are annotated
private fun collect_comments: Array[TComment]

nitc :: Prod :: collect_comments

Collect all TComment contained in the production
private abstract fun collect_length: Int

nitc :: ANode :: collect_length

Collect the length (in Char) of the node.
fun collect_text: String

nitc :: Prod :: collect_text

Join the text of all visited tokens
fun collect_tokens_by_text(text: String): Array[Token]

nitc :: ANode :: collect_tokens_by_text

Do a deep search and return an array of tokens that match a given text
fun common_parent(other: ANode): nullable ANode

nitc :: ANode :: common_parent

The most specific common parent between self and other
fun compile(vm: VirtualMachine)

nitc :: APropdef :: compile

Compile this propdef
fun compile_to_java(v: JavaCompilerVisitor, mpropdef: MMethodDef, arguments: Array[RuntimeVariable])

nitc :: APropdef :: compile_to_java

Compile that property definition to java code
fun compute_phi(ssa: SSA)

nitc :: APropdef :: compute_phi

Compute the first phase of SSA algorithm: placing phi-functions
fun compute_ssa(ssa: SSA)

nitc :: APropdef :: compute_ssa

Compute the three steps of SSA-algorithm
fun debug(message: String)

nitc :: ANode :: debug

Display a message for the colored location of the node
protected fun decorate_tag(v: HtmlightVisitor, res: HTMLTag, token: Token): nullable HInfoBox

nitc :: ANode :: decorate_tag

Add aditionnal information on a child-token and return an additionnal HInfoBox on it
fun depth: Int

nitc :: ANode :: depth

Number of nodes between self and the root of the AST
fun detach

nitc :: ANode :: detach

Detach a node from its parent
private fun do_cloneable(v: CloneVisitor)

nitc :: ANode :: do_cloneable

fun do_flow(toolcontext: ToolContext)

nitc :: APropdef :: do_flow

The entry point of the whole flow analysis
fun do_local_var_init(toolcontext: ToolContext)

nitc :: APropdef :: do_local_var_init

Entry point of the whole local variable initialization verifier
fun do_scope(toolcontext: ToolContext)

nitc :: APropdef :: do_scope

Entry point of the scope analysis
fun do_typing(modelbuilder: ModelBuilder)

nitc :: APropdef :: do_typing

The entry point of the whole typing analysis
fun dump_info(v: ASTDump): String

nitc :: ANode :: dump_info

Information to display on a node
fun dump_tree(display_structural: nullable Bool, display_line: nullable Bool)

nitc :: ANode :: dump_tree

Write the subtree on stdout.
private fun environment_size: Int

nitc :: APropdef :: environment_size

The size of the environment to create to call this method
private fun environment_size=(environment_size: Int)

nitc :: APropdef :: environment_size=

The size of the environment to create to call this method
fun fatal(v: NaiveInterpreter, message: String)

nitc :: ANode :: fatal

Aborts the program with a message
fun first_location: nullable Location

nitc :: Prod :: first_location

Location on the first token after the start of a production
protected fun first_location=(first_location: nullable Location)

nitc :: Prod :: first_location=

Location on the first token after the start of a production
fun first_token: nullable Token

nitc :: Prod :: first_token

The first token of the production in the AST
protected fun first_token=(first_token: nullable Token)

nitc :: Prod :: first_token=

The first token of the production in the AST
private fun force_block: Bool

nitc :: ANode :: force_block

Force self to be rendered as a block.
private fun force_block=(force_block: Bool)

nitc :: ANode :: force_block=

Force self to be rendered as a block.
private fun force_inline: Bool

nitc :: ANode :: force_inline

Force self to be rendered as a line.
private fun force_inline=(force_inline: Bool)

nitc :: ANode :: force_inline=

Force self to be rendered as a line.
abstract fun generate_basic_blocks(ssa: SSA)

nitc :: APropdef :: generate_basic_blocks

Generate all basic blocks for this code
fun generate_name(v: Variable, counter: HashMap[Variable, Int], expr: ANode, ssa: SSA): Variable

nitc :: APropdef :: generate_name

Generate a new version of the variable v and return it
fun get_annotations(name: String): Array[AAnnotation]

nitc :: Prod :: get_annotations

Return all its annotations of a given name in the order of their declaration
fun get_class: CLASS

core :: Object :: get_class

The meta-object representing the dynamic type of self.
fun get_single_annotation(name: String, modelbuilder: ModelBuilder): nullable AAnnotation

nitc :: Prod :: get_single_annotation

Try to get its single annotation with a given name
fun hash: Int

core :: Object :: hash

The hash code of the object.
fun hot_location: Location

nitc :: ANode :: hot_location

The location of the important part of the node (identifier or whatever)
fun infobox(v: HtmlightVisitor): nullable HInfoBox

nitc :: ANode :: infobox

Return a optional infobox
init init

core :: Object :: init

init init_asuperpropdef(n_doc: nullable ADoc, n_kwredef: nullable TKwredef, n_visibility: nullable AVisibility, n_kwsuper: nullable TKwsuper, n_type: nullable AType, n_annotations: nullable AAnnotations)

nitc :: ASuperPropdef :: init_asuperpropdef

fun inspect: String

core :: Object :: inspect

Developer readable representation of self.
protected fun inspect_head: String

core :: Object :: inspect_head

Return "CLASSNAME:#OBJECTID".
fun is_block: Bool

nitc :: Prod :: is_block

Is the production contained in full block of line?
fun is_broken: Bool

nitc :: ANode :: is_broken

The indication that the node did not pass some semantic verifications.
fun is_broken=(is_broken: Bool)

nitc :: ANode :: is_broken=

The indication that the node did not pass some semantic verifications.
fun is_compiled: Bool

nitc :: APropdef :: is_compiled

Indicite if this propdef was compile
protected fun is_compiled=(is_compiled: Bool)

nitc :: APropdef :: is_compiled=

Indicite if this propdef was compile
fun is_generated: Bool

nitc :: APropdef :: is_generated

If true, the basic blocks where generated
protected fun is_generated=(is_generated: Bool)

nitc :: APropdef :: is_generated=

If true, the basic blocks where generated
private fun is_inlinable: Bool

nitc :: ANode :: is_inlinable

Is self printable in one line?
private fun is_noserialize: Bool

nitc :: ANode :: is_noserialize

Is this node annotated to not be made serializable?
private fun is_numbering: Bool

nitc :: APropdef :: is_numbering

Indicate if the variables numbering has been done
private fun is_numbering=(is_numbering: Bool)

nitc :: APropdef :: is_numbering=

Indicate if the variables numbering has been done
private fun is_phased: Bool

nitc :: APropdef :: is_phased

Is the propdef already analyzed by run_phases_on_npropdef.
private fun is_phased=(is_phased: Bool)

nitc :: APropdef :: is_phased=

Is the propdef already analyzed by run_phases_on_npropdef.
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 fun is_serialize: Bool

nitc :: ANode :: is_serialize

Is this node annotated to be made serializable?
fun is_span: Bool

nitc :: Prod :: is_span

Is the production a part of a single line (without being a block)
fun is_structural: Bool

nitc :: ANode :: is_structural

Is self a token or a pure-structural production like AQId?
fun last_token: nullable Token

nitc :: Prod :: last_token

The last token of the production in the AST
protected fun last_token=(last_token: nullable Token)

nitc :: Prod :: last_token=

The last token of the production in the AST
fun location: Location

nitc :: ANode :: location

Location is set during AST building. Once built, location can not be null.
fun location=(location: Location)

nitc :: ANode :: location=

Location is set during AST building. Once built, location can not be null.
protected fun make_tag(v: HtmlightVisitor): nullable HTMLTag

nitc :: ANode :: make_tag

Optionally creates a tag that encapsulate the AST element on HTML rendering
fun mpropdef: nullable MPROPDEF

nitc :: APropdef :: mpropdef

The associated propdef once build by a ModelBuilder
fun mpropdef=(mpropdef: nullable MPROPDEF)

nitc :: APropdef :: mpropdef=

The associated propdef once build by a ModelBuilder
private fun must_be_block: Bool

nitc :: ANode :: must_be_block

Does self have to be rendered as a block?
private fun must_be_inline: Bool

nitc :: ANode :: must_be_inline

Does self have be rendered as a line?
fun n_annotations: nullable AAnnotations

nitc :: Prod :: n_annotations

All the annotations attached directly to the node
fun n_annotations=(n_annotations: nullable AAnnotations)

nitc :: Prod :: n_annotations=

All the annotations attached directly to the node
fun n_doc: nullable ADoc

nitc :: ADefinition :: n_doc

The documentation
fun n_doc=(n_doc: nullable ADoc)

nitc :: ADefinition :: n_doc=

The documentation
fun n_kwredef: nullable TKwredef

nitc :: ADefinition :: n_kwredef

The redef keyword
fun n_kwredef=(n_kwredef: nullable TKwredef)

nitc :: ADefinition :: n_kwredef=

The redef keyword
fun n_kwsuper: TKwsuper

nitc :: ASuperPropdef :: n_kwsuper

The super keyword
fun n_kwsuper=(n_kwsuper: TKwsuper)

nitc :: ASuperPropdef :: n_kwsuper=

The super keyword
fun n_type: AType

nitc :: ASuperPropdef :: n_type

The super-class (indicated as a type)
fun n_type=(n_type: AType)

nitc :: ASuperPropdef :: n_type=

The super-class (indicated as a type)
fun n_visibility: nullable AVisibility

nitc :: ADefinition :: n_visibility

The declared visibility
fun n_visibility=(n_visibility: nullable AVisibility)

nitc :: ADefinition :: n_visibility=

The declared visibility
private intern fun native_class_name: CString

core :: Object :: native_class_name

The class name of the object in CString format.
private fun new_property_visibility(modelbuilder: ModelBuilder, mclassdef: MClassDef, nvisibility: nullable AVisibility): MVisibility

nitc :: APropdef :: new_property_visibility

abstract fun numbering_variables(vm: VirtualMachine)

nitc :: APropdef :: numbering_variables

Numbering the variable inside the propdef
intern fun object_id: Int

core :: Object :: object_id

An internal hash code for the object based on its identity.
fun object_sites: Array[AExpr]

nitc :: APropdef :: object_sites

Contain all AST-parts related to object mechanisms the propdef has:
protected fun object_sites=(object_sites: Array[AExpr])

nitc :: APropdef :: object_sites=

Contain all AST-parts related to object mechanisms the propdef has:
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 parent: nullable ANode

nitc :: ANode :: parent

Parent of the node in the AST
protected fun parent=(parent: nullable ANode)

nitc :: ANode :: parent=

Parent of the node in the AST
fun parentize_tokens

nitc :: ANode :: parentize_tokens

Visit the AST and computes advanced AST attributes on Tokens and Prod
fun propagate_dependences(phi: PhiFunction, block: BasicBlock)

nitc :: APropdef :: propagate_dependences

Propagate the dependences of the phi-functions into following variables
fun rename(block: BasicBlock, counter: HashMap[Variable, Int], ssa: SSA)

nitc :: APropdef :: rename

Recursively rename each variable from block
fun rename_variables(ssa: SSA)

nitc :: APropdef :: rename_variables

Compute the second phase of SSA algorithm: renaming variables
private abstract fun replace_child(old_child: ANode, new_child: nullable ANode)

nitc :: ANode :: replace_child

Replace a child with an other node in the AST
fun replace_clone

nitc :: ANode :: replace_clone

Create a new clone of self
fun replace_with(node: ANode)

nitc :: ANode :: replace_with

Replace itself with an other node in the AST
fun return_mark: nullable EscapeMark

nitc :: APropdef :: return_mark

The break escape mark associated with the return
protected fun return_mark=(return_mark: nullable EscapeMark)

nitc :: APropdef :: return_mark=

The break escape mark associated with the return
fun returnvar: Variable

nitc :: APropdef :: returnvar

The return variable of the propdef
protected fun returnvar=(returnvar: Variable)

nitc :: APropdef :: returnvar=

The return variable of the propdef
fun root: ANode

nitc :: ANode :: root

The topmost ancestor of the element
fun selfvariable: nullable Variable

nitc :: APropdef :: selfvariable

The variable associated to the receiver (if any)
protected fun selfvariable=(selfvariable: nullable Variable)

nitc :: APropdef :: selfvariable=

The variable associated to the receiver (if any)
fun serialization_hash: Int

core :: Object :: serialization_hash

Hash value use for serialization
private fun set_doc(mpropdef: MPropDef, modelbuilder: ModelBuilder)

nitc :: APropdef :: set_doc

fun ssa_destruction(ssa: SSA)

nitc :: APropdef :: ssa_destruction

Transform SSA-representation into an executable code (delete phi-functions)
private fun start_token: nullable Token

nitc :: Prod :: start_token

The token where the production really start (skipping ADoc).
intern fun sys: Sys

core :: Object :: sys

Return the global sys object, the only instance of the Sys class.
private fun tag(mpd: MPropDef): HTMLTag

nitc :: APropdef :: tag

abstract fun to_jvalue(env: JniEnv): JValue

core :: Object :: to_jvalue

fun to_s: String

core :: Object :: to_s

User readable representation of self.
fun to_xml: HTMLTag

nitc :: Prod :: to_xml

A XML representation of the AST
fun validate

nitc :: ANode :: validate

Recursively validate a AST node.
fun variables: HashSet[Variable]

nitc :: APropdef :: variables

The variables contained in the body on this propdef
protected fun variables=(variables: HashSet[Variable])

nitc :: APropdef :: variables=

The variables contained in the body on this propdef
abstract fun visit_all(v: Visitor)

nitc :: ANode :: visit_all

Visit all nodes in order.
fun visit_annotations(v: PrettyPrinterVisitor, n_annotations: nullable AAnnotations): Bool

nitc :: APropdef :: visit_annotations

Factorize annotations visit for all APropdef.
fun visit_block(v: PrettyPrinterVisitor, n_block: nullable AExpr, annot_inline: Bool)

nitc :: APropdef :: visit_block

Factorize block visit for APropdefs.
private abstract fun was_inline: Bool

nitc :: ANode :: was_inline

Does self was written in one line before transformation?
package_diagram nitc::ASuperPropdef ASuperPropdef nitc::APropdef APropdef nitc::ASuperPropdef->nitc::APropdef nitc::ADefinition ADefinition nitc::APropdef->nitc::ADefinition ...nitc::ADefinition ... ...nitc::ADefinition->nitc::ADefinition

Ancestors

abstract class ADefinition

nitc :: ADefinition

Abstract class for definition of entities
abstract class ANode

nitc :: ANode

Root of the AST class-hierarchy
interface Cloneable

core :: Cloneable

Something that can be cloned
interface Object

core :: Object

The root of the class hierarchy.
abstract class Prod

nitc :: Prod

Ancestor of all productions

Parents

abstract class APropdef

nitc :: APropdef

The definition of a property

Class definitions

nitc $ ASuperPropdef 
# A super-class. eg `super X`
class ASuperPropdef
	super APropdef

	# The super keyword
	var n_kwsuper: TKwsuper is writable, noinit

	# The super-class (indicated as a type)
	var n_type: AType is writable, noinit
end
src/parser/parser_nodes.nit:1465,1--1474,3

nitc :: parser_prod $ ASuperPropdef 
redef class ASuperPropdef
	init init_asuperpropdef (
		n_doc: nullable ADoc,
		n_kwredef: nullable TKwredef,
		n_visibility: nullable AVisibility,
		n_kwsuper: nullable TKwsuper,
		n_type: nullable AType,
		n_annotations: nullable AAnnotations
	)
	do
		_n_doc = n_doc
		if n_doc != null then n_doc.parent = self
		_n_kwredef = n_kwredef
		if n_kwredef != null then n_kwredef.parent = self
		_n_visibility = n_visibility.as(not null)
		n_visibility.parent = self
		_n_kwsuper = n_kwsuper.as(not null)
		n_kwsuper.parent = self
		_n_type = n_type.as(not null)
		n_type.parent = self
		_n_annotations = n_annotations
		if n_annotations != null then n_annotations.parent = self
	end

	redef fun replace_child(old_child: ANode, new_child: nullable ANode)
	do
		if _n_doc == old_child then
			n_doc = new_child.as(nullable ADoc)
			return
		end
		if _n_kwredef == old_child then
			n_kwredef = new_child.as(nullable TKwredef)
			return
		end
		if _n_visibility == old_child then
			n_visibility = new_child.as(AVisibility)
			return
		end
		if _n_kwsuper == old_child then
			n_kwsuper = new_child.as(TKwsuper)
			return
		end
		if _n_type == old_child then
			n_type = new_child.as(AType)
			return
		end
		if _n_annotations == old_child then
			n_annotations = new_child.as(nullable AAnnotations)
			return
		end
	end

	redef fun n_doc=(node)
	do
		_n_doc = node
		if node != null then node.parent = self
	end
	redef fun n_kwredef=(node)
	do
		_n_kwredef = node
		if node != null then node.parent = self
	end
	redef fun n_visibility=(node)
	do
		_n_visibility = node
		node.parent = self
	end
	redef fun n_kwsuper=(node)
	do
		_n_kwsuper = node
		node.parent = self
	end
	redef fun n_type=(node)
	do
		_n_type = node
		node.parent = self
	end
	redef fun n_annotations=(node)
	do
		_n_annotations = node
		if node != null then node.parent = self
	end


	redef fun visit_all(v: Visitor)
	do
		v.enter_visit(_n_doc)
		v.enter_visit(_n_kwredef)
		v.enter_visit(_n_visibility)
		v.enter_visit(_n_kwsuper)
		v.enter_visit(_n_type)
		v.enter_visit(_n_annotations)
	end
end
src/parser/parser_prod.nit:1351,1--1444,3

nitc :: pretty $ ASuperPropdef 
redef class ASuperPropdef
	redef fun accept_pretty_printer(v) do
		super
		v.visit n_kwsuper
		v.adds
		v.visit n_type
		visit_annotations(v, n_annotations)
		v.finish_line
		v.addn
	end

	redef fun is_inlinable do return true
end
src/pretty.nit:1011,1--1023,3
Nit tools. Version v0.8-3595-g3f58b4f.