MetalamaAPI documentationPatterns APIMetalama.Patterns.ContractsPositiveAttributePositiveAttribute

Open sandbox Focus

Metalama Documentation

Getting started

Video tutorials

Conceptual documentation

Metalama.Patterns.Caching

Metalama.Patterns.Caching.Aspects

Metalama.Patterns.Caching.Aspects.Configuration

Metalama.Patterns.Caching.Aspects.Helpers

Metalama.Patterns.Caching.Backends

Metalama.Patterns.Caching.Backends.Azure

Metalama.Patterns.Caching.Backends.Redis

Metalama.Patterns.Caching.Building

Metalama.Patterns.Caching.Dependencies

Metalama.Patterns.Caching.Formatters

Metalama.Patterns.Caching.Implementation

Metalama.Patterns.Caching.Locking

Metalama.Patterns.Caching.Serializers

Metalama.Patterns.Caching.ValueAdapters

Metalama.Patterns.Contracts

ContractBaseAttribute3

DoNotCheckInvariantsAttribute

EmailAttribute5

EnumDataTypeAttribute4

EnumDataTypeAttributeHelper

GreaterThanAttribute5

InvariantAttribute3

InvariantSuspensionCounter

InvariantViolationException

PostconditionViolationException

RangeAttribute4

RegularExpressionAttribute5

RegularExpressionBaseAttribute4

RequiredAttribute4

StrictlyGreaterThanAttribute5

StrictlyLessThanAttribute5

StrictlyNegativeAttribute6

StrictlyPositiveAttribute6

StrictRangeAttribute5

StringLengthAttribute4

SuspendInvariantsAttribute4

SuspendInvariantsCookie

UrlAttribute5

Metalama.Patterns.Contracts.Numeric

Metalama.Patterns.Memoization

Metalama.Patterns.Observability

Metalama.Patterns.Observability.Metadata

Metalama.Patterns.Observability.Options

Flashtrace API

Introspection API

Advanced API

PostSharp API migration

PositiveAttribute Constructor

PositiveAttribute()

Initializes a new instance of the PositiveAttribute class.

Declaration

public PositiveAttribute()