Banner showing base of Eiffel tower

Github

Download version 1.4.8: Windows or Linux

Tool: Eiffel Class Editing Utilities

This project cluster has 30 classes.

ECF: eiffel.ecf

Source code: directory list

A "Swiss-army knife" of Eiffel class editing utilities invokeable by a command-line switch.

Sub-applications

-remove_prefix: CLASS_PREFIX_REMOVAL_APP

Removes all classname prefixes over a source directory

-edit_notes: NOTE_EDITOR_APP

Add default values to note fields using a source tree manifest.

-feature_edit: FEATURE_EDITOR_APP

Expands Eiffel shorthand code in source file and reorders feature blocks alphabetically.

-find_replace: FIND_AND_REPLACE_APP

Finds and replaces text in Eiffel source files specified by a source tree manifest

-elog_remover: SOURCE_LOG_LINE_REMOVER_APP

Comment out logging lines from Eiffel source code tree

-class_rename: SOURCE_TREE_CLASS_RENAME_APP

Rename classes defined by a source manifest file

Download

Download binary of el_eiffel for Ubuntu 14.04 or Linux Mint 17.x.

Directory: tool/eiffel/source/edit

[ . ]

. /apps

. /indexing-notes

. /support

. /support/source

[ . ]

CLASS_NAME_EDITOR

Class name editor

CLASS_PREFIX_REMOVER

Class prefix remover

LOG_FILTER_ARRAY_SOURCE_EDITOR

Object that upgrades syntax of log filters FROM

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

TO

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

CLASS_PREFIX_REMOVAL_APP

Class prefix removal sub-application

FEATURE_EDITOR_APP

This application can save a lot of unecessary 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_EDITOR_APP

Command line interface to the NOTE_EDITOR_COMMAND class which 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

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.

NOTE_FIELD

Eiffel class note field name and text

NOTE_FIELD_LIST

Note field list

VERBATIM_NOTE_FIELD

Verbatim note field

support

CLASS_FEATURE

Class feature

CLASS_FEATURE_GROUP

Class feature group

FEATURE_CONSTANTS

Feature constants

FEATURE_EDITOR

Feature editor

NOTE_CONSTANTS

Note constants

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