Difference between revisions of "Void-Safe EiffelStudio Status"

(→‎EiffelStudio Dependency Tree (With Void-Safe Status))
(→‎EiffelStudio Dependency Tree (With Void-Safe Status))
Line 88: Line 88:
 
|   |   |   +---{{safe+|environment}}
 
|   |   |   +---{{safe+|environment}}
 
<br>
 
<br>
−
|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;+---{{red|gobo}} [[User:Jfiat|Jfiat]]
+
|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;+---{{safe+|gobo}}
 
<br>
 
<br>
 
|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;|---'''{{safe+|parser}}'''
 
|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;|---'''{{safe+|parser}}'''
Line 98: Line 98:
 
|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;|---'''framework_file'''
 
|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;|---'''framework_file'''
 
<br>
 
<br>
−
|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;+---{{red|gobo}} [[User:Jfiat|Jfiat]]
+
|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;+---{{safe+|gobo}}
 
<br>
 
<br>
 
|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;+---{{safe+|uuid}}
 
|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;+---{{safe+|uuid}}
Line 118: Line 118:
 
|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;+---{{safe+|environment}}
 
|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;+---{{safe+|environment}}
 
<br>
 
<br>
−
|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;+---{{red|gobo}} [[User:Jfiat|Jfiat]]
+
|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;+---{{safe+|gobo}}
 
<br>
 
<br>
 
|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;|---'''{{safe+|gobo_extension}}'''
 
|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;|---'''{{safe+|gobo_extension}}'''
 
<br>
 
<br>
−
|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;+---{{red|gobo}} [[User:Jfiat|Jfiat]]
+
|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;+---{{safe+|gobo}}
 
<br>
 
<br>
 
|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;+---{{safe+|i18n}}
 
|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;+---{{safe+|i18n}}
Line 132: Line 132:
 
|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;|---'''{{safe+|preferences_reg}}'''
 
|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;|---'''{{safe+|preferences_reg}}'''
 
<br>
 
<br>
−
|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;+---{{red|gobo}} [[User:Jfiat|Jfiat]]
+
|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;+---{{safe+|gobo}}
 
<br>
 
<br>
 
|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;|---{{safe+|vision2}}
 
|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;|---{{safe+|vision2}}
Line 182: Line 182:
 
|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;+---{{safe+|environment}}
 
|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;+---{{safe+|environment}}
 
<br>
 
<br>
−
|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;+---{{red|gobo}} [[User:Jfiat|Jfiat]]
+
|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;+---{{safe+|gobo}}
 
<br>
 
<br>
 
|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;+---{{safe+|gobo_extension}}
 
|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;+---{{safe+|gobo_extension}}
Line 206: Line 206:
 
|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;+---{{safe+|configuration_parser}}
 
|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;+---{{safe+|configuration_parser}}
 
<br>
 
<br>
−
|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;+---{{red|gobo}} [[User:Jfiat|Jfiat]]
+
|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;+---{{safe+|gobo}}
 
<br>
 
<br>
 
|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;+---{{safe+|gobo_extension}}
 
|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;+---{{safe+|gobo_extension}}
Line 214: Line 214:
 
|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;|---'''{{safe+|patterns}}'''
 
|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;|---'''{{safe+|patterns}}'''
 
<br>
 
<br>
−
|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;+---{{red|gobo}} [[User:Jfiat|Jfiat]]
+
|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;+---{{safe+|gobo}}
 
<br>
 
<br>
 
|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;|---'''tagging'''
 
|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;|---'''tagging'''
Line 220: Line 220:
 
|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;+---ecosystem
 
|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;+---ecosystem
 
<br>
 
<br>
−
|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;+---{{red|gobo}} [[User:Jfiat|Jfiat]]
+
|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;+---{{safe+|gobo}}
 
<br>
 
<br>
 
|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;+---{{safe+|patterns}}
 
|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;+---{{safe+|patterns}}
Line 242: Line 242:
 
|&nbsp;&nbsp;&nbsp;+---{{safe+|environment}}
 
|&nbsp;&nbsp;&nbsp;+---{{safe+|environment}}
 
<br>
 
<br>
−
|&nbsp;&nbsp;&nbsp;+---{{red|gobo}} [[User:Jfiat|Jfiat]]
+
|&nbsp;&nbsp;&nbsp;+---{{safe+|gobo}}
 
<br>
 
<br>
 
|&nbsp;&nbsp;&nbsp;+---{{safe+|gobo_extension}}
 
|&nbsp;&nbsp;&nbsp;+---{{safe+|gobo_extension}}
Line 286: Line 286:
 
|&nbsp;&nbsp;&nbsp;|---{{safe+|docking}}
 
