C# 클래스 Microsoft.Cci.MutableContracts.ContractProvider

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

상속: IContractProvider

파일 보기 프로젝트 열기: visualmutator/visualmutator 1 사용 예제들

공개 메소드들

메소드	설명
AssociateLoopWithContract ( object loop, ILoopContract contract ) : void	Associates the given object with the given loop contract. If the object is already associated with a loop contract, that association will be lost as a result of this call.
AssociateMethodWithContract ( object method, IMethodContract contract ) : void	Associates the given object with the given method contract. If the object is already associated with a method contract, that association will be lost as a result of this call.
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.
AssociateTypeWithContract ( object type, ITypeContract contract ) : void	Associates the given object with the given type contract. If the object is already associated with a type contract, that association will be lost as a result of this call.
ContractProvider ( IContractMethods contractMethods, IUnit unit ) : System	Allocates an object that associates contracts, such as preconditions and postconditions, with methods, types and loops. If the object is already associated with a contract, that association will be lost as a result of this call.
GetLoopContractFor ( object loop ) : ILoopContract	Returns the loop contract, if any, that has been associated with the given object. Returns null if no association exits.
GetMethodContractFor ( object method ) : IMethodContract	Returns the method contract, if any, that has been associated with the given object. Returns null if no association exits.
GetTriggersFor ( object quantifier ) : IEnumerable>	Returns the triggers, if any, that have been associated with the given object. Returns null if no association exits.
GetTypeContractFor ( object type ) : ITypeContract	Returns the type contract, if any, that has been associated with the given object. Returns null if no association exits.
UnassociateLoopWithContract ( object loop ) : void	Removes the association of the given object with the loop contract.
UnassociateMethodWithContract ( object method ) : void	Removes the association of the given object with the method contract.
UnassociateTriggersWithQuantifier ( object quantifier ) : void	Removes the association of the given object with the list of triggers.
UnassociateTypeWithContract ( object type ) : void	Removes the association of the given object with the type contract.

메소드 상세

AssociateLoopWithContract() 공개 메소드

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

public AssociateLoopWithContract ( object loop, ILoopContract contract ) : void
loop	object	An object to associate with the loop contract. This can be any kind of object.
contract	ILoopContract	The contract to associate with loop.
리턴	void

AssociateMethodWithContract() 공개 메소드

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

public AssociateMethodWithContract ( object method, IMethodContract contract ) : void
method	object	An object to associate with the method contract. This can be any kind of object.
contract	IMethodContract	The contract to associate with method.
리턴	void

AssociateTriggersWithQuantifier() 공개 메소드

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.
리턴	void

AssociateTypeWithContract() 공개 메소드

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

public AssociateTypeWithContract ( object type, ITypeContract contract ) : void
type	object	An object to associate with the type contract. This can be any kind of object.
contract	ITypeContract	The contract to associate with type.
리턴	void

ContractProvider() 공개 메소드

Allocates an object that associates contracts, such as preconditions and postconditions, with methods, types and loops. If the object is already associated with a contract, that association will be lost as a result of this call.

public ContractProvider ( IContractMethods contractMethods, IUnit unit ) : System
contractMethods	IContractMethods	A collection of methods that can be called in a way that provides tools with information about contracts.
unit	IUnit	The unit that this is a contract provider for.
리턴	System

GetLoopContractFor() 공개 메소드

Returns the loop contract, if any, that has been associated with the given object. Returns null if no association exits.

public GetLoopContractFor ( object loop ) : ILoopContract
loop	object	An object that might have been associated with a loop contract. This can be any kind of object.
리턴	ILoopContract

GetMethodContractFor() 공개 메소드

Returns the method contract, if any, that has been associated with the given object. Returns null if no association exits.

public GetMethodContractFor ( object method ) : IMethodContract
method	object	An object that might have been associated with a method contract. This can be any kind of object.
리턴	IMethodContract

GetTriggersFor() 공개 메소드

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.
리턴	IEnumerable>

GetTypeContractFor() 공개 메소드

Returns the type contract, if any, that has been associated with the given object. Returns null if no association exits.

public GetTypeContractFor ( object type ) : ITypeContract
type	object	An object that might have been associated with a type contract. This can be any kind of object.
리턴	ITypeContract

UnassociateLoopWithContract() 공개 메소드

Removes the association of the given object with the loop contract.

public UnassociateLoopWithContract ( object loop ) : void
loop	object	The object to remove the association with the loop contract. This can be any kind of object.
리턴	void

UnassociateMethodWithContract() 공개 메소드

Removes the association of the given object with the method contract.

public UnassociateMethodWithContract ( object method ) : void
method	object	The object to remove the association with the method contract. This can be any kind of object.
리턴	void

UnassociateTriggersWithQuantifier() 공개 메소드

Removes the association of the given object with the list of triggers.

public UnassociateTriggersWithQuantifier ( object quantifier ) : void
quantifier	object	The object to remove the association with the list of triggers. This can be any kind of object.
리턴	void

UnassociateTypeWithContract() 공개 메소드

Removes the association of the given object with the type contract.

public UnassociateTypeWithContract ( object type ) : void
type	object	The object to remove the association with the type contract. This can be any kind of object.
리턴	void