class EXTERNAL_FUNCTION
Summary
Overview
creation features
exported features
  • permissions: CLIENT_LIST
    Authorized clients list computed from the corresponding feature clause in the base definition class and export items in inherit clauses . This list is semantic.
result_type: TYPE_MARK
writable attribute
Result type if any.
side_effect_free (target_type: TYPE): BOOLEAN
effective function
Assuming that it is a final call (See comment in code.)
accept (visitor: EXTERNAL_FUNCTION_VISITOR)
effective procedure
Accept to be visited by the visitor.
set_result_type (rt: TYPE_MARK)
effective procedure
native: NATIVE
writable attribute
alias_string: MANIFEST_STRING
writable attribute
is_deferred: BOOLEAN
constant attribute
Is it a deferred feature ?
rescue_compound: COMPOUND
frozen
effective function
Not Void if any.
set_rescue_compound (instruction: INSTRUCTION)
frozen
effective procedure
use_current (type: TYPE): BOOLEAN
frozen
effective function
external_name: STRING
effective function
specialize_body_in (new_type: TYPE, can_twin: BOOLEAN): EXTERNAL_FUNCTION
effective function
specialize_body_thru (parent_type: TYPE, parent_edge: PARENT_EDGE, new_type: TYPE, can_twin: BOOLEAN): EXTERNAL_FUNCTION
effective function
specialize_2 (type: TYPE): E_ROUTINE
effective function
has_been_specialized: BOOLEAN
effective function
init (lv: LOCAL_VAR_LIST, rb: INSTRUCTION, is_generated: BOOLEAN, ea: E_ENSURE, ra: E_REQUIRE)
effective procedure
arguments: FORMAL_ARG_LIST
writable attribute
Arguments if any.
obsolete_mark: MANIFEST_STRING
writable attribute
The obsolete mark if any.
end_comment: COMMENT
writable attribute
is_attribute: BOOLEAN
constant attribute
local_vars: LOCAL_VAR_LIST
writable attribute
internal_locals: INTERNAL_LOCAL_LIST
writable attribute
routine_body: INSTRUCTION
writable attribute
pretty
effective procedure
set_arguments (args: FORMAL_ARG_LIST)
effective procedure
feature_text: FEATURE_TEXT
writable attribute
Back-link to the corresponding written one.
class_text: CLASS_TEXT
effective function
The class where the feature is really written.
clients: CLIENT_LIST
effective function
Authorized clients list of the corresponding feature clause in the base definition class.
effective function
All the names of the feature.
header_comment: COMMENT
writable attribute
Header comment for a routine or following comment for an attribute.
require_assertion: E_REQUIRE
writable attribute
Not Void if any.
ensure_assertion: E_ENSURE
writable attribute
Not Void if any.
sedb_trace_before_exit: POSITION
frozen
effective function
class_text_name: CLASS_NAME
frozen
effective function
Name of the class where the feature is really written.
first_name: FEATURE_NAME
frozen
effective function
start_position: POSITION
frozen
effective function
obsolete_warning_check (type: TYPE, caller: POSITION)
frozen
effective procedure
set_header_comment (hc: COMMENT)
frozen
effective procedure
is_once_function: BOOLEAN
frozen
effective function
(Just to be able to write assertions.)
permissions: CLIENT_LIST
writable attribute
Authorized clients list computed from the corresponding feature clause in the base definition class and export items in inherit clauses . This list is semantic.
same_signature (other: ANONYMOUS_FEATURE, into: TYPE): BOOLEAN
frozen
effective function
True when Current and other have the same signature when both are interpreted in type into.
set_permissions (perm: CLIENT_LIST)
effective procedure
set_require (req: E_REQUIRE)
effective procedure
set_ensure (ens: E_ENSURE)
effective procedure