Package org.checkerframework.checker.test.junit.ainferrunners
package org.checkerframework.checker.test.junit.ainferrunners
-
ClassesClassDescriptionTests whole-program inference with the aid of ajava files.Tests whole-program type inference with ajava files.Tests whole-program inference with the aid of ajava files.Tests whole-program type inference with ajava files.Runs whole-program inference and inserts annotations into source code.Tests whole-program type inference with the aid of .jaif files.Tests RLC-specific inference features with the aid of ajava files.Tests RLC-specific inference features with ajava files.Tests whole-program inference with the aid of ajava files.Tests whole-program type inference with ajava files.Runs whole-program inference and inserts annotations into source code.Tests whole-program type inference with the aid of .jaif files.Tests whole-program inference with the aid of stub files.Tests whole-program type inference with stub files.