Eiffel, multiple types conformance: a way to specify that a parameter is a descendent from A and B?...

Eiffel: passing argument to agent received as argument...

Eiffel shortest statement for object creation and result of function...

Eiffel: a way to display assertion violation on runtime of executable...

Eiffel: a proper way to inherit from a class and convert Current object to it...

Eiffel: is there a way with do_all or do_if to search for an element in a collection without having ...

Eiffel: ODBC Dealing with BIGINT...

Eiffel: non-compatible actual argument in feature call...

Eiffel: setting a constant with reference to other class constant...

Eiffel: REAL_32.to_double gives a strange value...

Eiffel: void safety, a concise way to test if an object exists and then call its feature...

Eiffel: Error: variable is not properly set. in make calling default_create or any parent calling/re...

Eiffel: unknown identifier `cursor` on LINKED_LIST[STRING]...

Eiffel: Call use obsolete feature. Call to feature `to_string_8': Use `name_32' instead...

How do I initialize and fill a linked list in Eiffel?...

How to check if file exists in Eiffel...

Eiffel compilation through Makefile and `dpkg-buildpackage -us -uc` generating an error...

Is it possible to enforce Design by Contract checks at compile time?...

eiffel c compilation failure: error LNK2001: unresolved external symbol...

Eiffel: are the convert methods working in case of agent call arguments?...

Eiffel: What's the difference between an "eiffel" library and a gobo library?...

How would one read space separated input in Eiffel?...

Eiffel: type casting operators whats the difference between ~ / and attached statements?...

Eiffel: create at runtime a typed object...

Eiffel: How do I compare the type of an object to a given type?...

Eiffel: best practices for creation procedures...

Eiffel: How to get class of a Void object? is it possible?...

Eiffel: Invalid constraint for formal generic paramete...

Eiffel: Is there a way to test a given Generic parameter of a Class without any attached instance of...

Eiffel: EWF_APP_EXECUTION (EWF application) exit function...