Package org.checkerframework.framework.testchecker.testaccumulation.qual
package org.checkerframework.framework.testchecker.testaccumulation.qual
-
ClassDescriptionPolymorphic qualifier for the test accumulation type system.A test accumulation analysis qualifier.A test bottom type for an accumulation type system.A test accumulation predicate annotation.