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

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

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

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

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

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

bug: https://bugs.polarsys.org/show_bug.cgi?id=1823


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

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

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

and improved methods isBooleanType, isRealType etc...

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

- improved code
- fixedunexpected exception in refinementView and HierarchicalView
plugins
- fixed misplaced diagrams in the generated doc
- fixed license header of some classes

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

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

plugins

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

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

instanceView needs to be fixed, some problems with IncQuery and Xtext
dependencies

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

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

- contractEditor
- contraintEditor
- propertyEditor

- hierarchicalContractView
- refinementView

- safetyAnalysis

- verificationService

- diagram.eu


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