
Android SDK at /Users/pedromassango/Library/Android/sdk.Flutter version 1.27.0-5.0.pre.94 at /Users/pedromassango/Code/flutter_master.
Android Studio at C: \Program Files \Android \Android Studio.
Chrome at C: \Program Files (x86) \Google \Chrome \Application \chrome.exe. Java version OpenJDK Runtime Environment (build 1.8.0_242-release-1644-b01). Java binary at: C: \Program Files \Android \Android Studio \jre \bin \java. Platform android-30, build-tools 30.0.2. Android toolchain - develop for Android devices (Android SDK version 30.0.2) Flutter version 1.26.0-17.6.pre at D: \flutterdevelopment \flutter. assembleCheckTypes.Flutter (Channel beta, 1.26.0-17.6.pre, on Microsoft Windows, locale zh-TW) We have only specified a configuration with that name. This cannot work, because there is no gradle task named checkTypes. One problem with the docs is that a wrong gradle command is specified I followed the docs in chapter 31.5 Android Studio 3.0 and the Android Gradle Plugin 3.0 Now that the java-module works, I have tried to activate the checker-framework for the Android lib module: androidlib I suggest that you update the docs so that implementation is always used instead of compile. Git Tag to verify the problem: LintError_InvalidPackage. '-processorpath', "$"Īnd thus, checker-qual will also be on the compile classpath of the androidlib module, which causes the exception: Git Tag to verify the problem: GStringImpl_vs_String. When the adle file is used as it is now, it fails with this error: I followed chapter 31.4 Gradle in the docs and found some problems GStringImpl vs. javalib: a "normal" Java module (jar) - no Android dependencyįirst I've tried to activate the checker-framework for the javalib only. I've created a minimal test project to verify the issue: