C# Класс Microsoft.Cci.MutableCodeModel.Contracts.CodeAndContractDeepCopier

Наследование: CodeDeepCopier

Private Properties

Свойство	Тип	Описание
CodeAndContractDeepCopier	System
Copy	IEnumerable>
Copy	List
Copy	List
Copy	List
Copy	List
Copy	List
Copy	List
Copy	List
Copy	List
Copy	void

Метод	Описание
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.

Метод	Описание
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.
Результат	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.
Результат	System

Makes a deep copy of the given contract element.

public Copy ( IContractElement contractElement ) : ContractElement
contractElement	IContractElement
Результат	Microsoft.Cci.MutableContracts.ContractElement

Makes a deep copy of the given loop contract.

public Copy ( ILoopContract loopContract ) : LoopContract
loopContract	ILoopContract
Результат	Microsoft.Cci.MutableContracts.LoopContract

Makes a deep copy of the given loop invariant.

public Copy ( ILoopInvariant loopInvariant ) : LoopInvariant
loopInvariant	ILoopInvariant
Результат	Microsoft.Cci.MutableContracts.LoopInvariant

Makes a deep copy of the given method contract.

public Copy ( IMethodContract methodContract ) : MethodContract
methodContract	IMethodContract
Результат	Microsoft.Cci.MutableContracts.MethodContract

Makes a deep copy of the given postCondition.

public Copy ( IPostcondition postCondition ) : Postcondition
postCondition	IPostcondition
Результат	Microsoft.Cci.MutableContracts.Postcondition

Makes a deep copy of the given precondition.

public Copy ( IPrecondition precondition ) : Precondition
precondition	IPrecondition
Результат	Precondition

Makes a deep copy of the given thrown exception.

public Copy ( IThrownException thrownException ) : ThrownException
thrownException	IThrownException
Результат	Microsoft.Cci.MutableContracts.ThrownException

Makes a deep copy of the given type contract.

public Copy ( ITypeContract typeContract ) : TypeContract
typeContract	ITypeContract
Результат	Microsoft.Cci.MutableContracts.TypeContract

Makes a deep copy of the given type invariant.

public Copy ( ITypeInvariant typeInvariant ) : TypeInvariant
typeInvariant	ITypeInvariant
Результат	Microsoft.Cci.MutableContracts.TypeInvariant