Github

Download version 1.4.6: Windows or Linux

Tool: Eiffel Development Utility

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/support

. /class-edit

. /class-edit/support

. /class-rename

. /codec-generator

. /find-and-replace

. /library/override

. /library/override/classes

. /library/override/classes/gtk

. /library/override/classes/mswin

. /library/publish

. /library/publish/html-page

. /library/publish/support

. /note-editor

. /notes

. /pyxis

. /support

. /support/tree-edit

. /test

[ . ]

BUILD_INFO

Build specification

APPLICATION_ROOT

apps

AUTOTEST_DEVELOPMENT_APP

Convenience class to develop AutoTest classes

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.

ENCODING_CHECK_APP

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

FEATURE_EDITOR_APP

This application can save a lot of keyboard typing during Eiffel development. It performs a series shorthand expansions on a single Eiffel class, as well as alphabetically ordering the routines in each feature block. It can be usefully incoporated into EiffelStudio using this external command template:

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

Fills in default values for note fields for source trees listed in a manifest

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

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

CLASS_PREFIX_REMOVAL_APP

CODEC_GENERATOR_APP

CODE_HIGHLIGHTING_TEST_APP

ECF_TO_PECF_APP

LIBRARY_OVERRIDE_APP

SOURCE_FILE_NAME_NORMALIZER_APP

SOURCE_LOG_LINE_REMOVER_APP

SOURCE_TREE_CLASS_RENAME_APP

apps/support

SOURCE_TREE_EDIT_SUB_APP

class-edit

FEATURE_EDITOR_COMMAND

Command for command-line sub-application: EIFFEL_FEATURE_EDITOR_APP

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_NAME_EDITOR

CLASS_PREFIX_REMOVER

class-edit/support

SOURCE_LINES

Editable source lines

SOURCE_MODEL

Splits Eiffel source lines into feature groups and individual feature lines

CLASS_FEATURE

CLASS_FEATURE_GROUP

EIFFEL_CONSTANTS

FEATURE_CONSTANTS

FEATURE_EDITOR

SOURCE_FILE

class-rename

CLASS_FILE_NAME_NORMALIZER

CLASS_RENAMER

CLASS_RENAMER_COMMAND

codec-generator

CODEC_GENERATOR

CODEC_INFO

LATIN_CHARACTER

UNICODE_INTERVAL

find-and-replace

FIND_AND_REPLACE_COMMAND

FIND_AND_REPLACE_EDITOR

library/override

LIBRARY_OVERRIDE_GENERATOR

Creates class overrides of standard libraries for Eiffel-loop

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.

NOTE_MARKDOWN_RENDERER

Markdown renderer with support for relative Eiffel class links

REPOSITORY_PUBLISHER

Publishes an Eiffel repository as a website

REPOSITORY_SOURCE_TREE

Eiffel repository source tree

EIFFEL_NOTES

LIBRARY_CLASS

NOTE_HTML_TEXT_ELEMENT_LIST

REPOSITORY_HTML_TEMPLATES

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

library/publish/support

EL_HTML_META_DIGEST_PARSER

Find CRC-32 digest in HTML

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

MARKDOWN_TRANSLATER

Translates Eiffel-View publisher markdown to Github markdown

GITHUB_REPOSITORY_CONTENTS_MARKDOWN

HTML_TEXT_ELEMENT_LIST

MARKDOWN_RENDERER

MARKDOWN_ROUTINES

MARKUP_SUBSTITUTION

SHARED_HTML_CLASS_SOURCE_TABLE

note-editor

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_EDITOR_COMMAND

Edits notes in sources specified by manifest

LICENSE_NOTES

notes

DONE_LIST

PROJECT_NOTES

TO_DO_LIST

pyxis

XML_TO_PYXIS_CONVERTER

support

CODEBASE_STATISTICS_COMMAND

Count actual code words in Eiffel source trees

ENCODING_CHECK_COMMAND

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

SOURCE_MANIFEST_COMMAND

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

CODE_HIGHLIGHTING_TRANSFORMER

HTML_TEXT_ELEMENT

SOURCE_MANIFEST

SOURCE_MANIFEST_EDITOR_COMMAND

SOURCE_TREE

support/tree-edit

EDITING_COMMAND

SOURCE_TREE_EDIT_COMMAND_LINE_SUB_APP

SOURCE_TREE_PROCESSOR

test

NOTE_EDITOR_TEST_SET

REPOSITORY_PUBLISHER_TEST_SET