A FlowSet based on a HashSet.

Introduced properties

fun remove_from(other: Collection[E])

nitc :: FlowHashSet :: remove_from

Remove all items found in other from self.

Redefined properties

redef type SELF: FlowHashSet[E]

nitc $ FlowHashSet :: SELF

Type of this instance, automatically specialized in every class
redef fun clone: SELF

nitc $ FlowHashSet :: clone

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

nitc $ FlowHashSet :: flow_union

Merge self with another flow set.

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 CONCURRENT: ConcurrentCollection[E]

core :: Collection :: CONCURRENT

Type of the concurrent variant of this collection
private type N: HashNode[K]

core :: HashCollection :: N

type SELF: Object

core :: Object :: SELF

Type of this instance, automatically specialized in every class
private var _array: NativeArray[nullable N]

core :: HashCollection :: _array

private var _capacity: Int

core :: HashCollection :: _capacity

private var _first_item: nullable N

core :: HashCollection :: _first_item

private var _last_accessed_key: nullable Object

core :: HashCollection :: _last_accessed_key

The last key accessed (used for cache)
private var _last_accessed_node: nullable N

core :: HashCollection :: _last_accessed_node

The last node accessed (used for cache)
private var _last_item: nullable N

core :: HashCollection :: _last_item

protected fun accept_json_serializer(v: JsonSerializer)

serialization :: Serializable :: accept_json_serializer

Refinable service to customize the serialization of this class to JSON
protected fun accept_msgpack_attribute_counter(v: AttributeCounter)

serialization :: Serializable :: accept_msgpack_attribute_counter

Hook to customize the behavior of the AttributeCounter
protected fun accept_msgpack_serializer(v: MsgPackSerializer)

serialization :: Serializable :: accept_msgpack_serializer

Hook to customize the serialization of this class to MessagePack
abstract fun add(item: E)

core :: SimpleCollection :: add

Add item to this collection.
fun add_all(coll: Collection[E])

core :: SimpleCollection :: add_all

Add each item of coll.
protected fun add_to_bundle(bundle: NativeBundle, key: JavaString)

serialization :: Serializable :: add_to_bundle

Called by []= to dynamically choose the appropriate method according
private fun array: NativeArray[nullable N]

core :: HashCollection :: array

private fun array=(array: NativeArray[nullable N])

core :: HashCollection :: array=

fun as_random: Queue[E]

core :: SimpleCollection :: as_random

Return a random proxy queue where result.take is random.
private fun capacity: Int

core :: HashCollection :: capacity

private fun capacity=(capacity: Int)

core :: HashCollection :: capacity=

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 clear

core :: RemovableCollection :: clear

Remove all items
abstract fun clone: SELF

core :: Cloneable :: clone

Duplicate self
fun combinations(r: Int): Collection[SequenceRead[E]]

core :: Collection :: combinations

All r-length combinations on self (in same order) without repeated elements.
fun combinations_with_replacement(r: Int): Collection[SequenceRead[E]]

core :: Collection :: combinations_with_replacement

All r-length combination on self (in same order) with repeated elements.
fun core_serialize_to(serializer: Serializer)

serialization :: Serializable :: core_serialize_to

Actual serialization of self to serializer
fun count(item: nullable Object): Int

core :: Collection :: count

How many occurrences of item are in the collection?
private fun enlarge(cap: Int)

core :: HashCollection :: enlarge

Force a capacity
fun first: E

core :: Collection :: first

Return the first item of the collection
private fun first_item: nullable N

core :: HashCollection :: first_item

private fun first_item=(first_item: nullable N)

core :: HashCollection :: first_item=

abstract fun flow_union(o: SELF): SELF

nitc :: FlowSet :: flow_union

Merge self with another flow set.
init from(coll: Collection[E])

core :: HashSet :: from

Build a list filled with the items of coll.
init from_deserializer(deserializer: Deserializer)

serialization :: Serializable :: from_deserializer

Create an instance of this class from the deserializer
fun get_class: CLASS

core :: Object :: get_class

The meta-object representing the dynamic type of self.
private fun gt_collide(i: Int, k: K)

