interface FlowSet

nitc :: FlowSet

FlowSet are used to represent data at the entry and exit of a statement.

Introduced properties

abstract fun flow_union(o: SELF): SELF

nitc :: FlowSet :: flow_union

Merge self with another flow set.

Redefined properties

redef type SELF: FlowSet

nitc $ FlowSet :: 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.
abstract fun clone: SELF

core :: Cloneable :: clone

Duplicate self
abstract fun flow_union(o: SELF): SELF

nitc :: FlowSet :: flow_union

Merge self with another flow set.
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.
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.
package_diagram nitc::FlowSet FlowSet core::Cloneable Cloneable nitc::FlowSet->core::Cloneable core::Object Object core::Cloneable->core::Object ...core::Object ... ...core::Object->core::Object nitc::FlowHashMap FlowHashMap nitc::FlowHashMap->nitc::FlowSet nitc::FlowHashSet FlowHashSet nitc::FlowHashSet->nitc::FlowSet

Ancestors

interface Object

core :: Object

The root of the class hierarchy.

Parents

interface Cloneable

core :: Cloneable

Something that can be cloned

Children

class FlowHashMap[K: nullable Object, V: nullable Object]

nitc :: FlowHashMap

A FlowSet based on a HashMap.
class FlowHashSet[E: nullable Object]

nitc :: FlowHashSet

A FlowSet based on a HashSet.

Class definitions

nitc $ FlowSet 
# FlowSet are used to represent data at the entry and exit of a statement.
interface FlowSet
	super Cloneable

	# Merge `self` with another flow set.
	fun flow_union(o: SELF): SELF is abstract
end
src/saf/saf_base.nit:92,1--98,3
Nit tools. Version v0.8-3595-g3f58b4f.