|&nbsp;&nbsp;&nbsp;|---{{safe+|docking}}
 
<br>
 
<br>
−
|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;+---{{red|gobo}} [[User:Jfiat|Jfiat]]
+
|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;+---{{safe+|gobo}}
 
<br>
 
<br>
 
|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;+---{{safe+|gobo_extension}}
 
|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;+---{{safe+|gobo_extension}}
Line 306: Line 306:
 
|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;+---{{safe+|docking}}
 
|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;+---{{safe+|docking}}
 
<br>
 
<br>
−
|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;+---{{red|gobo}} [[User:Jfiat|Jfiat]]
+
|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;+---{{safe+|gobo}}
 
<br>
 
<br>
 
|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;+---{{safe+|gobo_extension}}
 
|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;+---{{safe+|gobo_extension}}
Line 316: Line 316:
 
|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;+---{{safe+|wel}}
 
|&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;+---{{safe+|wel}}
 
<br>
 
<br>
−
|&nbsp;&nbsp;&nbsp;+---{{red|gobo}} [[User:Jfiat|Jfiat]]
+
|&nbsp;&nbsp;&nbsp;+---{{safe+|gobo}}
 
<br>
 
<br>
 
|&nbsp;&nbsp;&nbsp;+---{{safe+|gobo_extension}}
 
|&nbsp;&nbsp;&nbsp;+---{{safe+|gobo_extension}}
Line 368: Line 368:
 
|&nbsp;&nbsp;&nbsp;+---framework
 
|&nbsp;&nbsp;&nbsp;+---framework
 
<br>
 
<br>
−
|&nbsp;&nbsp;&nbsp;+---{{red|gobo}} [[User:Jfiat|Jfiat]]
+
|&nbsp;&nbsp;&nbsp;+---{{safe+|gobo}}
 
<br>
 
<br>
 
|&nbsp;&nbsp;&nbsp;+---{{safe+|interface_names}}
 
|&nbsp;&nbsp;&nbsp;+---{{safe+|interface_names}}
Line 390: Line 390:
 
|&nbsp;&nbsp;&nbsp;+---{{safe+|environment}}
 
|&nbsp;&nbsp;&nbsp;+---{{safe+|environment}}
 
<br>
 
<br>
−
|&nbsp;&nbsp;&nbsp;+---{{red|gobo}} [[User:Jfiat|Jfiat]]
+
|&nbsp;&nbsp;&nbsp;+---{{safe+|gobo}}
 
<br>
 
<br>
 
+---{{safe+|dotnet_helper}}
 
+---{{safe+|dotnet_helper}}
Line 402: Line 402:
 
|&nbsp;&nbsp;&nbsp;+---{{safe+|encoding}}
 
|&nbsp;&nbsp;&nbsp;+---{{safe+|encoding}}
 
<br>
 
<br>
−
|&nbsp;&nbsp;&nbsp;+---{{red|gobo}} [[User:Jfiat|Jfiat]]
+
|&nbsp;&nbsp;&nbsp;+---{{safe+|gobo}}
 
<br>
 
<br>
 
|&nbsp;&nbsp;&nbsp;|---{{safe+|lex}}
 
|&nbsp;&nbsp;&nbsp;|---{{safe+|lex}}
Line 422: Line 422:
 
+---framework
 
+---framework
 
<br>
 
<br>
−
|&nbsp;&nbsp;&nbsp;+---{{red|gobo}} [[User:Jfiat|Jfiat]]
+
|&nbsp;&nbsp;&nbsp;+---{{safe+|gobo}}
 
<br>
 
<br>
−
+---{{red|gobo}} [[User:Jfiat|Jfiat]]
+
+---{{safe+|gobo}}
 
<br>
 
<br>
 
+---{{safe+|gobo_extension}}
 
+---{{safe+|gobo_extension}}
Line 430: Line 430:
 
|---{{safe+|graph}}
 
|---{{safe+|graph}}
 
<br>
 
<br>
−
|&nbsp;&nbsp;&nbsp;+---{{red|gobo}} [[User:Jfiat|Jfiat]]
+
|&nbsp;&nbsp;&nbsp;+---{{safe+|gobo}}
 
<br>
 
<br>
 
|&nbsp;&nbsp;&nbsp;+---{{safe+|vision2}}
 
|&nbsp;&nbsp;&nbsp;+---{{safe+|vision2}}
Line 442: Line 442:
 
|---{{safe+|memory_analyzer}}
 
|---{{safe+|memory_analyzer}}
 
<br>
 
<br>
−
|&nbsp;&nbsp;&nbsp;+---{{red|gobo}} [[User:Jfiat|Jfiat]]
+
|&nbsp;&nbsp;&nbsp;+---{{safe+|gobo}}
 
