escet merge requestshttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests2023-12-25T07:56:50Zhttps://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/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/190#227 Parse name instead of identifier for update.2023-12-24T08:21:02ZFerdie Reijnen#227 Parse name instead of identifier for update.Addresses #227Addresses #227v0.4https://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/730#715 HTML codegen docs: explain resizing of lower area.2023-12-21T13:19:40ZDennis Hendriks#715 HTML codegen docs: explain resizing of lower area.* Small addition. I forgot to explain this in the documentation.
Addresses #715* Small addition. I forgot to explain this in the documentation.
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/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/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/725#715 JavaScriptTupleTypeInfo: don't generate 'equals' method.2023-12-20T23:18:02ZDennis Hendriks#715 JavaScriptTupleTypeInfo: don't generate 'equals' method.Addresses #715Addresses #715v2.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/724#715 JavaScriptCodeGen: eventId -> eventIdx.2023-12-20T23:17:47ZDennis Hendriks#715 JavaScriptCodeGen: eventId -> eventIdx.- Improves consistency and clarity.
Addresses #715- Improves consistency and clarity.
Addresses #715v2.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/723#715 CIF code generator: Add JavaScript and HTML target languages.2023-12-20T15:17:48ZRik Lubking#715 CIF code generator: Add JavaScript and HTML target languages.#715 - Add export target Language HTML and JavaScript.
Main changes:
* Moves css into html template.
* Moved JavaScript out of html template.
* Added JavaScript/HTML export options as target languages.
* Added write method/logic for mer...#715 - Add export target Language HTML and JavaScript.
Main changes:
* Moves css into html template.
* Moved JavaScript out of html template.
* Added JavaScript/HTML export options as target languages.
* Added write method/logic for merging JavaScript into HTML export.
Other changes:
* Frequency for HTML page was changed from 20 to 60.
* The 'download log' bugs have been fixed.
* The empty option category for JavaScript code generation was removed.
* Improved `equals` method for generated tuple classes in JS codegen.
Addresses #715v2.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/721#272 CIF codegen: add SVG code generation to JavaScript code generator.2023-12-19T20:20:03ZDennis Hendriks#272 CIF codegen: add SVG code generation to JavaScript code generator.* Since we can't merge !716, this merge request replaces it.
* I put everything into a single commit, so history is lost. But, the history can still be found in !716. I did attribute @riklubking and @gvlit as co-authors for the single co...* Since we can't merge !716, this merge request replaces it.
* I put everything into a single commit, so history is lost. But, the history can still be found in !716. I did attribute @riklubking and @gvlit as co-authors for the single commit.
* The last commit by @riklubking to fix the 'download log' button, is not present here. We can do it in a next merge request.
Addresses #272v2.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/710#272 Generate variables and functions for JavaScript export target2023-12-19T09:05:37ZRik Lubking#272 Generate variables and functions for JavaScript export target- Added all required JavaScript implementations for generation of variables and functions for the JavaScript export target.
Addresses #272- Added all required JavaScript implementations for generation of variables and functions for the JavaScript export target.
Addresses #272v2.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/686#272 Added utils classes for JavasScript export function.2023-12-19T09:05:37ZRik Lubking#272 Added utils classes for JavasScript export function.- Added xxxUtils.js, a (direct as possible) translation of utils classes
taken from the Java export function.
- Utils functions can be called via JS console, the next commit adds UI and tests.
Discussion, see: https://gitlab.eclipse.org...- Added xxxUtils.js, a (direct as possible) translation of utils classes
taken from the Java export function.
- Utils functions can be called via JS console, the next commit adds UI and tests.
Discussion, see: https://gitlab.eclipse.org/riklubking/escet/-/issues/27
Addresses #272
Fixed after feedback at https://gitlab.eclipse.org/riklubking/escet/-/issues/27#note_1221642:
- Removed trailing whitespaces.
- Introduced MIN_INT / MAX_INT instead of Number.MIN_SAFE_INTEGER /
Number.MAX_SAFE_INTEGER, equal to Java Integer min/max.
- Improved custom exception.
- Added backticks in the place of all {@code} tags in JSDocs.
- Fixed capitals: javascript -> JavaScript / javaScript -> JavaScript,
number -> Number.
- Added space for for(), changed ++i to i++.
- div() returns integers only (truncated result).
- escape() replaces all instances, not just first instance.
- Removed makeList() and intToReal() (not required for JavaScript).
- mod() don't return -0.0 (change to 0.0, same as exp() and others).
- Refactored project() functions, renamed to projectList and
projectString. Fixed projectList().
- strToInt/strToReal: Remove exception (wasn't thrown), add if check for
bounds/NaN instead.
- Added TODO's with essential info.
* TODO 1: fmt() function supports only %d and %s at the moment, which is
all that's used so far. Will need to extend as more options become
required.
* TODO 2: realToStr() will need to implement some formatting code. This
may become a bit messy, perhaps there is some standard function/way to
do this, will discuss and do in a separate commit.v2.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/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/712#697 Additional type checking constraints for state annotations2023-12-16T11:18:10ZDennis Hendriks#697 Additional type checking constraints for state annotations* Best to review per commit.
* Added additional type checking constraints for state annotations.
* Improved/extended the documentation for state annotations a bit.
* Fixed typos in JavaDoc of `AnnotationProblemReporter`.
Closes #697* Best to review per commit.
* Added additional type checking constraints for state annotations.
* Improved/extended the documentation for state annotations a bit.
* Fixed typos in JavaDoc of `AnnotationProblemReporter`.
Closes #697v2.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.0