This project cluster has 46 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
CLASS_PREFIX_REMOVAL_APP removes all classname prefixes over a source directory
Command switch: -remove_prefix
NOTE_EDITOR_APP add default values to note fields using a source tree manifest.
Command switch: -edit_notes
FEATURE_EDITOR_APP expands Eiffel shorthand code in source file and reorders feature blocks alphabetically.
Command switch: -feature_edit
FIND_AND_REPLACE_APP finds and replaces text in Eiffel source files specified by a source tree manifest Command switch: -find_replace
SOURCE_LOG_LINE_REMOVER_APP comments out logging lines from Eiffel source code tree
Command switch: -elog_remover
SOURCE_TREE_CLASS_RENAME_APP renames classes defined by a source manifest file
Command switch: -class_rename
Download
Download binary of el_eiffel for Ubuntu 14.04 or Linux Mint 17.x.
Class renaming app for set of classes defined by source manifest
Command line interface to command FEATURE_EDITOR_COMMAND
Further Information
Click on class link to see notes and instructions.
Find and replace operating on a source manifest file
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)"
Command line interface to NOTE_EDITOR_COMMAND
Further Information
Click on class link to see notes.
Source file name normalizer app
Command line interface to class SOURCE_LEADING_SPACE_CLEANER
Command line interface to class SOURCE_LOG_LINE_REMOVER_COMMAND
Command line interface to UPGRADE_DEFAULT_POINTER_SYNTAX_COMMAND
Upgrade syntax of Eiffel Loop logging filter arrays with commend UPGRADE_LOG_FILTERS_COMMAND
Command line interface to class UPGRADE_TEST_SET_CALL_BACK_CODE
Class file name normalizer
Class renaming command for set of classes defined by source manifest
Further Information
Click on class link to see notes.
Command shell for renaming classes defined in a source tree manifest
Further Information
Click on class link to see notes.
Command for command-line sub-application: FEATURE_EDITOR_APP
Find and replace command
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)"
Command to edit the note fields of all classes defined by the source tree manifest argument by filling in default values for license fields list in supplied license_notes_path 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.
Count classes, code words and combined source file size for Eiffel source trees
Cleans up spaces at start of source code lines that should not be there
Further Information
Click on class link to see notes.
Comment out logging lines in eiffel source specified by manifest
Source manifest editor command
Command to change syntax of default_pointers references:
From
ptr /= default_pointer
To new
is_attached (ptr)
From
ptr = default_pointer
To new
not is_attached (ptr)
Upgrade LOG filters command
Upgrade EL_EQA_TEST_SET descendants to use new initialization method for naming test routines instead of using call-backs.
Further Information
Click on class link to see notes.
Convert lines with leading spaces to tabs or remove them entirely
Class note editor
Date note editor
Feature editor
Find and replace 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
Objects that comments out and comments in 'log.xxx' lines
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.
Change syntax of default_pointers references:
ptr /= default_pointer TO is_attached (ptr) ptr = default_pointer TO not is_attached (ptr)
Feature constants
Note constants
Class notes
Object that renames occurrences of class name in Eiffel source text
Manager for editing class
Unix gedit command to open a file at specific line number
Default license notes for Eiffel source. See class SOURCE_MANIFEST
Eiffel source line containing manifest tuple for intialializing a table as for example:
["input_file_path", agent get_input_file_path]
Eiffel class note field name and text
Note field list
Align the right columns of an array of name-value tuples in some SOURCE_LINES so the value item is left-justified.
Further Information
Click on class link to see notes.
Verbatim note field