Commits · 41454d26fc3577947b5c23d4d7ec0aabf8368a08 · af3 / AF3

27 Nov, 2019 3 commits

Merge branch '3875' into 'master' · 41454d26

Alexander Diewald authored Nov 27, 2019

Platform Synthesis: Remove transformation-only specifications fully

See merge request af3/af3!261

41454d26

GREEN · 82ca477c

Tiziano Munaro authored Nov 27, 2019

Issue-Ref: 3874
Issue-Url: https://af3-developer.fortiss.org/issues/3874

Signed-off-by: Tiziano Munaro <munaro@fortiss.org>

82ca477c

Platform Synthesis: Remove transformation-only specifications fully · 3858c473

Alexander Diewald authored Nov 27, 2019

Issue-Ref: 3875
Issue-Url: https://af3-developer.fortiss.org/issues/3875

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

3858c473

19 Nov, 2019 6 commits

Remove mismerged submodule references of deleted plugins · 6a3e1918
Alexander Diewald authored Nov 19, 2019
```
Signed-off-by: Alexander Diewald <diewald@fortiss.org>
```
6a3e1918
Merge branch '3815-lwfxef-integration' into 'master' · abaf0e0f
Alexander Diewald authored Nov 19, 2019
```
3815 LWFXEditorFramework integration and FX Component Editor

See merge request af3/af3!260
```
abaf0e0f

CR: GREEN · 0db7cdba

Alexander Diewald authored Nov 19, 2019

Issue-Ref: 3815
Issue-Url: https://af3-developer.fortiss.org/issues/3815

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

0db7cdba

Components: JavaFX editor. Fixed channel anchorage locations. · 2da77a48

Florian Hölzl authored Nov 19, 2019

Issue-Ref: 3815
Issue-Url: https://af3-developer.fortiss.org/issues/3815

Signed-off-by: Florian Hoelzl <hoelzl@fortiss.org>

2da77a48

Components: JavaFX editor. Ports are positioned equal to GEF editor. · b61ac7c2

Florian Hölzl authored Nov 19, 2019

Issue-Ref: 3815
Issue-Url: https://af3-developer.fortiss.org/issues/3815

Signed-off-by: Florian Hoelzl <hoelzl@fortiss.org>

b61ac7c2

Components: JavaFX editor. Selection not required for move or resize. · c5eb64b9

Florian Hölzl authored Nov 19, 2019

Issue-Ref: 3815
Issue-Url: https://af3-developer.fortiss.org/issues/3815

Signed-off-by: Florian Hoelzl <hoelzl@fortiss.org>

c5eb64b9

18 Nov, 2019 1 commit

Components: JavaFX editor. Code update after review. Link feedback. · 378ac241

Florian Hölzl authored Nov 18, 2019

Issue-Ref: 3815
Issue-Url: https://af3-developer.fortiss.org/issues/3815

Signed-off-by: Florian Hoelzl <hoelzl@fortiss.org>

378ac241

14 Nov, 2019 3 commits

CR: GREEN · e84d3136

Alexander Diewald authored Nov 14, 2019



Issue-Ref: 3815
Signed-off-by: Alexander Diewald <diewald@fortiss.org>

e84d3136

CR: RED · ed9f3140

Alexander Diewald authored Nov 14, 2019



Issue-Ref: 3815
Signed-off-by: Alexander Diewald <diewald@fortiss.org>

ed9f3140

Update submodule .settings pointers · 58de23f0
Alexander Diewald authored Nov 14, 2019
```
Issue-Ref: 3815
Signed-off-by: Alexander Diewald <diewald@fortiss.org>
```
58de23f0

11 Nov, 2019 3 commits

Components: JavaFX editor. Lowered priority of FX editor. · 24cd472e

Florian Hölzl authored Nov 11, 2019

Issue-Ref: 3815
Issue-Url: https://af3-developer.fortiss.org/issues/3815

Signed-off-by: Florian Hoelzl <hoelzl@fortiss.org>

24cd472e

Components: JavaFX editor. Merged master before review. · 4bd36f0e

Florian Hölzl authored Nov 11, 2019

Issue-Ref: 3815
Issue-Url: https://af3-developer.fortiss.org/issues/3815

Signed-off-by: Florian Hoelzl <hoelzl@fortiss.org>

4bd36f0e

Components: JavaFX editor. Bugfixes of listeners and delete operations. · dd13c424

