updated chess model profile (edda39f7) · Commits · Felicien IHIRWE / chess

Commit edda39f7 authored 6 years ago by Alberto Debiasi

updated chess model profile

Change-Id: I07ea881eb7d87f4385c10f6ea957c05a900658ba

parent 25b49a04

No related branches found

No related tags found

No related merge requests found

Hide whitespace changes

Inline Side-by-side

Showing

plugins/contracts/org.polarsys.chess.contracts.profile/src/org/polarsys/chess/contracts/profile/chesscontract/util/EntityUtil.java 9 additions, 9 deletions

...hess/contracts/profile/chesscontract/util/EntityUtil.java
plugins/contracts/org.polarsys.chess.contracts.safetyAnalysis/src/org/polarsys/chess/safetyAnalysis/commands/ComputeContractFaultTreeCommand.java 4 additions, 4 deletions

...etyAnalysis/commands/ComputeContractFaultTreeCommand.java
plugins/contracts/org.polarsys.chess.contracts.transformations/src/org/polarsys/chess/contracts/transformations/commands/AbstractXSapHandler.java 3 additions, 3 deletions

...ntracts/transformations/commands/AbstractXSapHandler.java
plugins/contracts/org.polarsys.chess.contracts.transformations/src/org/polarsys/chess/contracts/transformations/commands/FMEAXSapHandler.java 4 additions, 4 deletions

...s/contracts/transformations/commands/FMEAXSapHandler.java
plugins/contracts/org.polarsys.chess.contracts.transformations/src/org/polarsys/chess/contracts/transformations/commands/FTAXSapHandler.java 4 additions, 4 deletions

...ss/contracts/transformations/commands/FTAXSapHandler.java
plugins/contracts/org.polarsys.chess.contracts.transformations/src/org/polarsys/chess/contracts/transformations/dialogs/SelectFTAFMEAAnalysisCtxDialog.java 3 additions, 3 deletions

...ansformations/dialogs/SelectFTAFMEAAnalysisCtxDialog.java
plugins/contracts/org.polarsys.chess.contracts.transformations/src/org/polarsys/chess/contracts/transformations/utils/AnalysisResultUtil.java 3 additions, 3 deletions

...s/contracts/transformations/utils/AnalysisResultUtil.java
plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/commands/ModelCheckingTest.java 7 additions, 0 deletions

...ationService/test/runtime/commands/ModelCheckingTest.java
plugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/ui/commands/CheckValidationAssertionPropertyCommand.java 4 additions, 4 deletions

.../ui/commands/CheckValidationAssertionPropertyCommand.java
plugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/ui/commands/CheckValidationContractPropertyCommand.java 4 additions, 4 deletions

...e/ui/commands/CheckValidationContractPropertyCommand.java
plugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/ui/commands/CompositeContractImplementationCommand.java 4 additions, 4 deletions

...e/ui/commands/CompositeContractImplementationCommand.java
plugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/ui/commands/ContractImplementationCommand.java 4 additions, 4 deletions

...ionService/ui/commands/ContractImplementationCommand.java
plugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/ui/commands/ContractRefinementCommand.java 4 additions, 4 deletions

...icationService/ui/commands/ContractRefinementCommand.java
plugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/ui/commands/ModelCheckingCommand.java 4 additions, 4 deletions

...verificationService/ui/commands/ModelCheckingCommand.java
plugins/org.polarsys.chess.chessmlprofile/model/CHESS.genmodel 4 additions, 4 deletions

...ns/org.polarsys.chess.chessmlprofile/model/CHESS.genmodel
plugins/org.polarsys.chess.chessmlprofile/model/CHESS.profile.uml 3 additions, 3 deletions

...org.polarsys.chess.chessmlprofile/model/CHESS.profile.uml
plugins/org.polarsys.chess.chessmlprofile/model/chessmlprofile.ecore 2 additions, 2 deletions

....polarsys.chess.chessmlprofile/model/chessmlprofile.ecore
plugins/org.polarsys.chess.chessmlprofile/src/org/polarsys/chess/chessmlprofile/ComponentModel/impl/ComponentModelPackageImpl.java 3 additions, 3 deletions

...rofile/ComponentModel/impl/ComponentModelPackageImpl.java
plugins/org.polarsys.chess.chessmlprofile/src/org/polarsys/chess/chessmlprofile/Core/CHESSViews/impl/CHESSViewsPackageImpl.java 3 additions, 3 deletions

...mlprofile/Core/CHESSViews/impl/CHESSViewsPackageImpl.java
plugins/org.polarsys.chess.chessmlprofile/src/org/polarsys/chess/chessmlprofile/Core/impl/CorePackageImpl.java 3 additions, 3 deletions

...arsys/chess/chessmlprofile/Core/impl/CorePackageImpl.java

with 79 additions and 72 deletions

Please register or to comment