Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | build: fix cross-project group and version config | Kristóf Marussy | 2021-11-19 |
| | |||
* | feat(web): xtext formatter client | Kristóf Marussy | 2021-11-16 |
| | | | | | | | | | Uses the xtext formatted on the server to format the document. Also adds the capability to take (delta) changes from the server and apply them before any pending local changes, then replay the changes. This means that the server-side formatter is effectively acting as a second user who is editing the document. | ||
* | feat(lang): basic formatting | Kristóf Marussy | 2021-11-15 |
| | | | | | | | | | Adds support for formatting some elements without any indentation. Mostly for testing model serialization with some human-readable formatting instead of just space-separating the tokens. Finishing the formatter to support all language constructs might be a bit more difficult due to our Prolog-like indentation rules. | ||
* | chore(lang): fix Sonar issue | Kristóf Marussy | 2021-11-06 |
| | |||
* | chore(lang): seralize assertions in short form | Kristóf Marussy | 2021-11-06 |
| | | | | | Prefer the ! and ? operators instead of : false and : unknown and omit : true when serializing assertions. | ||
* | chore(lang): shorten keyword individual -> indiv | Kristóf Marussy | 2021-11-06 |
| | |||
* | fix(lang): mark transient references | Kristóf Marussy | 2021-11-06 |
| | | | | | | | | | | | | | | | Xtext fails to serialize non-transient references that have no corresponding assignment in the grammar. Therefore, we mark * Problem.nodes * ClassDeclaration.newNode * ExistentialQualifier.implicitVariables * VariableOrNodeArgument.singletonVariable as transient. This will allow serializing Problem instances using the textual concrete syntax for display. | ||
* | chore: rename unique to individual | Kristóf Marussy | 2021-11-05 |
| | | | | Suggestion by @vincemolnar to match SysML V2 terminology more closely. | ||
* | fix(lang): make default and scope non-contextual | Kristóf Marussy | 2021-11-05 |
| | | | | | Contextual keywords make Xtext parsing more complicated and degrade content assist. | ||
* | feat(lang): add example validation checks | Kristóf Marussy | 2021-11-05 |
| | |||
* | fix(language): hide current implicit proposal | Kristóf Marussy | 2021-11-04 |
| | | | | | | | Content assist proposals should not display the object that is only added to the model because the current context assist input refers to it (e.g., an implicit node or variable that is only referenced in the currently edited context). | ||
* | feat(web): simplify contextual parsing | Kristóf Marussy | 2021-10-31 |
| | | | | | | | | * More relaxted parsing in the browser for stable variable/node identifier classification. * String support in the browser. * contains, refers, and opposite keywords are no longer contextual, which simplifies parsing in the browser. | ||
* | chore(web): remove CodeMirror 5 MWE2 integration | Kristóf Marussy | 2021-10-31 |
| | | | | | CodeMirror 6 uses a hand-writter Lezer parser instead of the stream parser generated by Xtext for CodeMirror 5. | ||
* | Add scope for new and delete with tests | Garami Bence | 2021-10-20 |
| | |||
* | Add syntax for direct rules and direct predicates | Garami Bence | 2021-10-20 |
| | | | | Xtext and Class diagram extended. | ||
* | chore: remove builtin library xtext dependency | Kristóf Marussy | 2021-10-19 |
| | |||
* | fix(language): also rename builtin problem library | Kristóf Marussy | 2021-10-05 |
| | |||
* | chore: change package name | Kristóf Marussy | 2021-10-05 |
| | |||
* | chore: fix Java 17 Sonar warnings | Kristóf Marussy | 2021-10-02 |
| | | | | | Had to disable code coverage measurement in the Quality Gate, we should switch it on again once we have a complete test suite. | ||
* | feat: skeleton for language to store mapping | Kristóf Marussy | 2021-10-01 |
| | |||
* | build: migration to Gradle 7 | Kristóf Marussy | 2021-09-29 |
| | |||
* | Refactor ServerLauncher | Kristóf Marussy | 2021-09-20 |
| | |||
* | Merge branch 'web-demo' of https://github.com/viatra/VIATRA-Generator.git ↵ | OszkarSemerath | 2021-09-19 |
|\ | | | | | | | into web-demo | ||
| * | Simplify node naming | Kristóf Marussy | 2021-08-20 |
| | | |||
* | | Small fixes over the project | OszkarSemerath | 2021-09-19 |
|/ | |||
* | Refactoring based on Sonar reports | Kristóf Marussy | 2021-07-29 |
| | |||
* | Change operator for predicate definition | Kristóf Marussy | 2021-07-02 |
| | |||
* | Fix enum literal scopes | Kristóf Marussy | 2021-06-30 |
| | |||
* | Node scoping fixes | Kristóf Marussy | 2021-06-30 |
| | |||
* | Remove Xtext generated Javascript file | Kristóf Marussy | 2021-06-29 |
| | |||
* | Remove xtext-gen generated files | Kristóf Marussy | 2021-06-29 |
| | | | | They are regenerated on each build | ||
* | Webpack build for frontend | Kristóf Marussy | 2021-06-29 |
| | |||
* | Fix derived state computer idempotency | Kristóf Marussy | 2021-06-28 |
| | |||
* | Fix real literals | Kristóf Marussy | 2021-06-28 |
| | |||
* | Add scoping tests and simplify implicit nodes | Kristóf Marussy | 2021-06-28 |
| | | | | | | | * Do not export implicit nodes to the global scope * Enum literals must not be quoted * Plan for the future: unify quoted nodes from the global scope in post-processing | ||
* | Add data constant support | Kristóf Marussy | 2021-06-27 |
| | |||
* | Customize client-side CodeMirror mode | Kristóf Marussy | 2021-06-27 |
| | |||
* | Simplify project layout | Kristóf Marussy | 2021-06-27 |