Florian Hölzl authored Nov 11, 2019

Issue-Ref: 3815
Issue-Url: https://af3-developer.fortiss.org/issues/3815

Signed-off-by: Florian Hoelzl <hoelzl@fortiss.org>

dd13c424

08 Nov, 2019 11 commits

Merge branch '3861' into 'master' · b4926945
Alexander Diewald authored Nov 08, 2019
```
3861: Remove deprecated plugins

See merge request af3/af3!259
```
b4926945

Merge remote-tracking branch 'origin/master' into 3861 · ce6d6036

Alexander Diewald authored Nov 08, 2019



Conflicts:
	org.fortiss.af3.component/META-INF/MANIFEST.MF
	org.fortiss.af3.expression/META-INF/MANIFEST.MF
Signed-off-by: Alexander Diewald <diewald@fortiss.org>

ce6d6036

Components: JavaFX editor. Moved command stack use to kernel.base. · 9c1b0fbe

Florian Hölzl authored Nov 08, 2019

Issue-Ref: 3815
Issue-Url: https://af3-developer.fortiss.org/issues/3815

Signed-off-by: Florian Hoelzl <hoelzl@fortiss.org>

9c1b0fbe

Resolve SafetyLevel-related test failures · 859e8a13
Alexander Diewald authored Nov 08, 2019
```
Issue-Ref: 3859
Signed-off-by: Alexander Diewald <diewald@fortiss.org>
```
859e8a13

Components: JavaFX editor. Fixed channel creation. · b82e27cd

Florian Hölzl authored Nov 08, 2019

Issue-Ref: 3815
Issue-Url: https://af3-developer.fortiss.org/issues/3815

Signed-off-by: Florian Hoelzl <hoelzl@fortiss.org>

b82e27cd

Components: JavaFX editor. Fixed border dragging of component ports. · 1a5890b8

Florian Hölzl authored Nov 08, 2019

Issue-Ref: 3815
Issue-Url: https://af3-developer.fortiss.org/issues/3815

Signed-off-by: Florian Hoelzl <hoelzl@fortiss.org>

1a5890b8

Merge branch '3791' into 'master' · d1304d09
Simon Barner authored Nov 08, 2019
```
3791

See merge request af3/af3!258
```
d1304d09

GREEN · 30bd2dae

Simon Barner authored Nov 08, 2019

Issue-Ref: 3791
Issue-Url: https://af3-developer.fortiss.org/issues/3791

Signed-off-by: Simon Barner <barner@fortiss.org>

30bd2dae

YELLOW: Fixed compilation error · fb2be194

Alexander Diewald authored Nov 08, 2019

Issue-Ref: 3791
Issue-Url: https://af3-developer.fortiss.org/issues/3791

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

fb2be194

YELLOW: Fix forgotten TODOs & clean dependencies · 66de63cc

Alexander Diewald authored Nov 08, 2019

Issue-Ref: 3791
Issue-Url: https://af3-developer.fortiss.org/issues/3791

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

66de63cc

Merge remote-tracking branch 'origin/master' into 3791 · 3fd1ed58

Alexander Diewald authored Nov 08, 2019



Conflicts:
	org.fortiss.af3.safety/META-INF/MANIFEST.MF
Signed-off-by: Alexander Diewald <diewald@fortiss.org>

3fd1ed58

07 Nov, 2019 8 commits

GREEN · 7ef27c5f

Simon Barner authored Nov 07, 2019

Issue-Ref: 3791
Issue-Url: https://af3-developer.fortiss.org/issues/3791

Signed-off-by: Simon Barner <barner@fortiss.org>

7ef27c5f

Merge branch '3859' into 'master' · a799683b
Alexander Diewald authored Nov 07, 2019
```
3859

See merge request af3/af3!257
```
a799683b

Components: JavaFX editor. Removed unnecessary model listener. · a6f99954

Florian Hölzl authored Nov 07, 2019

Issue-Ref: 3815
Issue-Url: https://af3-developer.fortiss.org/issues/3815

Signed-off-by: Florian Hoelzl <hoelzl@fortiss.org>

a6f99954

Components: JavaFX editor. Using base classes for channel controller. · b62e3ff3

Florian Hölzl authored Nov 07, 2019

Issue-Ref: 3815
Issue-Url: https://af3-developer.fortiss.org/issues/3815

Signed-off-by: Florian Hoelzl <hoelzl@fortiss.org>

