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

Updated style symbols to use wikitext.

Browse Source 
Updated wikipage Language and Capabilities.
	(Signed-off-by:alexk).

git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@2070 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
eiffel-org
2018-09-10 10:36:23 +00:00
parent 3114005a49
commit d6b5186acb
1 changed files with 8 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
documentation/18.07/eiffelstudio/eiffelstudio-reference/eiffelstudio-project-settings-window/general-target-options/Language-and-Capabilities.wiki
View File

@@ -1,16 +1,16 @@
[[Property:modification_date|Mon, 10 Sep 2018 10:32:05 GMT]]
[[Property:modification_date|Mon, 10 Sep 2018 10:36:23 GMT]]
[[Property:publication_date|Mon, 10 Sep 2018 10:32:05 GMT]]
[[Property:uuid|81E6A18A-C7D8-4F80-8D08-8B2C0B6350C8]]
[[Property:weight|0]]
[[Property:title|Language and Capabilities]]
The sections *Language* and *Capability* list closely-related options that work together. The values in the section *Language* specify what rules or semantics the compiler should use when compiling and running the code. If not specified, the value of the corresponding option from the section *Capability* is used. A selected value in the section *Language* should be compatible with the value in the section *Capability*. In other words, the values listed in *Capability* tell what source code is capable of, whereas the values in *Language* tell what is used when compiling for a specific target.
The sections '''Language''' and '''Capability''' list closely-related options that work together. The values in the section '''Language''' specify what rules or semantics the compiler should use when compiling and running the code. If not specified, the value of the corresponding option from the section '''Capability''' is used. A selected value in the section '''Language''' should be compatible with the value in the section '''Capability'''. In other words, the values listed in '''Capability''' tell what source code is capable of, whereas the values in '''Language''' tell what is used when compiling for a specific target.
The values in the section *Language* are used only when the corresponding target is compiled as a root one. Otherwise, they are ignored. The values in the section *Capability* are used to verify that current project settings allow for using a particular library (or classes of the project itself). For example, the standard library _Base_ can be used in a non-void-safe project, because project settings are compatible with capabilities of the library. On the other hand, the library _Thread_ cannot be used in a SCOOP project, because the library is not SCOOP-capable.
The values in the section '''Language''' are used only when the corresponding target is compiled as a root one. Otherwise, they are ignored. The values in the section '''Capability''' are used to verify that current project settings allow for using a particular library (or classes of the project itself). For example, the standard library ''Base'' can be used in a non-void-safe project, because project settings are compatible with capabilities of the library. On the other hand, the library ''Thread'' cannot be used in a SCOOP project, because the library is not SCOOP-capable.
Capabilities are supported for the following settings, listed together with compatibility order, where _X < Y_ means _X_ is compatible with _Y_:
Capabilities are supported for the following settings, listed together with compatibility order, where ''X < Y'' means ''X'' is compatible with ''Y'':
# CAT-call detection: None < Transitional < Complete
# Concurrency: Thread < None < SCOOP
# Void safety: None < Conformance < Initialization < Transitional < Complete
# CAT-call detection: None < Transitional < Complete.
# Concurrency: Thread < None < SCOOP.
# Void safety: None < Conformance < Initialization < Transitional < Complete.
In addition to the restriction on the compilation setting specified in the section *Language*, a project or a library with a higher level of capabilities cannot rely on a library with a lower level.
In addition to the restriction on the compilation setting specified in the section '''Language''', a project or a library with a higher level of capabilities cannot rely on a library with a lower level.