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

Наследование: CodeShallowCopier
Показать файл Открыть проект Примеры использования класса

Открытые методы

Метод Описание
CodeAndContractShallowCopier ( IMetadataHost targetHost ) : System

CodeAndContractShallowCopier ( IMetadataHost targetHost, IUnit targetUnit ) : System

Copy ( IContractElement contractElement ) : ContractElement

Makes a shallow copy of the given contract element.
Copy ( ILoopContract loopContract ) : LoopContract

Makes a shallow copy of the given loop contract.
Copy ( ILoopInvariant loopInvariant ) : LoopInvariant

Makes a shallow copy of the given loop invariant.
Copy ( IMethodContract methodContract ) : MethodContract

Makes a shallow copy of the given method contract.
Copy ( IPostcondition postCondition ) : Postcondition

Makes a shallow copy of the given postCondition.
Copy ( IPrecondition precondition ) : Precondition

Makes a shallow copy of the given precondition.
Copy ( IThrownException thrownException ) : ThrownException

Makes a shallow copy of the given thrown exception.
Copy ( ITypeContract typeContract ) : TypeContract

Makes a shallow copy of the given type contract.
Copy ( ITypeInvariant typeInvariant ) : TypeInvariant

Makes a shallow copy of the given type invariant.

Описание методов

CodeAndContractShallowCopier() публичный Метод

public CodeAndContractShallowCopier ( IMetadataHost targetHost ) : System
targetHost IMetadataHost An object representing the application that will host the copies made by this copier.
Результат System

CodeAndContractShallowCopier() публичный Метод

public CodeAndContractShallowCopier ( 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

Copy() публичный Метод

Makes a shallow copy of the given contract element.
public Copy ( IContractElement contractElement ) : ContractElement
contractElement IContractElement
Результат Microsoft.Cci.MutableContracts.ContractElement

Copy() публичный Метод

Makes a shallow copy of the given loop contract.
public Copy ( ILoopContract loopContract ) : LoopContract
loopContract ILoopContract
Результат Microsoft.Cci.MutableContracts.LoopContract

Copy() публичный Метод

Makes a shallow copy of the given loop invariant.
public Copy ( ILoopInvariant loopInvariant ) : LoopInvariant
loopInvariant ILoopInvariant
Результат Microsoft.Cci.MutableContracts.LoopInvariant

Copy() публичный Метод

Makes a shallow copy of the given method contract.
public Copy ( IMethodContract methodContract ) : MethodContract
methodContract IMethodContract
Результат Microsoft.Cci.MutableContracts.MethodContract

Copy() публичный Метод

Makes a shallow copy of the given postCondition.
public Copy ( IPostcondition postCondition ) : Postcondition
postCondition IPostcondition
Результат Microsoft.Cci.MutableContracts.Postcondition

Copy() публичный Метод

Makes a shallow copy of the given precondition.
public Copy ( IPrecondition precondition ) : Precondition
precondition IPrecondition
Результат Precondition

Copy() публичный Метод

Makes a shallow copy of the given thrown exception.
public Copy ( IThrownException thrownException ) : ThrownException
thrownException IThrownException
Результат Microsoft.Cci.MutableContracts.ThrownException

Copy() публичный Метод

Makes a shallow copy of the given type contract.
public Copy ( ITypeContract typeContract ) : TypeContract
typeContract ITypeContract
Результат Microsoft.Cci.MutableContracts.TypeContract

Copy() публичный Метод

Makes a shallow copy of the given type invariant.
public Copy ( ITypeInvariant typeInvariant ) : TypeInvariant
typeInvariant ITypeInvariant
Результат Microsoft.Cci.MutableContracts.TypeInvariant