Skip to content
This repository was archived by the owner on Jan 19, 2025. It is now read-only.

API Editor: Additional Filter commands #487

Closed
5 tasks done
GideonKoenig opened this issue May 13, 2022 · 0 comments · Fixed by #504
Closed
5 tasks done

API Editor: Additional Filter commands #487

GideonKoenig opened this issue May 13, 2022 · 0 comments · Fixed by #504
Assignees
Labels
enhancement 💡 New feature or request

Comments

@GideonKoenig
Copy link
Contributor

GideonKoenig commented May 13, 2022

Is your feature request related to a problem? Please describe

Currently there are very little options for filtering.

Desired solution

Add ways to filter on declaration type, name, annotations status, annotation type. Also add the negation of every existing and new filter option.

Additional context

The Code for this can be found in "api-editor/gui". The language is TypeScript.

Gewünschte Filter (mehrere möglich, implizite Konjunktion):
Zeige nur bestimmte Deklarationsarten¹

  • is:class ("module" , "class", "function", "parameter")

Zeige nur Deklarationen mit Namen xy

  • hasName:xy name:xy

Zeige nur Deklarationen mit irgendeiner Annotation

  • is:annotated annotation:any

Zeige nur Deklarationen mit Annotation xy

  • hasAnnotation:boundary annotation:@boundary

Negation dieser Filter

  • !is:class

Old commands like "module:" , "class: ", "function: ", "parameter: " should be deleted.

@GideonKoenig GideonKoenig added the enhancement 💡 New feature or request label May 13, 2022
@lars-reimann lars-reimann moved this to Backlog in API Editor May 13, 2022
@GideonKoenig GideonKoenig changed the title Verbesserte Filter API Editor: Improved Filter commands May 13, 2022
@GideonKoenig GideonKoenig changed the title API Editor: Improved Filter commands API Editor: Improve Filter commands May 13, 2022
@GideonKoenig GideonKoenig changed the title API Editor: Improve Filter commands API Editor: Additional Filter commands May 13, 2022
@GideonKoenig GideonKoenig moved this from Backlog to Todo in API Editor May 13, 2022
@jofaul jofaul moved this from Todo to In Progress in API Editor May 13, 2022
jofaul added a commit that referenced this issue May 20, 2022
… in filter (#487).

Removed static resources from git.
jofaul added a commit that referenced this issue May 20, 2022
* Feat: Added help button with documentation ready for upcoming changes in filter (#487).
Removed static resources from git.

* style: apply automatic fixes of linters

* style: remove comment

Co-authored-by: jofaul <[email protected]>
Co-authored-by: GideonKoenig <[email protected]>
Co-authored-by: Lars Reimann <[email protected]>
@lars-reimann lars-reimann self-assigned this May 23, 2022
@lars-reimann lars-reimann moved this from In Progress to Ready for Review in API Editor May 25, 2022
Repository owner moved this from Ready for Review to ✔️ Done in API Editor May 27, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
enhancement 💡 New feature or request
Projects
None yet
4 participants