Model entity or whatever that can produce an infobox

Introduced properties

init defaultinit

nitc :: HInfoBoxable :: defaultinit

abstract fun infobox(v: HtmlightVisitor): HInfoBox

nitc :: HInfoBoxable :: infobox

An new infobox documenting the entity

Redefined properties

redef type SELF: HInfoBoxable

nitc $ HInfoBoxable :: 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

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

nitc :: HInfoBoxable :: defaultinit

init defaultinit

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

abstract fun infobox(v: HtmlightVisitor): HInfoBox

nitc :: HInfoBoxable :: infobox

An new infobox documenting the entity

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.

Parents

interface Object

The root of the class hierarchy.

Children

abstract class MEntity

nitc :: MEntity

A named and possibly documented entity in the model.

class Variable

nitc :: Variable

A local variable (including parameters, automatic variables and self)

Descendants

abstract class BottomMContract

nitc :: BottomMContract

The root of all contracts where the call is after the execution of the original method (invariant and ensure).

class CallSite

nitc :: CallSite

A specific method call site with its associated informations.

class MAttribute

nitc :: MAttribute

A global attribute

class MAttributeDef

nitc :: MAttributeDef

A local definition of an attribute

class MBottomType

nitc :: MBottomType

The special universal most specific type.

class MClass

A named class

class MClassDef

nitc :: MClassDef

A definition (an introduction or a refinement) of a class in a module

class MClassType

nitc :: MClassType

A type based on a class.

abstract class MConcern

nitc :: MConcern

Something that represents a concern

abstract class MContract

nitc :: MContract

The root of all contracts

class MEnsure

nitc :: MEnsure

A ensure (postcondition) representation

class MErrorType

nitc :: MErrorType

A special type used as a silent error marker when building types.

class MExpect

nitc :: MExpect

A expect (precondition) contract representation

abstract class MFormalType

nitc :: MFormalType

A formal type (either virtual of parametric).

class MGenericType

nitc :: MGenericType

A type based on a generic class.

class MGroup

A group of modules in a package

class MInitType

nitc :: MInitType

Is the type of the initial value inside attributes

class MInnerClass

nitc :: MInnerClass

An inner class.

class MInnerClassDef

nitc :: MInnerClassDef

An inner class definition.

class MMethod

nitc :: MMethod

A global method

class MMethodDef

nitc :: MMethodDef

A local definition of a method

class MModule

nitc :: MModule

A Nit module is usually associated with a Nit source file.

class MNotNullType

nitc :: MNotNullType

A non-null version of a formal type.

class MNullType

nitc :: MNullType

The type of the only value null

class MNullableType

nitc :: MNullableType

A type prefixed with "nullable"

class MPackage

nitc :: MPackage

A Nit package, that encompass a product

class MParameter

nitc :: MParameter

A parameter in a signature

class MParameterType

nitc :: MParameterType

The type associated to a formal parameter generic type of a class

abstract class MPropDef

nitc :: MPropDef

A definition of a property (local property)

abstract class MProperty

nitc :: MProperty

A service (global property) that generalize method, attribute, etc.

abstract class MProxyType

nitc :: MProxyType

A type that decorates another type.

class MRawType

nitc :: MRawType

A type described by a text annoted with links.

class MSignature

nitc :: MSignature

A signature of a method

abstract class MType

A global static type

class MTypePart

nitc :: MTypePart

A part of a RawType.

class MVirtualType

nitc :: MVirtualType

A virtual formal type.

class MVirtualTypeDef

nitc :: MVirtualTypeDef

A local definition of a virtual type

class MVirtualTypeProp

nitc :: MVirtualTypeProp

A global virtual type

class Model

The container class of a Nit object-oriented model.

class ModelDiamond

nitc :: ModelDiamond

A standalone model with the common class diamond-hierarchy ABCD

class ModelStandalone

nitc :: ModelStandalone

A standalone pre-constructed model used to test various model-related methods.

class PhiFunction

nitc :: PhiFunction

A PhiFunction is a kind of Variable used in SSA-construction,

Class definitions

nitc $ HInfoBoxable

# Model entity or whatever that can produce an infobox
interface HInfoBoxable
	# An new infobox documenting the entity
	fun infobox(v: HtmlightVisitor): HInfoBox is abstract
end

src/htmlight.nit:418,1--422,3