Log_filter_old: ARRAY [TUPLE]
      --
   once
      Result := <<
         ["CREATE_RSA_KEY_PAIR_APP", "*", "run"],
         ["EL_RSA_KEY_PAIR", "*"]
      >>
   end

Log_filter_new: ARRAY [like Type_logging_filter]
      --
   do
      Result := <<
         [{CREATE_RSA_KEY_PAIR_APP}, "*, run"],
         [{EL_RSA_KEY_PAIR}, "*"]

      >>
   end

LOG_LINE_COMMENTING_OUT_SOURCE_EDITOR

Objects that comments out and comments in 'log.xxx' lines

SOURCE_TREE_EDITING_SUB_APPLICATION

Abstraction for source tree editing sub-application

UPGRADE_DEFAULT_POINTER_SYNTAX_EDITOR

Change syntax of default_pointers references:

ptr /= default_pointer TO is_attached (ptr)
ptr = default_pointer TO not is_attached (ptr)

apps

FEATURE_EDITOR_APP

Command line interface to command FEATURE_EDITOR_COMMAND

Further Information

Click on class link to see notes and instructions.

FIND_AND_REPLACE_APP

Find and replace operating on a source manifest file

NOTE_DATE_FIXER_APP

Fixes note dates with too many spaces as a result of a bug. For example

date: "2018-09-20 10:06:24 GMT (Thursday  20th  September  2018)"

NOTE_EDITOR_APP

Command line interface to NOTE_EDITOR_COMMAND

Further Information

Click on class link to see notes.

UPGRADE_DEFAULT_POINTER_SYNTAX_APP

App to change syntax of default_pointers references:

ptr /= default_pointer TO is_attached (ptr)
and ptr = default_pointer TO not is_attached (ptr)

UPGRADE_LOG_FILTERS_APP

Upgrade syntax of Eiffel Loop logging filter arrays

indexing-notes

Edits note fields of an Eiffel class if the modified date has changed from note field date. ("changed" means a difference of more than one second) If the class has changed then increment revision and fill in author, copyright, contact, license and revision fields.

NOTE_FIELD

Eiffel class note field name and text

NOTE_FIELD_LIST

Note field list

VERBATIM_NOTE_FIELD

Verbatim note field

support

FEATURE_CONSTANTS

Feature constants

FEATURE_EDITOR

Feature editor

FEATURE_GROUP

Group of class features with common export status

FEATURE_GROUP_LIST

List of class feature groups

NOTE_CONSTANTS

Note constants

support/feature

CLASS_FEATURE

Class feature

CONSTANT_FEATURE

Features that do not require any expansion like for example

Pi: REAL = 3.142

Name: STRING = "[

EQA_TEST_EVALUATION_CALLBACK_FEATURE

Insert callbacks for implementation of do_all from test set class inheriting EL_EQA_TEST_SET

For example:

do_all (eval: EL_EQA_TEST_EVALUATOR)
   -- evaluate all tests
   do
      eval.call ("file_editing", agent test_file_editing)
   end

MAKE_ROUTINE_FEATURE

Expands make routine containing expandable signature types with names identical to class attributes

UNEXPANDED

make (arg_1:@; arg_2:@; ..)
   do
      ..
   end

EXPANDED

make (a_arg_1: like arg_1; a_arg_2: like arg_2; ..)
   do
      arg_1 := a_arg_1; arg_2 := a_arg_2
   end

ROUTINE_FEATURE

Routine feature

SETTER_SHORTHAND_FEATURE

Expand setter shorthand

@set name

set (a_name: like name)
   do
      name := a_name
   end

support/source

SOURCE_FILE

Source file

SOURCE_LINES

Editable source lines

SOURCE_MANIFEST_EDITOR_COMMAND

Source manifest editor command

SOURCE_MODEL

Splits Eiffel source lines into feature groups and individual feature lines

SOURCE_TREE_EDIT_COMMAND_LINE_SUB_APP

Source tree edit command line sub app