mirrors/eiffel-org
1
0
Fork 0
mirror of https://github.com/EiffelSoftware/eiffel-org.git synced 2025-12-07 07:12:25 +01:00
Code Issues Packages Projects Releases Wiki Activity

Added SeeAlso template to "Types attached by default?".

Browse Source 
Author:halw
Date:2011-11-28T22:39:53.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1032 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
halw
2011-11-28 22:39:53 +00:00
parent ec886adaa5
commit 463f33141e
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
documentation/current/method/void-safe-programming-eiffel/creating-new-void-safe-project.wiki
View File

@@ -37,6 +37,10 @@ In a new project, ideally all of your declarations would be of attached types. B
So, for a new void-safe project, it is recommended that a value of '''True''' is used.
{{SeeAlso| [[Void-safety: Background, definition, and tools#Types as "attached" or "detachable"|Types as "attached" or "detachable"]].}}
===The ''"Full class checking"'' setting===
This setting instructs the compiler to recheck inherited features in descendant classes.