A simple read-only pair of two elements e and f.

Introduced properties

init defaultinit(e: E, f: F)

cartesian :: Pair :: defaultinit

fun e: E

cartesian :: Pair :: e

The first element of the pair
protected fun e=(e: E)

cartesian :: Pair :: e=

The first element of the pair
fun f: F

cartesian :: Pair :: f

The second element of the pair
protected fun f=(f: F)

cartesian :: Pair :: f=

The second element of the pair

Redefined properties

redef fun ==(o: nullable Object): Bool

cartesian $ Pair :: ==

Untyped pair equality.
redef type SELF: Pair[E, F]

cartesian $ Pair :: SELF

Type of this instance, automatically specialized in every class
redef fun hash: Int

cartesian $ Pair :: hash

The hash code of the object.
redef fun to_s: String

cartesian $ Pair :: to_s

The parenthesized notation.

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(e: E, f: F)

cartesian :: Pair :: defaultinit

fun e: E

cartesian :: Pair :: e

The first element of the pair
protected fun e=(e: E)

cartesian :: Pair :: e=

The first element of the pair
fun f: F

cartesian :: Pair :: f

The second element of the pair
protected fun f=(f: F)

cartesian :: Pair :: f=

The second element of the pair
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 cartesian::Pair Pair core::Object Object cartesian::Pair->core::Object

Parents

interface Object

core :: Object

The root of the class hierarchy.

Class definitions

cartesian $ Pair
# A simple read-only pair of two elements `e` and `f`.
class Pair[E, F]
	# The first element of the pair
	var e: E

	# The second element of the pair
	var f: F

	# The parenthesized notation.
	#
	# ~~~
	# var p = new Pair[Int, String](1, "hello")
	# assert p.to_s == "(1,hello)"
	# ~~~
	redef fun to_s
	do
		var es = e or else ""
		var fs = f or else ""
		return "({es},{fs})"
	end

	# Untyped pair equality.
	#
	# ~~~
	# var p1 = new Pair[Object, Object](1, 2)
	# var p2 = new Pair[Int, Int](1, 2)
	# var p3 = new Pair[Int, Int](1, 3)
	#
	# assert p1 == p2
	# assert p2 != p3
	# ~~~
	#
	# Untyped because we want that `p1 == p2` above.
	# So the method just ignores the real types of `E` and `F`.
	redef fun ==(o) do return o isa Pair[nullable Object, nullable Object] and e == o.e and f == o.f

	redef fun hash do return e.hash * 13 + f.hash * 27 # Magic numbers are magic!
end
lib/cartesian/cartesian.nit:24,1--61,3