Definition at line 11 of file ContractPublicPropertyNameAttribute.cs.
References System.Diagnostics.Contracts.ContractPublicPropertyNameAttribute._publicName.