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

Datei anzeigen Open project: visualmutator/visualmutator

Public Methods

Method	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

Method	Description
ProjectedExpressionList ( IEnumerable triggers ) : IEnumerable

Method Details

AssociateTriggersWithQuantifier() public method

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.
return	void

GetTriggersFor() public method

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.
return	IEnumerable>

SourceContractProvider() public method

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.
return	System.Collections.Generic