History.md

Release History

Version xx.xx.xx - xxxx

gelsp

• Added option to ignore validity errors in classes which are not reachable from the root class.
• Avoid reporting validity errors which are the consequence of other errors in previous Degrees.
• Indicate *UNKNOWN* instead of a wrong type when hoverring the mouse over the text of a class which contains errors.
• Stop reporting validity errors in a class whose file has just been deleted.
• Added option to ignore unused local variable warnings.

Version 26.10.18 - 18 October 2026

gec

• Fixed some issues that prevented the GC from collecting a SCOOP region (and stopping its thread) when no objects in this region were referenced from other regions anymore.
• Made sure to properly synchronize with already locked regions in case of multiple separate arguments. The new implementation ensures that the already locked regions are ready to execute upcoming separate calls on their processors before synchronizing.
• Improved the way SCOOP passive regions are handled at run time.
• Fixed bug (infinite loop) during Degree 3 when incrementally recompiling a class declaring two features with the same name, even though this validity error was previously reported during Degree 4.
• Fixed C code generation when calling a precursor which is a once-per-object routine.
• Fixed runtime C code when compiling with gcc 15.2.0 on Ubuntu 26.04.
• Avoid possible infinite loops when inheritance cycles or type anchor cycles have been detected during a previous Degree but the compiler proceeds further in fault tolerant mode.
• Optimized semi-strict boolean infix expressions so that assertions of the form elks_checking implies f (old twin) do not trigger a call to twin on routine entry when elks_checking is a constant attribute of value False.
• Upgraded Zig toolchain to version 0.17.0.

gedoc

• Added the generation of the contract-view of classes when using the format html-stylesheet.

gelsp

• Added pre- and postconditions to the feature signature in the tooltip shown when mouse hovering over a feature name.
• Added support for contract-view (or short form) and flat-contract-view (or flat short form) of a class, where internal implementation details are hidden, keeping only an interface representation.
• Correctly point to the formal argument a when hoverring the mouse over the anchor of a type of the form like a (it was trying to find a feature a).

getest

• Exit with code 1 when a test case class contains a syntax error.

Gobo Eiffel FreeELKS Library

• Made implementation of ISE_SCOOP_RUNTIME.region_id more robust: it does not return a uint16-truncated address anymore but a real uint16 id. As a consequence an exception is raised when the number of SCOOP regions is greater than 65535.
• Synchronized with version in EiffelStudio 26.09.9.9100.

Gobo Eiffel Regexp Library

• Added match_limit/set_match_limit to limit the number of internal steps when calling one of the match routines. The default is 0, which means no limit. When exceeding this limit, the match fails (i.e. has_matched is set to False) and match_limit_exceeded is set to True.

Miscellaneous

• Upgraded ISE Eiffel to version 26.09.9.9100.

Version 26.09.03 - 3 September 2026

gec

• Made sure that default_create is called when initializing expanded objects.
• When generating a new ECF file, turn on the preconditions.
• Implemented SCOOP wait conditions.
• Improved the way multiple SCOOP separate arguments are handled at run time.

gecop

• Added semantics tests for VOIT (Iteration rule).
• Added validation tests for VTEC-2 (Expanded Type rule).

gedoc

• When generating a new ECF file, turn on the preconditions.
• Added formats contract_view and flat_contract_view to generate the contract-view (or short form) and flat-contract-view (or flat short form) of a class or of a set of classes, where internal implementation details are hidden, keeping only an interface representation.
• Added the generation of the flat-contract-view of classes when using the format html-stylesheet.

gelsp

• Fixed tooltip for the feature names of qualified calls when the target types are generic.

Gobo Eiffel Tools Library

• Improved detection of non-initialialized attributes of attached types when the initialization occurs in a once-routine.
• Added validity checks for expanded types. Validity rules VTEC-2.

Version 26.06.30 - 30 June 2026

gecop

• Added validation tests for VYCP (Conversion Procedure rule) and VYCQ (Conversion Query rule).
• Added validation tests for VHPR-2 (Parent rule).
• Added validation tests for VGFG-3G (Formal Generic rule).
• Added validation tests for VKCC-4 and VKCC-6G (Creation Clause rule).
• Added validation tests for VKIN-6G (Creation Instruction rule).
• Added validation tests for VKEX-5G (Creation Expression rule).
• Added semantics tests for MKIN (Creation Instruction semantics).
• Added semantics tests for VOMB (Multi-branch rule).
• Added semantics tests for VOIN (Interval rule).
• Added semantics tests for MOMB (Multi-Branch semantics).

Gobo Eiffel Tools Library

• Added validity checks for convert clauses. Validity rules VYCP and VYCQ.
• Added support for once classes (not in the ECMA standard, but supported by ISE Eiffel).
• Added validity checks for inspect instructions/expressions. Validity rules VOMB and VOIN.
• Added support for inspect instructions/expressions on STRING and TYPE expressions.

Version 26.05.14 - 14 May 2026

gec

• Upgraded Zig toolchain to version 0.16.0.
• Upgraded Boehm GC to version 8.2.12.
• Added command-line option --init to create ECF and Eiffel root class files if missing.
• Added command-line option --compile to compile the Eiffel system. This is the default unless --init or --run is specified.
• Added command-line option --run to run Eiffel system. Do not compile unless the executable is not found.
• If the input filename has no extension, the extension .ecf is assumed.

Gobo Eiffel Tools Library

• Fixed bug in fault tolerant Eiffel parser when processing binary expressions with @ operator symbol.

Version 26.04.22 - 22 April 2026

gecop

• Added validation tests for VEVI ("Variable Initialization rule").

gelsp

• Click on a keyword to highlight all keywords of the enclosing Eiffel construct.
• Type Shift+Alt+RightArrow to expand the selection to the enclosing Eiffel construct (and Shift+Alt+LeftArrow to shrink the selection). This operation can be repeated several times.

Gobo Eiffel Language Server Protocol Library

• Added support for textDocument/documentHighlight request.
• Added support for textDocument/selectionRange request.

Gobo Eiffel Tools Library

• Fixed validity checking of old expressions. The following code snippets attached exp as e and then old e.f and across exp as i all i.f end were accepted even though e and i are out of scope when evaluating the old expressions on entry of the enclosing feature.
• Check that attributes declared as attached are not used before being initialized, and are initialized at the end of creation procedures. Validity error VEVI.

Version 26.03.05 - 5 March 2026

gelsp

• Implemented Call Hierarchy menu/panel with callers and callees in case of features, and with clients and suppliers in case of classes.
• Implemented Type Hierarchy menu/panel with ancestor and descendant classes.
• Class analysis is now fault tolerant, which allows class texts to be fully browsable even when they contain syntax or compilation errors.
• Do not request restarting the Eiffel server more than once to avoid ending up with several servers running.
• Added completion snippets.

Gobo Eiffel Language Server Protocol Library

• Added support for textDocument/prepareCallHierarchy, callHierarchy/incomingCalls and callHierarchy/outgoingCalls requests.
• Added support for textDocument/prepareTypeHierarchy, typeHierarchy/supertypes and typeHierarchy/subtypes requests.

Gobo Eiffel Tools Library

• Fixed processing of pre- and postconditions in inlined agents.
• Implemented fault tolerant Eiffel parser and improved syntax error messages.
• Added option to make Degree 4 and 3 fault tolerant: classes are checked (although without reporting errors) even when errors have been detected in one of the previous Degrees. Useful in order to decorate the AST with useful information such as the seed of the feature in call instructions.
• Keep as many components as possible in the AST in case of syntax error.
• Report unused local variables.

Version 26.01.11 - 11 January 2026

geant

• <copy file="..." to_file="..."/> now creates missing directories in the destination path.

gec

• Fixed bug when inlining code in inherited assertions (preconditions, postconditions and invariants).
• Stop at the end of Degree 3 when there is no root class specified and CAT-call error reporting is turned off.
• Fixed bug where overriding library options were not taken into account in ECF files.
• Fixed bug in C code generated for iteration items and object-test locals in inherited pre- and postconditions.
• Fixed bug in C code generated for pre- and postconditions of external inline C routines.
• Fixed bug in C code generated for old expressions which are the expanded targets of qualified calls.
• Fixed computation of the dynamic type sets of the arguments of feature ROUTINE.set_rout_disp_final.
• Made sure that invariants are not checked when calling dispose from the GC.
• Made the implementation of ANY.standard_is_equal atomic when the target and the argument are the same object so that we don't get reflexive_equality: standard_is_equal (Current) invariant violations in multi-threaded mode.
• Improved C code generation for inherited pre- and postconditions to avoid checking twice the same assertion.
• Fixed bug in C code generated for exception trace in empty routines when assertions are monitored.
• Fixed implementation of built-in feature SPECIAL.standard_is_equal: capacity should not be taken into account.
• Fixed computation of dynamic type sets in assertions of agent routines (FUNCTION.item and PROCEDURE.call).
• Fixed computation of dynamic type sets when raising assertions in once routines.
• Skip types which are not in the system (type id = 0) when generating ancestors information in the generated C code.
• Fixed computation of the dynamic type sets of the arguments of routines whose addresses are passed to C and then called back from C.
• Fixed implementation of eif_adopt/eif_access/eif_wean when the Eiffel objects are not visible from the Boehm GC's roots (e.g. when using the EiffelVision GTK binding).
• Eiffel objects passed as arguments to external "C" routines are eif_protected behind the scene (interoperability with ISE Eiffel).
• Added comments in the generated C code to pinpoint preconditions, postconditions and invariants.
• The default value for the setting exception_trace in ECF files is now False in finalize mode, and True otherwise (for a better interoperability with ISE Eiffel).

gedoc

• Added command-line option --library to specify the names of libraries whose classes will be processed. Accept wildcards such as --library= str* or library=@(structure|string). This option can be used several times to specify several library names.
• Updated output of format html_ise_stylesheet to match the stylesheet used in documentation generated by recent versions of EiffelStudio (25.02).
• Modified output of format html_ise_stylesheet to display all subclusters, even when the root cluster is declared as recursive.
• Added command-line option --no-force to indicate that existing files should not be overwritten. Nothing shoud be done, silently without asking.
• Added format unused_class to get the list of unused classes, and/or delete them.

gelsp

• Implemented Go To Type Definition navigation (in the contextual menu).
• Implemented completion (Ctrl+Space or as you type), with snippet for the arguments of feature calls and the generic parameters of a class type.
• Implemented Go To Feature Implementations navigation (Ctrl+F12 or in the contextual menu).
• Send custom notifications to VS Code to let it know when a restart of the Eiffel language server is needed.
• Send custom notifications to VS Code to let it know when the Eiffel language server is busy analyzing the whole Eiffel project from scratch.
• Implemented workspace symbol search (Ctrl+T) to go to classes and their features by name.
• Take into account modifications of the workspace ECF file and target settings.

Gobo Eiffel Kernel Library

• KI_FILE.copy_file and KI_FILE_SYSTEM.copy_file now create missing directories in the destination path.
• Fixed postcondition of KL_ARGUMENTS.to_array.

Gobo Eiffel Language Server Protocol Library

• Added support for textDocument/declaration requests.
• Added support for textDocument/typeDefinition requests.
• Added support for textDocument/implementation requests.
• Added support for textDocument/completion and completionItem/resolve requests.
• Added support for custom notifications.
• Added support for workspace/symbol and workspaceSymbol/resolve requests.
• Added support for workspace/didChangeConfiguration notifications.

Gobo Eiffel Tools Library

• Implemented CAP (Certified Attachment Pattern) for inline separate arguments (e.g. sepatate exp as x do if x /= Void then x.f end end).
• Fixed bugs during incremental compilations (used a lot from VS Code to report errors as you type).
• Fixed bug where some formal arguments were wrongly assumed to be attached.
• Report correct error messages in case of name mismatches involving arguments of inline separate instructions (e.g. sepatate exp1 as x do across exp2 as x loop x.f end end).
• Fixed interoperability issue with ISE Eiffel: in ISE Eiffel it is allowed to have a binary expression where the left-hand-side expression is converted to the type of the right-hand-side expression even if there is no such binary operator defined in the type of the left-hand-side expression. This violates ECMA rule DWTC ("Definition: Target-converted form of a binary expression").
• Avoid infinite loop when computing dynamic type sets involing TYPE (e.g. TYPE [TYPE [TYPE [... TYPE [FOO] ...]]]) by considering that the type of a TYPE object is TYPE [NONE] and not TYPE [TYPE [...]].
• Implemented built-in features from class IDENTIFIED_CONTROLLER.
• Fixed regular expressions to check the validity of special characters and manifest strings.
• Fixed several assertions and assertion violations.

