Constraints Violations

Base type is required  

Base type is required.

BaseTypeRequired attribute supports only classes and interfaces  

BaseTypeRequired attribute supports only classes and interfaces.

Inconsistent Naming  

Inconsistent Naming.

Namespace does not correspond to file location  

Namespace does not correspond to file location.

Non-nullable or required member is not initialized at constructor exit  

Non-nullable or required member is not initialized at constructor exit.

Possible 'null' assignment to non-nullable entity  

Possible 'null' assignment to non-nullable entity.

Possible violation of 'ValueRange'/'NonNegativeValue' attribute  

Possible violation of 'ValueRange'/'NonNegativeValue' attribute.

Problem in contract annotation definition  

Problem in contract annotation definition.

Required base type conflicting another type  

Required base type conflicting another type.

Type specified in '[BaseTypeRequired]' attribute conflicts another type  

Type specified in '[BaseTypeRequired]' attribute conflicts another type.

Values of types marked with 'CannotApplyEqualityOperatorAttribute' should be compared using 'Equals()'  

Values of types marked with 'CannotApplyEqualityOperatorAttribute' should be compared using 'Equals()'.