b62e3ff3

GREEN · 550cac3f

Marco Volpe authored Nov 07, 2019

Issue-Ref: 3859
Issue-Url: https://af3-developer.fortiss.org/issues/3859

Signed-off-by: Marco Volpe <volpe@fortiss.org>

550cac3f

Components: JavaFX editor. Using base classes for controllers. · 0acd6bfc

Florian Hölzl authored Nov 07, 2019

Issue-Ref: 3815
Issue-Url: https://af3-developer.fortiss.org/issues/3815

Signed-off-by: Florian Hoelzl <hoelzl@fortiss.org>

0acd6bfc

YELLOW: Safety-Annotation: Improve null value support · 1f28b75b

Alexander Diewald authored Nov 07, 2019

* Introduce a new Enumerator for the SafetyIntegrityLevel annotation
  that allows to specify unset values by pointing to null. In case a
  value is set for an IModelElement, the attribute points to the
  standard specific enum.
* Update the haveDirectChildsSpecifiedSIL(...) method to consider only
  directly set safety levels of IModelElements.

Issue-Ref: 3859
Issue-Url: https://af3-developer.fortiss.org/issues/3859

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

1f28b75b

Remove deprecated plugins · 89b0cb1f

Simon Barner authored Nov 07, 2019

* Moved to https://git.fortiss.org/af3/verification
  org.fortiss.af3.msc
  org.fortiss.af3.msc.ui
  org.fortiss.af3.ocra
  org.fortiss.af3.refinement
  org.fortiss.af3.refinement.ui
  org.fortiss.af3.specification
  org.fortiss.af3.specification.ui
  org.fortiss.af3.testing
  org.fortiss.af3.testing.ui
  org.fortiss.af3.tools
  org.fortiss.pragmatictransformation
* Moved to https://git.fortiss.org/af3/beaglebone
  org.fortiss.af3.beaglebone
  org.fortiss.af3.beaglebone.ui

Issue-Ref: 3861
Issue-Url: https://af3-developer.fortiss.org/issues/3861

Signed-off-by: Simon Barner <barner@fortiss.org>

89b0cb1f

06 Nov, 2019 3 commits

Remove dependency to message sequence charts (af3.msc) · 387712d5

Simon Barner authored Nov 06, 2019

Issue-Ref: 3861
Issue-Url: https://af3-developer.fortiss.org/issues/3861

Signed-off-by: Simon Barner <barner@fortiss.org>

387712d5

Make refinement, testing, and verification/model-checking optional · 3a67dcd8

Simon Barner authored Nov 06, 2019

* Affected plugins
  * org.fortiss.af3.ocra
  * org.fortiss.af3.refinement
  * org.fortiss.af3.refinement.ui
  * org.fortiss.af3.specification
  * org.fortiss.af3.specification.ui
  * org.fortiss.af3.testing
  * org.fortiss.af3.testing.ui
  * org.fortiss.af3.tools
  * org.fortiss.pragmatictransformation
* In most of the cases, move integration of remaining plugins (e.g.,
  commands, actions, ...) to one of the know optional plugins
* A few code sections had to be commented. This is further tracked
  in #3863 and #3864

Issue-Ref: 3861
Issue-Url: https://af3-developer.fortiss.org/issues/3861

Signed-off-by: Simon Barner <barner@fortiss.org>

3a67dcd8

YELLOW · ad8c33d9

Alexander Diewald authored Nov 06, 2019

Issue-Ref: 3791
Issue-Url: https://af3-developer.fortiss.org/issues/3791

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

ad8c33d9

05 Nov, 2019 2 commits

Move semantic alignment test to org.fortiss.af3.testing · d8ddd7da

Simon Barner authored Nov 05, 2019

Issue-Ref: 3861
Issue-Url: https://af3-developer.fortiss.org/issues/3861

Signed-off-by: Simon Barner <barner@fortiss.org>

d8ddd7da

Move the following bits of NuSMV support to org.fortiss.af3.verification · cf16e651

Simon Barner authored Nov 05, 2019

* org.fortiss.af3.component.generator.nusmv
* org.fortiss.af3.expression.generator.nusmv
* org.fortiss.af3.state.generator.nusmv

Issue-Ref: 3861
Issue-Url: https://af3-developer.fortiss.org/issues/3861

Signed-off-by: Simon Barner <barner@fortiss.org>

cf16e651