attribute-default-declaration

built-in data type

Purpose

The attribute-default-declaration is the abstract type of declared defaults for unspecified attribute values. Its concrete instances can be obtained with the following four constants:

  • attribute-declared-conref
  • attribute-declared-current
  • attribute-declared-implied
  • attribute-declared-required

and with two operators which take a string default value argument:

  • attribute-declared-defaulted to
  • attribute-declared-fixed to