- improved smv export for nominal state machines (647e9e16) · Commits · Felicien IHIRWE / chess

Commit 647e9e16 authored 7 years ago by Alberto Debiasi

- improved smv export for nominal state machines

- renamed one method of JobCommand
- added methods to StateMachineModel class
- removed commented code
- formatted code


Change-Id: I66f06da83105fa51317df620623b325f3f493f6e
Signed-off-by: Alberto Debiasi <adebiasi@fbk.eu>

parent 9c1306a8

No related branches found

No related tags found

No related merge requests found

Hide whitespace changes

Inline Side-by-side

Showing

org.polarsys.chess.smvExport/src/org/polarsys/chess/smvExport/commands/ExportNominalSMsToSmvFilesCommand.java 11 additions, 19 deletions

...smvExport/commands/ExportNominalSMsToSmvFilesCommand.java
org.polarsys.chess.smvExport/src/org/polarsys/chess/smvExport/commands/ExportSelectedNominalSMsToSmvFilesCommand.java 9 additions, 18 deletions

...t/commands/ExportSelectedNominalSMsToSmvFilesCommand.java
org.polarsys.chess.smvExport/src/org/polarsys/chess/smvExport/model/UMLStateMachineModel.java 64 additions, 64 deletions

.../polarsys/chess/smvExport/model/UMLStateMachineModel.java
org.polarsys.chess.smvExport/src/org/polarsys/chess/smvExport/services/SmvExportService.java 46 additions, 86 deletions

...g/polarsys/chess/smvExport/services/SmvExportService.java
plugins/contracts/org.polarsys.chess.contracts.profile/src/org/polarsys/chess/contracts/profile/chesscontract/util/EntityUtil.java 16 additions, 0 deletions

...hess/contracts/profile/chesscontract/util/EntityUtil.java
plugins/contracts/org.polarsys.chess.contracts.refinementView/src/org/polarsys/chess/contracts/refinementView/view/CustomRefinementView.java 3 additions, 3 deletions

...s/contracts/refinementView/view/CustomRefinementView.java
plugins/contracts/org.polarsys.chess.contracts.safetyAnalysis/src/org/polarsys/chess/safetyAnalysis/commands/ComputeContractFaultTreeCommand.java 1 addition, 1 deletion

...etyAnalysis/commands/ComputeContractFaultTreeCommand.java
plugins/contracts/org.polarsys.chess.contracts.verificationService/plugin.xml 13 additions, 0 deletions

...g.polarsys.chess.contracts.verificationService/plugin.xml
plugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/commands/CheckValidationPropertyCommand.java 1 addition, 1 deletion

...ationService/commands/CheckValidationPropertyCommand.java
plugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/commands/ContractImplementationCommand.java 2 additions, 2 deletions

...cationService/commands/ContractImplementationCommand.java
plugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/commands/ContractRefinementCommand.java 1 addition, 1 deletion

...rificationService/commands/ContractRefinementCommand.java
plugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/commands/ExportModelToFileCommand.java 1 addition, 1 deletion

...erificationService/commands/ExportModelToFileCommand.java
plugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/commands/ModelCheckingCommand.java 2 additions, 3 deletions

...ss/verificationService/commands/ModelCheckingCommand.java
plugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/commands/debug/ModelCheckingOnFileCommand.java 1 addition, 1 deletion

...ionService/commands/debug/ModelCheckingOnFileCommand.java
plugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/services/SmvExportService.java 0 additions, 101 deletions

.../chess/verificationService/services/SmvExportService.java
plugins/org.polarsys.chess.constraints.constraintEditor/src/org/polarsys/chess/constraints/constraintEditor/CustomConstraintEditorTab.java 6 additions, 222 deletions

...nstraints/constraintEditor/CustomConstraintEditorTab.java
plugins/org.polarsys.chess.diagram.ui/src/org/polarsys/chess/diagram/ui/commands/ExportComponentToImageCommand.java 16 additions, 25 deletions

...ss/diagram/ui/commands/ExportComponentToImageCommand.java
plugins/org.polarsys.chess.diagram.ui/src/org/polarsys/chess/diagram/ui/commands/ExportModelToDocumentCommand.java 10 additions, 11 deletions

...ess/diagram/ui/commands/ExportModelToDocumentCommand.java
plugins/org.polarsys.chess.diagram.ui/src/org/polarsys/chess/diagram/ui/commands/GenerateDocumentCommand.java 4 additions, 33 deletions

...ys/chess/diagram/ui/commands/GenerateDocumentCommand.java
plugins/org.polarsys.chess.diagram.ui/src/org/polarsys/chess/diagram/ui/docGenerators/CHESSBlockDefinitionDiagramModel.java 102 additions, 112 deletions

...am/ui/docGenerators/CHESSBlockDefinitionDiagramModel.java

with 309 additions and 704 deletions

Please register or to comment