class GetName[E: nullable Object]

meta :: GetName

Helper to get the name of a type

This is one of the hackiest way to retrieve the name of a random type.

var dummy = new GetName[Sequence[nullable Comparable]]
assert dummy.to_s == "Sequence[nullable Comparable]"

This also works to resolve formal types

class G[T]
  type V: Collection[T]

  var name_of_v: String = (new GetName[V]).to_s is lazy
end

var g = new G[Bool]
assert g.name_of_v == "Collection[Bool]"

Warning: this does not work if --erasure is used.

Introduced properties

Redefined properties

redef type SELF: GetName[E]

meta $ GetName :: SELF

Type of this instance, automatically specialized in every class
redef fun to_s: String

meta $ GetName :: to_s

User readable representation of self.

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
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 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.
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 meta::GetName GetName core::Object Object meta::GetName->core::Object

Parents

interface Object

core :: Object

The root of the class hierarchy.

Class definitions

meta $ GetName 
# Helper to get the name of a type
#
# This is one of the hackiest way to retrieve the name of a random type.
#
# ~~~
# var dummy = new GetName[Sequence[nullable Comparable]]
# assert dummy.to_s == "Sequence[nullable Comparable]"
# ~~~
#
# This also works to resolve formal types
#
# ~~~
# class G[T]
#   type V: Collection[T]
#
#   var name_of_v: String = (new GetName[V]).to_s is lazy
# end
#
# var g = new G[Bool]
# assert g.name_of_v == "Collection[Bool]"
# ~~~
#
# Warning: this does not work if --erasure is used.
class GetName[E]
	redef fun to_s do
		var name = class_name
		if name.length < 9 then return ""
		return name.substring(8, name.length-9)
	end
end
lib/meta/meta.nit:101,1--130,3
Nit standard library. Version v0.8-3595-g3f58b4f.