+
Point of view
All features
class EXTERNAL_TYPE
Summary
Direct parents
Insert list: ANY
Overview
Creation features
{EIFFEL_PARSER}
Features
{ANY}
{TYPE}
{NATIVE}
{}
type_name: STRING
writable attribute
{ANY}
default_value: STRING
writable attribute
{ANY}
start_position: POSITION
writable attribute
{ANY}
collect
effective procedure
ensure
set (type_name_: STRING, default_value_: STRING)
effective procedure
require ensure
native: NATIVE
writable attribute
{}
alias_tag: MANIFEST_STRING
writable attribute
{}
make (native_: NATIVE, alias_tag_: MANIFEST_STRING, start_position_: POSITION)
effective procedure
{}
require
  • native_ /= Void
  • alias_tag_ /= Void
ensure