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

Inheritance: CodeDeepCopier
Show file Open project: visualmutator/visualmutator Class Usage Examples

Private Properties

Property Type Description
CodeAndContractDeepCopier System
Copy IEnumerable>
Copy List
Copy List
Copy List
Copy List
Copy List
Copy List
Copy List
Copy List
Copy void

Public Methods

Method 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.

Private Methods

Method 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.

Method Details

CodeAndContractDeepCopier() public method

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

CodeAndContractDeepCopier() public method

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.
return System

Copy() public method

Makes a deep copy of the given contract element.
public Copy ( IContractElement contractElement ) : ContractElement
contractElement IContractElement
return Microsoft.Cci.MutableContracts.ContractElement

Copy() public method

Makes a deep copy of the given loop contract.
public Copy ( ILoopContract loopContract ) : LoopContract
loopContract ILoopContract
return Microsoft.Cci.MutableContracts.LoopContract

Copy() public method

Makes a deep copy of the given loop invariant.
public Copy ( ILoopInvariant loopInvariant ) : LoopInvariant
loopInvariant ILoopInvariant
return Microsoft.Cci.MutableContracts.LoopInvariant

Copy() public method

Makes a deep copy of the given method contract.
public Copy ( IMethodContract methodContract ) : MethodContract
methodContract IMethodContract
return Microsoft.Cci.MutableContracts.MethodContract

Copy() public method

Makes a deep copy of the given postCondition.
public Copy ( IPostcondition postCondition ) : Postcondition
postCondition IPostcondition
return Microsoft.Cci.MutableContracts.Postcondition

Copy() public method

Makes a deep copy of the given precondition.
public Copy ( IPrecondition precondition ) : Precondition
precondition IPrecondition
return Precondition

Copy() public method

Makes a deep copy of the given thrown exception.
public Copy ( IThrownException thrownException ) : ThrownException
thrownException IThrownException
return Microsoft.Cci.MutableContracts.ThrownException

Copy() public method

Makes a deep copy of the given type contract.
public Copy ( ITypeContract typeContract ) : TypeContract
typeContract ITypeContract
return Microsoft.Cci.MutableContracts.TypeContract

Copy() public method

Makes a deep copy of the given type invariant.
public Copy ( ITypeInvariant typeInvariant ) : TypeInvariant
typeInvariant ITypeInvariant
return Microsoft.Cci.MutableContracts.TypeInvariant