Skip to content
Success

Changes

Summary

  1. Add block2k2 command, update UMLStateMachineModel. (details)
  2. Handle selection of StateMachine in SelectionUtil. (details)
  3. Handle warnings. (details)
Commit 9acf9997f2952c3473d8dc4d16c6257453618a9c by Alberto Debiasi
Add block2k2 command, update UMLStateMachineModel.

Change-Id: I024fa883ac0106d1d316cb5e6a8c746b531d8142
The file was modified plugins/contracts/org.polarsys.chess.contracts.verificationService/plugin.xml
The file was addedplugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/ui/commands/ExportBlockToK2FileCommand.java
The file was modified plugins/org.polarsys.chess.service/src/org/polarsys/chess/service/core/model/UMLStateMachineModel.java
Commit 9871fb1c4299c92225738560f29b3cb03bbbdcbd by Alberto Debiasi
Handle selection of StateMachine in SelectionUtil.
The file was modified plugins/org.polarsys.chess.service/src/org/polarsys/chess/service/gui/utils/SelectionUtil.java
Commit 2db9b7a224ecbe719f17dd67e71c8945684cebc6 by Alberto Debiasi
Handle warnings.

Change-Id: I922f8ee6e46640dd52f9e107d2c49c9033fcdbfc
The file was modified plugins/org.polarsys.chess.service/src/org/polarsys/chess/service/internal/commands/CurrentViewStatusCommand.java
The file was modified plugins/org.polarsys.chess.service/src/org/polarsys/chess/service/internal/commands/switchers/SwitchSourceProvider.java
The file was modified plugins/org.polarsys.chess.checkers/src/org/polarsys/chess/checkers/Activator.java
The file was modified plugins/org.polarsys.chess.service/src/org/polarsys/chess/service/core/utils/AnalysisResultUtil.java
The file was modified plugins/org.polarsys.chess.service/src/org/polarsys/chess/service/internal/palette/PaletteManager.java
The file was modified plugins/org.polarsys.chess.diagramsCreator/src/org/polarsys/chess/diagramsCreator/connectors/SMDDiagramLayoutConnector.java
The file was modified plugins/org.polarsys.chess.service/src/org/polarsys/chess/service/gui/utils/CHESSEditorUtils.java
The file was modified plugins/org.polarsys.chess.wizards/src/org/polarsys/chess/wizards/wizards/CreateCHESSModelWizard.java
The file was modified plugins/org.polarsys.chess.service/src/org/polarsys/chess/service/internal/commands/switchers/SwitchToView.java
The file was modified plugins/org.polarsys.chess.checkers/src/org/polarsys/chess/checkers/core/checkerManager/test.java
The file was modified plugins/org.polarsys.chess.checkers/src/org/polarsys/chess/checkers/core/impl/StateStatus.java
The file was modified plugins/org.polarsys.chess.diagram.ui/src/org/polarsys/chess/diagram/ui/services/CHESSDiagramsGeneratorService.java
The file was modified plugins/contracts/org.polarsys.chess.contracts.profile/src/org/polarsys/chess/contracts/profile/chesscontract/util/StereotypeUtil.java
The file was modified plugins/org.polarsys.chess.checkers/src/org/polarsys/chess/checkers/core/checkerManager/CheckerManager.java