Add block2k2 command, update UMLStateMachineModel.
Change-Id: I024fa883ac0106d1d316cb5e6a8c746b531d8142
Showing
- plugins/contracts/org.polarsys.chess.contracts.verificationService/plugin.xml 10 additions, 0 deletions...g.polarsys.chess.contracts.verificationService/plugin.xml
- plugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/ui/commands/ExportBlockToK2FileCommand.java 68 additions, 0 deletions...cationService/ui/commands/ExportBlockToK2FileCommand.java
- plugins/org.polarsys.chess.service/src/org/polarsys/chess/service/core/model/UMLStateMachineModel.java 19 additions, 1 deletion...larsys/chess/service/core/model/UMLStateMachineModel.java
Loading
Please register or sign in to comment