ContractConfigurationExtensions.ConfigureContracts Method
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 |