escet merge requestshttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests2023-02-13T21:30:10Zhttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/408#431 contributions for non-commiters cannot be merged, test22023-02-13T21:30:10ZPawel Stankiewicz#431 contributions for non-commiters cannot be merged, test2Do not merge. This is just dummy test to see gitlab - jenkins interactions.
Signed-off-by: Pawel Stankiewicz <pawel.stankiewicz@eclipse-foundation.org>Do not merge. This is just dummy test to see gitlab - jenkins interactions.
Signed-off-by: Pawel Stankiewicz <pawel.stankiewicz@eclipse-foundation.org>https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/402#444 Configure JDT formatter preferences per project2022-11-07T20:29:46ZDennis Hendriks#444 Configure JDT formatter preferences per project- Moved JDT formatter settings from Oomph setup to project settings.
- Apply formatter settings to all projects. For metamodel projects, used a limited subset only.
- Reformatted all projects
- `TwinCatWriter`: also rewrapped.
- `Twi...- Moved JDT formatter settings from Oomph setup to project settings.
- Apply formatter settings to all projects. For metamodel projects, used a limited subset only.
- Reformatted all projects
- `TwinCatWriter`: also rewrapped.
- `TwinCatWriter`: also fixed a duplicate 'may' word in the comment.
- Updated Eclipse upgrade instructions.
- Updated and improved/fixed formatter settings part.
- Improved/fixed error/warning settings part.
I recommend reviewing per commit.
Closes #444v0.8https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/401#415 Update Jenkinsfile and development docs for website Git repo move.2022-11-07T19:05:09ZDennis Hendriks#415 Update Jenkinsfile and development docs for website Git repo move.Closes #415Closes #415v0.8https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/397#357 Update CIF documentation for recent Inkscape versions2022-11-24T18:13:04ZMartijn Goorden#357 Update CIF documentation for recent Inkscape versionsCloses #357.
This merge request includes
- Screenshots of the updated Inkscape interface.
- Text removed on the different coordinate systems, as there is no longer a difference (since Inkscape version >= 1.0).
- Text removed on resizing...Closes #357.
This merge request includes
- Screenshots of the updated Inkscape interface.
- Text removed on the different coordinate systems, as there is no longer a difference (since Inkscape version >= 1.0).
- Text removed on resizing document, since Inkscape no longer adds a transformation to the first layer (at least in the latest Inkscape version 1.2.1 I used today).
- Updated menu names in text.
- Updated the SVG files used for the screenshot so they no longer generate a legacy warning on opening in Inkscape. (At some point Inkscape changed from 90 DPI to 96 DPI.)v0.8https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/396#441 DEPENDENCIES.txt update.2022-10-22T10:17:53ZDennis Hendriks#441 DEPENDENCIES.txt update.Closes #441Closes #441v0.8https://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/381#431 Test building fork merge request with changed Jenkinsfile.2022-10-02T12:19:43ZDennis Hendriks#431 Test building fork merge request with changed Jenkinsfile.Addresses #431Addresses #431v0.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/368#398 Various CIF check violation reporting improvements2022-09-23T06:38:53ZDennis Hendriks#398 Various CIF check violation reporting improvementsI opted to create a new merge request, rather than updating !350, as due to renaming all checks, there were heavy conflicts.
While implementing the design discussed at https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/350#...I opted to create a new merge request, rather than updating !350, as due to renaming all checks, there were heavy conflicts.
While implementing the design discussed at https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/350#note_959716, it quickly became more complicated than expected.
The messages may depend on whether the violation is reported on the object itself, or an ancestor of that object.
For instance, for a named location, it will report on the object itself, and it 'is urgent', while for a nameless location, it will be reported on the parent automaton, which 'has an urgent location'.
I then added a second replacement pattern, allowing for conditional replacement, explained it in the JavaDoc, etc.
This became a monster, and was completely non-extensible.
I therefore opted for a more extensive design, allowing for arbitrary trees of messages, and which is easily extensible.
Summary of the changes:
* `CifViolation` and `CifViolations` now allow reporting violations on both 'Specification' objects and 'null' values. This allows checks to just report violations on components, and not have to worry about whether they happen to be a `Specification`.
* `CifViolations` normalizes `Specification` objects to `null`, to have a single unique representation for specifications. This simplifies some of the other changes.
* `CifViolation` and `CifViolations` now allow reporting on non-named object. If the object is not named, they will automatically find the closest named ancestor and use that instead. The checks no longer have to find that closest named ancestor themselves anymore.
* Improved the JavaDoc with violation reporting instructions.
* Introduced message trees (type `CifCheckViolationMessage`) to build up more complex messages. `LiteralMessage` is for literal text. `ReportObjectTypeDescriptionMessage` implements the `{type-of-reported-object}` placeholder that we discussed at https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/350#note_959716. It uses the new `CifTextUtils.getTypeDescriptionForNamedObject` method. `IfReportOnSelfMessage` and `IfReportOnAncestorMessage` allow for conditional messages for when reporting on the object itself, or an ancestor. `SequenceMessage` allows concatenating messages, but should rarely be needed directly, as `CifViolations.add` has a varargs parameter for messages, so for the top level of the messages, it adds the `SequenceMessage` wrapper automatically.
* `CifViolation` can no longer decide from its field alone whether it will produce the same message as another `CifViolation` instance. Hence, `CifPreconditionChecker` removes duplicate messages now.
* I also fixed and improved some violation messages.
Closes #398v0.7https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/362#297 #405 CIF event-based language equivalence check generates incorrect coun...2022-09-04T10:51:11ZFerdie Reijnen#297 #405 CIF event-based language equivalence check generates incorrect counterexamplesCloses #297 #405Closes #297 #405v0.7https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/361#402 Double dash in branch-names are interpreted as CJK ideographs2022-08-22T12:09:16ZFerdie Reijnen#402 Double dash in branch-names are interpreted as CJK ideographsCloses #402Closes #402v0.7https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/360#402 Double dash in branch-names are interpreted as CJK ideographs2022-08-19T19:57:57ZFerdie Reijnen#402 Double dash in branch-names are interpreted as CJK ideographsCloses #402Closes #402v0.7https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/359#404 Event-based synthesis analysis tool has wrong conclusion2022-08-19T17:51:35ZFerdie Reijnen#404 Event-based synthesis analysis tool has wrong conclusionCloses #404Closes #404v0.7https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/356#401 Be more careful in ignoring 'target' directories2022-08-11T04:59:09ZAlbert Hofkamp#401 Be more careful in ignoring 'target' directoriesCloses #401Closes #401v0.7Albert HofkampAlbert Hofkamphttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/350#398 Various checks for CIF checker crash for violations in the root of the s...2022-09-11T18:09:55ZFerdie Reijnen#398 Various checks for CIF checker crash for violations in the root of the specificationCloses #398Closes #398v0.7https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/341#387 Add README and CODE_OF_CONDUCT files and missing trademarks2022-07-01T15:07:47ZDennis Hendriks#387 Add README and CODE_OF_CONDUCT files and missing trademarks- Added mandatory `README` file.
- Added recommended `CODE_OF_CONDUCT` file.
- Added trademark for first and prominent mentions of ESCET in root .asciidoc files.
Closes #387- Added mandatory `README` file.
- Added recommended `CODE_OF_CONDUCT` file.
- Added trademark for first and prominent mentions of ESCET in root .asciidoc files.
Closes #387v0.6https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/330#369 Fix outdated comments in SynthesisToCifConverter regarding explicit kinds2022-06-12T18:11:05ZFerdie Reijnen#369 Fix outdated comments in SynthesisToCifConverter regarding explicit kindsCloses #369Closes #369v0.6https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/329#381 Third party dependencies license check update (2022-06-12)2022-06-12T16:43:54ZFerdie Reijnen#381 Third party dependencies license check update (2022-06-12)Closes #381Closes #381v0.6https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/325#372 Updated DEPENDENCIES.txt for changed output of license check tool.2022-06-04T15:52:28ZDennis Hendriks#372 Updated DEPENDENCIES.txt for changed output of license check tool.Closes #372Closes #372v0.6https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/316#365 Update paper references in AsciiDoc files2022-05-06T05:05:36ZFerdie Reijnen#365 Update paper references in AsciiDoc filesCloses #365Closes #365v0.6