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.

public CodeAndContractShallowCopier ( IMetadataHost targetHost ) : System
targetHost	IMetadataHost	An object representing the application that will host the copies made by this copier.
리턴	System

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

Makes a shallow copy of the given contract element.

public Copy ( IContractElement contractElement ) : ContractElement
contractElement	IContractElement
리턴	Microsoft.Cci.MutableContracts.ContractElement

Makes a shallow copy of the given loop contract.

public Copy ( ILoopContract loopContract ) : LoopContract
loopContract	ILoopContract
리턴	Microsoft.Cci.MutableContracts.LoopContract

Makes a shallow copy of the given loop invariant.

public Copy ( ILoopInvariant loopInvariant ) : LoopInvariant
loopInvariant	ILoopInvariant
리턴	Microsoft.Cci.MutableContracts.LoopInvariant

Makes a shallow copy of the given method contract.

public Copy ( IMethodContract methodContract ) : MethodContract
methodContract	IMethodContract
리턴	Microsoft.Cci.MutableContracts.MethodContract

Makes a shallow copy of the given postCondition.

public Copy ( IPostcondition postCondition ) : Postcondition
postCondition	IPostcondition
리턴	Microsoft.Cci.MutableContracts.Postcondition

Makes a shallow copy of the given precondition.

public Copy ( IPrecondition precondition ) : Precondition
precondition	IPrecondition
리턴	Precondition

Makes a shallow copy of the given thrown exception.

public Copy ( IThrownException thrownException ) : ThrownException
thrownException	IThrownException
리턴	Microsoft.Cci.MutableContracts.ThrownException

Makes a shallow copy of the given type contract.

public Copy ( ITypeContract typeContract ) : TypeContract
typeContract	ITypeContract
리턴	Microsoft.Cci.MutableContracts.TypeContract

Makes a shallow copy of the given type invariant.

public Copy ( ITypeInvariant typeInvariant ) : TypeInvariant
typeInvariant	ITypeInvariant
리턴	Microsoft.Cci.MutableContracts.TypeInvariant