Version 25.12.04 - 4 December 2025

gelsp

• Initial implementation of a language server for the Eiffel language. Used from the Gobo Eiffel VS Code Extension.
• Use the ECF specified in the workspace settings, otherwise use the last ECF file (in alphabetic order) found at the root of the workspace folder, otherwise use the default ECF file (using Gobo Eiffel libraries and recursive clusters from the root of the workspace folder). Then use the ECF target specified in the workspace settings, otherwise use the last target in the ECF file.
• Display Eiffel syntax and validity errors on the fly (in the Problems panel and with error squiggles).
• Update displayed information on the fly when Eiffel classes are modified.
• Implemented tooltips with signatures and header comments.
• Implemented Go To Definition navigation (in the contextual menu).
• Implemented feature and feature clause navigation (in the Outline panel).
• Restart Eiffel language server after a given number Eiffel compilations to reclaim memory and avoid potential incremental compilation issues.

Gobo Eiffel Language Server Protocol Library

• Initial implementation of a language server SDK in Eiffel.
• Added support for text document synchronization.
• Added support for textDocument/hover requests.
• Added support for workspace/didChangeWatchedFiles notifications.
• Added support for textDocument/definition requests.
• Added support for textDocument/documentSymbol requests.
• Added support for workspace/configuration requests.
• Added support for textDocument/publishDiagnostics requests.

Gobo Eiffel Tools Library

• Added new AST processor to find browsable items (i.e. Eiffel text for which we can get additional information) at a given text position.
• Allow read-only universes to be preparsed again when preparse_readonly_mode is True.
• Made it possible to handle class texts currently being modified in a text editor but not saved in files yet.

Version 25.10.01 - 1 October 2025

gec

• Fixed and improved Eiffel error messages so that they can be captured in the Gobo Eiffel VS Code Extension.

gedoc

• Added format executable_name to get the name of the executable to be compiled using a given ECF file.
• Let the ecf_pretty_print format generate a new ECF file when provided with an Eiffel file instead of an ECF file as input.

Miscellaneous

• Released a VS Code extension for the Eiffel language using Gobo Eiffel. See description in Marketplace and code in GitHub repository.

Version 25.09.02 - 2 September 2025

geant

• Added option timeout to task <exec>.
• Added command-line option --thread to override the maximum number of threads to be used by thread-capable tasks.
• Added new task <gecc>.

gec

• Added support for STORABLE (independent store format only). Does not support classes MISMATCH_CORRECTOR, CLASS_NAME_TRANSLATIONS, nor the note tag "storable_version" yet.
• Added support for SED classes.
• Added support for assertion monitoring.
• Added support for signals.
• Added support for SCOOP. Using preconditions as wait conditions is not supported yet.
• Do not generate the SCOOP overhead when there is no separate creation in the program.
• Generate intermediary files in a subfolder .gobo.
• Use the Boehm GC by default (included in the Git repository and bundled into the delivery package).
• Use Zig toolchain as default backend C compiler (bundled into the delivery package).
• Allow gec to accept an Eiffel file as argument instead of an ECF file. An internal ECF template will be used in that case.
• CAT-calls are now ignored at compile time (they will be caught at runtime). Use the command-line option --catcall with warning to get the previous behavior (warning at compile time and caught at runtime). All applications in the Gobo Eiffel package are compiled using the option --catcall with error to guarantee at compile time that they don't contain any CAT-calls.
• Build dynamic type sets of external C functions (assuming that the C code does not set an attribute of the resulting objects with an object whose dynamic type is not already part of the dynamic type set of this attribute as inferred from the Eiffel code).
• Allow the C files included in the ISE EiffelVision2 library to be compiled correctly using the Gobo Eiffel runtime.
• Allow the C files included in the ISE EiffelCurl library to be compiled correctly using the Gobo Eiffel runtime.
• Allow the C files included in the ISE EiffelNet library to be compiled correctly using the Gobo Eiffel runtime.
• Fixed implementation of PLATFORM.is_64_bits.
• Accept the following external C syntaxes: C [macro <ev_gtk.h>] | "eif_argv.h" and C Macro use <ev_gtk.h> used in ISE EiffelVision2.
• Do not generate Makefiles anymore under Linux/MacOS. Rely on gecc instead.
• Do not check call-on-void-target at runtime in void-safe mode by default anymore. Use the ECF setting check_for_void_target to get this behavior.
• Added support for inlining in the generated C code. Can be configured using the ECF settings inlining and inlining_size.
• Changed implementation of built-in function generating_type in class TYPE so that it returns an object of type TYPE [NONE] instead of TYPE [detachable TYPE [G]]. This is to avoid an infinite loop when computing the set of dynamic types at compile time.
• Changed the default for the command-line option --thread to be -3 instead of 0 ("number of available CPUs -3" instead of "number of available CPUs").

gecc

• Changed the default for the command-line option --thread to be -3 instead of 0 ("number of available CPUs -3" instead of "number of available CPUs").

gecop

• Added validation tests for VSCI, VSRP and VSRT.
• Added validation tests for VSCN ("Class Name rule").
• Added validation tests for S7SC ("Semicolon Optionality rule").
• Added validation tests for M7CI ("Case Insensitivity principle").
• Added test cases for SCOOP semantics and validity rules.
• Added command-line option --progress to show the names.
• Changed the default for the command-line option --thread to be -3 instead of 0 ("number of available CPUs -3" instead of "number of available CPUs").

gedoc

• Changed the default for the command-line option --thread to be -3 instead of 0 ("number of available CPUs -3" instead of "number of available CPUs").

gelint

• Added support for SCOOP.
• Allow gelint to accept an Eiffel file as argument instead of an ECF file. An internal ECF template will be used in that case.
• Changed the default for the command-line option --thread to be -3 instead of 0 ("number of available CPUs -3" instead of "number of available CPUs").

Gobo Eiffel Tools Library

• Added support for SCOOP.
• Added support for ECF version 1.23.0.
• Avoid reporting errors which are the consequence of other errors already reported.

Miscellaneous

• The Gobo Eiffel delivery package can be unzipped and used without the need for any configuration. No need to set environment variables or create an ECF file to compile your first "Hello World" program in Eiffel.
• Added nightly builds in GitHub repository.

Version 22.01.09.4 - 9 January 2022

geant

• Added option executable for the tasks <gec> and <ise> to be able specify the filename (optionally with a pathname) of the Eiffel compiler executable. The default is the executable which can be found in the PATH.
• Added option exit_code_variable to the task <getest>.
• Added task <cat>, which is similar to <echo> except that it writes the content of a file instead of a message.
• Display Eiffel compilation error message when an error occurred during the compilation of the test harness in task <getest>.

gec

• Added runtime support for attributes with self-initializing code.
• Added support for the ECF setting line_generation, with preprocessor statements #line now included in the generated C code.
• Let the test in $GOBO/tool/gec/test/tool run gecop with the gec executable just built (the executable under test).
• Added support for once-per-object.
• Fixed C code generation for creation instruction when the target is declared of reference type and the creation type is expanded.
• Fixed C code generation of creation expressions.
• Fixed C code generation when extracting agent arguments from polymorphic tuple.
• Improved interoperability with ISE Eiffel when calling routines: for each actual argument in the order listed, first it is evaluated, then converted if needed, and finally if the resulting object has copy semantics it is cloned. This is different from what is specified in MUGC in the ECMA Eiffel standard where the actual arguments are first evaluated and converted (first traversal in step 4) and then cloned (second traversal in step 5). So the two traversals in steps 4 and 5 need to be merged into a single traversal.
• Fixed C code generation when an external routine is of the form external "C : int | <file.h>" with no argument types in the signature.
• Implemented copy semantics (reference entities attached to objects of expanded types) in attachments (e.g. assignment and argument passing) and comparisons (=, /=, ~ and /~) as well as in Kernel built-in features (e.g. ANY.standard_copy or ANY.standard_is_equal).

gecop

• Made gecop multi-threaded. Each thread will run its own set of validation tests independently of the others.
• Added command-line option --tool-executable to specify the executable filename (optionally with a pathname) of the Eiffel tool to be tested. The default is either gec, gelint, ec which can be found in the PATH.
• Added test cases for semantics rules MBAS, MBRE-1 and MVOL. Added some comments about issues in the ECMA Eiffel standard (Reattachment Semantics).
• Added test cases for semantics rules MUGC.
• Added test cases for rules M1EE and M1IE exercising the semantics of equality and inequality expressions.

gedoc

• Added format descendants to get the list of descendants classes of a class or of a set of classes.

gelint

• Let the test in $GOBO/tool/gelint/test/tool run gecop with the gelint executable just built (the executable under test).

getest

• Changed exit code to 3 in case of an Eiffel compilation error when compiling the test harness.

Gobo Eiffel Test Library

• Added support for multi-threading where running tests with the class TS_MULTITHREADED_TEST_SUITE.

Gobo Eiffel Tools Library

• Improved processing of conversion expressions.
• Fixed textual representation of ET_TUPLE_TYPE in case of labeled tuples: should use ; instead of , as separator for actual generic parameters (e.g. "TUPLE [a: A; b: B]" and not "TUPLE [a: A, b: B]").
• Fixed the fact that it is valid to have x.f where the type of x is a formal generic parameter and f is a tuple label declared in several constraints G -> {TUPLE [f: INTEGER], TUPLE [f: INTEGER]} because the two constraints have the same base type and the labels are at the same position.
• Disallowed conformance of B [C] to B [D] when B is expanded and C and D are not the same type. This is to avoid polymorphism when the type of an entity is expanded, as implicitly implied in the rest of the Eiffel language definition.
• Added support for ECF 1.22.0 and its new option is_obsolete_iteration.
• Fixed default value for ECF option warning when converting ECF files to newer versions of ECF.
• Added support for the notation @i to access the iteration cursor of an iteration whose iteration item is i, e.g. ∀ i: list ¦ i = @i.index (1 is at the first position, 2 at the second position, etc.).

Miscellaneous

• Added test execution in GitHub Actions and Azure DevOps.
• Upgraded all ECF files to ECF 1.22.0.
• Display more progress information when installing the Gobo Eiffel package unless the option -s is specified.

Version 20.05.31.5 - 31 May 2020

gec

• Added support for class mappings STRING -> STRING_32 and CHARACTER -> CHARACTER_32 when specified that way in the ECF file. The default is still set to STRING -> STRING_8 and CHARACTER -> CHARACTER_8 in the FreeELKS ECF file.
• Added support for new built-in features generator_8_of_type and generating_type_8_of_type in class ISE_RUNTIME.

gedoc

• Added formats implicit_converts to show the list of implicit conversions in the Eiffel classes, and explicit_converts to make them explicit in the class text.

geimage

• New tool which is able to embed an image into an Eiffel class which can then be used in applications using EiffelVision2.

Gobo Eiffel Kernel Library

• Made sure that the library works with both class mappings STRING -> STRING_8 and STRING -> STRING_32.

Gobo Eiffel Structure Library

• Made sure that the library works with both class mappings STRING -> STRING_8 and STRING -> STRING_32.

Gobo Eiffel Tools Library

• Changed the implementation of class mappings in ECF (<mapping old_name="..." new_name="..."/>) so that its behavior matches what is implemented in ISE Eiffel. Note that gec and gelint do not support class mappings at the cluster level, only at the target level.
• Improved interoperability with ISE Eiffel by making sure that in void-safe mode the type attached NONE conforms to all other types, even expanded types.
• Fixed bug when looking for duplicates in multiple aliases (e.g. alias "+" alias "+").
• Added support for new symbolic forms of boolean operators (∧, ∨, ¬, ⇒, ⊻, ∧…, ∨…).

Version 20.03.22.1 - 22 March 2020

gec

• Added support for new routines in class IDENTIFIED_ROUTINES: eif_current_object_id and eif_is_object_id_of_current.

