C# Class Microsoft.Cci.MutableCodeModel.Contracts.CodeAndContractDeepCopier

Inheritance: CodeDeepCopier

Private Properties

Свойство	Type	Description
CodeAndContractDeepCopier	System
Copy	IEnumerable>
Copy	List
Copy	List
Copy	List
Copy	List
Copy	List
Copy	List
Copy	List
Copy	List
Copy	void

Méthode	Description
CodeAndContractDeepCopier ( IMetadataHost targetHost ) : System
CodeAndContractDeepCopier ( IMetadataHost targetHost, IUnit targetUnit ) : System
Copy ( IContractElement contractElement ) : ContractElement	Makes a deep copy of the given contract element.
Copy ( ILoopContract loopContract ) : LoopContract	Makes a deep copy of the given loop contract.
Copy ( ILoopInvariant loopInvariant ) : LoopInvariant	Makes a deep copy of the given loop invariant.
Copy ( IMethodContract methodContract ) : MethodContract	Makes a deep copy of the given method contract.
Copy ( IPostcondition postCondition ) : Postcondition	Makes a deep copy of the given postCondition.
Copy ( IPrecondition precondition ) : Precondition	Makes a deep copy of the given precondition.
Copy ( IThrownException thrownException ) : ThrownException	Makes a deep copy of the given thrown exception.
Copy ( ITypeContract typeContract ) : TypeContract	Makes a deep copy of the given type contract.
Copy ( ITypeInvariant typeInvariant ) : TypeInvariant	Makes a deep copy of the given type invariant.

Méthode	Description
CodeAndContractDeepCopier ( IMetadataHost targetHost, CodeAndContractShallowCopier shallowCopier ) : System
Copy ( IEnumerable triggers ) : IEnumerable>	Makes a deep copy of the given list of trigger expressions.
Copy ( List addressableExpressions ) : List	Makes a deep copy of the given list of addressable expressions.
Copy ( List fields ) : List	Makes a deep copy of the given list of fields.
Copy ( List loopInvariants ) : List	Makes a deep copy of the given list of loop invariants.
Copy ( List methods ) : List	Makes a deep copy of the given list of method definitions.
Copy ( List postConditions ) : List	Makes a deep copy of the given list of post conditions.
Copy ( List preconditions ) : List	Makes a deep copy of the given list of pre conditions.
Copy ( List thrownExceptions ) : List	Makes a deep copy of the given list of thrown exceptions.
Copy ( List typeInvariants ) : List	Makes a deep copy of the given list of addressable expressions.
Copy ( ContractElement contractElement ) : void	Called from the type specific copy method to copy the common part of all contract elments.

public CodeAndContractDeepCopier ( IMetadataHost targetHost ) : System
targetHost	IMetadataHost	An object representing the application that will host the copies made by this copier.
Résultat	System

public CodeAndContractDeepCopier ( IMetadataHost targetHost, IUnit targetUnit ) : System
targetHost	IMetadataHost	An object representing the application that will host the copies made by this copier.
targetUnit	IUnit	The unit of metadata into which copies made by this copier will be inserted.
Résultat	System

Makes a deep copy of the given contract element.

public Copy ( IContractElement contractElement ) : ContractElement
contractElement	IContractElement
Résultat	Microsoft.Cci.MutableContracts.ContractElement

Makes a deep copy of the given loop contract.

public Copy ( ILoopContract loopContract ) : LoopContract
loopContract	ILoopContract
Résultat	Microsoft.Cci.MutableContracts.LoopContract

Makes a deep copy of the given loop invariant.

public Copy ( ILoopInvariant loopInvariant ) : LoopInvariant
loopInvariant	ILoopInvariant
Résultat	Microsoft.Cci.MutableContracts.LoopInvariant

Makes a deep copy of the given method contract.

public Copy ( IMethodContract methodContract ) : MethodContract
methodContract	IMethodContract
Résultat	Microsoft.Cci.MutableContracts.MethodContract

Makes a deep copy of the given postCondition.

public Copy ( IPostcondition postCondition ) : Postcondition
postCondition	IPostcondition
Résultat	Microsoft.Cci.MutableContracts.Postcondition

Makes a deep copy of the given precondition.

public Copy ( IPrecondition precondition ) : Precondition
precondition	IPrecondition
Résultat	Precondition

Makes a deep copy of the given thrown exception.

public Copy ( IThrownException thrownException ) : ThrownException
thrownException	IThrownException
Résultat	Microsoft.Cci.MutableContracts.ThrownException

Makes a deep copy of the given type contract.

public Copy ( ITypeContract typeContract ) : TypeContract
typeContract	ITypeContract
Résultat	Microsoft.Cci.MutableContracts.TypeContract

Makes a deep copy of the given type invariant.

public Copy ( ITypeInvariant typeInvariant ) : TypeInvariant
typeInvariant	ITypeInvariant
Résultat	Microsoft.Cci.MutableContracts.TypeInvariant