Encapsulates every information needed to compile a class.

The compilation of a class is done by several methods, two of those are mandatory :

  • compile_class_to_c : starts the compilation process
  • compile_class_vft : generate the virtual function table And one of them is optional :
  • compile_class_if_universal : compiles the rest of the class if its a universal type. Universal type are handle in a case-basis, this is why they need special treatment. Generally, universal class will have special structure and a custom allocator.

Throughout each step of the class compilation process, some information must be share. This class encapsulates the compilation process state. (except vft), eg

Introduced properties

private var _mtype: MClassType

nitc :: ClassCompilationInfo :: _mtype

Shortcut to access the class's bound type.
init defaultinit(mclass: MClass, is_dead: Bool, need_corpse: Bool)

nitc :: ClassCompilationInfo :: defaultinit

protected fun is_dead=(is_dead: Bool)

nitc :: ClassCompilationInfo :: is_dead=

protected fun mclass=(mclass: MClass)

nitc :: ClassCompilationInfo :: mclass=

fun mtype: MClassType

nitc :: ClassCompilationInfo :: mtype

Shortcut to access the class's bound type.
protected fun mtype=(mtype: MClassType)

nitc :: ClassCompilationInfo :: mtype=

Shortcut to access the class's bound type.
protected fun need_corpse=(need_corpse: Bool)

nitc :: ClassCompilationInfo :: need_corpse=

Redefined properties

redef type SELF: ClassCompilationInfo

nitc $ ClassCompilationInfo :: SELF

Type of this instance, automatically specialized in every class
redef init init

nitc $ ClassCompilationInfo :: init

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 _mtype: MClassType

nitc :: ClassCompilationInfo :: _mtype

Shortcut to access the class's bound type.
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.
init defaultinit(mclass: MClass, is_dead: Bool, need_corpse: Bool)

nitc :: ClassCompilationInfo :: defaultinit

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".
protected fun is_dead=(is_dead: Bool)

nitc :: ClassCompilationInfo :: is_dead=

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.
protected fun mclass=(mclass: MClass)

nitc :: ClassCompilationInfo :: mclass=

fun mtype: MClassType

nitc :: ClassCompilationInfo :: mtype

Shortcut to access the class's bound type.
protected fun mtype=(mtype: MClassType)

nitc :: ClassCompilationInfo :: mtype=

Shortcut to access the class's bound type.
private intern fun native_class_name: CString

core :: Object :: native_class_name

The class name of the object in CString format.
protected fun need_corpse=(need_corpse: Bool)

nitc :: ClassCompilationInfo :: need_corpse=

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.
package_diagram nitc::ClassCompilationInfo ClassCompilationInfo core::Object Object nitc::ClassCompilationInfo->core::Object

Parents

interface Object

core :: Object

The root of the class hierarchy.

Class definitions

nitc $ ClassCompilationInfo
# Encapsulates every information needed to compile a class.
#
# The compilation of a class is done by several methods, two of those are
# mandatory :
# - compile_class_to_c : starts the compilation process
# - compile_class_vft : generate the virtual function table
# And one of them is optional :
# - compile_class_if_universal : compiles the rest of the class if its a universal
# type. Universal type are handle in a case-basis, this is why they need special treatment.
# Generally, universal class will have special structure and a custom allocator.
#
# Throughout each step of the class compilation process, some information must be share.
# This class encapsulates the compilation process state.
# (except vft), eg
class ClassCompilationInfo
	var mclass: MClass # class to compile
	var is_dead: Bool
	var need_corpse: Bool

	# Shortcut to access the class's bound type.
	var mtype: MClassType is noinit

	init
	do
		mtype = mclass.intro.bound_mtype
	end
end
src/compiler/separate_compiler.nit:2596,1--2622,3