typetools / typetools/checker-framework

Whole-program inference test produces spurious output

Open
#892 0 comments 0 reactions 1 assignee View on GitHub

@pbsf is already working on this.

Since Sep 1, 2016.

Dominant language
Java
Stars
1.1k
Forks
440
Avg merge
1d 12h
Merged PRs (30d)
134

Description

In framework run ant whole-program-inference-tests.
For me this produces the following spurious output:

    [apply] Warning: IndexFileSpecification did not find classfile for: AnnotationWithFieldTest
    [apply] Warning: IndexFileSpecification did not find classfile for: AnotherClass
    [apply] Warning: IndexFileSpecification did not find classfile for: CompoundTypeTest
    [apply] Warning: IndexFileSpecification did not find classfile for: ConstructorTest
    [apply] Warning: IndexFileSpecification did not find classfile for: ExpectedErrors
    [apply] Warning: IndexFileSpecification did not find classfile for: Generic
    [apply] Warning: IndexFileSpecification did not find classfile for: IgnoreMetaAnnotationTest1
    [apply] Warning: IndexFileSpecification did not find classfile for: LUBAssignmentTest
    [apply] Warning: IndexFileSpecification did not find classfile for: MethodParameterInferenceTest
    [apply] Warning: IndexFileSpecification did not find classfile for: MethodReturnTest$InnerClass
    [apply] Warning: IndexFileSpecification did not find classfile for: MethodReturnTest
    [apply] Warning: IndexFileSpecification did not find classfile for: OverriddenMethodsTestChild
    [apply] Warning: IndexFileSpecification did not find classfile for: ParameterInferenceTest
    [apply] Warning: IndexFileSpecification did not find classfile for: PublicFieldTest
    [apply] Warning: IndexFileSpecification did not find classfile for: StringConcatenationTest
    [apply] Found class CompoundTypeTest, but unable to insert @tests.wholeprograminference.qual.Sibling2:
    [apply]   @tests.wholeprograminference.qual.Sibling2 (nl=true) @ {GENERIC_ARRAY_LOCATION=GenericArrayLocationCriterion at outermost type, RETURN_TYPE=ReturnTypeCriterion for method: getCompoundType()[Ljava/lang/Object;, IN_METHOD=in method 'getCompoundType()[Ljava/lang/Object;', IN_CLASS=In class 'CompoundTypeTest' (exactly)}

Are these warnings pointing at some problems in the test setup?

Contributor guide

Open the contributing guide

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.