/**
* Specifies what version this symbol has been deprecated since.
*/
- public string? deprecated_since { get; set; default = null; }
+ public string? deprecated_since {
+ owned get {
+ return get_attribute_string ("Deprecated", "since");
+ }
+ set {
+ set_attribute_string ("Deprecated", "since", value);
+ }
+ }
/**
* Specifies the replacement if this symbol has been deprecated.
return;
}
- if (attr.has_argument ("since")) {
- deprecated_since = attr.get_string ("since");
- }
if (attr.has_argument ("replacement")) {
replacement = attr.get_string ("replacement");
}