+
Point of view
All features
class C_GARBAGE_COLLECTOR_TAG
Summary
Direct parents
Inherit list: TYPED_TAGGED_DATA
Insert list: COMPARABLE, HASHABLE
Class invariant
Overview
Creation features
{GC_HANDLER}
Features
{ANY}
{GC_HANDLER}
{}
{ANY}
  • infix "<=" (other: C_GARBAGE_COLLECTOR_TAG): BOOLEAN
    Is Current less than or equal other?
  • infix ">" (other: C_GARBAGE_COLLECTOR_TAG): BOOLEAN
    Is Current strictly greater than other?
  • infix ">=" (other: C_GARBAGE_COLLECTOR_TAG): BOOLEAN
    Is Current greater than or equal than other?
  • in_range (lower: C_GARBAGE_COLLECTOR_TAG, upper: C_GARBAGE_COLLECTOR_TAG): BOOLEAN
    Return True if Current is in range [lower..upper]
    See also min, max, compare.
  • compare (other: C_GARBAGE_COLLECTOR_TAG): INTEGER_32
    If current object equal to other, 0 if smaller, -1; if greater, 1.
  • three_way_comparison (other: C_GARBAGE_COLLECTOR_TAG): INTEGER_32
    If current object equal to other, 0 if smaller, -1; if greater, 1.
  • min (other: C_GARBAGE_COLLECTOR_TAG): C_GARBAGE_COLLECTOR_TAG
    Minimum of Current and other.
  • max (other: C_GARBAGE_COLLECTOR_TAG): C_GARBAGE_COLLECTOR_TAG
    Maximum of Current and other.
  • bounded_by (a_min: C_GARBAGE_COLLECTOR_TAG, a_max: C_GARBAGE_COLLECTOR_TAG): C_GARBAGE_COLLECTOR_TAG
    A value that is equal to Current if it is between the limits set by a_min and a_max.
hash_code: INTEGER_32
effective function
{ANY}
The hash-code value of Current.
is_equal (other: C_GARBAGE_COLLECTOR_TAG): BOOLEAN
effective function
{ANY}
Is other attached to an object considered equal to current object?
infix "<" (other: C_GARBAGE_COLLECTOR_TAG): BOOLEAN
effective function
{ANY}
Is Current strictly less than other?
writable attribute
{ANY}
writable attribute
{ANY}
count: INTEGER_32
writable attribute
{ANY}
item: INTEGER_32
effective function
{ANY}
set (a_tag: HASHED_STRING)
effective procedure
increment
effective procedure
make (a_tag: HASHED_STRING)
effective procedure
{}
special
effective procedure
{}
id_provider: COUNTER
once function
{}
infix "<=" (other: C_GARBAGE_COLLECTOR_TAG): BOOLEAN
effective function
{ANY}
Is Current less than or equal other?
infix ">" (other: C_GARBAGE_COLLECTOR_TAG): BOOLEAN
effective function
{ANY}
Is Current strictly greater than other?
infix ">=" (other: C_GARBAGE_COLLECTOR_TAG): BOOLEAN
effective function
{ANY}
Is Current greater than or equal than other?
in_range (lower: C_GARBAGE_COLLECTOR_TAG, upper: C_GARBAGE_COLLECTOR_TAG): BOOLEAN
effective function
{ANY}
Return True if Current is in range [lower..upper]
See also min, max, compare.
compare (other: C_GARBAGE_COLLECTOR_TAG): INTEGER_32
effective function
{ANY}
If current object equal to other, 0 if smaller, -1; if greater, 1.
three_way_comparison (other: C_GARBAGE_COLLECTOR_TAG): INTEGER_32
effective function
{ANY}
If current object equal to other, 0 if smaller, -1; if greater, 1.
min (other: C_GARBAGE_COLLECTOR_TAG): C_GARBAGE_COLLECTOR_TAG
effective function
{ANY}
Minimum of Current and other.
max (other: C_GARBAGE_COLLECTOR_TAG): C_GARBAGE_COLLECTOR_TAG
effective function
{ANY}
Maximum of Current and other.
bounded_by (a_min: C_GARBAGE_COLLECTOR_TAG, a_max: C_GARBAGE_COLLECTOR_TAG): C_GARBAGE_COLLECTOR_TAG
effective function
{ANY}
A value that is equal to Current if it is between the limits set by a_min and a_max.