escet merge requestshttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests2024-01-04T09:20:12Zhttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/754#732 Update DEPENDENCIES.txt for inclusion of Ecore editor in ESCET IDE2024-01-04T09:20:12ZDennis Hendriks#732 Update DEPENDENCIES.txt for inclusion of Ecore editor in ESCET IDE* Also updated `DEPENDENCIES.txt` for Dash License Check tool output change.
Closes #732* Also updated `DEPENDENCIES.txt` for Dash License Check tool output change.
Closes #732v3.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/752#730 CIF simulator: fixed print output to file in non-existing dir.2024-01-03T09:57:14ZDennis Hendriks#730 CIF simulator: fixed print output to file in non-existing dir.Closes #730Closes #730v3.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/748#715 HTML codegen: support SVG copy/move declarations2024-01-03T13:30:40ZDennis Hendriks#715 HTML codegen: support SVG copy/move declarations* Best to review per commit.
* Also checks that no CIF/SVG declarations get lost during codegen.
* And improves JavaDoc for 'gencodeSvgOut'.
Addresses #715* Best to review per commit.
* Also checks that no CIF/SVG declarations get lost during codegen.
* And improves JavaDoc for 'gencodeSvgOut'.
Addresses #715v3.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/747#715 HTML codegen: fix and improve print declarations and logging2024-01-03T09:55:38ZDennis Hendriks#715 HTML codegen: fix and improve print declarations and logging* Best to review per commit.
* Fixes:
* Fixed handling of print declaration stdout/stderr/file targets, with red coloring for stderr in HTML log panel. No coloring for browser console logging.
* Fixed string escaping, for among other...* Best to review per commit.
* Fixes:
* Fixed handling of print declaration stdout/stderr/file targets, with red coloring for stderr in HTML log panel. No coloring for browser console logging.
* Fixed string escaping, for among others: log output, certain runtime errors, and state printing.
* Fixed HTML-escaping for logging to log panel.
* Fixed a CSS style with invalid property value (not end user visible): `display` does not support `visible` as value. Changed to `inherit` as counterpart of `none`.
* Improvements:
* Reduced HTML log panel horizontal margin.
* Use Unix newline for log panel, not Windows newlines. The `\r` is not needed.
* Improved empty line logging output. Now: after everything is printed for initial state, and after everything is printed for a transition.
* Introduced variables to control printing state/transition output (enable or disable it).
* Updated/extended JavaScript code generation documentation.
Addresses #715v3.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/746#715 Fix JS/HTML code generation for tuples2024-01-02T13:12:38ZDennis Hendriks#715 Fix JS/HTML code generation for tuples- Fixed generated tuple constructors.
- Fixed generated tuple copy methods.
- Fixed generated tuple 'toString' methods.
- Use single quotes for strings in generated JS code.
Addresses #715- Fixed generated tuple constructors.
- Fixed generated tuple copy methods.
- Fixed generated tuple 'toString' methods.
- Use single quotes for strings in generated JS code.
Addresses #715v3.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/745#715 JavaScript/HTML codegen: fix function parameter and local variable refer...2023-12-29T18:23:52ZDennis Hendriks#715 JavaScript/HTML codegen: fix function parameter and local variable references* Best to review per commit.
* Function JS/HTML code generation changes that are the main scope of this merge request:
* Improved exception message.
* Use single quotes for strings in generated JS code.
* No compile errors for unre...* Best to review per commit.
* Function JS/HTML code generation changes that are the main scope of this merge request:
* Improved exception message.
* Use single quotes for strings in generated JS code.
* No compile errors for unreachable statements in JS code, unlike Java.
* Various changes for references, reading variables, writing variables, etc.
* Other non-JS/HTML-specific changes (not end user visible for the other target languages):
* No more references to commented out code to `readOnly` from `VariableInformation`, as that field doesn't exist.
* Removed `VariableInformation.isReference`, as only assigned, copied, etc, but never read.
* Proper and consistent marking of temporary variables.
* Renamed `VariableInformation.targetName` to `targetRef`.
* Renamed `CodeGen.getTargetName` to `getTargetRef`.
* Implement target variable name logic in `getTargetVariableName` instead of in `getTargetRef`. The reference should default to the name, not the other way around. Then also Simulink code generation does not need to override `getTargetVariableName` anymore.
* Renamed `SimulinkCodeGen.simulinkTargetNameMap` to `simulinkTargetRefMap`.
* Renamed `SimulinkCodeGen.setupVarmaps` to `setupVarMaps`.
* Some other renaming etc, for consistency.
* Add `CodeGen.getPrefix()` and use it in `CodeGen`.
Addresses #715v3.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/740#725 Generated CIF simulator debug code misses exit argument for application.run2023-12-25T08:45:23ZFerdie Reijnen#725 Generated CIF simulator debug code misses exit argument for application.runCloses #725Closes #725v3.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/739#723 JavaDoc fixes: '{@Link ...}' to '{@link ...}'.2023-12-24T11:52:16ZDennis Hendriks#723 JavaDoc fixes: '{@Link ...}' to '{@link ...}'.Closes #723Closes #723v3.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/738#715 JS/HTML codegen: fix calls to various real-typed stdlib functions.2023-12-25T07:56:50ZDennis Hendriks#715 JS/HTML codegen: fix calls to various real-typed stdlib functions.- Fixes acos, asin, atan, cos, sin, tan, exp, log, and ln.
Addresses #715- Fixes acos, asin, atan, cos, sin, tan, exp, log, and ln.
Addresses #715v3.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/737#715 JS/HTML code generation: print model state2023-12-24T13:06:19ZDennis Hendriks#715 JS/HTML code generation: print model state* Best to review per commit.
* Main change, for JS/HTML code generation:
* Log initial state + state after event transitions.
* For HTML: log panel shows horizontal scrollbar, doesn't wrap. Much easier to read then, in case of long '...* Best to review per commit.
* Main change, for JS/HTML code generation:
* Log initial state + state after event transitions.
* For HTML: log panel shows horizontal scrollbar, doesn't wrap. Much easier to read then, in case of long 'state' logging lines.
* Some other related changes as well:
* Fixed `valueToStr` for JavaScript `Symbol`s. `Symbol`s are only used for enumeration literals. `valueToStr` is used in multiple places, such as:
* Error messages such as for index of bounds.
* `fmt` arguments for for `%s` and `%S`.
* String representation of tuple elements.
* Output of print declarations.
* State logging.
* Improved comments in generated code, and text in generated reports, for location pointer variables:
* Include location pointer variables in 'original declaration names' mapping.
* JS/HTML code generation simplifications:
* Simplified code generation of frequency slider code.
* Simplified code generation of logging-related code.
* A 'log' function is always present now, also for JS, not only HTML.
* Prevents having to prefix all JS log calls with 'console.'.
* Unchanged: JS/HTML log to console. Only HTML logs to the log panel.
* Transition logging code is hard-coded in the template now.
Addresses #715v3.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/733#715 JavaScript codegen: proper code for temporary variables.2023-12-21T19:16:31ZDennis Hendriks#715 JavaScript codegen: proper code for temporary variables.* Proper JavaScript code generation for temporary variables.
* Various methods for different types of vars are now also more similar.
* Also fixed a comment in 'AssignmentUpdate' class.
Addresses #715* Proper JavaScript code generation for temporary variables.
* Various methods for different types of vars are now also more similar.
* Also fixed a comment in 'AssignmentUpdate' class.
Addresses #715v2.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/732#715 JavaScript codegen: utils class is missing 'intToReal'.2023-12-21T15:34:02ZDennis Hendriks#715 JavaScript codegen: utils class is missing 'intToReal'.* Small bugfix.
Addresses #715* Small bugfix.
Addresses #715v2.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/731#679 Add 'cifplcgen' to scriptable tools overview in CIF docs.2023-12-21T13:19:29ZDennis Hendriks#679 Add 'cifplcgen' to scriptable tools overview in CIF docs.* Small change. Was missed when we added the new command line tool.
Addresses #679* Small change. Was missed when we added the new command line tool.
Addresses #679v2.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/727#715 JavaScript code generation: improve 'fmt' function2023-12-20T23:19:56ZDennis Hendriks#715 JavaScript code generation: improve 'fmt' function* Best to review per commit.
* Fixes several issues.
* Still not full `fmt` function support, but that is for after %"v2.0". This should be sufficient for now.
Addresses #715* Best to review per commit.
* Fixes several issues.
* Still not full `fmt` function support, but that is for after %"v2.0". This should be sufficient for now.
Addresses #715v2.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/726#715 Update JavaScript code generation documentation + add HTML code generati...2023-12-20T23:45:51ZDennis Hendriks#715 Update JavaScript code generation documentation + add HTML code generation documentation* Update JavaScript code generation documentation. Aligned with Java code generator documentation, but made sure it is accurate for JavaScript code generation implementation.
* Add HTML code generation documentation.
* Update CIF code ge...* Update JavaScript code generation documentation. Aligned with Java code generator documentation, but made sure it is accurate for JavaScript code generation implementation.
* Add HTML code generation documentation.
* Update CIF code generator documentation in general for now always generating an enumeration for most target languages.
Addresses #715v2.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/719#712 Lithography benchmark model has duplicate invariants2023-12-19T07:35:45ZFerdie Reijnen#712 Lithography benchmark model has duplicate invariantsCloses #712Closes #712v2.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/717#713 ExprNoSpecificBinaryExprsCheckLevel cif test has mistake for modulus test2023-12-15T12:53:33ZFerdie Reijnen#713 ExprNoSpecificBinaryExprsCheckLevel cif test has mistake for modulus testCloses #713Closes #713v2.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/713#709 Fix comments in simplify_values* tests + extend the tests2023-12-11T16:26:37ZDennis Hendriks#709 Fix comments in simplify_values* tests + extend the tests* Best to review per commit.
* Fixed the comments.
* Extended the tests a bit. Was inspired by issues I encountered in #697 and #698.
Closes #709* Best to review per commit.
* Fixed the comments.
* Extended the tests a bit. Was inspired by issues I encountered in #697 and #698.
Closes #709v2.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/711#698 Fix CIF explorer state annotation argument value type creation (2nd atte...2023-12-18T20:08:07ZDennis Hendriks#698 Fix CIF explorer state annotation argument value type creation (2nd attempt)Closes #698Closes #698v2.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/707#684 CifToPlcTrans: configure linearization consistent with precond check2023-12-01T12:18:38ZFerdie Reijnen#684 CifToPlcTrans: configure linearization consistent with precond checkCloses #684Closes #684v2.0