Error importing checkers into project files

15 views
Skip to first unread message

PRITI CHATTOPADHYAY

unread,
May 23, 2020, 9:54:17 AM5/23/20
to Michael Ernst, checker-fra...@googlegroups.com
Hello,

I adjusted the maven build system for jdk11 following the instructions present in the manual. I tried compiling the project using `mvn compile` and it displayed appropriate errors thrown by the nullness checker. But when I try to import org.checkerframework.checker.nullness.qual.Nullable; in any java file, an error is thrown as shown below

 /home/pchattopadhyay/gsoc/current/gson/gson/src/main/java/com/google/gson/internal/bind/JsonTreeReader.java:[26,20] error: package org.checkerframework.checker.nullness.qual is not visible
[ERROR]   (package org.checkerframework.checker.nullness.qual is declared in the unnamed module, but module org.checkerframework.checker.nullness.qual does not read it)


gson is a named module which tries to import the checker file present in an unnamed module. If I remove module-info.java file from the project I'm able to resolve this error temporarily and add annotations as required. Could you help me fix this conflict of named and unnamed module?

-Priti.

Billy Larouche-juteau

unread,
May 24, 2020, 7:29:22 AM5/24/20
to checker-framework-gsoc
Bien sur vous devez simplement ajustez vos fichiers en conséquence. Premier conseil a suovre enregistré vos données comme elles sont présentement. Ensuite remplacer le produit en question de sorte que même si une erreur est commise vous puissiez recommencer.
Si ça ne fonctionne par peut-être avez-vous oublié une étape dans vôtre démarche
Reply all
Reply to author
Forward
0 new messages