Don't use private, protected, or package-private argument types as parameter types #105
check_compilable_percentage.yml
on: pull_request
specimin-evaluation
1h 25m
Annotations
19 errors
specimin-evaluation
Process completed with exit code 1.
|
specimin-evaluation
org/checkerframework/specimin/UnsolvedClassOrInterface
|
specimin-evaluation
[{E=[]}]
|
specimin-evaluation
"." "."
|
specimin-evaluation
"." "."
|
specimin-evaluation
"." "."
|
specimin-evaluation
"," ","
|
specimin-evaluation
ResolvedArrayType{ReferenceType{java.lang.Object, typeParametersMap=TypeParametersMap{nameToValue={}}}} is not a Reference Type
|
specimin-evaluation
org/checkerframework/specimin/UnsolvedClassOrInterface
|
specimin-evaluation
org/checkerframework/specimin/UnsolvedClassOrInterface
|
specimin-evaluation
org/checkerframework/specimin/UnsolvedClassOrInterface
|
specimin-evaluation
"." "."
|
specimin-evaluation
"." "."
|
specimin-evaluation
[{E=[]}]
|
specimin-evaluation
"." "."
|
specimin-evaluation
"," ","
|
specimin-evaluation
ResolvedArrayType{ReferenceType{java.lang.Object, typeParametersMap=TypeParametersMap{nameToValue={}}}} is not a Reference Type
|
specimin-evaluation
org/checkerframework/specimin/UnsolvedClassOrInterface
|
specimin-evaluation
org/checkerframework/specimin/UnsolvedClassOrInterface
|