+
Point of view
All features
expanded class FOREIGN_PARAMETERS
Summary
Direct parents
Insert list: ANY
Class invariant
Overview
set (a_parameters: TRAVERSABLE[FOREIGN_OBJECT])
effective procedure
{ANY}
require ensure
match_types (a_types: TRAVERSABLE[FOREIGN_TYPE]): BOOLEAN
effective function
{ANY}
ensure
  • not_set_is_wrong: parameters = Void implies not Result
as_arrayed_collection: ARRAYED_COLLECTION[POINTER]
effective function
writable attribute
{}
_inline_agent4 (p: FOREIGN_OBJECT): BOOLEAN
frozen
effective function
{}
_inline_agent5 (p: FOREIGN_OBJECT): BOOLEAN
frozen
effective function
{}