+
Point of view
All features
expanded class FOREIGN_TYPE
Summary
top
Direct parents
Insert list: ANY
Overview
top
Features
{ANY}
{FOREIGN_TYPES}
{FOREIGN_AGENT}
{}
ffi_type: POINTER
writable attribute
{ANY}
top
is_equal (other: FOREIGN_TYPE): BOOLEAN
effective function
{ANY}
top
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)
set_ffi_type (a_ffi_type: POINTER, a_factory: FUNCTION[TUPLE, FOREIGN_OBJECT], a_name: STRING)
effective procedure
{FOREIGN_TYPES}
top
effective function
{FOREIGN_AGENT}
top
writable attribute
{}
top
name: STRING
writable attribute
{}
top