From bc1c7781914f3bde9b2ef4b66d478637221bc620 Mon Sep 17 00:00:00 2001 From: halw Date: Tue, 11 Oct 2011 19:18:18 +0000 Subject: [PATCH] Created. Author:halw Date:2011-10-11T19:18:18.000000Z git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@994 abb3cda0-5349-4a8f-a601-0c33ac3a8c38 --- .../mixing-void-safe-and-void-unsafe-software.wiki | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100644 documentation/current/method/void-safe-programming-eiffel/converting-existing-software-void-safety/mixing-void-safe-and-void-unsafe-software.wiki diff --git a/documentation/current/method/void-safe-programming-eiffel/converting-existing-software-void-safety/mixing-void-safe-and-void-unsafe-software.wiki b/documentation/current/method/void-safe-programming-eiffel/converting-existing-software-void-safety/mixing-void-safe-and-void-unsafe-software.wiki new file mode 100644 index 00000000..aff9ae81 --- /dev/null +++ b/documentation/current/method/void-safe-programming-eiffel/converting-existing-software-void-safety/mixing-void-safe-and-void-unsafe-software.wiki @@ -0,0 +1,14 @@ +[[Property:title|Mixing void-safe and void-unsafe software]] +[[Property:weight|3]] +[[Property:uuid|3446f214-3c77-ef41-98eb-92942298630c]] +{{underconstruction}} + + +=Introduction= + +Under some circumstances it is possible and even helpful to mix void-safe and void-unsafe libraries. During conversion, for example, it can be helpful to compile and test a void-unsafe system with void-safe versions of the libraries it depends upon. + +=Rules for mixing void-safety modes= + + +