From ea24e57229e815768ad685d324a5cc23446add39 Mon Sep 17 00:00:00 2001 From: halw Date: Thu, 11 Jun 2009 18:23:50 +0000 Subject: [PATCH] Author:halw Date:2009-06-11T18:23:50.000000Z git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@233 abb3cda0-5349-4a8f-a601-0c33ac3a8c38 --- .../release-notes-eiffelstudio-64.wiki | 6 ++++++ .../void-safety-background-definition-and-tools.wiki | 2 +- 2 files changed, 7 insertions(+), 1 deletion(-) create mode 100644 documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/eiffelstudio-6-release-notes/release-notes-eiffelstudio-64.wiki diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/eiffelstudio-6-release-notes/release-notes-eiffelstudio-64.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/eiffelstudio-6-release-notes/release-notes-eiffelstudio-64.wiki new file mode 100644 index 00000000..fc0fc4a0 --- /dev/null +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/eiffelstudio-6-release-notes/release-notes-eiffelstudio-64.wiki @@ -0,0 +1,6 @@ +[[Property:title|EiffelStudio 6.4 release notes]] +[[Property:link_title|6.4]] +[[Property:weight|-11]] +[[Property:uuid|2f88d204-6e51-6150-8fbe-f6a3b41d5ec1]] + + 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 b22d776a..5c688f81 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 @@ -169,7 +169,7 @@ Still, it's not too hard to understand the basics of initializing variables of a A self-initializing attribute is guaranteed to have a value when accessed at run time. Declarations of self-initializing attributes are characterized by the use of attribute keyword. The code that follows the attribute keyword is executed to initialize the attribute in the case that the attribute is accessed prior to being initialized in any other way. -So, self-initializing attributes are just ordinary attributes, and they can be initialized in the traditional ways. The difference is that the code in the attribute part serves as a kind of safety net guaranteeing that a self-initializing attribute will never be void. +So, self-initializing attributes are ordinary attributes, with the restriction that they are of both ''attached'' types and ''reference'' types (i.e., not expanded types or constants). Self-initializing attributes still can be, and typically will be initialized in the traditional ways. The difference is that the code in the attribute part serves as a kind of safety net guaranteeing that a self-initializing attribute will never be void, even if it is accessed prior to being initialized by one of the traditional means. value: STRING