Changes between Initial Version and Version 1 of aadl/aadlutilities/getProperty

Timestamp:

04/13/17 16:02:30 (7 years ago)

Author:

pdissaux

Comment:

--

aadl/aadlutilities/getProperty

@@ +1 @@
+
+'''getProperty/10'''
+
+ * !ParentPackage : in string
+ * !ParentType : in string
+ * !ParentImpl : in string
+ * Name : in string
+ * Package : in string
+ * Type : in string
+ * Impl : in string
+ * !InstId : in string
+ * Property : in string
+ * Value : out string
+
+'''notes:'''
+
+- refer to SAE-AS5506B - 11.3 - page 267 - figure 21:
+[[Image(AADLPropertyValue.JPG)]]
+- missing search of the default value in the property definition 
+
+'''implementation:'''
+
+( Package \= 'NIL' -> [[BR]]
+  !ActualPackage = Package;[[BR]]
+  !ActualPackage = !ParentPackage ),[[BR]]
+
+/* remove first element in id (root) */[[BR]]
+
+cutId(!InstId,X), getRoot(P,T,I), ([[BR]]
+
+/* step 1 */[[BR]]
+
+instanceProperty(P,T,I,Name,X,Property,Value); [[BR]]
+
+/* steps 2 or 3 */[[BR]]
+
+implementationProperty(!ActualPackage,Type,Impl,Property,Value); [[BR]]
+
+/* steps 4 or 5 */[[BR]]
+
+typeProperty(!ActualPackage,Type,Property,Value);[[BR]]
+
+/* step 6 */[[BR]]
+
+allowsInheritance(Property), [[BR]]
+( splitName(X,_,Y), Y \= !'', inheritedProperty(P,T,I,Name,Y,Property,Value) );[[BR]]
+Value=!'' )[[BR]]