public constant global-def-attributes:AdjectiveMask ={make-adjective-mask BindingAdjective.public, BindingAdjective.package, BindingAdjective.hidden, BindingAdjective.library, BindingAdjective.deprecated, BindingAdjective.export }