expanded class ARC

Features exported to INTERNALS_HANDLER

Direct parents

non-conformant parents

ANY

Summary

creation features

exported features

Details

default_create

Default creation method. It is used when no creation method is specified if allowed. Note it may be renamed.

is_equal (other: ARC): BOOLEAN

Is other attached to an object considered equal to current object ?

require

  • other /= Void

ensure

  • commutative: generating_type = other.generating_type implies Result = other.is_equal(Current)

out: STRING

Create a new string containing terse printable representation of current object.