<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
	<id>https://dev.eiffel.com/index.php?action=history&amp;feed=atom&amp;title=Void-safe_migration_guide</id>
	<title>Void-safe migration guide - Revision history</title>
	<link rel="self" type="application/atom+xml" href="https://dev.eiffel.com/index.php?action=history&amp;feed=atom&amp;title=Void-safe_migration_guide"/>
	<link rel="alternate" type="text/html" href="https://dev.eiffel.com/index.php?title=Void-safe_migration_guide&amp;action=history"/>
	<updated>2026-10-22T20:30:21Z</updated>
	<subtitle>Revision history for this page on the wiki</subtitle>
	<generator>MediaWiki 1.43.11</generator>
	<entry>
		<id>https://dev.eiffel.com/index.php?title=Void-safe_migration_guide&amp;diff=13078&amp;oldid=prev</id>
		<title>Jso at 20:02, 31 July 2009</title>
		<link rel="alternate" type="text/html" href="https://dev.eiffel.com/index.php?title=Void-safe_migration_guide&amp;diff=13078&amp;oldid=prev"/>
		<updated>2009-07-31T20:02:08Z</updated>

		<summary type="html">&lt;p&gt;&lt;/p&gt;
&lt;a href=&quot;https://dev.eiffel.com/index.php?title=Void-safe_migration_guide&amp;amp;diff=13078&amp;amp;oldid=11979&quot;&gt;Show changes&lt;/a&gt;</summary>
		<author><name>Jso</name></author>
	</entry>
	<entry>
		<id>https://dev.eiffel.com/index.php?title=Void-safe_migration_guide&amp;diff=11979&amp;oldid=prev</id>
		<title>Manus: /* Prepare migration using 6.3 or 6.4 with the compatibility option */</title>
		<link rel="alternate" type="text/html" href="https://dev.eiffel.com/index.php?title=Void-safe_migration_guide&amp;diff=11979&amp;oldid=prev"/>
		<updated>2009-02-06T22:48:40Z</updated>

		<summary type="html">&lt;p&gt;&lt;span class=&quot;autocomment&quot;&gt;Prepare migration using 6.3 or 6.4 with the compatibility option&lt;/span&gt;&lt;/p&gt;
&lt;table style=&quot;background-color: #fff; color: #202122;&quot; data-mw=&quot;interface&quot;&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;tr class=&quot;diff-title&quot; lang=&quot;en&quot;&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;← Older revision&lt;/td&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;Revision as of 22:48, 6 February 2009&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot; id=&quot;mw-diff-left-l4&quot;&gt;Line 4:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 4:&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;==Prepare migration using 6.3 or 6.4 with the compatibility option==&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;==Prepare migration using 6.3 or 6.4 with the compatibility option==&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;−&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;Compile your code using &lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;and &lt;/del&gt;apply the following refactorings:&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;Compile your code using &lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;either 6.3 or 6.4 in compatibility mode. Then &lt;/ins&gt;apply the following refactorings:&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* Search for callers of &amp;lt;e&amp;gt;{CELL}.default_create&amp;lt;/e&amp;gt; and replace it by calling &amp;lt;e&amp;gt;put&amp;lt;/e&amp;gt; instead and providing a sensible default value.&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* Search for callers of &amp;lt;e&amp;gt;{CELL}.default_create&amp;lt;/e&amp;gt; and replace it by calling &amp;lt;e&amp;gt;put&amp;lt;/e&amp;gt; instead and providing a sensible default value.&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* Search for callers of &amp;lt;e&amp;gt;{READABLE_STRING_8}.make_from_c&amp;lt;/e&amp;gt; and &amp;lt;e&amp;gt;{READABLE_STRING_32}.make_from_c&amp;lt;/e&amp;gt;. If you are using them as part of a creation instruction or a creation expression then nothing to be done. Otherwise we recommend you to replace the call by a call to &amp;lt;e&amp;gt;from_c&amp;lt;/e&amp;gt;.&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* Search for callers of &amp;lt;e&amp;gt;{READABLE_STRING_8}.make_from_c&amp;lt;/e&amp;gt; and &amp;lt;e&amp;gt;{READABLE_STRING_32}.make_from_c&amp;lt;/e&amp;gt;. If you are using them as part of a creation instruction or a creation expression then nothing to be done. Otherwise we recommend you to replace the call by a call to &amp;lt;e&amp;gt;from_c&amp;lt;/e&amp;gt;.&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;/table&gt;</summary>
		<author><name>Manus</name></author>
	</entry>
	<entry>
		<id>https://dev.eiffel.com/index.php?title=Void-safe_migration_guide&amp;diff=11978&amp;oldid=prev</id>
		<title>Manus at 22:48, 6 February 2009</title>
		<link rel="alternate" type="text/html" href="https://dev.eiffel.com/index.php?title=Void-safe_migration_guide&amp;diff=11978&amp;oldid=prev"/>
		<updated>2009-02-06T22:48:16Z</updated>

		<summary type="html">&lt;p&gt;&lt;/p&gt;
