| Commit message (Collapse) | Author | Age |
| |
|
| |
|
| |
|
|
|
|
| |
All Java code should have tests, anyways.
|
|
|
|
|
| |
Script plugins allow applying other plugins from plugins { } blocks,
which simplifies the build script.
|
|
|
|
|
|
|
|
|
|
|
| |
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.
|
| |
|
|\
| |
| | |
Xtext formatter support
|
| |
| |
| |
| |
| |
| |
| |
| |
| | |
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.
|
| |
| |
| |
| |
| |
| | |
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.
|
|/
|
|
|
|
|
|
|
| |
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.
|
| |
|
|\
| |
| | |
Make sure Xtext serialization works
|
| |
| |
| |
| |
| | |
Prefer the ! and ? operators instead of : false and : unknown and omit
: true when serializing assertions.
|
| | |
|
|/
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
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.
|
|\
| |
| | |
Rename unique to individual
|
|/
|
|
| |
Suggestion by @vincemolnar to match SysML V2 terminology more closely.
|
|\
| |
| | |
More CodeMirrror fixes
|
| |
| |
| |
| |
| | |
Move information about which tokens should support implicit completions
into the Lezer grammar.
|
| |
| |
| |
| |
| | |
Contextual keywords make Xtext parsing more complicated and degrade
content assist.
|
| | |
|
| |
| |
| |
| |
| |
| | |
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.
|
| |
| |
| |
| |
| |
| |
| | |
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).
|
|/
|
|
|
|
|
|
|
|
| |
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.
|
|\
| |
| | |
Fix Sonar warnings introduced by CodeMirror 6 migration
|
|/ |
|
|\
| |
| | |
Switch to CodeMirror 6 editor and WebSocket-based transport for Xtext
|
| | |
|
| |
| |
| |
| |
| |
| | |
Only return find occurrences results for NamedElement instances,
as other objects cannot be referenced by name and thus cannot have any
references at all.
|
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| | |
In some resource-constrained environments (e.g., my VPS with 2 vCPUs),
it was possible for validation and highlighting precomputation to be
finished before the server responded to a deltaText updating completion
request (updating completion take longer than a normal update, because
they also have to compute the completions). Therefore, the client
received push messages about a stateId it didn't know about yet.
To fix this, we delay any push messages originating during servicing a
call to be sent after the call is serviced. Thus the client first
receives the updating completion response with the new stateId, followed
by the push messages relating to that stateId.
|
| | |
|
| |
| |
| |
| |
| | |
Do not misuse ToggleButtons as ImageButtons when there's no toggled
state.
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| |
| |
| |
| |
| | |
extract utils/ConditionVariable from xtext/UpdateService as a generally
useful utility class for waiting for conditions
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|