Using "Void safety - complete", my code: I try to call this with: I get "source of assignment is not compatible with target." Why does the co ...
I am hoping to create some software with Eiffel & Eiffel Studio I have a Mac mini with the Apple M1 Arm Processor. Is there a port of EiffelStud ...
How to produce the Finalized executable with contract checking enabled? It is possible to keep the check statements intact, but can we keep all the pr ...
When implementing a recursive data structure like TREE, I need a common attribute per TREE, and I wonder how to implement it: Adding the attribute ...
Let's say that I have a function f which should return an attached T by calling g. However, g returns a detachable T. If g results in a Void, I want t ...
Is there a way in Eiffel to exit a program, possible with a defined exit code like exit in C? In my case I would like to just end the program like ex ...
Discovering late (used to define classes instead) TUPLES and looking through the documentation I was wondering if there is a mechanism to get the righ ...
How do I raise an exception further in eiffel? I have 3 cases I want to retry I want to do close db connection and ignore exception I want ...
I want to make a derived class of HASH_TABLE which implements a few additional features. I tried implementing it like this: I get this error: I ...
I'm looking how to get a custom header value from a received WSF_REQUEST. I read the docs quickly and didn't find the answer. ...
I tried to enable the debug syntax into estudio without afording it. In this case it is from a library and it doesnt enter into the What's wrong wi ...
Into my EWF_APP[EWF_APP_EXECUTION] the EWF_APP_EXECUTION inherits from WSF_FILTERED_ROUTED_EXECUTION defining setup_router. To be able to access info ...
Inheriting from WSF_FILTERED_ROUTER_EXECUTION I redefine the clean to be able to close DB Connections. But when there is an assertion failure, I don't ...
When to use which type of STRING in eiffel? I saw using READABLE_STRING_GENERAL and having to l_readable_string.out' to convert it to STRING` ...
how would you calculate the number of seconds since epoch in eiffel for a DATE_TIME object? What is the proper way to do it with the current librarie ...
how would you calculate the number of seconds since epoch in eiffel for a DATE_TIME object? ...
I was trying to have a structure which talks himself about variants and invariants into Eiffel loops, but don't understand the variant part! from ...
What is in eiffel the best way to have a constant which can be redefined? class A => color: STRING = "green" color B inherit A => cannot r ...
How to deal with cluster has two classes with the same name with eiffel studio? when I want to choose between 2 versions? Where can I find documentat ...
Sometimes the checks and contract constructions need an elaboration which wants to be avoided when assertions removed to improve performances and avoi ...