&lt;table style=&quot;background-color: #fff; color: #202122;&quot; data-mw=&quot;interface&quot;&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;tr class=&quot;diff-title&quot; lang=&quot;en&quot;&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;← Older revision&lt;/td&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;Revision as of 22:48, 6 February 2009&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot; id=&quot;mw-diff-left-l3&quot;&gt;Line 3:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 3:&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;Migrating your code to be void-safe is quite easy if you follow the recommendations presented in this document.&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;Migrating your code to be void-safe is quite easy if you follow the recommendations presented in this document.&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;−&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;==Prepare migration using &lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;EiffelStudio &lt;/del&gt;6.3 or &lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;EiffelStudio &lt;/del&gt;6.4 with the compatibility option==&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;==Prepare migration using 6.3 or 6.4 with the compatibility option==&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;Compile your code using and apply the following refactorings:&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;Compile your code using and apply the following refactorings:&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* Search for callers of &amp;lt;e&amp;gt;{CELL}.default_create&amp;lt;/e&amp;gt; and replace it by calling &amp;lt;e&amp;gt;put&amp;lt;/e&amp;gt; instead and providing a sensible default value.&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* Search for callers of &amp;lt;e&amp;gt;{CELL}.default_create&amp;lt;/e&amp;gt; and replace it by calling &amp;lt;e&amp;gt;put&amp;lt;/e&amp;gt; instead and providing a sensible default value.&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;/table&gt;</summary>
		<author><name>Manus</name></author>
	</entry>
	<entry>
		<id>https://dev.eiffel.com/index.php?title=Void-safe_migration_guide&amp;diff=11977&amp;oldid=prev</id>
		<title>Manus at 22:47, 6 February 2009</title>
		<link rel="alternate" type="text/html" href="https://dev.eiffel.com/index.php?title=Void-safe_migration_guide&amp;diff=11977&amp;oldid=prev"/>
		<updated>2009-02-06T22:47:38Z</updated>

		<summary type="html">&lt;p&gt;&lt;/p&gt;
