ContractAnnotationAttribute Class

Describes dependency between method input and output.

Inheritance Hierarchy

SystemObject
SystemAttribute
Slash.Diagnostics.ReSharper.AnnotationsContractAnnotationAttribute

Namespace: Slash.Diagnostics.ReSharper.Annotations
Assembly: Slash.Diagnostics (in Slash.Diagnostics.dll) Version: 1.0.6018.40181

Syntax

public sealed class ContractAnnotationAttribute : Attribute

Public NotInheritable Class ContractAnnotationAttribute
	Inherits Attribute

public ref class ContractAnnotationAttribute sealed : public Attribute

[<SealedAttribute>]
type ContractAnnotationAttribute =  
    class
        inherit Attribute
    end

The ContractAnnotationAttribute type exposes the following members.

Constructors

	Name	Description
	ContractAnnotationAttribute(String)	Initializes a new instance of the ContractAnnotationAttribute class
	ContractAnnotationAttribute(String, Boolean)	Initializes a new instance of the ContractAnnotationAttribute class

Properties

	Name	Description
	FDT
	ForceFullStates