-new analysis context for contract refinement (26fa9205) · Commits · Felicien IHIRWE / chess

Commit 26fa9205 authored 7 years ago by Stefano puri

-new analysis context for contract refinement

-added support for concern for contract
-links with opencert entities

parent 12dd23a4

No related branches found

No related tags found

Expand all Hide whitespace changes

Inline Side-by-side

Showing

plugins/contracts/org.polarsys.chess.contracts.profile/META-INF/MANIFEST.MF 9 additions, 1 deletion

...org.polarsys.chess.contracts.profile/META-INF/MANIFEST.MF
plugins/contracts/org.polarsys.chess.contracts.profile/model/CHESSContract.profile.di 17 additions, 14 deletions

...ys.chess.contracts.profile/model/CHESSContract.profile.di
plugins/contracts/org.polarsys.chess.contracts.profile/model/CHESSContract.profile.genmodel 56 additions, 32 deletions

...ss.contracts.profile/model/CHESSContract.profile.genmodel
plugins/contracts/org.polarsys.chess.contracts.profile/model/CHESSContract.profile.notation 749 additions, 507 deletions

...ss.contracts.profile/model/CHESSContract.profile.notation
plugins/contracts/org.polarsys.chess.contracts.profile/model/CHESSContract.profile.uml 76 additions, 38 deletions

...s.chess.contracts.profile/model/CHESSContract.profile.uml
plugins/contracts/org.polarsys.chess.contracts.profile/model/chesscontract.ecore 86 additions, 42 deletions

...olarsys.chess.contracts.profile/model/chesscontract.ecore
plugins/contracts/org.polarsys.chess.contracts.profile/model/chesscontracts.ecore 0 additions, 138 deletions

...larsys.chess.contracts.profile/model/chesscontracts.ecore
plugins/contracts/org.polarsys.chess.contracts.profile/plugin.xml 24 additions, 2 deletions

...contracts/org.polarsys.chess.contracts.profile/plugin.xml
plugins/contracts/org.polarsys.chess.contracts.profile/src/org/polarsys/chess/contracts/profile/chesscontract/CHESSContractFactory.java 9 additions, 9 deletions

...contracts/profile/chesscontract/CHESSContractFactory.java
plugins/contracts/org.polarsys.chess.contracts.profile/src/org/polarsys/chess/contracts/profile/chesscontract/CHESSContractPackage.java 513 additions, 233 deletions

...contracts/profile/chesscontract/CHESSContractPackage.java
plugins/contracts/org.polarsys.chess.contracts.profile/src/org/polarsys/chess/contracts/profile/chesscontract/ComponentInstance.java 6 additions, 1 deletion

...ss/contracts/profile/chesscontract/ComponentInstance.java
plugins/contracts/org.polarsys.chess.contracts.profile/src/org/polarsys/chess/contracts/profile/chesscontract/Contract.java 86 additions, 15 deletions

...arsys/chess/contracts/profile/chesscontract/Contract.java
plugins/contracts/org.polarsys.chess.contracts.profile/src/org/polarsys/chess/contracts/profile/chesscontract/ContractProperty.java 65 additions, 1 deletion

...ess/contracts/profile/chesscontract/ContractProperty.java
plugins/contracts/org.polarsys.chess.contracts.profile/src/org/polarsys/chess/contracts/profile/chesscontract/ContractRefinement.java 35 additions, 2 deletions

...s/contracts/profile/chesscontract/ContractRefinement.java
plugins/contracts/org.polarsys.chess.contracts.profile/src/org/polarsys/chess/contracts/profile/chesscontract/DataTypes/ContractTypes.java 6 additions, 0 deletions

...tracts/profile/chesscontract/DataTypes/ContractTypes.java
plugins/contracts/org.polarsys.chess.contracts.profile/src/org/polarsys/chess/contracts/profile/chesscontract/DataTypes/DataTypesPackage.java 61 additions, 1 deletion

...cts/profile/chesscontract/DataTypes/DataTypesPackage.java
plugins/contracts/org.polarsys.chess.contracts.profile/src/org/polarsys/chess/contracts/profile/chesscontract/DataTypes/Languages.java 6 additions, 0 deletions

.../contracts/profile/chesscontract/DataTypes/Languages.java
plugins/contracts/org.polarsys.chess.contracts.profile/src/org/polarsys/chess/contracts/profile/chesscontract/DataTypes/OthelloConstraint.java 1 addition, 1 deletion

...ts/profile/chesscontract/DataTypes/OthelloConstraint.java
plugins/contracts/org.polarsys.chess.contracts.profile/src/org/polarsys/chess/contracts/profile/chesscontract/DataTypes/ReqMaturities.java 6 additions, 0 deletions

...tracts/profile/chesscontract/DataTypes/ReqMaturities.java
plugins/contracts/org.polarsys.chess.contracts.profile/src/org/polarsys/chess/contracts/profile/chesscontract/DataTypes/ReqPriorities.java 6 additions, 0 deletions

...tracts/profile/chesscontract/DataTypes/ReqPriorities.java

with 1817 additions and 1037 deletions

Please register or to comment