&lt;table style=&quot;background-color: #fff; color: #202122;&quot; data-mw=&quot;interface&quot;&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;tr class=&quot;diff-title&quot; lang=&quot;en&quot;&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;← Older revision&lt;/td&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;Revision as of 22:47, 6 February 2009&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot; id=&quot;mw-diff-left-l1&quot;&gt;Line 1:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 1:&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-deleted&quot;&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;{{UnderConstruction}}&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-deleted&quot;&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;Migrating your code to be void-safe is quite easy if you follow the recommendations presented in this document.&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;Migrating your code to be void-safe is quite easy if you follow the recommendations presented in this document.&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot; id=&quot;mw-diff-left-l4&quot;&gt;Line 4:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 6:&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;Compile your code using and apply the following refactorings:&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;Compile your code using and apply the following refactorings:&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* Search for callers of &amp;lt;e&amp;gt;{CELL}.default_create&amp;lt;/e&amp;gt; and replace it by calling &amp;lt;e&amp;gt;put&amp;lt;/e&amp;gt; instead and providing a sensible default value.&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* Search for callers of &amp;lt;e&amp;gt;{CELL}.default_create&amp;lt;/e&amp;gt; and replace it by calling &amp;lt;e&amp;gt;put&amp;lt;/e&amp;gt; instead and providing a sensible default value.&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;−&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* Search for callers of &amp;lt;e&amp;gt;{READABLE_STRING_8}.make_from_c&amp;lt;/e&amp;gt; and &amp;lt;e&amp;gt;{READABLE_STRING_32}.make_from_c&amp;lt;/e&amp;gt;. &lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Replace &lt;/del&gt;them by &amp;lt;e&amp;gt;&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;make_from_c_pointer&lt;/del&gt;&amp;lt;/e&amp;gt; &lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;when used as creation procedure, otherwise it is ok to leave it as is&lt;/del&gt;.&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* Search for callers of &amp;lt;e&amp;gt;{READABLE_STRING_8}.make_from_c&amp;lt;/e&amp;gt; and &amp;lt;e&amp;gt;{READABLE_STRING_32}.make_from_c&amp;lt;/e&amp;gt;. &lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;If you are using &lt;/ins&gt;them &lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;as part of a creation instruction or a creation expression then nothing to be done. Otherwise we recommend you to replace the call &lt;/ins&gt;by &lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;a call to &lt;/ins&gt;&amp;lt;e&amp;gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;from_c&lt;/ins&gt;&amp;lt;/e&amp;gt;.&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* Search for callers of &amp;lt;e&amp;gt;{C_STRING}.share_from_pointer&amp;lt;/e&amp;gt; and  &amp;lt;e&amp;gt;{C_STRING}.share_from_pointer_and_count&amp;lt;/e&amp;gt; and replace them by &amp;lt;e&amp;gt;make_shared_from_pointer&amp;lt;/e&amp;gt; and &amp;lt;e&amp;gt;make_shared_from_pointer_and_count&amp;lt;/e&amp;gt; when used as creation procedure, otherwise although it is ok to leave them as is, we recommend using &amp;lt;e&amp;gt;set_shared_from_pointer&amp;lt;/e&amp;gt; and &amp;lt;e&amp;gt;set_shared_from_pointer_and_count&amp;lt;/e&amp;gt;.&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* Search for callers of &amp;lt;e&amp;gt;{C_STRING}.share_from_pointer&amp;lt;/e&amp;gt; and  &amp;lt;e&amp;gt;{C_STRING}.share_from_pointer_and_count&amp;lt;/e&amp;gt; and replace them by &amp;lt;e&amp;gt;make_shared_from_pointer&amp;lt;/e&amp;gt; and &amp;lt;e&amp;gt;make_shared_from_pointer_and_count&amp;lt;/e&amp;gt; when used as creation procedure, otherwise although it is ok to leave them as is, we recommend using &amp;lt;e&amp;gt;set_shared_from_pointer&amp;lt;/e&amp;gt; and &amp;lt;e&amp;gt;set_shared_from_pointer_and_count&amp;lt;/e&amp;gt;.&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;== Compiling in void-safe mode with 6.4 ==&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;== Compiling in void-safe mode with 6.4 ==&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;/table&gt;</summary>
		<author><name>Manus</name></author>
	</entry>
	<entry>
		<id>https://dev.eiffel.com/index.php?title=Void-safe_migration_guide&amp;diff=11972&amp;oldid=prev</id>
		<title>Manus: /* Prepare migration using EiffelStudio 6.3 or EiffelStudio 6.4 with the compatibility option */</title>
		<link rel="alternate" type="text/html" href="https://dev.eiffel.com/index.php?title=Void-safe_migration_guide&amp;diff=11972&amp;oldid=prev"/>
		<updated>2009-02-05T23:09:56Z</updated>

		<summary type="html">&lt;p&gt;&lt;span class=&quot;autocomment&quot;&gt;Prepare migration using EiffelStudio 6.3 or EiffelStudio 6.4 with the compatibility option&lt;/span&gt;&lt;/p&gt;
