From d2f0deebf5bc4219daff12f732d62fe0cd8b5b7c Mon Sep 17 00:00:00 2001 From: halw Date: Wed, 10 Jun 2009 15:49:51 +0000 Subject: [PATCH] Author:halw Date:2009-06-10T15:49:51.000000Z git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@232 abb3cda0-5349-4a8f-a601-0c33ac3a8c38 --- .../converting-existing-software-void-safety/index.wiki | 3 +++ .../void-safety-background-definition-and-tools.wiki | 2 +- 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/documentation/current/method/void-safe-programming-eiffel/converting-existing-software-void-safety/index.wiki b/documentation/current/method/void-safe-programming-eiffel/converting-existing-software-void-safety/index.wiki index 4076cbc3..f445915b 100644 --- a/documentation/current/method/void-safe-programming-eiffel/converting-existing-software-void-safety/index.wiki +++ b/documentation/current/method/void-safe-programming-eiffel/converting-existing-software-void-safety/index.wiki @@ -28,6 +28,9 @@ So in the discussion below, you will see references to these classes: |} +It's not important that you know much about the details of these classes. We will, however, look at certain parts of the classes in enough detail to resolve the conversion issues. + + =Conversion considerations= ==To redesign or not to redesign== diff --git a/documentation/current/method/void-safe-programming-eiffel/void-safety-background-definition-and-tools.wiki b/documentation/current/method/void-safe-programming-eiffel/void-safety-background-definition-and-tools.wiki index 61730967..b22d776a 100644 --- a/documentation/current/method/void-safe-programming-eiffel/void-safety-background-definition-and-tools.wiki +++ b/documentation/current/method/void-safe-programming-eiffel/void-safety-background-definition-and-tools.wiki @@ -178,7 +178,7 @@ So, self-initializing attributes are just ordinary attributes, and they can be end -In the example above, the attribute value will be attached to an object of type STRING, in fact, the empty string, if no other initialization occurs before the first access of value. +In the example above, the attribute value will be attached to an object of type STRING, in fact, the empty string, if no other initialization occurs before the first access of value. ===Rule for conformance===