Mark where break and continue will branch.

Marks are either associated with a label of with a for_loop structure

Introduced properties

private var _continue_mark: nullable EscapeMark

nitc :: EscapeMark :: _continue_mark

The associated continue mark, if any.

private var _escapes: Array[AEscapeExpr]

nitc :: EscapeMark :: _escapes

Each break/continue attached to the mark

private var _name: nullable String

nitc :: EscapeMark :: _name

The name of the label (unless the mark is an anonymous loop mark)

private fun continue_mark: nullable EscapeMark

nitc :: EscapeMark :: continue_mark

The associated continue mark, if any.

private fun continue_mark=(continue_mark: nullable EscapeMark)

nitc :: EscapeMark :: continue_mark=

The associated continue mark, if any.

init defaultinit(name: nullable String)

nitc :: EscapeMark :: defaultinit

fun escapes: Array[AEscapeExpr]

nitc :: EscapeMark :: escapes

Each break/continue attached to the mark

protected fun escapes=(escapes: Array[AEscapeExpr])

nitc :: EscapeMark :: escapes=

Each break/continue attached to the mark

fun name: nullable String

nitc :: EscapeMark :: name

The name of the label (unless the mark is an anonymous loop mark)

protected fun name=(name: nullable String)

nitc :: EscapeMark :: name=

The name of the label (unless the mark is an anonymous loop mark)

Redefined properties

redef type SELF: EscapeMark

nitc $ EscapeMark :: 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 _continue_mark: nullable EscapeMark

nitc :: EscapeMark :: _continue_mark

The associated continue mark, if any.

private var _escapes: Array[AEscapeExpr]

nitc :: EscapeMark :: _escapes

Each break/continue attached to the mark

private var _name: nullable String

nitc :: EscapeMark :: _name

The name of the label (unless the mark is an anonymous loop mark)

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.

private fun continue_mark: nullable EscapeMark

nitc :: EscapeMark :: continue_mark

The associated continue mark, if any.

private fun continue_mark=(continue_mark: nullable EscapeMark)

nitc :: EscapeMark :: continue_mark=

The associated continue mark, if any.

init defaultinit(name: nullable String)

nitc :: EscapeMark :: defaultinit

init defaultinit

core :: Object :: defaultinit

fun escapes: Array[AEscapeExpr]

nitc :: EscapeMark :: escapes

Each break/continue attached to the mark

protected fun escapes=(escapes: Array[AEscapeExpr])

nitc :: EscapeMark :: escapes=

Each break/continue attached to the mark

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.

fun name: nullable String

nitc :: EscapeMark :: name

The name of the label (unless the mark is an anonymous loop mark)

protected fun name=(name: nullable String)

nitc :: EscapeMark :: name=

The name of the label (unless the mark is an anonymous loop mark)

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.

Parents

interface Object

The root of the class hierarchy.

Class definitions

nitc $ EscapeMark

# Mark where break and continue will branch.
# Marks are either associated with a label of with a for_loop structure
class EscapeMark
	# The name of the label (unless the mark is an anonymous loop mark)
	var name: nullable String

	# The associated `continue` mark, if any.
	# If the mark attached to a loop (loop, while, for), a distinct mark is used.
	private var continue_mark: nullable EscapeMark = null

	# Each break/continue attached to the mark
	var escapes = new Array[AEscapeExpr]
end

src/semantize/scope.nit:49,1--61,3