Changes

Summary

Implement method on SMAbstractClass, update oracles. (details)
Implement methods to handle fei generation (2). (details)
Implement getFailureModeType(). (details)

Commit cc891fc1a13a25d0423deec8032471df721483e7 by Alberto Debiasi Implement method on SMAbstractClass, update oracles.
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/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/SSR_fi/SmvFiles/Selector_selector_SM.smv
The file was modified	plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/SSR_fi/SmvFiles/SpeedSensor_SpeedSensorSM.smv
The file was modified	plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/TimedModel/SmvFiles/Controller_StateMachine1.smv
The file was modified	plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/SSR_fi/SmvFiles/MonitorPresence_monitorSM.smv
The file was modified	plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/TimedModel/SmvFiles/Train_StateMachine1.smv
The file was modified	plugins/org.polarsys.chess.service/src/org/polarsys/chess/service/core/model/UMLStateMachineModel.java
The file was modified	plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/TimedModel/SmvFiles/Gate_StateMachine1.smv
Commit ac991e312a8152a8f6b2156bf34e5ee070999bfd by Alberto Debiasi Implement methods to handle fei generation (2).
The file was modified	plugins/contracts/org.polarsys.chess.contracts.profile/src/org/polarsys/chess/contracts/profile/chesscontract/util/EntityUtil.java
Commit 1f57fc23f0650ced52d85423467f5b6dcffd3a6c by Alberto Debiasi Implement getFailureModeType().
The file was modified	plugins/contracts/org.polarsys.chess.contracts.profile/src/org/polarsys/chess/contracts/profile/chesscontract/util/EntityUtil.java