[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.0 (0.6.3.0)

Syntax


	C#

public ContractAnnotationAttribute(
	string fdt,
	bool forceFullStates
)

fdt: String
[Missing <param name="fdt"/> documentation for "M:JetBrains.Annotations.ContractAnnotationAttribute.#ctor(System.String,System.Boolean)"]

forceFullStates: Boolean
[Missing <param name="forceFullStates"/> documentation for "M:JetBrains.Annotations.ContractAnnotationAttribute.#ctor(System.String,System.Boolean)"]

See Also