ada/code_examples_server
0
0
Fork 0
mirror of https://github.com/AdaCore/code_examples_server.git synced 2026-02-12 12:45:18 -08:00
Code Issues Packages Projects Releases Wiki Activity

Restrict the use of Pragma Interface

Browse Source
This commit is contained in:
Nicolas Setton
2018-07-23 01:26:36 -04:00
parent 6a24907d84
commit b86557832e
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
compile_server/app/checker.py
View File

@@ -31,6 +31,7 @@ RECEIVED_FILE_CHAR_LIMIT = 50 * 1000
COMMON_ADC = """
pragma Restrictions (No_Specification_of_Aspect => Import);
pragma Restrictions (No_Use_Of_Pragma => Import);
pragma Restrictions (No_Use_Of_Pragma => Interface);
pragma Restrictions (No_Dependence => System.Machine_Code);
pragma Restrictions (No_Dependence => Machine_Code);
"""