C# Class Microsoft.Cci.Ast.SourceContractProvider

An object that associates contracts, such as preconditions and postconditions, with methods, types and loops.

Inheritance: Microsoft.Cci.MutableContracts.ContractProvider

Afficher le fichier Open project: visualmutator/visualmutator

Méthodes publiques

Méthode	Description
AssociateTriggersWithQuantifier ( object quantifier, IEnumerable triggers ) : void	Associates the given object with the given list of triggers. If the object is already associated with a list of triggers, that association will be lost as a result of this call.
GetTriggersFor ( object quantifier ) : IEnumerable>	Returns the triggers, if any, that have been associated with the given object. Returns null if no association exits.
SourceContractProvider ( IContractMethods contractMethods, IUnit unit ) : System.Collections.Generic	Allocates an object that associates contracts, such as preconditions and postconditions, with methods, types and loops.

Private Methods

Méthode	Description
ProjectedExpressionList ( IEnumerable triggers ) : IEnumerable

Method Details

AssociateTriggersWithQuantifier() public méthode

Associates the given object with the given list of triggers. If the object is already associated with a list of triggers, that association will be lost as a result of this call.

public AssociateTriggersWithQuantifier ( object quantifier, IEnumerable triggers ) : void
quantifier	object	An object to associate with the triggers. This can be any kind of object.
triggers	IEnumerable	One or more groups of expressions that trigger the instantiation of a quantifier by the theorem prover.
Résultat	void

GetTriggersFor() public méthode

Returns the triggers, if any, that have been associated with the given object. Returns null if no association exits.

public GetTriggersFor ( object quantifier ) : IEnumerable>
quantifier	object	An object that might have been associated with triggers. This can be any kind of object.
Résultat	IEnumerable>

SourceContractProvider() public méthode

Allocates an object that associates contracts, such as preconditions and postconditions, with methods, types and loops.

public SourceContractProvider ( IContractMethods contractMethods, IUnit unit ) : System.Collections.Generic
contractMethods	IContractMethods	A collection of methods that can be called in a way that provides tools with information about contracts.
unit	IUnit	The unit for which this is a contract provider.
Résultat	System.Collections.Generic