Changes

Summary

Handle async communication. (details)
Add missing info in customEditors. (details)
Fix org.eclipse.jdt.core.prefs files. (details)
Add missing @ignore tags in tests. (details)
Fix hasValidType constraint. (details)

Commit 35d9189353e4fe731054b5792a37e48316d9a2a0 by Alberto Debiasi Handle async communication. Change-Id: Iefdd30a551d60f2c2a86e5f8418d48ae92c73b3e
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/ExportModelToFileCommand.java
The file was modified	plugins/org.polarsys.chess.tradeoffAnalysis/src/org/polarsys/chess/tradeoffAnalysis/commands/TradeoffCommand.java
The file was modified	plugins/org.polarsys.chess.smvExporter/src/org/polarsys/chess/smvExporter/ui/commands/ExportModelToMonolithicSMVCommand.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/org.polarsys.chess.diagram.ui/src/org/polarsys/chess/diagram/ui/commands/GenerateDocumentCommand.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.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/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.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestBasicOperations.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/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.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/ContractRefinementCommand.java
The file was modified	plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/AllTests.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.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/commands/ModelCheckingTest.java
The file was modified	plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/util/TestUtil.java
Commit 8ffb26182fb8483db16491b39309d592eed53b3e by Alberto Debiasi Add missing info in customEditors. Change-Id: I01b49c51ea17db4165dc0613ebf784e1ef5de181
The file was modified	plugins/org.polarsys.chess.customEditors/src/org/polarsys/chess/customEditors/editors/XtextLanguageEditor.java
The file was modified	plugins/org.polarsys.chess.customEditors/src/org/polarsys/chess/customEditors/editors/cleanc/CleanCEditor.java
The file was modified	plugins/org.polarsys.chess.customEditors/src/org/polarsys/chess/customEditors/editors/ocra/OcraPropertyEditor.java
Commit 16ad8d105e9504f71c9db741ea0f06c5405216c8 by Alberto Debiasi Fix org.eclipse.jdt.core.prefs files. Change-Id: I862283be2e95136340165bdf6424ca1d3d0fdb69
The file was modified	plugins/contracts/org.polarsys.chess.contracts.integration/.settings/org.eclipse.jdt.core.prefs
The file was modified	plugins/org.polarsys.chess.test.runtime/.settings/org.eclipse.jdt.core.prefs
The file was added	plugins/contracts/org.polarsys.chess.contracts.verificationService/.settings/org.eclipse.jdt.core.prefs
The file was modified	plugins/contracts/org.polarsys.chess.contracts.chessextension/.settings/org.eclipse.jdt.core.prefs
The file was added	plugins/fla/org.polarsys.chess.xtext.fladsl.ide/.settings/org.eclipse.jdt.core.prefs
The file was added	plugins/org.polarsys.chess.monitoring.tests/.settings/org.eclipse.jdt.core.prefs
Commit 56ad2419c92ff50243fed169de12c1e164b7cb88 by Alberto Debiasi Add missing @ignore tags in tests. Change-Id: If0ca8f2df18f7d72519cdd70d9dd6c04bf505b2f
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.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestCheckContractRefinementOfCHESSComponent.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/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestVAndVOperations.java
Commit de0248d26cc14f2ca979140386584125c982d23d by Alberto Debiasi Fix hasValidType constraint. Change-Id: Id0e28a4853d88edea1b9682298288c72e9f419b9
The file was modified	plugins/contracts/org.polarsys.chess.contracts.validation/src/org/polarsys/chess/contracts/validation/constraints/OCRAConstraints.java