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

Javadoc author tags are invalid HTML #1477

Closed
oowekyala opened this issue Nov 17, 2022 · 7 comments
Closed

Javadoc author tags are invalid HTML #1477

oowekyala opened this issue Nov 17, 2022 · 7 comments

Comments

@oowekyala
Copy link
Collaborator

I see everywhere in the codebase these @author tags surrounded by braces:

* @author{Marten Lohstroh <marten@berkeley.edu>}

This is invalid HTML

/home/clem/Documents/LF/lingua-franca/org.lflang/src/org/lflang/TargetProperty.java:58: error: malformed HTML
 * @author{Marten Lohstroh <marten@berkeley.edu>}
                           ^

breaks intellij's Javadoc lexer:

image

and is rendered improperly:
image

The proper way to write these author tags is without braces, and escaping the <> characters in the email

@author Marten Lohstroh &lt;marten@berkeley.edu&gt;

(or using javadoc's {@literal ...} taglet, but this is uglier IMO.)

I think we should bulk replace these at some point.

@axmmisaka
Copy link
Collaborator

I prefer using {@literal} as it is native (switch to &lt; should be easy, but this looks undoubtedly ugly......)
Alternatively, we just don't let people put email on @author; after all, our emails are available at lots of places.....
Please see https://github.com/lf-lang/lingua-franca/tree/axmmisaka/fix-javadoc-author-email

Plus when I run ./gradlew javadoc I can't seem to find author in generated docs...... interesting

@lhstrh
Copy link
Member

lhstrh commented Nov 22, 2022

@axmmisaka: I saw a recent commit somewhere that addresses this, but no corresponding PR?

@lhstrh
Copy link
Member

lhstrh commented Nov 22, 2022

BTW, we can also leave out the email addresses...

@axmmisaka
Copy link
Collaborator

@axmmisaka: I saw a recent commit somewhere that addresses this, but no corresponding PR?

I made a new branch but not PR because I don't know 1. if this is satisfactory and 2. if we want to do this (instead of just removing all emails)

@lhstrh
Copy link
Member

lhstrh commented Nov 22, 2022

Posting the PR is a way to find out :-) You can ask for reviews...

@lhstrh
Copy link
Member

lhstrh commented Nov 30, 2022

I brought this up doing our weekly meeting, and it seemed nobody minded it if we just strip the email addresses.

@axmmisaka
Copy link
Collaborator

Since #1486 was merged long ago I think this can be closed.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants