wiki:aadl/aadlutilities/getProperty

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:

  • missing search of the default value in the property definition

implementation:

( Package \= 'NIL' ->

ActualPackage = Package;
ActualPackage = ParentPackage ),

/* remove first element in id (root) */

cutId(InstId,X), getRoot(P,T,I), (

/* step 1 */

instanceProperty(P,T,I,Name,X,Property,Value);

/* steps 2 or 3 */

implementationProperty(ActualPackage,Type,Impl,Property,Value);

/* steps 4 or 5 */

typeProperty(ActualPackage,Type,Property,Value);

/* step 6 */

allowsInheritance(Property),
( splitName(X,_,Y), Y \= '', inheritedProperty(P,T,I,Name,Y,Property,Value) );
Value='' )

Last modified 5 years ago Last modified on Apr 13, 2017 6:06:38 PM

Attachments (1)

Download all attachments as: .zip

Note: See TracWiki for help on using the wiki.