&lt;table style=&quot;background-color: #fff; color: #202122;&quot; data-mw=&quot;interface&quot;&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;tr class=&quot;diff-title&quot; lang=&quot;en&quot;&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;← Older revision&lt;/td&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;Revision as of 23:09, 5 February 2009&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot; id=&quot;mw-diff-left-l4&quot;&gt;Line 4:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 4:&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;Compile your code using and apply the following refactorings:&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;Compile your code using and apply the following refactorings:&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* Search for callers of &amp;lt;e&amp;gt;{CELL}.default_create&amp;lt;/e&amp;gt; and replace it by calling &amp;lt;e&amp;gt;put&amp;lt;/e&amp;gt; instead and providing a sensible default value.&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* Search for callers of &amp;lt;e&amp;gt;{CELL}.default_create&amp;lt;/e&amp;gt; and replace it by calling &amp;lt;e&amp;gt;put&amp;lt;/e&amp;gt; instead and providing a sensible default value.&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;−&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* Search for callers of &amp;lt;e&amp;gt;{&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;STRING_8&lt;/del&gt;}.make_from_c&amp;lt;/e&amp;gt; and &amp;lt;e&amp;gt;{&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;STRING_32&lt;/del&gt;}.make_from_c&amp;lt;/e&amp;gt;. Replace them by &amp;lt;e&amp;gt;make_from_c_pointer&amp;lt;/e&amp;gt; when used as creation procedure, otherwise it is ok to leave it as is.&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* Search for callers of &amp;lt;e&amp;gt;{&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;READABLE_STRING_8&lt;/ins&gt;}.make_from_c&amp;lt;/e&amp;gt; and &amp;lt;e&amp;gt;{&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;READABLE_STRING_32&lt;/ins&gt;}.make_from_c&amp;lt;/e&amp;gt;. Replace them by &amp;lt;e&amp;gt;make_from_c_pointer&amp;lt;/e&amp;gt; when used as creation procedure, otherwise it is ok to leave it as is.&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* Search for callers of &amp;lt;e&amp;gt;{C_STRING}.share_from_pointer&amp;lt;/e&amp;gt; and  &amp;lt;e&amp;gt;{C_STRING}.share_from_pointer_and_count&amp;lt;/e&amp;gt; and replace them by &amp;lt;e&amp;gt;make_shared_from_pointer&amp;lt;/e&amp;gt; and &amp;lt;e&amp;gt;make_shared_from_pointer_and_count&amp;lt;/e&amp;gt; when used as creation procedure, otherwise although it is ok to leave them as is, we recommend using &amp;lt;e&amp;gt;set_shared_from_pointer&amp;lt;/e&amp;gt; and &amp;lt;e&amp;gt;set_shared_from_pointer_and_count&amp;lt;/e&amp;gt;.&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* Search for callers of &amp;lt;e&amp;gt;{C_STRING}.share_from_pointer&amp;lt;/e&amp;gt; and  &amp;lt;e&amp;gt;{C_STRING}.share_from_pointer_and_count&amp;lt;/e&amp;gt; and replace them by &amp;lt;e&amp;gt;make_shared_from_pointer&amp;lt;/e&amp;gt; and &amp;lt;e&amp;gt;make_shared_from_pointer_and_count&amp;lt;/e&amp;gt; when used as creation procedure, otherwise although it is ok to leave them as is, we recommend using &amp;lt;e&amp;gt;set_shared_from_pointer&amp;lt;/e&amp;gt; and &amp;lt;e&amp;gt;set_shared_from_pointer_and_count&amp;lt;/e&amp;gt;.&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;== Compiling in void-safe mode with 6.4 ==&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;== Compiling in void-safe mode with 6.4 ==&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;/table&gt;</summary>
		<author><name>Manus</name></author>
	</entry>
	<entry>
		<id>https://dev.eiffel.com/index.php?title=Void-safe_migration_guide&amp;diff=11971&amp;oldid=prev</id>
		<title>Manus: /* Prepare migration using EiffelStudio 6.3 or EiffelStudio 6.4 with the compatibility option */</title>
		<link rel="alternate" type="text/html" href="https://dev.eiffel.com/index.php?title=Void-safe_migration_guide&amp;diff=11971&amp;oldid=prev"/>
		<updated>2009-02-05T23:09:21Z</updated>

		<summary type="html">&lt;p&gt;&lt;span class=&quot;autocomment&quot;&gt;Prepare migration using EiffelStudio 6.3 or EiffelStudio 6.4 with the compatibility option&lt;/span&gt;&lt;/p&gt;
