search

eisop / checker-framework

Pluggable type-checking for Java
https://eisop.github.io/
Other
15 stars 16 forks source link

Add DetailedTestDiagnostic #758

Open rohan-shettyy opened 2 months ago

rohan-shettyy commented 2 months ago

Create DetailedTestDiagnostic class that extends TestDiagnostic. Will be created for Java diagnostic messages when -Adetailedmsgtext flag is used.

Ao-senXiong commented 2 months ago

@rohan-shettyy Could you check the log and add some javadoc to the files?

git diff 32641079504e1f5e5d01b36636dfef94478cf966...ee54cd4e61fa6fd53a3f70c45e32f65eb927e54b > /tmp/diff.txt
framework-test/src/main/java/org/checkerframework/framework/test/diagnostics/DetailedTestDiagnostic.java:49:5: missing documentation for getAdditionalTokens
framework-test/src/main/java/org/checkerframework/framework/test/diagnostics/DetailedTestDiagnostic.java:53:5: missing documentation for getStartPosition
framework-test/src/main/java/org/checkerframework/framework/test/diagnostics/DetailedTestDiagnostic.java:57:5: missing documentation for getEndPosition
framework-test/src/main/java/org/checkerframework/framework/test/diagnostics/DetailedTestDiagnostic.java:61:5: missing documentation for getErrorKey
+ status=1
+ ./gradlew javadocDoclintAll --console=plain --warning-mode=all
+ true
+ /__w/1/s/checker/bin-devel/.plume-scripts/ci-lint-diff /tmp/warnings-jda.txt
git diff 32641079504e1f5e5d01b36636dfef94478cf966...ee54cd4e61fa6fd53a3f70c45e32f65eb927e54b > /tmp/diff.txt
/__w/1/s/framework-test/src/main/java/org/checkerframework/framework/test/diagnostics/DetailedTestDiagnostic.java:31: warning: no @param for file
/__w/1/s/framework-test/src/main/java/org/checkerframework/framework/test/diagnostics/DetailedTestDiagnostic.java:31: warning: no @param for lineNo
/__w/1/s/framework-test/src/main/java/org/checkerframework/framework/test/diagnostics/DetailedTestDiagnostic.java:31: warning: no @param for kind
/__w/1/s/framework-test/src/main/java/org/checkerframework/framework/test/diagnostics/DetailedTestDiagnostic.java:31: warning: no @param for errorKey
/__w/1/s/framework-test/src/main/java/org/checkerframework/framework/test/diagnostics/DetailedTestDiagnostic.java:31: warning: no @param for additionalTokens
/__w/1/s/framework-test/src/main/java/org/checkerframework/framework/test/diagnostics/DetailedTestDiagnostic.java:31: warning: no @param for startPosition
/__w/1/s/framework-test/src/main/java/org/checkerframework/framework/test/diagnostics/DetailedTestDiagnostic.java:31: warning: no @param for endPosition
/__w/1/s/framework-test/src/main/java/org/checkerframework/framework/test/diagnostics/DetailedTestDiagnostic.java:31: warning: no @param for readableMessage
/__w/1/s/framework-test/src/main/java/org/checkerframework/framework/test/diagnostics/DetailedTestDiagnostic.java:31: warning: no @param for isFixable
/__w/1/s/framework-test/src/main/java/org/checkerframework/framework/test/diagnostics/DetailedTestDiagnostic.java:49: warning: no comment
/__w/1/s/framework-test/src/main/java/org/checkerframework/framework/test/diagnostics/DetailedTestDiagnostic.java:57: warning: no comment
/__w/1/s/framework-test/src/main/java/org/checkerframework/framework/test/diagnostics/DetailedTestDiagnostic.java:61: warning: no comment
/__w/1/s/framework-test/src/main/java/org/checkerframework/framework/test/diagnostics/DetailedTestDiagnostic.java:53: warning: no comment