Gobo Eiffel Tools Library

• Made sure that alias names with invalid free operators are rejected.
• Accept the special symbols ∀, ∃, ⟳, ⟲ and ¦ (used in symbolic forms of across loops) in free operators made up of two or more symbols.
• Added support for multi-branch expressions (of the form inspect x when 1, 2 then "foo" when 3..5 then "bar" else "gobo" end).

Miscellaneous

• Added test execution in GitLab CI/CD.

Version 20.01.21.1 - 21 January 2020

gec

• Fixed bugs when generating code for external "C++" routines.
• Do not take into account resource files with extension .resx specified in ECF with <external_resource> when compiling in non .NET.

Gobo Eiffel Tools Library

• Fixed bug in Eiffel pretty-printer. The symbol ∃ was printed instead of ~.
• Added support for new values none|current|error for warning option obsolete_feature in ECF classes as introduced in ECF 1.21.0. Note that gec does not take this option into account.
• Added support for stable attributes in void-safe mode.
• Reordered VFAV rules to match those of ISE Eiffel. Added a rule for multiple aliases with the same name.
• Added classes ET_AGENT_ERROR_HANDLER and ET_ECF_AGENT_ERROR_HANDLER to be able to customize error reporting with agents (i.e. displaying validity error messages on a GUI window instead of on the console).

Version 19.11.03.1 - 3 November 2019

gedoc

• Fixed ECF pretty-printer when printing <external_linker>. The attribute name is value and not location.
• Fixed ECF pretty-printer when processing files of the form <redirection>. It was printing the file it was redirected to.

gelex

• Improved gelex to generate smaller manifest arrays.

Gobo Eiffel Tools Library

• Added support for manifest immutable strings {IMMUTABLE_STRING_8} "..." and {IMMUTABLE_STRING_32} "...". More generally, IMMUTABLE_STRING_8 and IMMUTABLE_STRING_32 are considered as as sized variants of STRING (like STRING_8 and STRING_32).
• Removed support for infix "..." and prefix "..." syntax notations. We should use alias "..." instead, as described in the ECMA standard.
• Added support for multiple aliases (e.g. f alias "[]" alias "@" (i: INTEGER): T).
• Added support for quantifier expressions of the form ∀ x: list ¦ x > 0 as syntactic sugar for across list is x all x > 0 end.
• Added support for quantifier expressions of the form ∃ x: list ¦ x > 0 as syntactic sugar for across list is x some x > 0 end.
• Added support for repeat instructions of the form ⟳ x: list ¦ x.do_something ⟲ as syntactic sugar for across list is x loop x.do_something end.
• Relaxed the implementation of export status of inherited features in order to be compliant with the ECMA standard.
• Refined the way dynamic type sets for tuple items are computed.
• Added support for new values none|warning|error for option warning in ECF classes as introduced in ECF 1.21.0. Note that gec does not take this option into account.

Version 19.10.03.1 - 3 October 2019

gelex

• Fixed bug when computing equivalence classes. The generated arrays should be slightly smaller.
• Added support for Unicode. Regular expressions and embedded Eiffel code in the .l input file can contain Unicode characters. Unicode is supported natively by default, with no increase in size and execution time when the regular expressions only contain 8-bit characters. Alternatively, with the option utf8 Unicode characters are internally converted to their UTF-8 byte sequence in the generated scanner. This can be useful when the file to scan is already encoded with UTF-8, although the generated scanner will be larger and not necessarily faster.
• Added support for addition and subtraction of character classes.
• Fixed bug when an Eiffel verbatim string in a semantic action contains a closing brace }, which was wrongly interpreted as the end of the Eiffel code for this semantic action.
• Updated the documentation.

geyacc

• Added support for Unicode. Embedded Eiffel code in the .y input file can contain Unicode characters. Characters in %token declarations can also be Unicode characters or their escaped versions (e.g %token '\u03B2' where 03B2 is the hexadecimal code for Greek character beta).
• Removed command-line option --new_typing.
• Fixed bug when an Eiffel verbatim string in a semantic action contains a closing brace }, which was wrongly interpreted as the end of the Eiffel code for this semantic action.
• Updated the documentation.

Gobo Eiffel Kernel Library

• Changed the signature of features put_string and put_substring in class KI_CHARACTER_OUTPUT_STREAM and its descendants so that the argument is of type READABLE_STRING_8 instead of STRING_8. This is to follow the same change in class IO_MEDIUM.

Gobo Eiffel Lexical Library

• Added support for Unicode. Does not support properties yet (e.g. \p{L}). Unicode is supported natively, there is no internal conversion to UTF-8. Unicode characters can be entered verbatim in the string (STRING_32) or with their escaped form (e.g. \u03B2 or \x{03B2} where 03B2 is the hexadecimal code for Greek character beta). Surrogate and invalid Unicode characters produce a regular expression syntax error.
• Fixed bug in LX_DFA_REGULAR_EXPRESSION and LX_DFA_WILDCARD when the string to be matched contains a null character.
• Added support for addition and subtraction of character classes.

Gobo Eiffel Parse Library

• Removed obsolete class YY_NEW_PARSER_SKELETON.

Gobo Eiffel Regexp Library

• Added support for Unicode. Does not support properties yet (e.g. \p{L}). POSIX character set names (e.g [:alpha:]) recognize only ASCII characters (code less than 128). Unicode is supported natively, there is no internal conversion to UTF-8. Unicode characters can be entered verbatim in the string (STRING_32) or with their escaped form (e.g. \u{03B2} or \x{03B2} where 03B2 is the hexadecimal code for Greek character beta). Surrogate and invalid Unicode characters produce a regular expression syntax error.

Gobo Eiffel Tools Library

• Added support for across ... is ....
• Fixed bug in ECF printer when converting files between different ECF versions.

Version 19.06.21.1 - 21 June 2019

gec

• Added support for total_order_on_reals so that the assertions inherited from COMPARABLE do not get violated with NaNs in classes REAL_32 and REAL_64.
• Implemented ieee_* built-in routines in classes REAL_32 and REAL_64.

Gobo Eiffel Tools Library

• Added support for new values none|feature|all for setting dead_code_removal in ECF classes as introduced in ECF 1.20.0. Note that gec does not take this setting into account.
• Changed default for setting total_order_on_reals from false to true in ECF classes as per ECF 1.20.0.
• Added support for bracket expressions whose target is itself a bracket expression (e.g. f [i][j]) in order to be compatible with ISE Eiffel's parser.
• Fixed bug in the Tuple-argument-unfolding mechanism when the formal argument with a Tuple type was not at the last position. The routine was erroneously considered as not being a single-tuple routine.
• Added support for hidden clusters, as defined in ECF.
• Added support for hexadecimal, octal and binary character codes in manifest strings and character constants.
• Added support for Unicode (UTF-8) when reading Eiffel class files. These files are expected to be encoded in UTF-8 if they start with the corresponding BOM (Byte Order Mark), or ISO 8859-1 otherwise.

Version 19.03.21.1 - 21 March 2019

geant

• Removed task <gexace>, because the tool gexace is not supported anymore.

gec

• Fixed name of built-in feature ISE_RUNTIME.new_special_of_reference_instance_of in generated C code.
• Added header files to the C runtime to allow compilation of the ISE Eiffel compiler.
• Fixed bug in generated C code of inline agent where its result was wrongly stored in the placeholder in place of the result of its enclosing once function.
• Fixed bug when parsing the language string in external routines. The arguments part in signature was not considered as optional.
• Added support for "C++ struct ..." in external routines.
• Fixed C compilation errors with msc as back-end C compiler when compiling ISE EiffelTime. See here for details.
• Adapted generated C code so that the FreeELKS introspection classes work in void-safe mode.
• Improved interoperability with ISE Eiffel by making sure that type attached NONE is different from type detachable NONE in void-safe mode.
• Added option --ise=major[.minor[.revision[.build]]] to specify the version of ISE Eiffel whose semantics should be used during compilation.
• The only Eiffel configuration notation now supported by the gec is ECF.

gecop

• New tool to validate the conformance of Eiffel tools (typically compilers) to the ECMA Eiffel standard.
• Added tests for the validity rules VAPE-1 and VAPE-2.
• Do not duplicate expected test results of the validation suite for gec and gelint when they are the same.
• Made the validation suite browsable with the GitHub Markdown facilities.
• Added tests for the validity rules VGFG and VGGC.
• Added tests for the validity rule VFAV.
• Added tests for the validity rule VGMC.

gedoc

• The only Eiffel configuration notation now supported by the gedoc is ECF.

gelex

• Fixed examples in the documentation.

gelint

• The only Eiffel configuration notation now supported by the gelint is ECF.

getest

• Changed the signature of some assert_* routines to be able to compare some separate objects in SCOOP mode.

gexace

• This tool is not supported anymore and has been removed. The only Eiffel configuration notation supported by the Gobo project is ECF. The source code of gexace can still be found in $GOBO/library/tools/src/xace, but the classes have been marked as obsolete.

Gobo Eiffel Argument Library

• In class AP_OPTION_WITH_PARAMETER, made the difference between set_default_parameter which provides a default parameter value be used when the current option is not specified on the command-line (when the option is not mandatory), and set_parameter_optional which makes it possible to specify the current option on the command-line with no parameter (the parameter is optional, even when the option is mandatory).

Gobo Eiffel Kernel Library

• Unmarked as instance-free the feature eol in KI_TEXT_INPUT_STREAM and KI_TEXT_OUTPUT_STREAM so that it can be implemented using the bridge pattern in descendant classes.

Gobo Eiffel Tools Library

