A comparison query.

The user is asked to compare a with b then set res accordingly.

  • if a < b then the user sets res to -1
  • if a > b then the user sets res to 1
  • if a == b then the user sets res to 0

It is the responsibility of the user to implement a total order. ie. the implemented comparison must be asymmetric, transitive and total.

Introduced properties

fun a: E

for_abuse :: CompareQuery :: a

The first element to compare
protected fun a=(a: E)

for_abuse :: CompareQuery :: a=

The first element to compare
fun b: E

for_abuse :: CompareQuery :: b

The second element to compare
protected fun b=(b: E)

for_abuse :: CompareQuery :: b=

The second element to compare
fun res: Int

for_abuse :: CompareQuery :: res

The result of the comparison (according to the user)
fun res=(res: Int)

for_abuse :: CompareQuery :: res=

The result of the comparison (according to the user)

Redefined properties

redef type SELF: CompareQuery[E]

for_abuse $ CompareQuery :: 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
fun a: E

for_abuse :: CompareQuery :: a

The first element to compare
protected fun a=(a: E)

for_abuse :: CompareQuery :: a=

The first element to compare
fun b: E

for_abuse :: CompareQuery :: b

The second element to compare
protected fun b=(b: E)

for_abuse :: CompareQuery :: b=

The second element to compare
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 res: Int

for_abuse :: CompareQuery :: res

The result of the comparison (according to the user)
fun res=(res: Int)

for_abuse :: CompareQuery :: res=

The result of the comparison (according to the user)
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 for_abuse::CompareQuery CompareQuery core::Object Object for_abuse::CompareQuery->core::Object

Parents

interface Object

core :: Object

The root of the class hierarchy.

Class definitions

for_abuse $ CompareQuery
# A comparison query.
# The user is asked to compare `a` with `b` then set `res` accordingly.
#
# * if `a < b` then the user sets `res` to -1
# * if `a > b` then the user sets `res` to 1
# * if `a == b` then the user sets `res` to 0
#
# It is the responsibility of the user to implement a total order.
# ie. the implemented comparison must be asymmetric, transitive and total.
class CompareQuery[E]
	# The first element to compare
	var a: E
	# The second element to compare
	var b: E
	# The result of the comparison (according to the user)
	var res = 0 is writable
end
lib/for_abuse/for_abuse.nit:68,1--84,3