Open sandboxFocus

Method ConfigureContracts

ConfigureContracts(IAspectReceiver<ICompilation>, ContractOptions)

Configures ContractOptions for the current ICompilation.

Declaration
public static void ConfigureContracts(this IAspectReceiver<ICompilation> receiver, ContractOptions options)
Parameters
Type Name Description
IAspectReceiver<ICompilation> receiver
ContractOptions options

ConfigureContracts(IAspectReceiver<INamespace>, ContractOptions)

Configures ContractOptions for the given INamespace.

Declaration
public static void ConfigureContracts(this IAspectReceiver<INamespace> receiver, ContractOptions options)
Parameters
Type Name Description
IAspectReceiver<INamespace> receiver
ContractOptions options

ConfigureContracts(IAspectReceiver<INamedType>, ContractOptions)

Configures ContractOptions for the given INamedType.

Declaration
public static void ConfigureContracts(this IAspectReceiver<INamedType> receiver, ContractOptions options)
Parameters
Type Name Description
IAspectReceiver<INamedType> receiver
ContractOptions options

ConfigureContracts(IAspectReceiver<IFieldOrPropertyOrIndexer>, ContractOptions)

Configures ContractOptions for the given IFieldOrPropertyOrIndexer.

Declaration
public static void ConfigureContracts(this IAspectReceiver<IFieldOrPropertyOrIndexer> receiver, ContractOptions options)
Parameters
Type Name Description
IAspectReceiver<IFieldOrPropertyOrIndexer> receiver
ContractOptions options

ConfigureContracts(IAspectReceiver<IMethod>, ContractOptions)

Configures ContractOptions for the given IMethod.

Declaration
public static void ConfigureContracts(this IAspectReceiver<IMethod> receiver, ContractOptions options)
Parameters
Type Name Description
IAspectReceiver<IMethod> receiver
ContractOptions options

ConfigureContracts(IAspectReceiver<IParameter>, ContractOptions)

Configures ContractOptions for the given IParameter.

Declaration
public static void ConfigureContracts(this IAspectReceiver<IParameter> receiver, ContractOptions options)
Parameters
Type Name Description
IAspectReceiver<IParameter> receiver
ContractOptions options