Method | Description | |
---|---|---|
CodeAndContractShallowCopier ( IMetadataHost targetHost ) : System |
|
|
CodeAndContractShallowCopier ( IMetadataHost targetHost, IUnit targetUnit ) : System |
|
|
Copy ( IContractElement contractElement ) : |
Makes a shallow copy of the given contract element.
|
|
Copy ( ILoopContract loopContract ) : |
Makes a shallow copy of the given loop contract.
|
|
Copy ( ILoopInvariant loopInvariant ) : |
Makes a shallow copy of the given loop invariant.
|
|
Copy ( IMethodContract methodContract ) : |
Makes a shallow copy of the given method contract.
|
|
Copy ( IPostcondition postCondition ) : |
Makes a shallow copy of the given postCondition.
|
|
Copy ( IPrecondition precondition ) : Precondition |
Makes a shallow copy of the given precondition.
|
|
Copy ( IThrownException thrownException ) : |
Makes a shallow copy of the given thrown exception.
|
|
Copy ( ITypeContract typeContract ) : |
Makes a shallow copy of the given type contract.
|
|
Copy ( ITypeInvariant 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. |
return | 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. |
return | System |
public Copy ( IContractElement contractElement ) : |
||
contractElement | IContractElement | |
return |
public Copy ( ILoopContract loopContract ) : |
||
loopContract | ILoopContract | |
return |
public Copy ( ILoopInvariant loopInvariant ) : |
||
loopInvariant | ILoopInvariant | |
return |
public Copy ( IMethodContract methodContract ) : |
||
methodContract | IMethodContract | |
return |
public Copy ( IPostcondition postCondition ) : |
||
postCondition | IPostcondition | |
return |
public Copy ( IPrecondition precondition ) : Precondition | ||
precondition | IPrecondition | |
return | Precondition |
public Copy ( IThrownException thrownException ) : |
||
thrownException | IThrownException | |
return |
public Copy ( ITypeContract typeContract ) : |
||
typeContract | ITypeContract | |
return |
public Copy ( ITypeInvariant typeInvariant ) : |
||
typeInvariant | ITypeInvariant | |
return |