&lt;table style=&quot;background-color: #fff; color: #202122;&quot; data-mw=&quot;interface&quot;&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;tr class=&quot;diff-title&quot; lang=&quot;en&quot;&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;← Older revision&lt;/td&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;Revision as of 23:09, 5 February 2009&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot; id=&quot;mw-diff-left-l3&quot;&gt;Line 3:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 3:&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;==Prepare migration using EiffelStudio 6.3 or EiffelStudio 6.4 with the compatibility option==&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;==Prepare migration using EiffelStudio 6.3 or EiffelStudio 6.4 with the compatibility option==&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;Compile your code using and apply the following refactorings:&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;Compile your code using and apply the following refactorings:&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;−&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;- &lt;/del&gt;Search for callers of &amp;lt;e&amp;gt;{STRING_8}.make_from_c&amp;lt;/e&amp;gt; and &amp;lt;e&amp;gt;{STRING_32}.make_from_c&amp;lt;/e&amp;gt;. Replace them by &amp;lt;e&amp;gt;make_from_c_pointer&amp;lt;/e&amp;gt; when used as creation procedure, otherwise it is ok to leave it as is.&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;* Search for callers of &amp;lt;e&amp;gt;{CELL}.default_create&amp;lt;/e&amp;gt; and replace it by calling &amp;lt;e&amp;gt;put&amp;lt;/e&amp;gt; instead and providing a sensible default value.&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;−&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;- &lt;/del&gt;Search for callers of &amp;lt;e&amp;gt;{&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;CELL&lt;/del&gt;}.&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;default_create&lt;/del&gt;&amp;lt;/e&amp;gt; and replace it &lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;by calling &lt;/del&gt;&amp;lt;e&amp;gt;&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;put&lt;/del&gt;&amp;lt;/e&amp;gt; &lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;instead &lt;/del&gt;and &lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;providing a sensible default value&lt;/del&gt;.&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;* &lt;/ins&gt;Search for callers of &amp;lt;e&amp;gt;{STRING_8}.make_from_c&amp;lt;/e&amp;gt; and &amp;lt;e&amp;gt;{STRING_32}.make_from_c&amp;lt;/e&amp;gt;. Replace them by &amp;lt;e&amp;gt;make_from_c_pointer&amp;lt;/e&amp;gt; when used as creation procedure, otherwise it is ok to leave it as is.&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-deleted&quot;&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;* &lt;/ins&gt;Search for callers of &amp;lt;e&amp;gt;{&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;C_STRING}.share_from_pointer&amp;lt;/e&amp;gt; and  &amp;lt;e&amp;gt;{C_STRING&lt;/ins&gt;}.&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;share_from_pointer_and_count&lt;/ins&gt;&amp;lt;/e&amp;gt; and replace &lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;them by &amp;lt;e&amp;gt;make_shared_from_pointer&amp;lt;/e&amp;gt; and &amp;lt;e&amp;gt;make_shared_from_pointer_and_count&amp;lt;/e&amp;gt; when used as creation procedure, otherwise although &lt;/ins&gt;it &lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;is ok to leave them as is, we recommend using &lt;/ins&gt;&amp;lt;e&amp;gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;set_shared_from_pointer&lt;/ins&gt;&amp;lt;/e&amp;gt; and &lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;&amp;lt;e&amp;gt;set_shared_from_pointer_and_count&amp;lt;/e&amp;gt;&lt;/ins&gt;.&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;== Compiling in void-safe mode with 6.4 ==&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;== Compiling in void-safe mode with 6.4 ==&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;/table&gt;</summary>
		<author><name>Manus</name></author>
	</entry>
	<entry>
		<id>https://dev.eiffel.com/index.php?title=Void-safe_migration_guide&amp;diff=11970&amp;oldid=prev</id>
		<title>Manus: Prepared guide for migrating code to be Void safe</title>
		<link rel="alternate" type="text/html" href="https://dev.eiffel.com/index.php?title=Void-safe_migration_guide&amp;diff=11970&amp;oldid=prev"/>
		<updated>2009-02-05T23:07:20Z</updated>

		<summary type="html">&lt;p&gt;Prepared guide for migrating code to be Void safe&lt;/p&gt;
&lt;p&gt;&lt;b&gt;New page&lt;/b&gt;&lt;/p&gt;&lt;div&gt;Migrating your code to be void-safe is quite easy if you follow the recommendations presented in this document.&lt;br /&gt;
&lt;br /&gt;
==Prepare migration using EiffelStudio 6.3 or EiffelStudio 6.4 with the compatibility option==&lt;br /&gt;
Compile your code using and apply the following refactorings:&lt;br /&gt;
- Search for callers of &amp;lt;e&amp;gt;{STRING_8}.make_from_c&amp;lt;/e&amp;gt; and &amp;lt;e&amp;gt;{STRING_32}.make_from_c&amp;lt;/e&amp;gt;. Replace them by &amp;lt;e&amp;gt;make_from_c_pointer&amp;lt;/e&amp;gt; when used as creation procedure, otherwise it is ok to leave it as is.&lt;br /&gt;
- Search for callers of &amp;lt;e&amp;gt;{CELL}.default_create&amp;lt;/e&amp;gt; and replace it by calling &amp;lt;e&amp;gt;put&amp;lt;/e&amp;gt; instead and providing a sensible default value.&lt;br /&gt;
&lt;br /&gt;
== Compiling in void-safe mode with 6.4 ==&lt;/div&gt;</summary>
		<author><name>Manus</name></author>
	</entry>
</feed>