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

Inheritance: ContractInfo

Afficher le fichier Open project: prodot/ReCommended-Extension Class Usage Examples

Méthodes publiques

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

Private Methods

Méthode	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 méthode

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

GetContractIdentifierForUI() public méthode

public GetContractIdentifierForUI ( ) : string
Résultat	string

TryCreate() public static méthode

public static TryCreate ( [ declaration, bool>.[ isAvailableForType ) : ParameterContractInfo
declaration	[
isAvailableForType	bool>.[
Résultat	ParameterContractInfo