escet merge requestshttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests2022-10-17T06:34:42Zhttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/391#439 Get rid of references to 'receive(d) variables'.2022-10-17T06:34:42ZDennis Hendriks#439 Get rid of references to 'receive(d) variables'.Closes #439Closes #439v0.8https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/390#438 Various small JavaDoc/documentation fixes/improvements.2022-10-17T06:33:55ZDennis Hendriks#438 Various small JavaDoc/documentation fixes/improvements.- `{link` -> `{@link`
- `{code` -> `{@code`
- `Whether the evaluate` -> `Whether to evaluate`
- `positiveCount: count >= 0` -> `nonNegativeCount: count >= 0`
- `<code>...</code>` -> `{@code ...}` where possible.
Closes #438- `{link` -> `{@link`
- `{code` -> `{@code`
- `Whether the evaluate` -> `Whether to evaluate`
- `positiveCount: count >= 0` -> `nonNegativeCount: count >= 0`
- `<code>...</code>` -> `{@code ...}` where possible.
Closes #438v0.8https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/389#436 Custom PDE preferences for all projects.2022-10-17T07:10:50ZDennis Hendriks#436 Custom PDE preferences for all projects.- Custom PDE preferences for all projects.
- Enabled some additional warnings, including warnings for non-exported packages.
- New PLC code generator now in sync wrt preferences (except for separate !388 change).
Closes #436- Custom PDE preferences for all projects.
- Enabled some additional warnings, including warnings for non-exported packages.
- New PLC code generator now in sync wrt preferences (except for separate !388 change).
Closes #436v0.8https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/388#400 Fix encoding warning on plcgen project.2022-10-15T14:03:55ZDennis Hendriks#400 Fix encoding warning on plcgen project.Closes #400Closes #400v0.8https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/387#424 Migrate CIF tool precondition checkers for CIF to UPPAAL to new common C...2022-11-22T19:07:25ZFerdie Reijnen#424 Migrate CIF tool precondition checkers for CIF to UPPAAL to new common CIF checkers framework.Addresses #424Addresses #424https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/386#368 Extend and add checker classes for cif2dmm2022-10-14T13:16:25ZAlbert Hofkamp#368 Extend and add checker classes for cif2dmmAddresses #368Addresses #368v0.8Albert HofkampAlbert Hofkamphttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/385#417 More ESCET dark theme support2023-04-16T11:57:09ZDennis Hendriks#417 More ESCET dark theme supportPlot visualizer:
* Plot visualizer does not need to store theme listener is a field.
CIF simulator GUI input component:
* JavaDocs are more clear about background vs foreground colors.
* Added light and dark theme color schemes and them...Plot visualizer:
* Plot visualizer does not need to store theme listener is a field.
CIF simulator GUI input component:
* JavaDocs are more clear about background vs foreground colors.
* Added light and dark theme color schemes and theming support.
* Color composites are now color canvases.
* Setting background color for a component doesn't work.
* Eclipse dark themes overrides it.
* So is now a canvas that is manually painted.
* To allow (re)painting, store color choices in field `choiceColors`.
* Added focus listeners to ensure colors 'stick' when using dark theme.
* Improved color markers.
* Previously they were color composites, now color canvases.
* Made them a bit wider, to be better visible.
* Updated CIF simulator documentation.
Addresses #417v0.8https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/384#433 Link Eclipse/Java upgrade policies + extend Eclipse upgrade info.2022-10-13T07:55:36ZDennis Hendriks#433 Link Eclipse/Java upgrade policies + extend Eclipse upgrade info.Closes #433Closes #433v0.8https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/383#417 Added dark theme suport for synthesis analysis tool.2022-10-11T14:13:40ZFerdie Reijnen#417 Added dark theme suport for synthesis analysis tool.Closes #417Closes #417v0.8https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/382#432 CifChecker/CifPreconditionChecker constructor should not be array but va...2022-10-03T12:02:54ZDennis Hendriks#432 CifChecker/CifPreconditionChecker constructor should not be array but varargs* `CifChecker`/`CifPreconditionChecker` now have varargs constructors.
* JavaDoc fix in `CifCheckViolation`.
* `CifToSupremicaPreChecker` extends `CifPreconditionChecker`.
Closes #432* `CifChecker`/`CifPreconditionChecker` now have varargs constructors.
* JavaDoc fix in `CifCheckViolation`.
* `CifToSupremicaPreChecker` extends `CifPreconditionChecker`.
Closes #432v0.8https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/380#423 Prepare Git repo for v0.8 development2022-10-09T08:40:47ZDennis Hendriks#423 Prepare Git repo for v0.8 developmentCloses #423Closes #423v0.8https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/379#429 Updated DEPENDENCIES.txt for Dash license tool output changes.2022-09-30T17:14:59ZDennis Hendriks#429 Updated DEPENDENCIES.txt for Dash license tool output changes.Closes #429Closes #429v0.8https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/378#390 develop to master for v0.72022-09-30T13:03:49ZDennis Hendriks#390 develop to master for v0.7Addresses #390Addresses #390v0.7https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/377#390 Update release notes for v0.7.2022-09-30T12:36:51ZDennis Hendriks#390 Update release notes for v0.7.Addresses #390Addresses #390v0.7https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/376#419 Added Oisterwijksebaan bridge real-world CIF synthesis example - small f...2023-02-18T09:24:41ZMartijn Goorden#419 Added Oisterwijksebaan bridge real-world CIF synthesis example - small fixesCloses #419
This merge request contains small fixes based on discussions in !370 after it was closed.Closes #419
This merge request contains small fixes based on discussions in !370 after it was closed.https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/375#392 develop to master for v0.7-RC12022-09-28T11:54:46ZDennis Hendriks#392 develop to master for v0.7-RC1Addresses #392Addresses #392v0.7https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/374#417 Support dark theme in ESCET (console/legend/plotviz/checkstyle)2022-10-03T07:13:47ZDennis Hendriks#417 Support dark theme in ESCET (console/legend/plotviz/checkstyle)The first 4 dark theme changes for #417:
- Add application framework console dark theme support:
- Different colors for light and dark theme.
- Keeps same colors for light theme as used before.
- Adapts to theme changes, even afte...The first 4 dark theme changes for #417:
- Add application framework console dark theme support:
- Different colors for light and dark theme.
- Keeps same colors for light theme as used before.
- Adapts to theme changes, even after application termination.
- Application status legend dialog improvements for dark theme:
- 'Composite' with grid layout rather than a 'Tree'.
- No more custom background color configuration.
- Added CIF simulator plot visualizer dark theme support:
- Plot visualizer automatically applies light or dark theme.
- Plot visualizer automatic theme switch upon Eclipse theme change.
- Plot visualizer even changes theme after simulator has ended.
- Light theme now implemented as a separate class.
- Still based on the XChart's 'MatlabTheme'.
- Added dark theme, extending light theme.
- ESCET development environment Checkstyle warning style change:
- Current yellow background does not play well with dark theme.
- On dark theme, blue/green text on yellow background is hard to read.
- Does not affect ESCET product, nor affects end users.
- Changed style to vertical bar rather than whole line becoming yellow.
- New style is less obtrusive, and works well on light and dark theme.
- Kept color the same.
I recommend reviewing per commit.
Addresses #417v0.8https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/373#416 Add tests for CIF common checks2022-10-09T15:47:26ZDennis Hendriks#416 Add tests for CIF common checksNotes:
* The CIF common checks are not application framework applications, but more like library functionality. I therefore added an application specifically for testing. Then I just used the integration test framework as usual.
* I name...Notes:
* The CIF common checks are not application framework applications, but more like library functionality. I therefore added an application specifically for testing. Then I just used the integration test framework as usual.
* I named the tests after the check class that they use, to allow the test application to be reused for all them.
* The expression and type checks are parameterized. Hence, I created in the test plugin some derived classes. They essentially test per level (based on the number of '_' characters in the enum values). This allows testing for instance `PLUS` vs `PLUS_INT` vs `PLUS_INT_RANGED`. It doesn't test all 'logic paths', as `PLUS_INT_RANGED` and `PLUS_INT_RANGELESS` are still tested together. But we get quite some coverage this way.
I recommend reviewing the total changes, rather than the individual commits.
Closes #416v0.7https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/372#425 Update release process documentation2022-09-26T12:31:31ZDennis Hendriks#425 Update release process documentationCloses #425Closes #425v0.7https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/371#392 Update release notes for v0.7-RC1.2022-09-28T10:14:27ZDennis Hendriks#392 Update release notes for v0.7-RC1.Addresses #392Addresses #392v0.7