aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAge
* build(deps): bump nanoid from 3.1.30 to 3.1.31dependabot/npm_and_yarn/nanoid-3.1.31Libravatar dependabot[bot]2022-02-04
| | | | | | | | | | | | | | Bumps [nanoid](https://github.com/ai/nanoid) from 3.1.30 to 3.1.31. - [Release notes](https://github.com/ai/nanoid/releases) - [Changelog](https://github.com/ai/nanoid/blob/main/CHANGELOG.md) - [Commits](https://github.com/ai/nanoid/compare/3.1.30...3.1.31) --- updated-dependencies: - dependency-name: nanoid dependency-type: direct:production ... Signed-off-by: dependabot[bot] <support@github.com>
* Merge pull request #18 from kris7t/releng-docsLibravatar Kristóf Marussy2022-02-04
|\ | | | | Restructure project
| * chore(frontend): bump frontend dependenciesLibravatar Kristóf Marussy2021-12-14
| |
| * build: make sure slf4j is used instead of log4jLibravatar Kristóf Marussy2021-12-14
| |
| * docs: use eclipse 2021-12Libravatar Kristóf Marussy2021-12-14
| |
| * build: separate module for frontendLibravatar Kristóf Marussy2021-12-14
| | | | | | | | | | This allows us to simplify the webpack configuration and the gradle build scripts.
| * build: move modules into subproject directoryLibravatar Kristóf Marussy2021-12-12
| |
| * build: refactor java-application conventionsLibravatar Kristóf Marussy2021-12-12
| |
| * chore: bump gradle dependency versionsLibravatar Kristóf Marussy2021-12-12
| |
| * build: add versions plugin to monitor updatesLibravatar Kristóf Marussy2021-12-12
| |
| * chore(web): bump frontend dependenciesLibravatar Kristóf Marussy2021-12-12
| |
| * chore: bump typescript to 4.5Libravatar Kristóf Marussy2021-11-21
| | | | | | | | | | Also requires yarn 3.2.0-rc.5 due to https://github.com/yarnpkg/berry/issues/3722
| * chore: yarn tsserver sdk supportLibravatar Kristóf Marussy2021-11-21
| | | | | | | | See https://yarnpkg.com/getting-started/editor-sdks/#emacs for more info
| * ci: do not modify yarn lockfile in ciLibravatar Kristóf Marussy2021-11-21
| |
| * ci: make sonar analysis conditionalLibravatar Kristóf Marussy2021-11-21
| | | | | | | | | | | | | | | | | | | | | | | | Check for the presence of the secret directly (instead of whether we're in a pull request) for a more robust CI. We check the secret according to https://github.community/t/how-can-i-test-if-secrets-are-available-in-an-action/17911 To determine the clone depth (deep for sonar analysis, shallow otherwise) we use the "fake ternary" method from https://github.community/t/do-expressions-support-ternary-operators-to-change-their-returned-value/18114
| * chore: remove MANIFEST.MFLibravatar Kristóf Marussy2021-11-21
| | | | | | | | | | File was accidentally extrated from language.jar and added to the repository.
| * build: move to yarn workspacesLibravatar Kristóf Marussy2021-11-21
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | The root project (worktree) must have a valid package.json, .yarnrc.yaml, and have the gradle precompiled script plugin refinery-frontend-worktree applied to it. All frontend modules (workspaces) must have a valid package.json, be referenced in the worktree project.json, and be a valid gradle subproject with the gradle precompiled script plugin refinery-frontend-workspace applied to it. To reduce unnecessary downloads, we do the following workarounds: * The node version is pinned in gradle.properties and the installed node version is stored in .node/frontend.properties. A new node version is only downloaded if it differs from the installed one (or none is installed). This improves on the default gradle behavior, which would download a new node version if the classpath of the installNode task was changed. * The yarn classic version is pinned in gradle.properties and the installed yarn classic version is stored in .node/frontend.properties. This improves on the default gradle behavior, which would reinstall the yarn npm package at every build. * We disable the enableYarnBerry task, since a yarn berry version is already committed into the repository at .yarn/versions as it is recommended in http://yarnpkg.com/getting-started/qa/ * We use yarn set version --only-if-needed in the installYarn task. * The installFrontend task takes package.json and yarn.lock as inputs and produces .pnp.cjs and .pnp.loader.mjs as outputs. Whether this task is up-to-date can be checked by gradle quickly, since it doesn't have to traverse the node_module folder due to pnp resoltion: https://yarnpkg.com/features/pnp/ All workspaces have the installNode, installYarnGlobally, installYarn and installFrontend tasks disabled. However, these tasks depend on the task with the same name in the worktree project, so installation is still triggered globally. Moreover, the installFrontend task in the worktree has the package.json of the workspaces as inputs, so reinstallation is triggered when the workspace package.json changes.
| * chore(web): remove eslint-plugin-sonarjsLibravatar Kristóf Marussy2021-11-20
| | | | | | | | | | It is not compatible with eslint 8 yet: https://github.com/SonarSource/eslint-plugin-sonarjs/issues/286
| * build: upgrade to yarn 3Libravatar Kristóf Marussy2021-11-20
| | | | | | | | | | | | | | Also upgrades various frontend dependencies. We can't upgrade to typescript 4.5 yet, because https://github.com/yarnpkg/berry/pull/3760 is not released yet.
| * build: fix cross-project group and version configLibravatar Kristóf Marussy2021-11-19
| |
| * build: fix cross-project sonar configurationLibravatar Kristóf Marussy2021-11-19
| |
| * build: bump gradle version to 7.3Libravatar Kristóf Marussy2021-11-18
| |
| * build: library and application convetion pluginsLibravatar Kristóf Marussy2021-11-17
| |
| * build: merge java and junit conventionsLibravatar Kristóf Marussy2021-11-17
| | | | | | | | All Java code should have tests, anyways.
| * build: move scripts into script pluginsLibravatar Kristóf Marussy2021-11-17
| | | | | | | | | | Script plugins allow applying other plugins from plugins { } blocks, which simplifies the build script.
| * build: use version catalogsLibravatar Kristóf Marussy2021-11-16
|/ | | | | | | | | | | Gradle version catalogs allow centralized management of dependency artifact coordinates using a toml file. Previously, we use the gradle.properties file, which cannot manage group and name coordinates, only versions. Node and yarn versions still have to be in gradle.properties, because they do not correspond to any coordiates of a maven artifact.
* chore(web): fix Sonar issueLibravatar Kristóf Marussy2021-11-16
|
* Merge pull request #13 from kris7t/xtext-formatterLibravatar Kristóf Marussy2021-11-16
|\ | | | | Xtext formatter support
| * feat(web): xtext formatter clientLibravatar Kristóf Marussy2021-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.
| * chore(web): json validation with zodLibravatar Kristóf Marussy2021-11-16
| | | | | | | | | | | | Use the zod library instead of manually written type assertions for validating json messages from the server. This makes it easier to add and handle new messages.
| * feat(lang): basic formattingLibravatar Kristóf Marussy2021-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 issueLibravatar Kristóf Marussy2021-11-06
|
* Merge pull request #12 from kris7t/xtext-serializationLibravatar Kristóf Marussy2021-11-06
|\ | | | | Make sure Xtext serialization works
| * chore(lang): seralize assertions in short formLibravatar Kristóf Marussy2021-11-06
| | | | | | | | | | Prefer the ! and ? operators instead of : false and : unknown and omit : true when serializing assertions.
| * chore(lang): shorten keyword individual -> indivLibravatar Kristóf Marussy2021-11-06
| |
| * fix(lang): mark transient referencesLibravatar Kristóf Marussy2021-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.
* Merge pull request #11 from kris7t/unique-to-individualLibravatar Kristóf Marussy2021-11-05
|\ | | | | Rename unique to individual
| * chore: rename unique to individualLibravatar Kristóf Marussy2021-11-05
|/ | | | Suggestion by @vincemolnar to match SysML V2 terminology more closely.
* Merge pull request #10 from kris7t/cm6-fixesLibravatar Kristóf Marussy2021-11-05
|\ | | | | More CodeMirrror fixes
| * chore(web): implicit completion info in grammarLibravatar Kristóf Marussy2021-11-05
| | | | | | | | | | Move information about which tokens should support implicit completions into the Lezer grammar.
| * fix(lang): make default and scope non-contextualLibravatar Kristóf Marussy2021-11-05
| | | | | | | | | | Contextual keywords make Xtext parsing more complicated and degrade content assist.
| * feat(lang): add example validation checksLibravatar Kristóf Marussy2021-11-05
| |
| * fix(web): fix fold gutter stylingLibravatar Kristóf Marussy2021-11-05
| | | | | | | | | | | | We can't seem to be able to style the fold gutter in the current line to set its background color, so we set the background of the whole gutter instead.
| * fix(language): hide current implicit proposalLibravatar Kristóf Marussy2021-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).
| * fix(web): fix autocomplete prefix behaviorLibravatar Kristóf Marussy2021-11-03
|/ | | | | | | | | | Always try to complete the current token if it is a terminal (e.g., true, false, unknown, and error after a : or an = sign). Autocomplete still only starts without being explicitly invoked if there is a QualifiedName to complete. Discard completions with a shorter prefix than the current token, because they would be filtered out by CodeMirror anyways.
* Merge pull request #9 from kris7t/cm6-sonar-fixesLibravatar Kristóf Marussy2021-10-31
|\ | | | | Fix Sonar warnings introduced by CodeMirror 6 migration
| * chore: fix Sonar warningsLibravatar Kristóf Marussy2021-10-31
|/
* Merge pull request #8 from kris7t/cm6Libravatar Kristóf Marussy2021-10-31
|\ | | | | Switch to CodeMirror 6 editor and WebSocket-based transport for Xtext
| * chore: bump dependency versionsLibravatar Kristóf Marussy2021-10-31
| |
| * fix(web): not dot display spurious occurrencesLibravatar Kristóf Marussy2021-10-31
| | | | | | | | | | | | Only return find occurrences results for NamedElement instances, as other objects cannot be referenced by name and thus cannot have any references at all.