[This is preliminary documentation and is subject to change.]

Initializes a new instance of the ContractAnnotationAttribute class

Namespace: JetBrains.Annotations
Assembly: fCraft (in fCraft.dll) Version: 0.6.3.2 (0.6.3.2)

Syntax


	C#

public ContractAnnotationAttribute(
	string fdt,
	bool forceFullStates
)

See Also