interface Discrete

core :: Discrete

Discrete total orders.

Introduced properties

fun distance(d: OTHER): Int

core :: Discrete :: distance

The distance between self and d.
abstract fun predecessor(i: Int): OTHER

core :: Discrete :: predecessor

The previous element.
abstract fun successor(i: Int): OTHER

core :: Discrete :: successor

The next element.

Redefined properties

redef type OTHER: Discrete

core $ Discrete :: OTHER

What self can be compared to?
redef type SELF: Discrete

core $ Discrete :: 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?
abstract fun <(other: OTHER): Bool

core :: Comparable :: <

Is self lesser than other?
fun <=(other: OTHER): Bool

core :: Comparable :: <=

not other < self
fun <=>(other: OTHER): Int

core :: Comparable :: <=>

-1 if <, +1 if > and 0 otherwise
fun ==(other: nullable Object): Bool

core :: Object :: ==

Have self and other the same value?
fun >(other: OTHER): Bool

core :: Comparable :: >

other < self
fun >=(other: OTHER): Bool

core :: Comparable :: >=

not self < other
type CLASS: Class[SELF]

core :: Object :: CLASS

The type of the class of self.
type OTHER: Comparable

core :: Comparable :: OTHER

What self can be compared to?
type SELF: Object

core :: Object :: SELF

Type of this instance, automatically specialized in every class
fun clamp(min: OTHER, max: OTHER): OTHER

core :: Comparable :: clamp

Constraint self within [min..max]
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 distance(d: OTHER): Int

core :: Discrete :: distance

The distance between self and d.
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".
fun is_between(c: OTHER, d: OTHER): Bool

core :: Comparable :: is_between

c <= self <= d
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 max(other: OTHER): OTHER

core :: Comparable :: max

The maximum between self and other (prefers self if equals).
fun min(c: OTHER): OTHER

core :: Comparable :: min

The minimum between self and c (prefer self if equals)
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).
abstract fun predecessor(i: Int): OTHER

core :: Discrete :: predecessor

The previous element.
fun serialization_hash: Int

core :: Object :: serialization_hash

Hash value use for serialization
abstract fun successor(i: Int): OTHER

core :: Discrete :: successor

The next element.
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 core::Discrete Discrete core::Comparable Comparable core::Discrete->core::Comparable core::Object Object core::Comparable->core::Object ...core::Object ... ...core::Object->core::Object core::Byte Byte core::Byte->core::Discrete core::Int Int core::Int->core::Discrete core::Char Char core::Char->core::Discrete core::Int8 Int8 core::Int8->core::Discrete core::Int16 Int16 core::Int16->core::Discrete core::UInt16 UInt16 core::UInt16->core::Discrete core::Int32 Int32 core::Int32->core::Discrete core::UInt32 UInt32 core::UInt32->core::Discrete gmp::BigInt BigInt gmp::BigInt->core::Discrete

Ancestors

interface Object

core :: Object

The root of the class hierarchy.

Parents

interface Comparable

core :: Comparable

The ancestor of class where objects are in a total order.

Children

class BigInt

gmp :: BigInt

Multi precision Integer numbers.
enum Byte

core :: Byte

Native bytes.
enum Char

core :: Char

Native characters.
enum Int

core :: Int

Native integer numbers.
enum Int16

core :: Int16

Native 16-bit signed integer.
enum Int32

core :: Int32

Native 32-bit signed integer.
enum Int8

core :: Int8

Native 8-bit signed integer.
enum UInt16

core :: UInt16

Native 16-bit unsigned integer.
enum UInt32

core :: UInt32

Native 32-bit unsigned integer.

Class definitions

core $ Discrete 
# Discrete total orders.
interface Discrete
	super Comparable

	redef type OTHER: Discrete

	# The next element.
	fun successor(i: Int): OTHER is abstract

	# The previous element.
	fun predecessor(i: Int): OTHER is abstract

	# The distance between self and d.
	#
	#     assert 10.distance(15)	     ==  5
	#     assert 'Z'.distance('A')	     ==  25
	fun distance(d: OTHER): Int
	do
		var cursor: OTHER
		var stop: OTHER
		if self < d then
			cursor = self
			stop = d
		else if self > d then
			cursor = d
			stop = self
		else
			return 0
		end

		var nb = 0
		while cursor < stop do
			cursor = cursor.successor(1)
			nb += 1
		end
		return nb
	end
end
lib/core/kernel.nit:373,1--410,3
Nit standard library. Version .