4212     public bool HasDeprecated {  property in Google.Protobuf.Reflection.FileOptions
4510       if (HasDeprecated) hash ^= Deprecated.GetHashCode();  in GetHashCode()
4572       if (HasDeprecated) {  in WriteTo()
4661       if (HasDeprecated) {  in CalculateSize()
4736       if (other.HasDeprecated) {  in MergeFrom()
5051     public bool HasDeprecated {  property in Google.Protobuf.Reflection.MessageOptions
5149       if (HasDeprecated) hash ^= Deprecated.GetHashCode();  in GetHashCode()
5176       if (HasDeprecated) {  in WriteTo()
5202       if (HasDeprecated) {  in CalculateSize()
5229       if (other.HasDeprecated) {  in MergeFrom()
5514     public bool HasDeprecated {  property in Google.Protobuf.Reflection.FieldOptions
5596       if (HasDeprecated) hash ^= Deprecated.GetHashCode();  in GetHashCode()
5623       if (HasDeprecated) {  in WriteTo()
5663       if (HasDeprecated) {  in CalculateSize()
5696       if (other.HasDeprecated) {  in MergeFrom()
6056     public bool HasDeprecated {  property in Google.Protobuf.Reflection.EnumOptions
6104       if (HasDeprecated) hash ^= Deprecated.GetHashCode();  in GetHashCode()
6126       if (HasDeprecated) {  in WriteTo()
6145       if (HasDeprecated) {  in CalculateSize()
6166       if (other.HasDeprecated) {  in MergeFrom()
6284     public bool HasDeprecated {  property in Google.Protobuf.Reflection.EnumValueOptions
6330       if (HasDeprecated) hash ^= Deprecated.GetHashCode();  in GetHashCode()
6348       if (HasDeprecated) {  in WriteTo()
6364       if (HasDeprecated) {  in CalculateSize()
6382       if (other.HasDeprecated) {  in MergeFrom()
6496     public bool HasDeprecated {  property in Google.Protobuf.Reflection.ServiceOptions
6542       if (HasDeprecated) hash ^= Deprecated.GetHashCode();  in GetHashCode()
6560       if (HasDeprecated) {  in WriteTo()
6576       if (HasDeprecated) {  in CalculateSize()
6594       if (other.HasDeprecated) {  in MergeFrom()
6709     public bool HasDeprecated {  property in Google.Protobuf.Reflection.MethodOptions
6780       if (HasDeprecated) hash ^= Deprecated.GetHashCode();  in GetHashCode()
6799       if (HasDeprecated) {  in WriteTo()
6819       if (HasDeprecated) {  in CalculateSize()
6840       if (other.HasDeprecated) {  in MergeFrom()