C# Class ReCommendedExtension.ContextActions.CodeContracts.Internal.ParameterContractInfo

Inheritance: ContractInfo

Exibir arquivo Open project: prodot/ReCommended-Extension Class Usage Examples

Public Methods

Method	Description
AddContracts ( ICSharpContextActionDataProvider provider, IExpression>.Func getContractExpression, ICollection &firstNonContractStatements ) : void
GetContractIdentifierForUI ( ) : string
TryCreate ( [ declaration, bool>.[ isAvailableForType ) : ParameterContractInfo

Private Methods

Method	Description
AddContract ( [ provider, IExpression>.[ getContractExpression, [ parameter, [ body, ICSharpStatement &firstNonContractStatement ) : void
AddContractForEnsures ( [ provider, IExpression>.[ getContractExpression, [ parameter, [ body, ICSharpStatement &firstNonContractStatement ) : void
AddContractForRequires ( [ provider, IExpression>.[ getContractExpression, [ parameter, [ body, ICSharpStatement &firstNonContractStatement ) : void
ParameterContractInfo ( ContractKind contractKind, [ declaration, [ type ) : System

Method Details

AddContracts() public method

public AddContracts ( ICSharpContextActionDataProvider provider, IExpression>.Func getContractExpression, ICollection &firstNonContractStatements ) : void
provider	ICSharpContextActionDataProvider
getContractExpression	IExpression>.Func
firstNonContractStatements	ICollection
return	void

GetContractIdentifierForUI() public method

public GetContractIdentifierForUI ( ) : string
return	string

TryCreate() public static method

public static TryCreate ( [ declaration, bool>.[ isAvailableForType ) : ParameterContractInfo
declaration	[
isAvailableForType	bool>.[
return	ParameterContractInfo