+
Point of view
EXTERNAL_ROUTINE
class NATIVE_C
- Direct parents
- inherit list: NATIVE
- external_tag /= Void implies not external_tag.once_flag
creation features
exported features
- accept (visitor: NATIVE_C_VISITOR)
- use_current (er: EXTERNAL_ROUTINE): BOOLEAN
- c_define_function (rf8: RUN_FEATURE_8, bcn: STRING, name: STRING)
- c_mapping_function (rf8: RUN_FEATURE_8, bcn: STRING, name: STRING)
- c_define_procedure (rf7: RUN_FEATURE_7, bcn: STRING, name: STRING)
- c_mapping_procedure (rf7: RUN_FEATURE_7, bcn: STRING, name: STRING)
- jvm_add_method_for_function (rf8: RUN_FEATURE_8, bcn: STRING, name: STRING)
- jvm_define_function (rf8: RUN_FEATURE_8, bcn: STRING, name: STRING)
- jvm_mapping_function (rf8: RUN_FEATURE_8, bcn: STRING, name: STRING)
- jvm_add_method_for_procedure (rf7: RUN_FEATURE_7, bcn: STRING, name: STRING)
- jvm_define_procedure (rf7: RUN_FEATURE_7, bcn: STRING, name: STRING)
- jvm_mapping_procedure (rf7: RUN_FEATURE_7, bcn: STRING, name: STRING)
require
- rf8.base_feature.first_name.to_string = name
- rf8.base_feature.class_text.name.to_string = bcn
require
- rf8.base_feature.first_name.to_string = name
- rf8.base_feature.class_text.name.to_string = bcn
require
- rf7.base_feature.first_name.to_string = name
- rf7.base_feature.class_text.name.to_string = bcn
require
- rf7.base_feature.first_name.to_string = name
- rf7.base_feature.class_text.name.to_string = bcn
require
- rf8.base_feature.first_name.to_string = name
- rf8.base_feature.class_text.name.to_string = bcn
require
- rf8.base_feature.first_name.to_string = name
- rf8.base_feature.class_text.name.to_string = bcn
require
- rf8.base_feature.first_name.to_string = name
- rf8.base_feature.class_text.name.to_string = bcn
require
- rf7.base_feature.first_name.to_string = name
- rf7.base_feature.class_text.name.to_string = bcn
require
- rf7.base_feature.first_name.to_string = name
- rf7.base_feature.class_text.name.to_string = bcn
require
- rf7.base_feature.first_name.to_string = name
- rf7.base_feature.class_text.name.to_string = bcn
require
- t /= Void
- external_routine /= Void
frozen
effective procedure