PostSharp / / API Reference / Post­Sharp.​Patterns.​Contracts / Not­Empty­Attribute