• Made sure that validity error VHPR-2 (conforming inheritance from a frozen class) is reported correctly.
• Do not report a syntax error for manifest characters of the form '''. Apparently it is allowed by the ECMA standard.
• Relaxed the validity rule where the result type of once functions cannot contain anchored types to just unqualified anchored types. This is to be compatible with ISE Eiffel.
• Relaxed validity rule VAVE so that the loop variant expressions can not only be of type INTEGER but also of one of its sized variants.
• Fixed bug when the type of the anchor of a qualified anchored type (e.g. like {A}.f or like a.b) appearing in the signature of a redeclared feature is itself a qualified anchored type. In some valid cases, a validity error VDRD-2 was emitted, indicating that the signature of the redeclared feature did not conform to the one in the parent.
• Fixed bug in the dynamic type set builder where types in object-tests (e.g. T in attached {T} x) were marked as alive (types with possible direct instances) as if they were creation types. This caused internal errors during the C code generation for the types whose base class was deferred.
• Fixed bug when processing ECF files where conditions <concurrency> and <void_safety> were not taking into account the support capability value when the use value was not specified.
• Made sure that all targets in the ECF file are affected when overriding the setting library_root.
• Fixed bug when processing ECF files where conditions were not taking into account the setting and capability values of the parent target when not specified in the current target.
• Fixed bug where separate T was considered attached even with the option is_attached_by_default="false" in the ECF file.
• Interoperability with ISE Eiffel: let like Current be attached in void-safe mode even with the option is_attached_by_default="false" in the ECF file.
• Interoperability with ISE Eiffel: do not accept reference before class types anymore (e.g. reference INTEGER), only before the declaration of a formal generic parameter (e.g. class C [reference G]).
• Improved the way some kernel types and their implicit attachment marks are processed in void-safe mode.
• Improved the way dynamic type sets and their attachment marks are processed in void-safe mode.
• Improved speed when computing dynamic type sets.
• Made sure that no VDRS-4 error is reported when two features are inherited under the same name (after possible renaming) from the same parent and one is deferred and not the other.
• Report a validity error VAPE-1 when the address expression $g appears in the precondition of f and g is not exported to all classes to which f is exported.
• Fixed bug where a VEEN-2 validity error was erroneously reported when the entity Result appears in the body of a function inline agent which itself appears in the precondition of a feature.
• Report a validity error VAPE-2 when a creation call with the creation procedure make appears in the precondition of f and make is not exported for creation to all classes to which f is exported.
• Report a validity error VAPE when an implicit conversion appears in the precondition of f and the associated convert feature is not exported (or exported for creation in case of a convert procedure) to all classes to which f is exported.
• Fixed bug in void-safety mode when a generic constraint is of the form C [G -> H, H -> G] where G was erroneously considered as not conforming to H. This issue did not exist in non-void-safety mode.
• Fixed bug where a formal generic parameter G was not assumed to conform to detachable ANY when there was a cycle in the generic constraints (e.g. [G -> H, H -> G]).
• Took into account the fact that ISE Eiffel now reports VDRS-4 errors as of version 19.01.
• Fixed bug when processing a Precursor instruction in a function or a Precursor expression in a procedure. An internal error was reported.
• Check validity of actual arguments in a call even when it was not possible to determine the feature of the call.
• Added support for multiple generic constraints.
• The only Eiffel configuration notation now supported by the Gobo project is ECF. The classes for the Ace and Xace notations have been marked as obsolete.

Gobo Eiffel XPath Library

• Made unit tests compilable in void-safe mode.

Gobo Eiffel XSLT Library

• Made unit tests compilable in void-safe mode.

Miscellaneous

• All Gobo ECF files are now SCOOP capable. It does not mean that the code in Gobo takes advantage of the SCOOP model, but rather that its classes can be used in a SCOOP application.
• New version number format: year.month.day.number_of_commits_on_that_day.

Version 4.3 - 28 November 2018

geant

• Added option target for the task <ise> and renamed the option ace as ecf.
• Added options target, thread, new_instance_types, silent, verbose, no_benchmark, nested_benchmark, metrics for the task <gec> and renamed the option ace as ecf.

gec

• Renamed command-line option --new_instance_types as --new-instance-types to comply with the argument library validity constraints.
• Added command-line options --no-benchmark, --nested-benchmark and --metrics.
• Improved the way benchmarks, metrics, silent and verbose modes are specified and taken into account.
• Change the command-line option --cc to accept the following values: no|script|make|gecc.
• Made gec multi-threaded, with the command-line option --thread.
• Added command-line option --target to select the name of the target in the ECF file.
• Added command-line options --setting, --capability and --variable to override the corresponding values in the ECF file.

gecc

• New tool to compile the C code generated by gec in a multi-threaded environment.

gedoc

• Changed the default value for command-line option --thread to be the number of CPUs available on the machine.
• Improved the way benchmarks, metrics, silent and verbose modes are specified and taken into account.
• Added command-line option --target to select the name of the target in the ECF file.
• Added formats ecf_pretty_printer to pretty-print or convert ECF files, and available_targets to get the list of targets in an ECF file and to figure out whether a given target exists or not.
• Added command-line options --setting, --capability and --variable to override the corresponding values in the ECF file.
• Removed command-line option --define, superseded by --variable.

gelint

• Changed the default value for command-line option --thread to be the number of CPUs available on the machine.
• Improved the way benchmarks, metrics, silent and verbose modes are specified and taken into account.
• Added command-line option --target to select the name of the target in the ECF file.
• Added command-line options --setting, --capability and --variable to override the corresponding values in the ECF file.
• Removed command-line option --define, superseded by --variable.

gexace

• Added documentation about Xace and gexace.
• Removed support for Ace files.

Gobo Eiffel Kernel Library

• Removed support for ISE Eiffel 16.05.
• Marked some routines as instance-free.
• Made sure that postconditions of the form item = v are not violated when dealing with NaNs.

Gobo Eiffel Math Library

• Marked some routines as instance-free.

Gobo Eiffel Regexp Library

• Marked some routines as instance-free.

Gobo Eiffel String Library

• Marked some routines as instance-free.

Gobo Eiffel Structure Library

• Made sure that postconditions of the form item = v are not violated when dealing with NaNs.

Gobo Eiffel Time Library

• Marked some routines as instance-free.

Gobo Eiffel Tools Library

• Changed the way the type of conditional expressions is computed to match ISE Eiffel 17.11.
• Fixed bug in the computation of the dynamic type set of conditional expressions.
• Added support for typed manifest arrays as described here.
• Implemented new semantics for untyped manifest arrays as described here.
• Fixed bug where a VFFD-5 error was wrongly reported when the result type of a once-per-object function contains an anchored type or a formal generic parameter.
• Avoid reporting that an object-test local is used outside of its scope when there is an error in the expression of the corresponding object-test.
• Added support for instance-free features (which can be used in Non-object-calls of the form {T}.f).
• Added support for class routines, similar to instance-free features above, except that they are declared with class in the postcondition instead of option: instance_free in the note clause.
• Improved support for ECF, including capabilities and redirection. Even if not all ECF options are supported by the Gobo tools, it is now possible to read an ECF file, make some modifications and write it back.
• Fixed data race in ET_CLASS.formal_parameter_type when executed in multi-threaded mode.
• Added support for ECF 1.18.0.
• Marked some routines as instance-free.
• Added support for ECF setting library_root.
• Made sure that variables defined in the ECF file are taken into account when processing location attributes of clusters or libraries.
• Added support for ECF 1.19.0.
• Fixed bug in void-safety CAP after a check instruction with no then clause.

Gobo Eiffel Utility Library

• Made sure that UT_CSV_HANDLER.read_file can handle newlines embedded in a cell surrounded by double-quotes.
• Marked some routines as instance-free.

Miscellaneous

• All Gobo tools now compile in void-safe mode.
• Nearly all examples and tests now compile in void-safe mode. Only the unit tests for xpath and xslt have not been converted yet.
• Replaced the usage of Xace files by ECF files throughout the entire Gobo package.

Version 4.2 - 14 July 2017

gec

• Made sure that manifest strings are created with the right type (in particular for STRING_32 manifest strings).
• Made explicit the dependencies between C files in the runtime.
• Made the runtime C files thread-safe.
• Made once-per-process thread-safe.
• Added support for once-per-thread.
• Added support for multi-threading.
• Fixed misused of volatile qualifier in the generated C code when there is a rescue clause. It was declaring a variable pointing to a volatile object instead of a volatile variable pointing to an object.
• Fixed bug when a routine had a local variable which was both written and read in its rescue clause and more than one exception was raised in this routine. In some cases the local variable was not declared as volatile in the generated C code.
• Implemented proper support for exceptions in once routines as specified in ECMA-2, section 8.23.22.2, p.124: "Semantics: Once Routine Execution Semantics".

gedoc

• Fixed bug in the html format when the target of an assignment is a local variable. It was sometimes shown as a feature name.
• Made gedoc multi-threaded. It runs almost 3 times faster on a 4-CPU machine.

gelint

• Made gelint multi-threaded. It runs almost 3 times faster on a 4-CPU machine.

Gobo Eiffel Kernel Library

• Fixed bug in feature detachable_less_than in class KL_PART_COMPARATOR when comparing a non-void with a void.
• Got rid of the remaining .ge files. The only supported Eiffel compilers are Gobo Eiffel and ISE Eiffel, and they both use the same kernel library (the FreeELKS library).

Gobo Eiffel Structure Library

• DS_HASH_TABLE.value can now be used in a multi-threaded environment when no items are added or removed. Contrary to item, there is no internal caching in value.

Gobo Eiffel Tools Library

• Simplified the way built-in features are supported.
• Moved some code from ET_SYSTEM to ET_SYSTEM_PROCESSOR to allow several system processor objects to work together when analyzing the classes of an Eiffel system in a multi-threaded environment.
• Added support for conditional expressions (e.g. if b then exp1 else exp2 end)
• Interoperability with ISE Eiffel: local variables (including 'Result') are considered as 'detachable' (even when the 'attached' keyword is explicitly specified).

Gobo Eiffel Utility Library

• Fixed bug in UT_CSV_HANDLER.read_row when a cell contains an empty string between double-quotes: ""

Version 4.1 - 2 April 2017

gec

• Fixed bug when calling constant attributes of type STRING in a Non-object call (of the form {FOO}.string_constant). A new string object was created at each call, instead of returning the same string object.
• Removed command-line option --qat. Qualified anchored types (types of the form like a.b or like {A}.b) are always accepted.

gedoc

• New tool which is able to generate documentation from Eiffel classes or Eiffel libraries. This first version pretty-prints Eiffel classes.
• Added format html_ise_stylesheet which mimics the HTML documentation generated by the filter html-stylesheet of ISE EiffelStudio.
• Wrote documentation of gedoc.

gelint

• Removed command-line option --qat. Qualified anchored types (types of the form like a.b or like {A}.b) are always accepted.
• Wrote documentation of gelint.

Gobo Eiffel Kernel Library

• Added feature append_pathname_to_string to class KI_FILE_SYSTEM.
• Added buffered version of output file classes (KL_BUFFERED_OUTPUT_FILE and descendants).
• Changed feature names and signatures in classes KL_PART_COMPARATOR and KL_COMPARATOR in order to compile in void-safe mode with ISE 17.05.

Gobo Eiffel Tools Library

• Fixed bug when a feature has an across construct followed by an object-test with the same local name. The object-test local name was considered as an across local name.
• Fixed bug in Tuple-argument-unfolding mechanism after calling ET_CLASS.reset_after_interface_checked. The original arguments were not reset correctly.
• Fixed bug in Tuple-type-unfolding mechanism after calling ET_CLASS.reset_after_features_flattened or ET_CLASS.reset_after_ancestors_built. The unfolded form was erroneously discarded.

Version 4.0 - 14 January 2017

geant

• Extended the attributes if and unless to accept the values "true" and "false". This can be useful when automatically generating geant build files. See bug#2657770.
• Use ISE Eiffel's ec instead of ecb, so output is compatible with estudio; else estudio will complain about a corrupted project.
• Added support to set compilation directory to different directory than current directory. Define GOBO_BUILD_PREFIX and ISE compiler will now compile to that directory. This allows you to compile to a fast SSD or memdisk. Not yet supported for the Gobo compiler.
• Dropped support for the EIFGEN directory in task <ise>.
• Relative pathnames in the <inherit> clause are now relative to the directory containing the current eant file (and not relative to the working directory where geant is currently running).
• Added optional attribute fail_on_error to task <delete> (true by default).
• Added attributes array_size and inspect_actions to task <gelex>.
• Added attribute array_size to task <geyacc>.
• Moved the code/doc/examples/tests to $GOBO/tool/geant.
• Moved the buildfiles to $GOBO/library/common/config. geant will automatically redirect inherited files which were located in $GOBO/misc to the new location.

gec

• Added option --gelint to force the whole content of classes to be checked (even features not reachable from the root creation procedure).
• Fixed bug in the generated C code for call agents whose feature was FUNCTION.item or ROUTINE.call and whose closed argument was a manifest tuple. See bug#2997112.
• Fixed implementation of class IDENTIFIED_ROUTINES. Object addresses were casted to INTEGER_32, which causes loss of information when compiled on a 64-bit computer. See bug#2999209.
• Fixed type system bug when processing constant attributes in inspect instructions. See bug#3238111.
• Fixed bug when an inspect instruction had no else-branch. No exception was raised.
• Fixed bug when running gec --gelint .... Validity errors were reported twice.
• Qualified anchored types are now accepted by default.
• Implemented support for exceptions as objects.
• Moved the code/doc/examples/tests to $GOBO/tool/gec.

gelex

• Made the generated scanners compilable in void-safe mode with ISE 7.3.
• Added support for pushing and popping start conditions.
• Added reset_with_string and reset_with_file in YY_SCANNER.
• Changed the default maximum size for manifest arrays to be 200.
• Changed the default for semantic actions to use inspect instructions instead of binary search with if instructions.
• Updated the documentation for the command-line options.
• Fixed generation of manifest arrays when the size of the generated table is a multiple of the maximum array size.
• Moved the code/doc/examples/tests to $GOBO/tool/gelex.

gelint

• Fixed bug where it was reporting an internal error instead of a VTCT error when the type of a local variable was a generic class type whose base class did not exist.
• Report a VIPR-3 error for inline agent of the once and external forms. This is not in ECMA 367-2, but a restriction in ISE.
• Qualified anchored types are now accepted by default.
• Moved the code/doc/examples/tests to $GOBO/tool/gelint.

gepp

• Moved the code/doc/examples/tests to $GOBO/tool/gepp.

getest

• Set exit code to 4 when at least one of the test cases has been aborted.
• Split the feature build_suite in smaller routines in the generated test harness so that the back-end C compiler (in particular MSVC under Windows) can compile the generated C code for this routine in a reasonable amount of time.
• Added command-line options to the generated test harness to monitor which of the registered test cases should be executed or ignored.
• Improved command-line processing of the generated test harness.
• Moved the code/doc/examples/tests to $GOBO/tool/getest.

gexace

• Added option syntax to support the corresponding option in ECF.
• Added documentation explaining how to add a new option in Xace.
• Moved the code/doc/examples/tests to $GOBO/tool/gexace.

gexslt

• Moved the code/doc/examples/tests to $GOBO/tool/gexslt.

geyacc

• When specifying Eiffel types in the %token and %type clauses, in addition to what was accepted so far, it is now possible to use like Current, labeled tuples (e.g. TUPLE [i, j: INTEGER; s: STRING]) and type marks such as expanded, reference, separate, attached, detachable, ! and ?. See bug#2618271.
• When declaring %token <EIFFEL_TYPE> ..., the generated parser expects to find token values in the variable last_<eiffel_type>_value, where all non-alphanumeric characters in the type name EIFFEL_TYPE are replaced by underscores. It is now possible to customize the name of this variable to last_<alias_name>_value by declaring %token <EIFFEL_TYPE as alias_name> .... See bug#2621302.
• Added support for qualified anchored types in %type and %token declarations in .y files.
• Eiffel classes need to be regenerated with geyacc from .y files because of a breaking change to make the internal stacks void-safe compliant. Otherwise this will result in a compilation error.
• Removed command-line option --old_typing.
• In order to be void-safe compliant, the generated token class has been made deferred (last_value attributes may be attached).
• Made the generated parsers compilable in void-safe mode with ISE 7.3.
• Added option --rescue-on-abort to generate a rescue clause in action routines to catch abort exceptions. Useful when compiling in void-safe mode.
• Added option --array-size and changed the default maximum size for manifest arrays to be 200.
• Fixed generation of manifest arrays when the size of the generated table is a multiple of the maximum array size.
• Moved the code/doc/examples/tests to $GOBO/tool/geyacc.

Gobo Eiffel Argument Library

• Made it compilable in void-safe mode with ISE 13.11.
• Made the parameter of boolean options possibly optional.
• Moved the doc/examples/tests to $GOBO/library/argument.

Gobo Eiffel Kernel Library

• Added features same_*_pathnames to class KI_FILE_SYSTEM.
• Features test in class KL_EQUALITY_TESTER and equal_objects in class KL_ANY_ROUTINES now use the new ECMA construct ~ instead of the combination same_type and then is_equal.
• Added feature is_true to class KL_AGENT_ROUTINES.
• Fixed bug in feature read_to_string of file classes where the hash code was not reset properly.
• Made it compilable in void-safe mode with ISE 7.3.
• KL_FILE.copy_file: now uses 8192 blocks, instead of 512.
• Fixed bug in UC_STRING.replace_substring_all.
• Moved the doc/examples/tests to $GOBO/library/kernel.

Gobo Eiffel Lexical Library

• Fixed bug in LX_DFA_REGULAR_EXPRESSION where compile ("foo\$") was setting has_dollar to True even though the dollar sign was escaped.
• Added features pattern and is_case_insensitive in class LX_PATTERN_MATCHER.
• Made it compilable in void-safe mode with ISE 7.3.
• Moved the doc/examples/tests to $GOBO/library/lexical.

Gobo Eiffel Math Library

• Made it compilable in void-safe mode with ISE 7.3.
• Moved the doc/examples/tests to $GOBO/library/math.

Gobo Eiffel Parse Library

• Made it compilable in void-safe mode with ISE 7.3.
• Moved the doc/examples/tests to $GOBO/library/parse.

Gobo Eiffel Pattern Library

• Made it compilable in void-safe mode with ISE 7.3.
• Moved the doc/examples/tests to $GOBO/library/pattern.

Gobo Eiffel Regexp Library

• The pattern being matched and the case-sensitiveness are now available using queries pattern and is_case_insensitive.
• Made it compilable in void-safe mode with ISE 7.3.
• Moved the doc/examples/tests to $GOBO/library/regexp.

Gobo Eiffel String Library

• Fixed bug in the string formatter where the flags + and space where not taken into account. See bug#2768748.
• Made it compilable in void-safe mode with ISE 7.3.
• Moved the doc/examples/tests to $GOBO/library/string.

Gobo Eiffel Structure Library

• Fixed assertion violation in feature compress from DS_SPARSE_CONTAINER. See bug#2831433.
• Relaxed precondition of put and put_last in classes DS_SET and DS_SPARSE_TABLE (i.e. the ancestors of DS_HASH_SET and DS_HASH_TABLE) to be not is_full or else has (k) instead of just not is_full.
• Added features do_until and do_if_until to DS_CONTAINER and its descendants.
• Added feature has_void to DS_CELL and DS_PAIR.
• Fixed bug in features force_last_new and put_last_new of DS_HASH_TABLE.
• Fixed bug in DS_HASH_TABLE when the calls to key_equality_tester in search_position trigger the invariant which internally calls search_position. But this routine was not written to be re-entrant.
• Added iteration routines to the descendants of DS_TABLE so that the key can be passed first and then the item to the agents.
• Made it compilable in void-safe mode with ISE 7.3.
• Added support for the across Eiffel construct.
• Moved the doc/examples/tests to $GOBO/library/structure.

Gobo Eiffel Test Library

• Made it compilable in void-safe mode with ISE 15.01.
• Moved the doc/examples/tests to $GOBO/library/test.
• Added test case assertion routines in TS_ASSERTION_ROUTINES to check whether an exception has been raised or not when executing a given agent.

Gobo Eiffel Time Library

• Added class DT_STOPWATCH in cluster stopwatch.
• Made it compilable in void-safe mode with ISE 7.3.
• Moved the doc/examples/tests to $GOBO/library/time.

Gobo Eiffel Tools Library

• Added support for keyword note as a replacement of indexing. See bug#2499770.
• Fixed bug where object-test local was not recognized as such when appearing as target of an agent declaration.
• Fixed bug where the type of an agent was not correctly determined when the result type of the corresponding function contained a formal generic parameter. It ended up being FUNCTION [ANY, TUPLE, BOOLEAN] instead of PREDICATE [ANY, TUPLE]. See bug#2667604.
• Only pre-ECMA formats were supported for integer manifest constants. Now all formats (decimal, hexadecimal, octal and binary) are supported to be compliant with ECMA and ISE. See bug#2682414.
• Support the new syntax, using keywords, for attached and detachable types (e.g. attached FOO or detachable BAR) and for object-tests (e.g. attached {T} exp as x with {T} and x optional). See bug#2682694.
• Added the notion of ignored classes. We can programmatically decide to ignore the class from a cluster and take it into account later on after some processing.
• Added support for attribute initialization body.
• Added support for renaming clause in libraries when parsing ECF files.
• Fixed pretty-printer when processing indexing clauses in features. An extra empty line was inserted.
• Added support for check instructions with a then branch.
• Added support for once keys in once routines.
• Improved the way the type of a manifest array is determined in the case where the types of all items conform to one of them. In that case the manifest array will be an array of that type.
• The scope of object-test locals can cover the following assertions in the same postcondition or invariant clause because it's as if they were separated by and then operators. It was already implemented that way in preconditions.
• Support the ECMA syntax for typed manifest strings and typed character constants.
• Accept class text files which start with the byte order mark (BOM). (See http://en.wikipedia.org/wiki/Byte_order_mark.)
• Started checking void-safety validity rules.
• Relaxed the validity rule to prevent cycles in qualified anchored types so that it can accept code appearing in ISE's libraries.
• Added support for across instructions/expressions.
• Added support for alias "()".
• Added support for $(ECF_CONFIG_PATH) in ECF files.
• Made it compilable in void-safe mode with ISE 15.01.
• Moved the doc/examples/tests to $GOBO/library/tools.

Gobo Eiffel Utility Library

• Made it compilable in void-safe mode with ISE 7.3.
• Moved the doc/examples/tests to $GOBO/library/utility.

Gobo Eiffel XML Library

• Added option to let the XML pretty printer use empty element tags <tag/> instead of <tag><tag/>.
• Made it compilable in void-safe mode with ISE 15.01.
• Splitted the library in three: $GOBO/library/xml, $GOBO/library/xpath and $GOBO/library/xslt
• Moved the doc/examples/tests to their new library folders.

Miscellaneous

• Removed classes and features that had been marked as obsolete in 2004 or before.
• Removed warnings when compiling with ISE 6.6.
• Removed warnings when compiling with ISE 17.01.
• Converted Readme files to Markdown to be Github-friendly.

Version 3.9 - 20 November 2008

geant

• Removed support for SmartEiffel task <se>.

gec

• Fixed some C compilation warnings when using gcc as back-end C compiler. See bug#1961462.
• Added support for object equality (~ and /~). Equality expressions (= and /=) now use the semantics of object equality when the operands are dynamically of expanded types.
• Added experimental support for Qualified Anchored Types (types of the form like a.b or like {A}.b).

gelint

• Fixed bug where no validity error was reported when a creation procedure of a creation instruction did not exist in the base class of the creation type.

getest

• Added an indexing clause generator to the generated classes. See feature request bug#1961466.
• Provided programmatic access to test results.
• Removed support for config file getest.se and option --se.

gexace

• Made sure that several options override_cluster can be specified in Xace files.
• Fixed bug when generating ECF files from Xace files: the override clusters were not marked as such.
• Removed support for SmartEiffel config files.

Gobo Eiffel Kernel Library

• Added make_from_string_general and make_from_substring_general in class UC_STRING.

Gobo Eiffel Structure Library

• Added set and table classes using binary search tree, AVL tree, red-black tree and left-leaning red-black tree algorithms.
• Added features there_exists_with_key and for_all_with_key to class DS_TABLE.

Gobo Eiffel Tools Library

• Added minimal support for ECF files.
• Improved Eiffel pretty-printer.

Miscellaneous

• Removed the emulations of EiffelBase and EiffelTime in library/other. They had not been maintained for years, and it became a pain to use them after the move from Ace files to ECF files in EiffelStudio.

Version 3.8 - 11 May 2008

geant

• Changed the evaluation of attributes if and unless so that an empty right/left side of the equals sign is treated as an empty string which makes comparisons easier. Also leading/trailing white space for the equals sign is not removed anymore to leave control to the script developer. Note that this might cause a problem to scripts which made use of the old behavior. These scripts need to be adapted.
• Task geant has a new attribute called exit_code_variable. It can be used to capture (or ignore) the execution result of a <geant> call and works exactly as in the exec task.
• Introduced notion of locals, and globals. You can now declare <local name="varname"/>.
• Added support for <group> element.
• Fixed various issue with <replace> task.

gec

• Generate prototypes for external routines when no header file has been specified.

• Changed the generated C code for Agent objects so that twin and deep_twin work correctly.

• Improved CAT-call error reporting, in particular in case of Tuple label assigners.

• Relaxed the CAT-call rule when calling Agents to be compliant with ISE. ISE Eiffel does not type-check the tuple operand of Agent calls even at execution time. It only checks whether the tuple has enough items and these items are of the expected types, regardless of the type of the tuple itself. For example it is OK to pass a TUPLE [ANY] to an Agent which expects a TUPLE [STRING] provided that the dynamic type of the item of this tuple conforms to type STRING.

• Made sure that no-more-memory exceptions are raised when needed.

• Made sure that expanded items are initialized when creating objects of type SPECIAL.

• Fixed bug (read/write to non-allocated memory) in implementation of deep_twin when traversing objects of type SPECIAL.

• Fixed bug when both the expanded and reference versions of a non-generic type were used in the system. The generated C code considered that they were either both expanded or both reference.

• Fixed bug in recursive once-functions. The second call was returning the default value of the result type instead of the value of Result as it was when the recursive call occurred, as specified in ECMA Eiffel.

• The Xace option garbage_collector is now taken into account by gec when set to boehm. This Xace option can be overridden by the command-line option --gc when specified.

• When gec compiles an application with the Boehm GC, it now generates code that will let the GC trigger the feature dispose when objects are reclaimed.

• Take better advantage of the Boehm GC, using GC_malloc_atomic when possible.

• The implememtation of the rescue mechanism in C uses setjmp and longjmp. The use of these two C functions requires that any local variable modified between the call to setjmp and the call to longjmp to be declared as volatile, otherwise its value may be lost after calling longjmp if the C optimizer decided to implement it with register. For more details, see:

  • http://www.programmersheaven.com/articles/pathak/article1.htm

  • http://www.freetype.org/david/reliable-c.html#annex-A

  • http://msdn2.microsoft.com/en-us/library/xe7acxfb(VS.80).aspx

    The generated C code has been adapted accordingly.

gelint

• Fixed bug in the flat Degree 3 mode where the precursor features corresponding to precursor expressions or instructions were not checked.
• Fixed bug when the type in a manifest type is based on an unknown class. Instead of reporting a VTCT error, gelint/gec were reporting another subsequent error, as shown in bug#1875262.
• Made sure that no VAPE error is reported when a feature is exported to a class that has a syntax error or for which the ancestors could not be computed.
• Added support for the notion of libraries as specified in ECF. This introduced some breaking changes if you are using the code of gelint in your own applications. For example what was known as ET_UNIVERSE is now called ET_SYSTEM and ET_UNIVERSE is now an ancestor of this class (and of the new class ET_LIBRARY).
• Added type-marks ! and ? (part of void-safety mechanism) in the parser. But do not check validity rules yet.
• Implemented Object-Test as specified in ECMA 367-2.
• Do not accept the obsolete syntax for Agents using ~. ECMA Eiffel uses the operator for object equality, and this new construct is now implemented in ISE 6.2.

getest

• Added features assert_doubles_equal_with_tolerance and assert_doubles_equal_with_strict_tolerance to TS_ASSERTION_ROUTINES.
• getest now expects test case classes to declare make_default inherited from TS_TEST_CASE as creation procedure. That way there is no need to generate intermediary classes (e.g. classes of the form XTEST_... inheriting from TEST_...) anymore, and hence it is easier to call test cases outside of the test framework.
• Removed the command-line option --ve and replaced it by --ge.
• Print the exception trace if available when an exception occurred while running a test case.
• Make sure that the garbage collector is in the same state as before running each test case.

gexace

• The option --system=ise now generates ECF directly instead of going through Ace which is then converted to ECF by EiffelStudio. This allow Xace to support options that have been introduced in ECF. In order to generate Ace files for ISE, use the new command-line option --format=ace.
• The option --system=ge now generates an Xace file instead of an Ace file. This makes it possible for example for gec to determine whether the Boehm GC should be used through the Xace option garbage_collector. Otherwise, with Ace files, this information has to be passed to gec through the command-line option --gc=boehm. In order to generate Ace files for gec, use the new command-line option --format=ace.
• These ECF options have been added to Xace: supplier_precondition, automatic_backup, check_generic_creation_constraint, ecf_library, enforce_unique_class_names, external_runtime, force_32bits, full_class_checking, msil_classes_per_module, msil_culture, msil_key_file_name, msil_use_optimized_precompile, namespace, old_verbatim_strings. See $GOBO/doc/gexace/options.txt for more details.
• The default value of these Xace options has been changed to follow the default value in ECF: inlining, inlining_size, use_cluster_name_as_namespace, use_full_cluster_name_as_namespace. See $GOBO/doc/gexace/options.txt for more details.
• Fixed bug#1875809 where libraries were duplicated in the generated output file when appearing twice in the same Xace input file.

geyacc

• Fixed bug when resuming a parsing that was suspended (with suspend). The last action before the call to suspend was executed twice.

Gobo Eiffel Kernel Library

• Added iterator features (do_all, do_if, for_all, there_exists) in class KL_DIRECTORY.
• Added feature prune_all_trailing to KL_STRING_ROUTINES.
• Improved class KL_EXCEPTIONS to make it clearer what is available for all Eiffel compilers and what is not.
• Added KL_MEMORY and friends to provide a compiler independent way to access garbage collection facilities.
• Upgraded Unicode support to version 5.1.0.

Gobo Eiffel Regexp Library

• Fixed bug#1917556 where feature split in RX_PCRE_REGULAR_EXPRESSION was not behaving correctly when the regexp could match empty strings.

Gobo Eiffel String Library

• Added full Unicode case-mapping routines.
• Upgraded Unicode support to version 5.1.0.
• Added support for formatting dates and times according using the picture strings from the XSLT functions format-date(), format-time() and format-date-time().

Gobo Eiffel Structure Library

• Moved features do_all, do_if, there_exists and for_all up to class DS_CONTAINER.
• Added features do_all_with_key and do_if_with_key to class DS_TABLE.
• Added feature has_void to class DS_SEARCHABLE.

Gobo Eiffel XML Library

• Re-implemented XPath fn:collection() for file URIs (incompatibly, but as the previous implementation was not documented, it almost certainly is not used). Wrote documentation.
• Added additional XSLT system-properties, and the ability to register additional system properties. Documented this.
• Added facility to pass XPath values as global XSLT parameter values.

Version 3.7 - 5 November 2007

gec

• Can generate console and Windows applications.
• Implemented once manifest strings.
• Report CAT-call errors and call-on-void-target errors at run-time.
• Support the Ace/Xace/ECF trace option.
• The Boehm GC can be plugged using the --gc command-line option.
• Improved the back-end C compiler config file.
• Improved interoperability with ISE's compiler.
• Support external "C++" routines.
• Implemented feature deep_twin.
• Added support for lcc-win32 and MinGW as back-end C compilers.

gelint

• Fixed bug when determining the type of a call to a Tuple label when appearing in a generic class.
• Added support for some incrementality when used within the same session.

Gobo Eiffel Argument Library

• Added the possibility to specify a maximum number of options.
• Added the possibility to make option arguments optional for options that only have a long form.
• The contracts now certify that the setup of arguments are unambiguous.

Gobo Eiffel Kernel Library

• Removed possible CAT-call when using KL_EQUALITY_TESTER. It does not use is_equal directly, but a protected version of it which is preceded by a call to same_type.

Gobo Eiffel XML Library

• Made the XSLT serializer a reusable component for any XML programs.
• Added an example of using the XSLT serializer.
• Added documentation on XML serializers, including the reusable XSLT serializer.

Version 3.6 - 14 June 2007

gec

• Implemented inline agents.

Gobo Eiffel String Library

• Fixed a bug in string formatter where format ("$11.9f", 941.65899999999817) would return 942.589999910 instead of 941.659000000. Regression tests have been added, and this fix also pointed out a bug in one of the test cases.

Gobo Eiffel Structure Library

• Added iterator features (do_all, do_all_with_index, do_if, do_if_with_index, there_exists) to relevant classes.
• Fixed bug in invariant of DS_MULTIARRAYED_SPARSE_SET and DS_MULTIARRAYED_SPARSE_TABLE when capacity is zero.

Miscellaneous

• Now uses the MIT License, which is an OSI Approved License and a GPL-Compatible Free Software License.
• Bugs can now be reported on SourceForge bug tracker.
• Does not support Visual Eiffel compiler anymore. Indeed Visual Eiffel does not support Agents, Tuples, INTEGER_64 among other things. The Gobo project tried not to use these constructs so far, but this is becoming too constraining.

Version 3.5 - 23 January 2007

geant

• Fixed bugs which prevented that possible arguments of a target to be taken into account during evaluation of ${somevar} references. This was especially the case for the attributes if and unless.
• Task <geant> now by default spawns a new geant process if attribute file has been specified. It also has a new attribute called fork to control whether a new process should be spawned or not.
• Added attribute force to task <xslt>. Use this attribute to generate output that already exists and is newer than the input.
• Added task <input> to get input values.
• Added task <replace> to replace tokens or patterns in a file.

gec

• First version of the Gobo Eiffel Compiler (gec) that is able to compile everything in the Gobo package. However gec is not a full-fledged Eiffel compiler yet. See the documentation for more details.

getest

• Added command-line option --default_test to specify whether the feature default_test should be included in the generated test cases.

gexmlsplit

• Has been removed. Use gexslt instead.

Gobo Eiffel Argument Library

• New command-line argument parsing library.

Gobo Eiffel Kernel Library

• KL_WINDOWS_FILE_SYSTEM now accepts both \ and / as directory separator. This is the default. It can still accept only \ as directory separator if you use the make_backslash_only creation procedure.

• Change semantics of KI_FILE_SYSTEM.absolute_parent_pathname when the argument is both a root directory (i.e. has no parent) and an absolute pathname. In that case return the argument itself instead of absolute_root_directory as before.

• Fixed bug in KL_(UNIX|WINDOWS)_FILE_SYSTEM.absolute_parent_pathname. When the result was a root directory it was erroneously returning absolute_root_directory. So if you were in C:\gobo and asked for the absolute_parent_pathname of D:\foo you were getting C:\ instead of the expected D:\.

• Fixed bug in KL_WINDOWS_FILE_SYSTEM.canonical_pathname which for the input \\gobo\foo\.. was returning the invalid pathname \\gobo\ instead of \\gobo\foo. Likewise for c:\.., we were getting c:\.. instead of c:\.

• Added sharename to KI_PATHNAME, so that UNC pathnames can be split into \\hostname\sharename.

• Added classes for determining the class of Unicode characters. Also updated code for conversion to lower and upper case, and added code for conversion to title case. These are generated from the Unicode Character Database. Currently Unicode version 5.0.0 is supported.

• New features have been added to a new ancestor of ISE's STRING class in order to support the classes STRING_32 and STRING_8 which have been introduced at ECMA. As a consequence, the following features had to be renamed in class UC_STRING:

  • put_code -> put_item_code

  • append_code -> append_item_code

  • has_code -> has_item_code

  • index_of_code -> index_of_item_code

    The new names are not great, but they match the feature item_code.

Gobo Eiffel Math/Decimal Library

• Added creation procedure make to MA_DECIMAL_TEXT_PARSER and MA_DECIMAL_BCD_PARSER.
• Renamed MA_DECIMAL_CONSTANTS as MA_DECIMAL_CONTEXT_CONSTANTS and MA_DECIMAL_MATH as MA_DECIMAL_CONSTANTS.
• Added class MA_SHARED_DECIMAL_CONSTANTS.
• Moved Maximum_integer_as_decimal and Minimum_integer_as_decimal from MA_DECIMAL_CONTEXT_CONSTANTS to MA_DECIMAL_CONSTANTS and renamed them as maximum_integer and minimum_integer.
• Moved default_context from MA_DECIMAL_CONTEXT to MA_SHARED_DECIMAL_CONTEXT.
• Added a comment in MA_SHARED_DECIMAL_CONTEXT.set_shared_decimal_context emphasizing the fact that it is best practice to call this routine once and for all at the beginning of the application to avoid unexpected behaviors.

Gobo Eiffel Parse Library

• Added feature suspend (and its associated feature is_suspended) to YY_PARSER and its descendant YY_PARSER_SKELETON to be able to suspend the current parsing. The next call to parse will resume parsing in the state where the parser was when it was suspended. Note that a call to abort or accept will force parse to parse from scratch.
• Changed implementation of feature syntax_error in YY_PARSER_SKELETON so that it returns false when nothing has been parsed yet.

Gobo Eiffel String Library

• Added classes for normalizing Unicode strings.
• Removed useless precondition of feature make_with_separators in ST_SPLITTER.

Gobo Eiffel Time Library

• Added classes to parse and format XML Schema date, time and date-time datatypes.

Gobo Eiffel XML Library

• XSLT and XPointer are now sufficiently stable and mature to be considered supported. XPath is supported for its use with XSLT and XPointer as host languages, but a general interface for host languages is not yet supported.

Version 3.4 - 10 July 2005

geant

• Task <echo> supports writing message to a file.
• Targets support argument handling. Tasks <geant> and <precursor> have been modified so that they are able to pass these arguments.
• Targets support obsolete mechanism.
• Tasks <exit>, <ise>, <se>, <ve> support capturing the return code of the called process.
• Task <available> supports checking for availablity of directories.
• If you use xsltproc and pass string parameters to it, you have to surround those parameters with single quotes now.
• Task <ve> supports VE 5.0 with the attribute xace to specify Xace files. Attribute esd is still supported when using VE 4.1.
• Added built-in variable verbose which is set (to true) when geant is run in verbose mode.
• Added attributes verbose, abort, generation, compilation and execution to task <getest>.

gexace

• Removed support for hact.
• Added support for VE 5.0: ve now generates Xace files for VE 5.0. In order to generate ESD for VE 4.1 use ve41 instead.

gelex

• Added command-line option --pragma=[no]line in order for the code generated for the semantic actions to contain or not indication about the line number where it originally appeared in the input description file.
• Fixed bug in %option line with the -z option when two rules were sharing the same semantic actions (with | separator).
• When not appearing in a character class, an unescaped [ character is now considered to be the open character of a character class and reports an error if there is no matching ] character. It used to be considered as a non-special character when there was no matching ] character.

geyacc

• Following the changes made in version 3.2, YY_PARSER_SKELETON is not a synonym of YY_OLD_PARSER_SKELETON anymore and can now be used as a replacement of YY_NEW_PARSER_SKELETON. Also the default command-line option is now --new_typing.
• Added command-line option --pragma=[no]line in order for the code generated for the semantic actions to contain or not indication about the line number where it originally appeared in the input description file.
• Added command-line option --doc=(html|xml) to generate documentation about the grammar in HTML or XML format.

getest

• Added command-line options --verbose and -v to run getest in verbose mode.
• In verbose mode getest prints the number of test cases that have been generated.

Gobo Eiffel XML Library

• XM_DOCUMENT.process_to_events makes the tree an event source.
• New XM_XMLNS_GENERATOR filter injects xmlns declarations in event stream. It can be combined with a print filter.
• XM_FORMATTER is now a wrapper for the above and so produces XML compliant output.
• XM_INDENT_PRETTY_PRINT_FILTER and XM_WHITESPACE_NORMALIZER added to allow pretty indented output.
• XM_NAMESPACE_RESOLVER has new option to forward xmlns attribute events (forward_xmlns).
• XM_DTD_CALLBACKS: on_doctype called first; on_dtd_end, on_dtd_comment, on_dtd_processing_instruction added.
• New XM_XMLID_VALIDATOR validates xml:id attributes.
• Parser defaults to new STRING-only latin-1 mode.
• Parser correctly outputs PUBLIC identifier in DOCTYPE.
• Parser leaves XML resolver in correct state.
• XM_PARSER.positions contains full info to locate errors in external entities.
• Eiffel parser accepts UTF8 files that start with a BOM.
• Expat parser accepts genuine UC_STRINGs as input.

Gobo Eiffel Kernel Library

• Fixed bug in KL_PATHNAME.set_canonical.
• Added bit operation features to KL_INTEGER_ROUTINES.
• Added features power, div and mod to KL_INTEGER_ROUTINES.
• Added feature log2 to KL_DOUBLE_ROUTINES.
• Added feature truncated_to_integer to KL_DOUBLE_ROUTINES because this routine is not supported anymore in SE 2.2b1.
• Added class KL_CLONABLE. This class should be used whenever the corresponding objects need to be cloned. This is the consequence of clone not being supported anymore in SE 2.2b1. If you need to clone strings or arrays, use cloned_string by inheriting from KL_IMPORTED_STRING_ROUTINES and cloned_array by inheriting from KL_IMPORTED_ARRAY_ROUTINES. To a clone a SPECIAL object, just call twin on it (does not work with ISE 5.4, but works with ISE 5.5).
• KL_PLATFORM.Double_bits is not supported with SE 2.1 and 2.2b1 anymore. This is a consequence of DOUBLE being deprecated in SmartEiffel and hence not supporting the required features.
• UC_STRING.infix "@" does not work as expected with SE 2.1. It works well with the SE 2.2b and SE 1.0 though. This is the consequence of the fact that STRING.infix "@" as been marked as frozen in SE 2.2b1.

Gobo Eiffel Math/Decimal Library

• New library, incorporated from the SAFE project (http://safe.sf.net).
• Contains MA_DECIMAL, which provides Decimal floating-point arithmetic, with unrounded and integer arithmetic as a subset (IEEE 754R + IEEE 854 + ANSI X3.274 + ECMA 334).

Gobo Eiffel String Library

• New library.
• Contains the Formatter Library (note that unlike the imported library, the array-based formatter requires DS_CELL items for basic types, rather than accepting the _REF types).
• ST_SPLITTER: parse a string to and from lists of tokens.

Gobo Eiffel Time Library

• Support clocks with precision to the millisecond. However note that with SmartEiffel under Windows the millisecond part may be stuck to zero.
• Better support for days of the week.
• Added support of week number of dates.

Gobo Eiffel Utility Library

• UT_URI path is parsed into components: path_items.
• UT_HOST_PORT: new class for TCP hostname and port number.

Version 3.3 - 2 November 2003

geant

• Fixed bug in task <gepp> occurring when a nested <fileset> element defined in the new format was specified.

Gobo Eiffel XML Library

• XM_EIFFEL_PARSER.disable_namespaces allows multiple colons in names (strict XML compliance).

Gobo Eiffel Kernel Library

• Removed usage of like argument (will be removed from the Eiffel language because it was a disguised way of providing overloading in Eiffel) in features substring, to_lower, to_upper, as_lower and as_upper in KL_STRING_ROUTINES.

Version 3.2 - 29 June 2003

geant

• Element <fileset> uses a new format. The old format is still working but an obsolete-message will be shown when applied.
• Added optional attribute 'export' which takes a comma separated list of project names to which the given target is exported.
• Added new command-line option -t (--targets) to list targets and their descriptions.
• Added new task <available>.
• Added subelement <directoryset> to task <delete>.
• Added attributes class and feature to task <getest>.
• The task <hact> now takes advantage of Halstenbach incremental compiler.
• Added attributes old_typing and new_typing to task <geyacc>.

geyacc

• Made the semantic values more type-safe. Now the parser skeleton class is not generic anymore, and there is one different stack generated per declared type in the %type or %token clauses. geyacc also generates the corresponding attributes last_<type>_value instead of last_value to be used to set the semantic values of tokens. Transition path: If you still want to use the old typing mechanism (now made obsolete), use geyacc with the command-line option --old_typing or with geant's attribute old_typing in task <geyacc>. It is also recommended that you replace class YY_PARSER_SKELETON by YY_OLD_PARSER_SKELETON in your code. Alternatively you can now switch to the new typing mechanism using geyacc's --new_typing command-line option or attribute new_typing in task <geyacc> in geant. In that case you will have to use the non-generic class YY_NEW_PARSER_SKELETON instead of YY_PARSER_SKELETON and replace the calls to last_value by the corresponding last_<type>_value in your code. In the next release YY_PARSER_SKELETON will stop to be a synonym of YY_OLD_PARSER_SKELETON and will be used as a replacement of YY_NEW_PARSER_SKELETON. In the release after, the old typing mechanism will not be supported anymore, classes YY_OLD_PARSER_SKELETON and YY_NEW_PARSER_SKELETON will be removed, and you will have to use YY_PARSER_SKELETON along with the last_<type>_value attributes in your code.

getest

• Added command-line options --class and --feature to pass the regexps for tested class names and feature names as argument instead of through the class and feature fields of the config file (needed by Guy Fokou).
• Better formatting of the message when assert_equal or assert_not_equal fail (suggested by Berend de Boer).

Gobo Eiffel Lexical Library

• Renamed convert as convert_to_equivalence in class LX_SYMBOL_CLASS because convert is a keyword in ETL3.

Gobo Eiffel Tools Library

• Big chunks have been redesigned. Still under development.

Gobo Eiffel XML Library

• Eiffel parser now accepts iso-8859-1 encoding.
• Tree formatter now produces valid XML.
• Tree node parent not void (when not the root node) implemented where missing and creation procedures updated accordingly. Also for the root element, so that root_node returns the real root (XM_DOCUMENT). XM_NODE.level consequently offset by 1.
• XM_COMPOSITE now a read-only list. Modification routines are in XM_ELEMENT and XM_DOCUMENT (typing is used to allow only the correct node types to be added).
• XM_COMPOSITE descendants' modification routines remove a node from its previous parent if any. They also have make_last creation routines that add the node to the composite. make_last is faster than make, force_last.
• XM_NODE.parent_element added, root_node now XM_DOCUMENT.
• XM_NAMESPACE stricter contracts and uri invariant, is_default replaced by not has_prefix, removed rather than obsoleted due to SmartEiffel's ANY using the name.
• XM_DOCUMENT.set_root_element now exported to ANY.
• XM_NAMESPACE_RESOLVER now issues empty strings (the default namespace) rather than the parent element's namespace for on_attribute events in the case of unprefixed attributes. (XML Names says unprefixed attributes have no namespace.)
• XM_ELEMENT.*attribute_by_name only look for unprefixed attributes, for the same reason as above.
• Added _by_qualified_name routines to tree nodes.
• XM_FORMATTER.last_string replaced by .last_output_stream.
• XM_NODE_TYPER.attribute obsoleted and renamed to xml_attribute to avoid future keyword collision.

Miscellaneous

• Now uses the Eiffel Forum License version 2, which is an OSI Approved License and a GPL-Compatible, Free Software License.
• Does not support Halstenbach compiler anymore. Indeed Halstenbach does not seem to maintain/release their Eiffel compiler on their Web site anymore and a poll among the Gobo users has shown that it was not worth the effort to continue supporting this out-of-date compiler in Gobo.

Version 3.1 - 18 December 2002

gelex

• Feature YY_BUFFER.content is now of type KI_CHARACTER_BUFFER instead of KL_CHARACTER_BUFFER (Berend de Boer).

geant

• The task <ise> now takes advantage of ISE Eiffel incremental compiler.

getest

• Fixed bug: only the first cluster listed in the config file was taken into account (reported by Guy Fokou).

Gobo Eiffel Kernel Library

• Moved feature close up to KI_INPUT_STREAM and KI_OUTPUT_STREAM and added feature is_closable (suggested by Franck Arnaud).
• Made sure that hash_code in UC_STRING returns the same value when same_string returns true.

Gobo Eiffel Lexical Library

• LX_NFA: Renamed infix "|{n,}|" as infix "|{*}|" and infix "|{n}|" as infix "|{}|" because the former free operator is not valid in ETL3 anymore (and SE 1.0b6 already supports the new syntax). All the free operators of this class have been made obsolete.

Gobo Eiffel Time Library

• DT_DATE: Renamed infix "&d" as infix "&@" because the former free operator is not valid in ETL3 anymore (and SE 1.0b6 already supports the new syntax).
• DT_TIME: Renamed infix "&t" as infix "&|" because the former free operator is not valid in ETL3 anymore (and SE 1.0b6 already supports the new syntax).

Gobo Eiffel XML Library

• Tree: namespace in named nodes is now an object, which contains URI and prefix. It may be shared.
• Tree: *_by_name routines check the namespace is the same.
• Tree: is_first and is_last in XM_COMPOSITE for checking position within parent.
• Tree: added elements to XM_COMPOSITE.

Version 3.0 - 1 September 2002

gelex

• Added feature wipe_out to YY_BUFFER and YY_FILE_BUFFER, which is useful in order to avoid invariant violation when reusing the same input buffer for subsequent scanning. (suggested by Emmanuel Stapf)
• Options specified on the command-line now override those specified in the %option directives of the input file (reported by Sven Ehrke).

geyacc

• Added command-line options -k and --tokens-file: name of the file where the tokens class will be written (reported by Sven Ehrke).
• Do not generate unused local variables anymore.
• Do not generate unused $N type conversion routines, nor conversion routines for the generic parameters of these types. This caused Eiffel compilation errors when the generic parameter was a formal generic parameter (reported by Zoran Simic).
• Fixed bug in default rule when the declared type is a basic expanded type. For example when the declared type in the %type section was INTEGER, the default rule was trying to set $$ to Void instead of 0 (reported by Emmanuel Stapf).

getest

• Added command-line options: -g for testcase generation only, -c for testcase compilation only, and -e for testcase execution only (suggested by Glenn Maughan).
• Added assertion routines to compare file contents and filenames.
• Added command-line option --compile to pass the Eiffel compilation command-line as argument instead of through the compile field of the config file.
• Added command-line options -D and --define to define variables which will be passed to the command running the test cases.
• The testgen directory is now created by getest if it does not exist yet.
• Do not try to run the test anymore when the command specified for the Eiffel compilation exits with a status code other than zero.

gepp

• Added command-line options --lines and -l in order to generate empty lines whenever lines are ignored from the input file. That way line numbers are preserved. (suggested by Alexander Kogtenkov)

geant

• First release (contributed by Sven Ehrke).

gexace

• First release (contributed by Andreas Leitner, currently maintained by Eric Bezault).

gexmlsplit

• First release (contributed by Andreas Leitner).

Gobo Eiffel Kernel Library

• No need for include_path in the Ace file anymore in order to use KL_STRING_BUFFER_ROUTINES with ISE Eiffel. Use new routines introduced in class POINTER in ISE Eiffel 4.5 instead.
• Added cluster $GOBO/library/kernel/io with directory, file and file-system functionalities.
• Added cluster $GOBO/library/kernel/misc with miscellaneous kernel classes.
• Added cluster $GOBO/library/kernel/unicode with Unicode support classes (based on the work from Majkel Kretschmar).

Gobo Eiffel Structure Library

• Fixed bug in feature force_last of DS_SPARSE_SET and DS_SPARSE_TABLE when resizing the container.
• Changed postconditions in DS_LINEAR_CURSOR and DS_BILINEAR_CURSOR which prevented descendants to implement partial traversals or different traversal strategies (reported by Berend de Boer and Einar Karttunen).
• Fixed bug in HASH_TABLE related to the new implementation in ancestor class DS_SPARSE_TABLE (reported by Emmanuel Bouyer).
• Fixed bug in LINKED_LIST.cursor_back (reported by Paul Ford).

Gobo Eiffel Time Library

• Fixed bug related to the implementation of features date and time in DATE_TIME and DATE_TIME_DURATION (reported by Emmanuel Bouyer).
• Added feature set_storage to DT_DATE and DT_TIME.
• Fixed bug in feature add_minutes of DT_DATE_TIME (reported by Glenn Maughan).
• Fixed bug in feature set_from_epoch_days of DT_DATE when the resulting date in 1 January 1600 (reported by Emmanuel Bouyer).
• No need for include_path in the Ace file anymore in order to use DT_SYSTEM_CLOCK with ISE Eiffel.
• Added class DT_UTC_SYSTEM_CLOCK.
• Added creation routine DT_DATE_TIME.make_from_epoch.

Gobo Eiffel Pattern Library

• New library with design pattern classes.
• Moved $GOBO/library/utility/command cluster to $GOBO/library/pattern/command and change class name prefix from UT to DP.
• Added feature exit_code to class DP_SHELL_COMMAND.

Gobo Eiffel Regexp Library

• New library for regular expression handling. Contains a implementation based on the PCRE package (contributed by Harald Erdbruegger based on his ePCRE library).

Gobo Eiffel XML Library

• New library for XML parsing and XML tree handling (contributed by Andreas Leitner based on his eXML library, and by Franck Arnaud based on his NenieXML parser. The library has been redesigned and is currently maintained by Franck Arnaud).

Miscellaneous

• The Gobo project is now taking full advantage of geant and gexace instead of Makefile files (which were not portable across platforms).

Version 2.0 - 29 April 2001

geyacc

• geyacc now generates the routine token_name along with the token codes to make the debugging messages more human-readable (suggested by Andreas Leitner).

gelex

• Added debugging instructions at the end of routine read_token in classes YY_COMPRESSED_SCANNER_SKELETON, YY_INTERACTIVE_SCANNER_SKELETON and YY_FULL_SCANNER_SKELETON. One need to compile the system with debug ("GELEX") enabled. The routine print_last_token can be redefined in descendant classes to print more debugging information. In particular, the routine token_name generated by geyacc can be used to make the debugging output more human-readable. (suggested by Andreas Leitner)

getest

• First release.

Gobo Eiffel Structure Library

• Added argumentless creation routine make_default to most containers. In resizable containers make_default is equivalent to make (default_capacity) where default_capacity is a constant (10) defined in class DS_RESIZABLE (suggested by Franck Arnaud).
• DS_SORTER and descendant classes now use DS_COMPARATOR as comparison criterion (suggested by members of the SmallEiffel mailing list).
• Added class DS_TOPOLOGICAL_SORTER to sort partially ordered items.
• Added DS_SET and descendant classes such as DS_HASH_SET and DS_MULTIARRAYED_HASH_SET.
• DS_HASH_TABLE: added creation routine make_map in order to compare keys with = instead of equal.
• DS_HASH_TABLE: added features remove_found_item, found_key and force_last.
• Added class DS_MULTIARRAYED_HASH_TABLE with the same interface as DS_HASH_TABLE but implemented with a sequence of fixed size arrays instead of a single array. This might be useful for hash tables containing a very large number of items.
• Fixed bug in DS_LINKED_LIST.delete (reported by Emmanuel Bouyer).
• Fixed bug in QUEUE.{force, put, extend}: removed erroneous postcondition item_pushed (reported by Emmanuel Bouyer).
• Moved $GOBO/library/structure/base to $GOBO/library/structure/other/EiffelBase.
• Moved cursor classes next to their associated containers and removed cluster $GOBO/library/structure/cursor.

Gobo Eiffel Time Library

• First release.

Miscellaneous

• Removed comments in loadpath.se files which caused problems on AmigaDOS (suggested by Thomas Aglassinger).
• Added Makefile files in various directories.

Version 1.6 - 20 August 2000

geyacc

• One can now use manifest strings (e.g. "<=" or "..") in place of identifiers (e.g. LE or DOTDOT) in grammar rules (suggested by Berend de Boer).
• Anchored types are now accepted in %type declarations.
• Improved format of tokens in verbose file (suggested by Roger Browne).
• Added ISE's language extensions to the Eiffel parser example (suggested by Patrick Flaherty).
• The Eiffel parser example now accepts empty Eiffel source files (suggested by Alexander Kogtenkov).
• Added a few words in the documentation about the Eiffel debug instructions spread out in the parser skeleton class (suggested by Francis Drai).

gelex

• Added redefinable routine default_action to YY_SCANNER when default rule is matched (suggested by David Massart).
• Added pre_action and post_action, called when %option pre-action and %option post-action are specified (suggested by Alexander Kogtenkov).
• Added pre_eof_action and post_eof_action, called when %option pre-eof-action and %option post-eof-action are specified.
• Added %option line to generate code for line and column counting (suggested by Alexander Kogtenkov).
• Added %option position to generate code for character counting since the beginning of the input source.
• Fixed bug when the input buffer contains a null character (reported by Emmanuel Stapf).
• Fixed bug when scanning a token larger than the size of the input buffer (reported by Emmanuel Stapf).

Gobo Eiffel Structure Library

• DS_TRAVERSABLE: removed postcondition from routine valid_cursor and made internal_cursor deferred (suggested by Andreas Leitner).
• DS_SEARCHABLE: added features same_items and same_equality_tester.
• DS_ARRAYED_LIST, DS_ARRAYED_STACK: got rid of garbage (i.e. old items at indexes count+1..capacity) in removal features.
• DS_TABLE, DS_SPARSE_TABLE, DS_HASH_TABLE: added feature put_new.
• DS_SPARSE_TABLE, DS_HASH_TABLE: added feature replace_found_item.
• DS_SPARSE_TABLE, DS_HASH_TABLE: new optimized implementation (requested by Jacques Bouchard).
• DS_SPARSE_TABLE: added feature key; optimization of feature force (avoid unnecessary resizing).
• HASH_TABLE: optimization of features put and force (avoid unnecessary resizing).
• DS_SORTER: Added features reverse_sort and reverse_sorted.

Gobo Eiffel Kernel Library

• Added class KL_DIRECTORY to allow Eiffel compiler portable directory access.

Gobo Eiffel Utility Library

• Fixed bug in feature append_decimal_integer from class UT_INTEGER_FORMATTER when dealing with negative values.

Version 1.5 - 2 October 1999

geyacc

• Fixed bug in verbose mode: the useless rules and nonterminals were not displayed properly (reported by Berend de Boer).
• Fixed bug when dealing with two consecutive semantic actions in a rule (reported by Alexander Kogtenkov).
• Fixed bug whereby the end-of-file was not recognized properly (reported by Patrick Doyle).
• Updated documentation to state that the Eiffel type for the semantic of a mid-rule action is the same type as declared for the full grouping (reported by Andreas Auras).

Gobo Eiffel Structure Library

• The documentation has been greatly improved.
• Added a test directory as a starting point for a test suite.
• Added a cluster containing an implementation of the main EiffelBase classes based on the Gobo containers.
• Added support for internal iterations (a la EiffelBase). Some feature renaming was necessary: routines with an external cursor as argument, such as put_right, have been renamed with the _cursor suffix, as in put_right_cursor. The original feature names have been reused by the internal traversal interface, e.g. put_right inserts an item to the right of the internal cursor position.
• Cursors are always kept valid. There is no need for calls to a_cursor.is_valid anymore.
• DS_LINEAR_CURSOR does not inherit from DS_INDEXED_CURSOR anymore.
• Added classes DS_QUEUE and DS_LINKED_QUEUE.

Version 1.4 - 14 April 1999

• Multiple types for semantic values now supported in geyacc.
• In geyacc, $$ entities are now initialized to their default Eiffel values at the beginning of semantic actions and the default for missing actions is {} (it used to be {$$ := $1} as in yacc and Bison).
• Added warning/error in geyacc when $N in a semantic action does not match with a symbol in the rule.
• Fixed bug in output of geyacc verbose mode (option -v).
• Routine clear_all from YY_PARSER_SKELETON clears internal stacks by default (call to clear_stacks).
• Added two new types in $GOBO/library/kernel: STRING_BUFFER and FIXED_ARRAY (array with lower bound equal to zero). These two types are used instead of STRING and ARRAY in gelex and geyacc skeleton classes for optimization purposes. STRING_BUFFER maps either to SPECIAL [CHARACTER] or STRING, and FIXED_ARRAY [G] maps either to SPECIAL [G] or ARRAY [G] depending on the Eiffel compiler used. Only ISE Eiffel port has been optimized so far. SmallEiffel port can be optimized as well using FAST_ARRAY [G] or NATIVE_ARRAY [G].
• Added features Empty_buffer, append_text_to_string and append_text_substring_to_string to YY_SCANNER.
• Added a precondition to routine set_start_condition in class YY_SCANNER.
• Resize input buffer if a call to unread_character results in too much text being pushed back (it was raising a run-time error in previous releases).
• Added command-line option -x to gelex and geyacc to allow the generation of semantic actions in separate routines.
• Added command-line option -z to gelex to force the generated code to use an inspect instruction to find out which action to execute. The default is to use binary-search implemented with if instructions.
• Fixed operator precedence bug in $GOBO/example/parse/eiffel/eiffel_parser.y.

Version 1.3 - 15 August 1998

• geyacc has been totally rewritten in Eiffel.
• Replaced attribute output_file by procedure output in class YY_SCANNER to avoid unnecessary console creation in Windows mode with Visual Eiffel.
• Fixed bug in gelex in "equivalence class" mode when dealing with regular expressions of the form x{4}.
• Added warnings in gelex when a rule cannot be matched and when the default rule can be matched despite the %option nodefault or -s option.
• Renamed classes KL_SHARED_*_ROUTINES as KL_IMPORTED_*_ROUTINES. (The old class names are still temporarily valid using the classes in cluster $GOBO/library/kernel/obsolete.)
• gepp now supports #include "filename" instructions.
• The second generic parameter of DS_HASH_TABLE is now constrained to HASHABLE (HASHABLE was not part of SmallEiffel in previous releases).
• Cluster error has been added to the Gobo Eiffel Utility Library to support a flexible error reporting mechanism.

Version 1.2 - 17 December 1997

• New implementation for variable trailing context in gelex, with warnings for dangerous trailing contexts of form such as x*/xz*.
• Improved documentation.

Version 1.1 - 29 October 1997

• Bug fixed wrt variable trailing context in gelex.

Version 1.0 - 14 October 1997

• First public release.
• Gold Award at the Eiffel Class Struggle '97.

---

Copyright (c) 1997-2025, Eric Bezault and others
mailto:ericb@gobosoft.com
https://www.gobosoft.com