Matheus Lenke Coutinho

Results 8 issues of 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 } ```...

bug
completion

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...

proposal
LSP

- 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...

enhancement

# 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...

enhancement

# 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...

enhancement

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 =...

enhancement

# 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...

enhancement

Two errors arised at relations: 1. Wrong cardinality order Current behavior: ``` relation A (a) [*] -- isConnectedTo -- [*] B (b) ``` Expected Behavior: ``` relation A (a) [*]...

bug