class NATIVE_ARRAY_INTERNALS [E_]

Features exported to ANY

WARNING: This interface is tentative and may change to a large extent from SmartEiffel 2.2 to SmartEiffel 2.3.

NATIVE_ARRAY_INTERNALS play the same role as TYPED_INTERNALS, except they describe NATIVE_ARRAYs.

Direct parents

conformant parents

TYPED_INTERNALS

Summary

creation features

exported features

Details

is_equal (other: NATIVE_ARRAY_INTERNALS [E_]): 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)

Class invariant