System.Diagnostics.Contracts.PureAttribute public sealed class PureAttribute : Attribute Documentation Code namespace System.Diagnostics.Contracts { public sealed class PureAttribute : Attribute { public PureAttribute(); } }