Свойство | Type | Description | |
---|---|---|---|
CodeAndContractDeepCopier | System | ||
Copy | IEnumerable |
||
Copy | List |
||
Copy | List |
||
Copy | List |
||
Copy | List |
||
Copy | List |
||
Copy | List |
||
Copy | List |
||
Copy | List |
||
Copy | void |
Méthode | Description | |
---|---|---|
CodeAndContractDeepCopier ( IMetadataHost targetHost ) : System |
|
|
CodeAndContractDeepCopier ( IMetadataHost targetHost, IUnit targetUnit ) : System |
|
|
Copy ( IContractElement contractElement ) : |
Makes a deep copy of the given contract element.
|
|
Copy ( ILoopContract loopContract ) : |
Makes a deep copy of the given loop contract.
|
|
Copy ( ILoopInvariant loopInvariant ) : |
Makes a deep copy of the given loop invariant.
|
|
Copy ( IMethodContract methodContract ) : |
Makes a deep copy of the given method contract.
|
|
Copy ( IPostcondition postCondition ) : |
Makes a deep copy of the given postCondition.
|
|
Copy ( IPrecondition precondition ) : Precondition |
Makes a deep copy of the given precondition.
|
|
Copy ( IThrownException thrownException ) : |
Makes a deep copy of the given thrown exception.
|
|
Copy ( ITypeContract typeContract ) : |
Makes a deep copy of the given type contract.
|
|
Copy ( ITypeInvariant typeInvariant ) : |
Makes a deep copy of the given type invariant.
|
Méthode | Description | |
---|---|---|
CodeAndContractDeepCopier ( IMetadataHost targetHost, |
||
Copy ( IEnumerable |
Makes a deep copy of the given list of trigger expressions.
|
|
Copy ( List |
Makes a deep copy of the given list of addressable expressions.
|
|
Copy ( List |
Makes a deep copy of the given list of fields.
|
|
Copy ( List |
Makes a deep copy of the given list of loop invariants.
|
|
Copy ( List |
Makes a deep copy of the given list of method definitions.
|
|
Copy ( List |
Makes a deep copy of the given list of post conditions.
|
|
Copy ( List |
Makes a deep copy of the given list of pre conditions.
|
|
Copy ( List |
Makes a deep copy of the given list of thrown exceptions.
|
|
Copy ( List |
Makes a deep copy of the given list of addressable expressions.
|
|
Copy ( |
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. |
Résultat | 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. |
Résultat | System |
public Copy ( IContractElement contractElement ) : |
||
contractElement | IContractElement | |
Résultat |
public Copy ( ILoopContract loopContract ) : |
||
loopContract | ILoopContract | |
Résultat |
public Copy ( ILoopInvariant loopInvariant ) : |
||
loopInvariant | ILoopInvariant | |
Résultat |
public Copy ( IMethodContract methodContract ) : |
||
methodContract | IMethodContract | |
Résultat |
public Copy ( IPostcondition postCondition ) : |
||
postCondition | IPostcondition | |
Résultat |
public Copy ( IPrecondition precondition ) : Precondition | ||
precondition | IPrecondition | |
Résultat | Precondition |
public Copy ( IThrownException thrownException ) : |
||
thrownException | IThrownException | |
Résultat |
public Copy ( ITypeContract typeContract ) : |
||
typeContract | ITypeContract | |
Résultat |
public Copy ( ITypeInvariant typeInvariant ) : |
||
typeInvariant | ITypeInvariant | |
Résultat |