Banner showing base of Eiffel tower

Github

Download version 1.4.8: Windows or Linux

Tool: Eiffel Development Utility

Classes

Directory source listing

Overview

A "Swiss-army knife" of useful Eiffel command line development tools. The most useful ones are listed here with command line switchs:

-publish_repository: REPOSITORY_PUBLISHER_APP

Publishes an Eiffel code repository as a website with module descriptions.

-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.

Download

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

Directory: tool/eiffel/source

[ . ]

. /apps

. /apps/editing

. /apps/repository

. /apps/support

. /check-locale-strings

. /class-edit

. /class-edit/support

. /class-rename

. /codec-generator

. /command

. /command/editing

. /command/repository

. /find-and-replace

. /library/override

. /library/override/classes

. /library/override/classes/gtk

. /library/override/classes/mswin

. /library/publish

. /library/publish/html-page

. /library/publish/markdown

. /library/publish/support

. /note-editor

. /support

. /support/tree-edit

. /test

[ . ]

APPLICATION_ROOT

Application root class

BUILD_INFO

Build specification

apps

AUTOTEST_DEVELOPMENT_APP

Convenience class to develop AutoTest classes

CHECK_LOCALE_STRINGS_APP

An application for verifying localization translation identifiers against various kinds of source texts See CHECK_LOCALE_STRINGS_COMMAND for details.

CLASS_DESCENDANTS_APP

Command line interface to CLASS_DESCENDANTS_COMMAND

CODEBASE_STATISTICS_APP

Count lines of eiffel code for combined source trees defined by a source tree manifest. Lines are counted starting from the class keyword and exclude comments and blank lines.

CODEC_GENERATOR_APP

Codec generator app

CODE_HIGHLIGHTING_TEST_APP

Code highlighting test app

ECF_TO_PECF_APP

Ecf to pecf app

ENCODING_CHECK_APP

Checks for UTF-8 files that could be encoded as Latin-1

LIBRARY_OVERRIDE_APP

Library override app

SOURCE_FILE_NAME_NORMALIZER_APP

Source file name normalizer app

UNDEFINE_PATTERN_COUNTER_APP

Command line interface to the command: UNDEFINE_PATTERN_COUNTER_COMMAND

apps/editing

CLASS_PREFIX_REMOVAL_APP

Class prefix removal app

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

apps/repository

REPOSITORY_NOTE_LINK_CHECKER_APP

Command line interface to REPOSITORY_NOTE_LINK_CHECKER command

REPOSITORY_PUBLISHER_APP

Eiffel-View, an application for publishing an Eiffel repository to a website. See Eiffel Room articles:

Part I: Eiffel-View 1.0, the new Eiffel repository publishing tool

PART II: Eiffel-View 1.1, the new Eiffel repository publishing tool

REPOSITORY_SOURCE_LINK_EXPANDER_APP

Command line interface to REPOSITORY_SOURCE_LINK_EXPANDER command

apps/support

REPOSITORY_PUBLISHER_SUB_APPLICATION

Application based on repository publisher

SOURCE_TREE_EDIT_SUB_APP

Source tree edit sub app

check-locale-strings

EL_MISSING_TRANSLATIONS

Missing translations

EL_ROUTINE_LOCALE_STRING_PARSER

Scans lines from a routine for locale string identifiers

EL_ROUTINE_RESULT_LOCALE_STRING_PARSER

Parses locale ID from result of constant prefixed with English_

English_name: ZSTRING
   once
      Result := "Dublin"
   end

EVOLICITY_TEMPLATE_PARSER

Evolicity template parser

class-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

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)

class-edit/support

CLASS_FEATURE

Class feature

CLASS_FEATURE_GROUP

Class feature group

FEATURE_CONSTANTS

Feature constants

FEATURE_EDITOR

Feature editor

NOTE_CONSTANTS

Note constants

SOURCE_FILE

Source file

SOURCE_LINES

Editable source lines

SOURCE_MODEL

Splits Eiffel source lines into feature groups and individual feature lines

class-rename

CLASS_FILE_NAME_NORMALIZER

Class file name normalizer

CLASS_RENAMER

Class renamer

codec-generator

CODEC_INFO

Codec info

LATIN_CHARACTER

Latin character

UNICODE_INTERVAL

Unicode interval

command

CHECK_LOCALE_STRINGS_COMMAND

A command for verifying localization translation identifiers against various kinds of source texts.

CLASS_DESCENDANTS_COMMAND

Command to output a "descendants" note field for copy/pasting into Eiffel source code.

CODEBASE_STATISTICS_COMMAND

Count actual code words in Eiffel source trees

CODEC_GENERATOR

Codec generator

ENCODING_CHECK_COMMAND

Checks for UTF-8 files that could be encoded as Latin-1

LIBRARY_OVERRIDE_GENERATOR

Creates class overrides of standard libraries for Eiffel-loop

SOURCE_TREE_PROCESSOR