<br>
 
<br>
 
|&nbsp;&nbsp;&nbsp;+---{{safe+|gobo_extension}}
 
|&nbsp;&nbsp;&nbsp;+---{{safe+|gobo_extension}}
Line 474: Line 474:
 
|---'''services_framework'''
 
|---'''services_framework'''
 
<br>
 
<br>
−
|&nbsp;&nbsp;&nbsp;+---{{red|gobo}} [[User:Jfiat|Jfiat]]
+
|&nbsp;&nbsp;&nbsp;+---{{safe+|gobo}}
 
<br>
 
<br>
 
|&nbsp;&nbsp;&nbsp;+---{{safe+|patterns}}
 
|&nbsp;&nbsp;&nbsp;+---{{safe+|patterns}}
Line 494: Line 494:
 
|&nbsp;&nbsp;&nbsp;+---{{safe+|environment}}
 
|&nbsp;&nbsp;&nbsp;+---{{safe+|environment}}
 
<br>
 
<br>
−
|&nbsp;&nbsp;&nbsp;+---{{red|gobo}} [[User:Jfiat|Jfiat]]
+
|&nbsp;&nbsp;&nbsp;+---{{safe+|gobo}}
 
<br>
 
<br>
 
|&nbsp;&nbsp;&nbsp;+---{{safe+|gobo_extension}}
 
|&nbsp;&nbsp;&nbsp;+---{{safe+|gobo_extension}}
Line 550: Line 550:
 
|---'''xml'''
 
|---'''xml'''
 
<br>
 
<br>
−
&nbsp;&nbsp;&nbsp;&nbsp;+---{{red|gobo}} [[User:Jfiat|Jfiat]]
+
&nbsp;&nbsp;&nbsp;&nbsp;+---{{safe+|gobo}}

Revision as of 12:10, 22 May 2019


Notes

  • The tree is specific on Windows, it is slightly different on Linux.
  • EiffelBase is ignored, which is already void-safe.
  • The same library is only expanded once prefixed with "|---", "+---" for collapsed.
  • Void-safe libraries are in green. Void-safe libraries that do not rely on obsolete CAPs (i.e. that are completely void-safe) are highlighted this way. Those in red are in progress of conversion.
  • The batch compiler dependencies are in bold.

EiffelStudio Dependency Tree (With Void-Safe Status)

