Matheus Lenke Coutinho
Matheus Lenke Coutinho
Similar to #120 I had a completion error when I invoke the completion at the position marked with `|` below: ``` entity Comment extends | { content: String } ```...
I have a proposal for better define custom semantic tokens, as this was a feature that I needed for my language # Current Behavior When using SemanticTokenAcceptor, I can only...
- Make imports recursive in order to one import automatically import every inside imports - Make validator that package cannot import itself - Allow import of folders - Packages qualified...
# Acceptance Criteria - As an user, I want to be able to declare a package with a name as a string - As an user, I want to be...
# Acceptance Criteria - As an user, I want to be able to declare a package with a name as a string - As an user, I want to be...
Example in KAOS: ``` Entity Library Has available,checkedOut,lost: setOf[BookCopy] coverageArea: setOf[Subject] Invariant (∀lib:Library)(lib = available ∪ checkedOut ∪ lost ∧ available ∩ checkedOut = ∅ ∧ available ∩ lost =...
# Acceptance Criteria - As an Tonto user, I want to be able to describe better every element that I'm creating using documentation - The description should show when hovering...
Two errors arised at relations: 1. Wrong cardinality order Current behavior: ``` relation A (a) [*] -- isConnectedTo -- [*] B (b) ``` Expected Behavior: ``` relation A (a) [*]...