Skip to content
[Jenkins]Jenkins
log in
Unstable

Changes

Summary

  1. Extend support to timed domain (details)
  2. Add test for timed domain. (details)
Commit 5c471350026b526361a60dc0381e3ed1d2306429 by Andrea Perri
Extend support to timed domain
The file was modified plugins/org.polarsys.chess.service/src/org/polarsys/chess/service/core/model/UMLStateMachineModel.java
The file was modified plugins/org.polarsys.chess.smvExporter/src/org/polarsys/chess/smvExporter/ui/commands/ExportModelToMonolithicSMVCommand.java
The file was modified plugins/org.polarsys.chess.smvExporter/src/org/polarsys/chess/smvExporter/ui/commands/ExportNominalSMsToSmvFilesCommand.java
The file was modified plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestBasicOperationsHeadless.java
The file was modified plugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/ui/commands/debug/CheckValidationPropertyOnFileCommand.java
The file was modified plugins/org.polarsys.chess.paramArchConfigurator/src/org/polarsys/chess/paramArchConfigurator/commands/InstantiateParamArchAsOssFileCommand.java
The file was modified plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestSafetyAnalysisOperations.java
The file was modified plugins/contracts/org.polarsys.chess.contracts.safetyAnalysis/src/org/polarsys/chess/safetyAnalysis/commands/debug/ComputeContractFaultTreeOnFileCommand.java
The file was modified plugins/org.polarsys.chess.paramArchConfigurator/src/org/polarsys/chess/paramArchConfigurator/ui/wizard/InstantiateArchWizard.java
The file was modified plugins/contracts/org.polarsys.chess.contracts.safetyAnalysis/src/org/polarsys/chess/safetyAnalysis/commands/ComputeContractFaultTreeCommand.java
The file was modified plugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/ui/commands/ExportModelToFileCommand.java
The file was modified plugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/ui/commands/ModelCheckingCommand.java
The file was modified plugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/ui/commands/debug/ModelCheckingOnFileCommand.java
The file was modified plugins/org.polarsys.chess.smvExporter/src/org/polarsys/chess/smvExporter/ui/commands/ExportSelectedNominalSMsToSmvFilesCommand.java
The file was modified plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestVAndVOperations.java
The file was modified plugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/ui/commands/CheckValidationAssertionPropertyCommand.java
The file was modified plugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/ui/commands/ContractImplementationCommand.java
The file was modified plugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/ui/commands/ContractRefinementCommand.java
The file was modified plugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/ui/commands/CompositeContractImplementationCommand.java
The file was modified plugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/ui/commands/CheckValidationContractPropertyCommand.java
The file was modified plugins/org.polarsys.chess.diagram.ui/src/org/polarsys/chess/diagram/ui/commands/GenerateDocumentCommand.java
The file was modified plugins/org.polarsys.chess.paramArchConfigurator/bin/org/polarsys/chess/paramArchConfigurator/commands/InstantiateParamArchAsOssFileCommand.class
The file was modified plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestCheckContractRefinementOfCHESSComponent.java
The file was modified plugins/contracts/org.polarsys.chess.contracts.profile/src/org/polarsys/chess/contracts/profile/chesscontract/util/EntityUtil.java
The file was modified plugins/org.polarsys.chess.paramArchConfigurator/src/org/polarsys/chess/paramArchConfigurator/commands/InstantiateArchitectureViaWizard.java
The file was modified plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestBasicOperations.java
The file was modified plugins/org.polarsys.chess.paramArchConfigurator/src/org/polarsys/chess/paramArchConfigurator/ui/wizard/page/AssignValuesPage.java
The file was modified plugins/org.polarsys.chess.tradeoffAnalysis/src/org/polarsys/chess/tradeoffAnalysis/commands/TradeoffCommand.java
Commit b19099b00f91e7ac310161e7e18d75ab8152ae4e by Alberto Debiasi
Add test for timed domain.

Change-Id: I7e8a6d1d5c3a54e8e2e6a81d6cd479b769973ade
The file was addedplugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/TimedModel/SmvFiles/Train_StateMachine1.smv
The file was modified plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestBasicOperationsHeadless.java
The file was addedplugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/TimedModel/SmvFiles/Gate_StateMachine1.smv
The file was addedplugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/TimedModel/train-gate-controller.uml
The file was addedplugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/TimedModel/.project
The file was addedplugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/TimedModel/SmvFiles/Controller_StateMachine1.smv
The file was addedplugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/TimedModel/train-gate-controller.notation
The file was addedplugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/TimedModel/train-gate-controller.di