core :: HashCollection :: gt_collide

Count and update length of collisions for node_at_idx
fun has(item: nullable Object): Bool

core :: Collection :: has

Is item in the collection ?
fun has_all(other: Collection[nullable Object]): Bool

core :: Collection :: has_all

Does the collection contain at least each element of other?
fun has_any(other: Collection[nullable Object]): Bool

core :: Collection :: has_any

Does the collection contain at least one element of other?
fun has_exactly(other: Collection[nullable Object]): Bool

core :: Collection :: has_exactly

Does the collection contain exactly all the elements of other?
fun has_only(item: nullable Object): Bool

core :: Collection :: has_only

Is the collection contain only item?
fun hash: Int

core :: Object :: hash

The hash code of the object.
private fun index_at(k: nullable Object): Int

core :: HashCollection :: index_at

Return the index of the key k
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 intersection(other: Set[E]): Set[E]

core :: Set :: intersection

Returns the intersection of this set with the other set
fun is_empty: Bool

core :: Collection :: is_empty

Is there no item in the collection?
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.
abstract fun iterator: Iterator[E]

core :: Collection :: iterator

Get a new iterator on the collection.
fun join(separator: nullable Text, last_separator: nullable Text): String

core :: Collection :: join

Concatenate and separate each elements with separator.
private fun last_accessed_key: nullable Object

core :: HashCollection :: last_accessed_key

The last key accessed (used for cache)
private fun last_accessed_key=(last_accessed_key: nullable Object)

core :: HashCollection :: last_accessed_key=

The last key accessed (used for cache)
private fun last_accessed_node: nullable N

core :: HashCollection :: last_accessed_node

The last node accessed (used for cache)
private fun last_accessed_node=(last_accessed_node: nullable N)

core :: HashCollection :: last_accessed_node=

The last node accessed (used for cache)
private fun last_item: nullable N

core :: HashCollection :: last_item

private fun last_item=(last_item: nullable N)

core :: HashCollection :: last_item=

fun length: Int

core :: Collection :: length

Number of items in the collection.
protected fun msgpack_extra_array_items: Int

serialization :: Serializable :: msgpack_extra_array_items

Hook to request a larger than usual metadata array
private intern fun native_class_name: CString

core :: Object :: native_class_name

The class name of the object in CString format.
init new: Set[E]

core :: Set :: new

Get an instance of HashSet[E], the default implementation
protected abstract fun new_set: Set[E]

core :: Set :: new_set

Returns a new instance of Set.
private fun node_at(k: nullable Object): nullable N

core :: HashCollection :: node_at

Return the node associated with the key
private fun node_at_idx(i: Int, k: nullable Object): nullable N

core :: HashCollection :: node_at_idx

Return the node associated with the key (but with the index already known)
fun not_empty: Bool

core :: Collection :: not_empty

Alias for not is_empty.
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 permutations(r: Int): Collection[SequenceRead[E]]

core :: Collection :: permutations

All r-length permutations on self (all possible ordering) without repeated elements.
fun plain_to_s: String

core :: Collection :: plain_to_s

Concatenate elements without separators
fun product(r: Int): Collection[SequenceRead[E]]

core :: Collection :: product

Cartesian product, over r times self.
fun rand: E

core :: Collection :: rand

Return a random element form the collection
private fun raz

core :: HashCollection :: raz

Clear the whole structure
abstract fun remove(item: nullable Object)

core :: RemovableCollection :: remove

Remove an occurrence of item
fun remove_all(item: nullable Object)

core :: RemovableCollection :: remove_all

Remove all occurrences of item
fun remove_from(other: Collection[E])

nitc :: FlowHashSet :: remove_from

Remove all items found in other from self.
private fun remove_node(k: nullable Object)

core :: HashCollection :: remove_node

Remove the node assosiated with the key
fun sample(length: Int): Array[E]

core :: Collection :: sample

Return a new array made of (at most) length elements randomly chosen.
fun serialization_hash: Int

core :: Object :: serialization_hash

Hash value use for serialization
fun serialize_msgpack(plain: nullable Bool): Bytes

serialization :: Serializable :: serialize_msgpack

