GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
smarteiffel
>
EXTERNAL_TYPE
+
Point of view
All features
ANY
TYPE
NATIVE
All features
class EXTERNAL_TYPE
Summary
top
Direct parents
Insert list:
ANY
Overview
top
Creation features
{
EIFFEL_PARSER
}
make
(native_:
NATIVE
, alias_tag_:
MANIFEST_STRING
, start_position_:
POSITION
)
Features
{
ANY
}
type_name
:
STRING
default_value
:
STRING
start_position
:
POSITION
{
TYPE
}
collect
{
NATIVE
}
set
(type_name_:
STRING
, default_value_:
STRING
)
{}
native
:
NATIVE
alias_tag
:
MANIFEST_STRING
make
(native_:
NATIVE
, alias_tag_:
MANIFEST_STRING
, start_position_:
POSITION
)
type_name
:
STRING
writable attribute
{
ANY
}
top
default_value
:
STRING
writable attribute
{
ANY
}
top
start_position
:
POSITION
writable attribute
{
ANY
}
top
collect
effective procedure
{
TYPE
}
top
ensure
type_name
/= Void
default_value
/= Void
set
(type_name_:
STRING
, default_value_:
STRING
)
effective procedure
{
NATIVE
}
top
require
type_name
= Void
type_name_ /= Void
default_value
= Void
default_value_ /= Void
ensure
type_name
= type_name_
default_value
= default_value_
native
:
NATIVE
writable attribute
{}
top
alias_tag
:
MANIFEST_STRING
writable attribute
{}
top
make
(native_:
NATIVE
, alias_tag_:
MANIFEST_STRING
, start_position_:
POSITION
)
effective procedure
{}
top
require
native_ /= Void
alias_tag_ /= Void
ensure
native
= native_
alias_tag
= alias_tag_
start_position
.is_equal(start_position_)