* Synchronize with TASTE commit r8115

0054ea82 · yoogx · cf26fdc7 · 0054ea82
Commit 0054ea82 authored Jan 25, 2017 by yoogx
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 0 deletions

resources/AADLv2/taste_properties.aadl resources/AADLv2/taste_properties.aadl +2 -0

No files found.
--- a/resources/AADLv2/taste_properties.aadl
+++ b/resources/AADLv2/taste_properties.aadl
@@ -224,6 +224,8 @@ Encoding : Taste::Encoding_type applies to (parameter);

 Ada_Package_Name : aadlstring applies to (data);

+Forbid_In_PI : aadlboolean applies to (data);
+
 interfaceView : aadlstring applies to (package);

 WCET : Time applies to (subprogram access);