Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[Enhancement]: Add /doc command. #66

Open
revelcw opened this issue Dec 22, 2022 · 7 comments
Open

[Enhancement]: Add /doc command. #66

revelcw opened this issue Dec 22, 2022 · 7 comments
Assignees
Labels
enhancement New feature or request low priority

Comments

@revelcw
Copy link
Contributor

revelcw commented Dec 22, 2022

Explain your idea.

Add a /doc command to the bot that pulls up information about a method/class, including parameters and return type. A similar implementation as this although it could be simpler, without all the buttons to expand would be fine. The embed should have a link to the spigot docs, a code block with the usage, the JavaDoc description, and resolving any link tags in @see tags and JavaDoc links.

https://github.com/I-Al-Istannen/Doctor

This could be useful. This repo makes a SQL database with all the indexed JavaDoc comments and allows querying on that database.
https://github.com/I-Al-Istannen/JavadocIndexer

How could you do this differently

Just add a .queue() to the end of the line. 😃

Anything else?

No response

@revelcw revelcw added the enhancement New feature or request label Dec 22, 2022
@Nuckerr Nuckerr self-assigned this Dec 24, 2022
@stephendotgg
Copy link
Member

This would be super cool

@stephendotgg
Copy link
Member

Josh & i tackling tonight

@stephendotgg stephendotgg assigned joshbker and stephendotgg and unassigned Nuckerr Aug 22, 2023
@Dawsson
Copy link
Member

Dawsson commented Sep 2, 2023

Josh & i tackling tonight

was not tackled tonight.

@joshbker
Copy link
Member

joshbker commented Sep 2, 2023

Josh & i tackling tonight

was not tackled tonight.

Well... it was. It was just the biggest rugby player you've ever seen so we had a tough time tackling him down...

@stephendotgg
Copy link
Member

To be fair it was tackled we just lost.

@Dawsson
Copy link
Member

Dawsson commented Oct 23, 2023

Hi, any updates?

@joshbker
Copy link
Member

joshbker commented Nov 2, 2023

Nope, I'll look at improving what we wrote in a few weeks

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request low priority
Projects
None yet
Development

No branches or pull requests

5 participants