Void-safe migration guide

Migrating your code to be void-safe is quite easy if you follow the recommendations presented in this document.

Prepare migration using EiffelStudio 6.3 or EiffelStudio 6.4 with the compatibility option

Compile your code using and apply the following refactorings:

• Search for callers of {CELL}.default_create and replace it by calling put instead and providing a sensible default value.
• Search for callers of {STRING_8}.make_from_c and {STRING_32}.make_from_c. Replace them by make_from_c_pointer when used as creation procedure, otherwise it is ok to leave it as is.
• Search for callers of {C_STRING}.share_from_pointer and {C_STRING}.share_from_pointer_and_count and replace them by make_shared_from_pointer and make_shared_from_pointer_and_count when used as creation procedure, otherwise although it is ok to leave them as is, we recommend using set_shared_from_pointer and set_shared_from_pointer_and_count.

Compiling in void-safe mode with 6.4