mirror of
https://github.com/EiffelSoftware/eiffel-org.git
synced 2025-12-07 15:22:31 +01:00
m
Author:halw Date:2011-09-03T16:10:01.000000Z git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@964 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
@@ -12,7 +12,7 @@
|
|||||||
|
|
||||||
SCOOP adds only a single keyword to the Eiffel language: <code>separate</code>. In any case in which SCOOP is not enabled, the <code>separate</code> keyword is ignored, and the SCOOP-specific validity rules are not applied.
|
SCOOP adds only a single keyword to the Eiffel language: <code>separate</code>. In any case in which SCOOP is not enabled, the <code>separate</code> keyword is ignored, and the SCOOP-specific validity rules are not applied.
|
||||||
|
|
||||||
In order to enable SCOOP processing in your project, you use the project settings. Actually, there's just one mandatory setting: '''Concurrency''', and the value you need is '''SCOOP''', as shown in the section of the Project Settings dialog below. Still, in addition to the Concurrency project setting, remember that it is recommended that for new projects you use enable [[Creating a new void-safe project#Project settings for void-safe projects|the settings that guarantee void-safety]].
|
In order to enable SCOOP processing in your project, you use the project settings. Actually, there's just one mandatory setting: '''Concurrency''', and the value you need is '''SCOOP''', as shown in the section of the Project Settings dialog below. Still, in addition to the Concurrency project setting, remember that it is recommended that for new projects you use [[Creating a new void-safe project#Project settings for void-safe projects|the settings that guarantee void-safety]].
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
@@ -29,7 +29,7 @@ If you create a project using the EiffelStudio new project wizard (for example,
|
|||||||
|
|
||||||
===Void-safety settings===
|
===Void-safety settings===
|
||||||
|
|
||||||
As mentioned above, you'll need to make the [[Creating a new void-safe project#Project settings for void-safe projects|the settings that guarantee void-safety]].
|
As mentioned above, you'll need to enable the [[Creating a new void-safe project#Project settings for void-safe projects|the settings that guarantee void-safety]].
|
||||||
|
|
||||||
===Libraries and precompiled libraries===
|
===Libraries and precompiled libraries===
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user