Tool: Eiffel Class Editing Utilities
This project cluster has 32 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
[ . ]
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_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.
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
Copyright © 2003-2019 Finnian Reilly