Source tree processor

UNDEFINE_PATTERN_COUNTER_COMMAND

Command operating on a source code tree manifest to count the number of classes containing the following code pattern:

class MY_CLASS
inherit
   A_CLASS
      undefine
         <feature list>
      end

   B_CLASS
      undefine
         <feature list>
      end

where the feature list contains only identifiers defined in Common_undefines

XML_TO_PYXIS_CONVERTER

Xml to pyxis converter

command/editing

CLASS_RENAMER_COMMAND

Class renamer command

EDITING_COMMAND

Editing command

FEATURE_EDITOR_COMMAND

Command for command-line sub-application: FEATURE_EDITOR_APP

FIND_AND_REPLACE_COMMAND

Find and replace command

NOTE_EDITOR_COMMAND

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.

command/repository

REPOSITORY_NOTE_LINK_CHECKER

Check for invalid class references in note links

REPOSITORY_PUBLISHER

Publishes an Eiffel repository as a website

REPOSITORY_SOURCE_LINK_EXPANDER

Use a supplied repository publishing configuration to expand $source variable path in wiki-links containined in a wiki-markup text file. Write the expanded output to file named as follows:

<file name>.expanded.<file extension>

An incidental function is to expand all tabs as 3 spaces.

find-and-replace

FIND_AND_REPLACE_EDITOR

Find and replace editor

library/override

OVERRIDE_FEATURE_EDITOR

library/override/classes

EV_ENVIRONMENT_I_FEATURE_EDITOR

EV_INTERNALLY_PROCESSED_TEXTABLE_IMP_FEATURE_EDITOR

SD_SHARED_EIFFEL_FEATURE_EDITOR

SD_ZONE_NAVIGATION_DIALOG_FEATURE_EDITOR

library/override/classes/gtk

EV_WEB_BROWSER_IMP_FEATURE_EDITOR

library/override/classes/mswin

EV_PIXMAP_IMP_DRAWABLE_EIFFEL_FEATURE_EDITOR

EV_PIXMAP_IMP_EIFFEL_FEATURE_EDITOR

EV_RADIO_BUTTON_IMP_EIFFEL_FEATURE_EDITOR

library/publish

EIFFEL_CLASS

Class to render github like markdown found in the description note field of Eiffel classes.

EIFFEL_NOTES

Eiffel notes

LIBRARY_CLASS

Library class

NOTE_HTML_TEXT_ELEMENT_LIST

Note html text element list

REPOSITORY_HTML_TEMPLATES

Repository html templates

REPOSITORY_SOURCE_TREE

Eiffel repository source tree

SOURCE_DIRECTORY

Source directory

library/publish/html-page

REPOSITORY_HTML_PAGE

HTML page for Eiffel repository

REPOSITORY_SITEMAP_PAGE

HTML sitemap page for Eiffel repository

REPOSITORY_SOURCE_TREE_PAGE

Repository source tree page

library/publish/markdown

MARKDOWN_RENDERER

Markdown renderer

MARKDOWN_ROUTINES

Markdown routines

MARKDOWN_TRANSLATER

Translates Eiffel-View publisher markdown to Github markdown

NOTE_MARKDOWN_RENDERER

Markdown renderer with support for relative Eiffel class links

PREFORMATTED_NOTE_MARKDOWN_RENDERER

Preformatted note markdown renderer

library/publish/support

EL_HTML_META_DIGEST_PARSER

Find CRC-32 digest in HTML

<meta name="digest" content="<crc digest>"/>

GITHUB_REPOSITORY_CONTENTS_MARKDOWN

Github repository contents markdown

HTML_TEXT_ELEMENT_LIST

Html text element list

MARKUP_SUBSTITUTION

Markup substitution

SHARED_HTML_CLASS_SOURCE_TABLE

Shared html class source table

SQUARE_BRACKET_ESCAPER

Square bracket escaper

note-editor

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

CODE_HIGHLIGHTING_TRANSFORMER

Code highlighting transformer

HTML_TEXT_ELEMENT

Html text element

SOURCE_MANIFEST

Source manifest

SOURCE_MANIFEST_COMMAND

Process files specified in a Pyxis format source manifest as for example: sources.pyx

SOURCE_MANIFEST_EDITOR_COMMAND

Source manifest editor command

SOURCE_TREE

Source tree

support/tree-edit

SOURCE_TREE_EDIT_COMMAND_LINE_SUB_APP

Source tree edit command line sub app

test

NOTE_EDITOR_TEST_SET

Note editor test set

REPOSITORY_PUBLISHER_TEST_SET

Repository publisher test set

REPOSITORY_SOURCE_LINK_EXPANDER_TEST_SET

Repository source link expander test set

TEST_UNDEFINE_PATTERN_COUNTER_COMMAND

Test undefine pattern counter command

UNDEFINE_PATTERN_COUNTER_TEST_SET

Undefine pattern counter test set