--- Libraries
|---auto_test
|   |---compiler_kernel
|   |   |---base_extension
|   |   |---cli_writer
|   |   |   |---dotnet_loader
|   |   |   |   |---environment
|   |   |   |   |   |   |---time
|   |   |   |   |   |---wel
|   |   |   |   +---wel
|   |   |   +---environment
|   |   |   +---wel
|   |   |---configuration_compiler
|   |   |   +---base_extension
|   |   |   |---configuration_parser
|   |   |   |   +---base_extension
|   |   |   |   |---eiffel_identifier
|   |   |   |   |   +---base_extension
|   |   |   |   +---gobo
|   |   |   |   |---interface_names
|   |   |   |   |   |---encoding
|   |   |   |   |   +---environment
|   |   |   |   |   |---i18n
|   |   |   |   |   |   +---encoding
|   |   |   |   |   |   +---time
|   |   |   |   |---uuid
|   |   |   |       +---time
|   |   |   |---consumer
|   |   |   |   |---assembly_resolver
|   |   |   |   |---dotnet_helper
|   |   |   |   |---ecchecker
|   |   |   |   |   +---assembly_resolver
|   |   |   |   +---environment
|   |   |   |   |---logger
|   |   |   |---emitter_loader
|   |   |   |   |---dotnet_loader
|   |   |   |   |   +---environment
|   |   |   |   |   +---wel
|   |   |   +---environment
|   |   |   +---gobo
|   |   |   |---parser
|   |   |   |   +---base_extension
|   |   |   |   +---eiffel_identifier
|   |   |   |   |---framework_file
|   |   |   |   +---gobo
|   |   |   +---uuid
|   |   |   +---wel
|   |   +---configuration_parser
|   |   +---consumer
|   |   +---dotnet_helper
|   |   +---dotnet_loader
|   |   +---eiffel_identifier
|   |   +---emitter_loader
|   |   +---environment
|   |   +---gobo
|   |   |---gobo_extension
|   |   |   +---gobo
|   |   +---i18n
|   |   +---interface_names
|   |   +---parser
|   |   |---preferences_reg
|   |   |   +---gobo
|   |   |   |---vision2
|   |   |   |   |---thread
|   |   |   |   +---wel
|   |   |   +---wel
|   |   |---process
|   |       +---thread
|   |       +---wel
|   |       |---resources
|   |       +---time
|   |       +---uuid
|   |       +---wel
|   +---configuration_parser
|   |---ecosystem
|   |   |---compiler
|   |   |   +---base_extension
|   |   |   +---cli_writer
|   |   |   +---configuration_compiler
|   |   |   +---configuration_parser
|   |   |   +---consumer
|   |   |   +---dotnet_helper
|   |   |   +---dotnet_loader
|   |   |   +---eiffel_identifier
|   |   |   +---emitter_loader
|   |   |   +---environment
|   |   |   +---gobo
|   |   |   +---gobo_extension
|   |   |   +---i18n
|   |   |   +---interface_names
|   |   |   +---parser
|   |   |   +---preferences_reg
|   |   |   +---process
|   |   |   +---resources
|   |   |   +---time
|   |   |   +---uuid
|   |   |   +---wel
|   |   +---configuration_parser
|   |   +---gobo
|   |   +---gobo_extension
|   |   +---parser
|   |   |---patterns
|   |   |   +---gobo
|   |   |---tagging
|   |   |   +---ecosystem
|   |   |   +---gobo
|   |   |   +---patterns
|   |   |---testing
|   |   |   +---argument_parser
|   |   |   +---net
|   |   |   +---process
|   |   |   +---thread
|   |   |   +---time
|   |   +---time
|   |   +---uuid
|   +---environment
|   +---gobo
|   +---gobo_extension
|   +---net
|   +---parser
|   +---process
|   +---testing
|   +---thread
|   +---time
|   +---uuid
|   +---wel
+---base_extension
+---cli_writer
|---command_tunnel
|   +---vision2
|   +---wel
+---compiler_kernel
+---configuration_compiler
|---configuation_gui
|   +---base_extension
|   +---cli_writer
|   +---configuration_parser
|   |---docking
|   |   +---gobo
|   |   +---gobo_extension
|   |   +---vision2
|   |   +---vision2_extension
|   |   +---wel
|   +---eiffel_identifier
|   +---environment
|   |---framework
|   |   +---base_extension
|   |   +---docking
|   |   +---gobo
|   |   +---gobo_extension
|   |   +---interface_names
|   |   +---vision2
|   |   +---wel
|   +---gobo
|   +---gobo_extension
|   +---interface_names
|   |---pe_reader
|   |   +---dotnet_loader
|   |   +---wel
|   +---vision2
|   +---wel
+---configuration_parser
+---consumer
|---curl
|   +---wel
|---debugger
|   |---cli_debugger
|   |   +---cli_writer
|   |   +---dotnet_loader
|   |   +---environment
|   |   +---wel
|   +---cli_writer
|   +---compiler_kernel
|   +---configuration_compiler
|   +---configuration_parser
|   +---dotnet_loader
|   +---eiffel_identifier
|   +---environment
|   +---framework
|   +---gobo
|   +---interface_names
|   +---parser
|   +---thread
|   +---uuid
|   +---wel
|---diff
+---docking
|---dotnet_assembly_information
|   +---dotnet_helper
|   +---environment
|   +---gobo
+---dotnet_helper
+---dotnet_loader
+---ecosystem
|---editor
|   +---encoding
|   +---gobo
|   |---lex
|   +---preferences_reg
|   +---testing
|   +---vision2
+---eiffel_identifier
+---emitter_loader
+---encoding
+---environment
+---framework
|   +---gobo
+---gobo
+---gobo_extension
|---graph
|   +---gobo
|   +---vision2
+---i18n
+---interface_names
+---lex
|---memory_analyzer
|   +---gobo
|   +---gobo_extension
|   +---graph
|   +---time
|   +---vision2
+---net
+---parser
|---parser_extension
|   +---configuration_parser
|   +---parser
+---patterns
+---pe_reader
+---preferences_reg
+---process
+---resources
|---services_framework
|   +---gobo
|   +---patterns
+---tagging
|---testing_engine
|   +---auto_test
|   +---compiler
|   +---configuration_parser
|   +---debugger
|   +---ecosystem
|   +---environment
|   +---gobo
|   +---gobo_extension
|   +---net
|   +---parser
|   +---parser_extension
|   +---patterns
|   +---process
|   +---tagging
|   +---testing
|   +---thread
|   +---time
|   +---uuid
+---testing
+---thread
+---time
|---uri_launcher
|   |---api_wrapper
|   |   |---patterns
|   |   |---threading
|   |   |   +---thread
|   |   +---wel
|   +---patterns
|   +---process
+---uuid
+---vision2
+---vision2_extension
+---wel
|---xml
    +---gobo

Retrieved from "https://dev.eiffel.com/index.php?title=Void-Safe_EiffelStudio_Status&oldid=15791"