From 373cdfcd35a950a8b946eff05822aebff55d5862 Mon Sep 17 00:00:00 2001 From: halw Date: Sun, 9 Oct 2011 13:22:59 +0000 Subject: [PATCH] Added "-full" option to table. Author:halw Date:2011-10-09T13:22:59.000000Z git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@993 abb3cda0-5349-4a8f-a601-0c33ac3a8c38 --- .../command-line/eiffelstudio-using-command-line-options.wiki | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/compiler/command-line/eiffelstudio-using-command-line-options.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/compiler/command-line/eiffelstudio-using-command-line-options.wiki index 13f148d5..2da65423 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/compiler/command-line/eiffelstudio-using-command-line-options.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/compiler/command-line/eiffelstudio-using-command-line-options.wiki @@ -206,6 +206,10 @@ The table below lists the available ''options'', the arguments they require, and | | [[Melting Ice Technology#Precompiling|Precompile]] system, treating it as a library. |- +| -full +| +| Full class checking. Rechecks features of the parent classes for validity in heirs. See example in [[Converting existing software to void-safety#Enable full class checking|Converting existing software to void-safety]]. NOTE: Full class checking increases compile times, which may be noticeable in large systems. +|- | -compat | | Compile using facilities that are [[Eiffel compatibility options#EiffelStudio and Eiffel compiler options|compatible with older versions]] of Eiffel.