Variable Attribute.deprecated_

class Attribute
{
  // ...
  Deprecated deprecated_ ;
  // ...
}