Package org.checkerframework.framework.testchecker.typedecldefault.quals
package org.checkerframework.framework.testchecker.typedecldefault.quals
-
Annotation InterfacesClassDescriptionA polymorphic qualifier for the TypeDeclDefault type system.TypeDeclDefault bottom qualifier.TypeDeclDefault middle qualifier.This is the top qualifier of the TypeDeclDefault type system.