Skip to content

add docs to say "Users should use net.jqwik.api.Tag rather than org.junit.jupiter.api.Tag"#193

Merged
jlink merged 1 commit into
jqwik-team:mainfrom
chia7712:MINOR-193
Jun 12, 2021
Merged

add docs to say "Users should use net.jqwik.api.Tag rather than org.junit.jupiter.api.Tag"#193
jlink merged 1 commit into
jqwik-team:mainfrom
chia7712:MINOR-193

Conversation

@chia7712

Copy link
Copy Markdown
Contributor

Overview

The junit 5 org.junit.jupiter.api.Tag does not work for jqwik and the replacement is net.jqwik.api.Tag. It seems to me that it is worth adding a doc for annotation interpretation.

Details

I file this PR for (apache/kafka#10791). Kafka leverages jqwik to write tests for new module and I just noticed that junit 5 tag is not compatible to jqwik.


I hereby agree to the terms of the jqwik Contributor Agreement.

@jlink

jlink commented May 31, 2021

Copy link
Copy Markdown
Collaborator

@chia7712 Where in the userguide/javadoc would you expect this clarification?

@chia7712

Copy link
Copy Markdown
Contributor Author

@jlink thanks for your response.

Where in the userguide/javadoc would you expect this clarification?

The Tagging Tests section in User Guide

@jlink jlink left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Sorry for my delayed feedback. There's this minor typo. If you don't find the time I can also fix it myself.


Tags must follow certain rules as described
[here](/docs/snapshot/javadoc/net/jqwik/api/Tag.html)
[here](/docs/snapshot/javadoc/net/jqwik/api/Tag.html). Noted that the `@Tag` you'll

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

"Noted that" -> "Note that"

@jlink jlink merged commit d32fc40 into jqwik-team:main Jun 12, 2021
@chia7712

Copy link
Copy Markdown
Contributor Author

@jlink thanks for approving this patch :)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants