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)

This application can save a lot of unnecessary keyboard typing during Eiffel development. It performs a series of expansions on shorthand expressions present in a single Eiffel class. In addition to performing expansions, it also alphabetically orders the routines in each feature block. It can be usefully incoporated into EiffelStudio using this external. command template:

el_eiffel -feature_edit -no_highlighting -source "$file_name"

Further Information

Click on class link to see 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

This command edits the note fields of all classes defined by a source tree manifest argument by filling in default values for license fields listed in supplied license argument. If the modification date/time has changed, it fills in the note-fields. If changed, it sets the date note-field to be same as the time stamp and increments the revision number note-field.

SOURCE_LOG_LINE_REMOVER_APP

Source log line remover app

SOURCE_TREE_CLASS_RENAME_APP

Source tree class rename app

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

CLASS_NOTES

Class notes

DATE_NOTE_EDITOR

Date note editor

LICENSE_NOTES

License notes

NOTE_EDITOR

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.

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