This project cluster has 38 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.
Class name editor
Class prefix remover
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
Abstraction for source tree editing sub-application
Change syntax of default_pointers references:
ptr /= default_pointer TO is_attached (ptr) ptr = default_pointer TO not is_attached (ptr)
Class prefix removal sub-application
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 log line remover app
Source tree class rename 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 syntax of Eiffel Loop logging filter arrays
Class notes
Date note editor
License 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.
Eiffel class note field name and text
Note field list
Verbatim note field
Feature constants
Feature editor
Group of class features with common export status
List of class feature groups
Note constants
Class feature
Features that do not require any expansion like for example
Pi: REAL = 3.142 Name: STRING = "[
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
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
Expand setter shorthand
@set name
AS
set (a_name: like name) do name := a_name end
Source file
Editable source lines
Source manifest editor command
Splits Eiffel source lines into feature groups and individual feature lines
Source tree edit command line sub app