Serialize self to MessagePack bytes
fun serialize_to(serializer: Serializer)

serialization :: Serializable :: serialize_to

Serialize self to serializer
fun serialize_to_json(plain: nullable Bool, pretty: nullable Bool): String

serialization :: Serializable :: serialize_to_json

Serialize self to JSON
private fun serialize_to_or_delay(v: Serializer)

serialization :: Serializable :: serialize_to_or_delay

Accept references or force direct serialization (using serialize_to)
private fun serialize_to_pure_json(v: JsonSerializer)

core :: Collection :: serialize_to_pure_json

Utility to serialize a normal Json array
private fun st_collide(i: Int, n: N)

core :: HashCollection :: st_collide

Count and update length of collisions for store
private fun store(index: Int, node: N)

core :: HashCollection :: store

Add a new node at a given index
intern fun sys: Sys

core :: Object :: sys

Return the global sys object, the only instance of the Sys class.
private fun the_length=(the_length: Int)

core :: HashCollection :: the_length=

fun to_a: Array[E]

core :: Collection :: to_a

Build a new array from a collection
abstract fun to_concurrent: CONCURRENT

core :: Collection :: to_concurrent

Wraps self in a thread-safe collection
fun to_counter: Counter[E]

core :: Collection :: to_counter

Create and fill up a counter with the elements of `self.
fun to_curlslist: CURLSList

core :: Collection :: to_curlslist

Convert Collection[String] to CURLSList
fun to_json: String

serialization :: Serializable :: to_json

Serialize self to plain JSON
abstract fun to_jvalue(env: JniEnv): JValue

core :: Object :: to_jvalue

fun to_pretty_json: String

serialization :: Serializable :: to_pretty_json

Serialize self to plain pretty JSON
fun to_s: String

core :: Object :: to_s

User readable representation of self.
fun to_shuffle: Array[E]

core :: Collection :: to_shuffle

Return a new array made of elements in a random order.
fun union(other: Set[E]): Set[E]

core :: Set :: union

Returns the union of this set with the other set
package_diagram nitc::FlowHashSet FlowHashSet nitc::FlowSet FlowSet nitc::FlowHashSet->nitc::FlowSet core::HashSet HashSet nitc::FlowHashSet->core::HashSet core::Cloneable Cloneable nitc::FlowSet->core::Cloneable core::Set Set core::HashSet->core::Set core::hash_collection::HashCollection HashCollection core::HashSet->core::hash_collection::HashCollection ...core::Cloneable ... ...core::Cloneable->core::Cloneable ...core::Set ... ...core::Set->core::Set ...core::hash_collection::HashCollection ... ...core::hash_collection::HashCollection->core::hash_collection::HashCollection

Ancestors

interface Cloneable

core :: Cloneable

Something that can be cloned
interface Collection[E: nullable Object]

core :: Collection

The root of the collection hierarchy.
private abstract class HashCollection[K: nullable Object]

core :: HashCollection

A HashCollection is an array of HashNode[K] indexed by the K hash value
interface Object

core :: Object

The root of the class hierarchy.
interface RemovableCollection[E: nullable Object]

core :: RemovableCollection

Items can be removed from this collection
interface Serializable

serialization :: Serializable

Instances of this class can be passed to Serializer::serialize
interface Set[E: nullable Object]

core :: Set

Abstract sets.
interface SimpleCollection[E: nullable Object]

core :: SimpleCollection

Items can be added to these collections.

Parents

interface FlowSet

nitc :: FlowSet

FlowSet are used to represent data at the entry and exit of a statement.
class HashSet[E: nullable Object]

core :: HashSet

A Set implemented with a hash table.

Class definitions

nitc $ FlowHashSet
# A FlowSet based on a HashSet.
class FlowHashSet[E]
	super FlowSet
	super HashSet[E]

	redef fun clone do return new FlowHashSet[E].from(self)

	# Remove all items found in `other` from `self`.
	fun remove_from(other: Collection[E]) do
		for e in other do remove(e)
	end

	redef fun flow_union(o) do return new FlowHashSet[E].from(union(o))
end
src/saf/saf_base.nit:115,1--128,3