How to use the Protection annotation(s)

[henrikt-ma]

The presentation of the Protection-annotation at

ModelicaSpecification/chapters/annotations.tex

Line 2285 in c869c38

record Protection

doesn't fit the usual pattern of notation for annotations. How is one supposed to use the Protection record which doesn't have any declared members?

Should look like this, meaning that Protection has a single member called Authorization, but no member called License?

package MyLicense
  annotation(
    Protection(
      Authorization(
        libraryKey = "asdfsadf");
        license = {License(id = {"12345"})};
     )));
end MyLicense;

If so, would it be wrong to use it in the following form?

    Protection(
      Authorization = Authorization(

I must say that I also find it very confusing that there appears to be three different annotation record thingies called Protection, and it doesn't get less confusing when two of them contain their own License record… Does one of the Protection records have a member called License, but the others not?

[henrikt-ma]

I think there could be a way out of at least some of the confusion here, if we made a distinction between the names of the pseudo record types and the instances of these records. I believe that this clarification could be made without any differences to what actual use of the annotations would look like.

For example, couldn't we do it like this, with all three Protection records merged into one?

record LicenseFileLicense
  /*literal*/ constant String licensee…
  …
end LicenseFileLicense;

record AuthorizationLicense
  /*literal*/ constant String licensor…
  …
end AuthorizationLicense;

record Authorization
  /*literal*/ constant AuthorizationLicense license[:]
end Authorization;

record Protection
  /*literal*/ constant Access access;
  …
  /*literal*/ constant Authorization Authorization;
  …
  /*literal*/ constant LicenseFileLicense License;
end Protection;