META-INF/
META-INF/MANIFEST.MF
META-INF/LICENSE.txt
org/
org/checkerframework/
org/checkerframework/checker/
org/checkerframework/checker/builder/
org/checkerframework/checker/builder/qual/
org/checkerframework/checker/builder/qual/CalledMethods.class
CalledMethods.java
package org.checkerframework.checker.builder.qual
public abstract annotation org.checkerframework.checker.builder.qual.CalledMethods extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.String[] value () 
}

org/checkerframework/checker/builder/qual/NotCalledMethods.class
NotCalledMethods.java
package org.checkerframework.checker.builder.qual
public abstract annotation org.checkerframework.checker.builder.qual.NotCalledMethods extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.String[] value () 
}

org/checkerframework/checker/builder/qual/ReturnsReceiver.class
ReturnsReceiver.java
package org.checkerframework.checker.builder.qual
public abstract annotation org.checkerframework.checker.builder.qual.ReturnsReceiver extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/calledmethods/
org/checkerframework/checker/calledmethods/qual/
org/checkerframework/checker/calledmethods/qual/CalledMethods.class
CalledMethods.java
package org.checkerframework.checker.calledmethods.qual
public abstract annotation org.checkerframework.checker.calledmethods.qual.CalledMethods extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.String[] value () 
}

org/checkerframework/checker/calledmethods/qual/CalledMethodsBottom.class
CalledMethodsBottom.java
package org.checkerframework.checker.calledmethods.qual
public abstract annotation org.checkerframework.checker.calledmethods.qual.CalledMethodsBottom extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/calledmethods/qual/CalledMethodsPredicate.class
CalledMethodsPredicate.java
package org.checkerframework.checker.calledmethods.qual
public abstract annotation org.checkerframework.checker.calledmethods.qual.CalledMethodsPredicate extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.String value () 
}

org/checkerframework/checker/calledmethods/qual/EnsuresCalledMethods.class
EnsuresCalledMethods.java
package org.checkerframework.checker.calledmethods.qual
public abstract annotation org.checkerframework.checker.calledmethods.qual.EnsuresCalledMethods extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.String[] value () 
	public abstract java.lang.String[] methods () 
}

org/checkerframework/checker/calledmethods/qual/EnsuresCalledMethodsIf$List.class
EnsuresCalledMethodsIf.java
package org.checkerframework.checker.calledmethods.qual
public abstract annotation org.checkerframework.checker.calledmethods.qual.EnsuresCalledMethodsIf$List extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract org.checkerframework.checker.calledmethods.qual.EnsuresCalledMethodsIf[] value () 
}

org/checkerframework/checker/calledmethods/qual/EnsuresCalledMethodsIf.class
EnsuresCalledMethodsIf.java
package org.checkerframework.checker.calledmethods.qual
public abstract annotation org.checkerframework.checker.calledmethods.qual.EnsuresCalledMethodsIf extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.String[] expression () 
	public abstract boolean result () 
	public abstract java.lang.String[] methods () 
}

org/checkerframework/checker/compilermsgs/
org/checkerframework/checker/compilermsgs/qual/
org/checkerframework/checker/compilermsgs/qual/CompilerMessageKey.class
CompilerMessageKey.java
package org.checkerframework.checker.compilermsgs.qual
public abstract annotation org.checkerframework.checker.compilermsgs.qual.CompilerMessageKey extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/compilermsgs/qual/CompilerMessageKeyBottom.class
CompilerMessageKeyBottom.java
package org.checkerframework.checker.compilermsgs.qual
public abstract annotation org.checkerframework.checker.compilermsgs.qual.CompilerMessageKeyBottom extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/compilermsgs/qual/UnknownCompilerMessageKey.class
UnknownCompilerMessageKey.java
package org.checkerframework.checker.compilermsgs.qual
public abstract annotation org.checkerframework.checker.compilermsgs.qual.UnknownCompilerMessageKey extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/fenum/
org/checkerframework/checker/fenum/qual/
org/checkerframework/checker/fenum/qual/AwtAlphaCompositingRule.class
AwtAlphaCompositingRule.java
package org.checkerframework.checker.fenum.qual
public abstract annotation org.checkerframework.checker.fenum.qual.AwtAlphaCompositingRule extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/fenum/qual/AwtColorSpace.class
AwtColorSpace.java
package org.checkerframework.checker.fenum.qual
public abstract annotation org.checkerframework.checker.fenum.qual.AwtColorSpace extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/fenum/qual/AwtCursorType.class
AwtCursorType.java
package org.checkerframework.checker.fenum.qual
public abstract annotation org.checkerframework.checker.fenum.qual.AwtCursorType extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/fenum/qual/AwtFlowLayout.class
AwtFlowLayout.java
package org.checkerframework.checker.fenum.qual
public abstract annotation org.checkerframework.checker.fenum.qual.AwtFlowLayout extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/fenum/qual/Fenum.class
Fenum.java
package org.checkerframework.checker.fenum.qual
public abstract annotation org.checkerframework.checker.fenum.qual.Fenum extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.String value () 
}

org/checkerframework/checker/fenum/qual/FenumBottom.class
FenumBottom.java
package org.checkerframework.checker.fenum.qual
public abstract annotation org.checkerframework.checker.fenum.qual.FenumBottom extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/fenum/qual/FenumTop.class
FenumTop.java
package org.checkerframework.checker.fenum.qual
public abstract annotation org.checkerframework.checker.fenum.qual.FenumTop extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/fenum/qual/FenumUnqualified.class
FenumUnqualified.java
package org.checkerframework.checker.fenum.qual
public abstract annotation org.checkerframework.checker.fenum.qual.FenumUnqualified extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/fenum/qual/PolyFenum.class
PolyFenum.java
package org.checkerframework.checker.fenum.qual
public abstract annotation org.checkerframework.checker.fenum.qual.PolyFenum extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/fenum/qual/SwingBoxOrientation.class
SwingBoxOrientation.java
package org.checkerframework.checker.fenum.qual
public abstract annotation org.checkerframework.checker.fenum.qual.SwingBoxOrientation extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/fenum/qual/SwingCompassDirection.class
SwingCompassDirection.java
package org.checkerframework.checker.fenum.qual
public abstract annotation org.checkerframework.checker.fenum.qual.SwingCompassDirection extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/fenum/qual/SwingElementOrientation.class
SwingElementOrientation.java
package org.checkerframework.checker.fenum.qual
public abstract annotation org.checkerframework.checker.fenum.qual.SwingElementOrientation extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/fenum/qual/SwingHorizontalOrientation.class
SwingHorizontalOrientation.java
package org.checkerframework.checker.fenum.qual
public abstract annotation org.checkerframework.checker.fenum.qual.SwingHorizontalOrientation extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/fenum/qual/SwingSplitPaneOrientation.class
SwingSplitPaneOrientation.java
package org.checkerframework.checker.fenum.qual
public abstract annotation org.checkerframework.checker.fenum.qual.SwingSplitPaneOrientation extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/fenum/qual/SwingTextOrientation.class
SwingTextOrientation.java
package org.checkerframework.checker.fenum.qual
public abstract annotation org.checkerframework.checker.fenum.qual.SwingTextOrientation extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/fenum/qual/SwingTitleJustification.class
SwingTitleJustification.java
package org.checkerframework.checker.fenum.qual
public abstract annotation org.checkerframework.checker.fenum.qual.SwingTitleJustification extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/fenum/qual/SwingTitlePosition.class
SwingTitlePosition.java
package org.checkerframework.checker.fenum.qual
public abstract annotation org.checkerframework.checker.fenum.qual.SwingTitlePosition extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/fenum/qual/SwingVerticalOrientation.class
SwingVerticalOrientation.java
package org.checkerframework.checker.fenum.qual
public abstract annotation org.checkerframework.checker.fenum.qual.SwingVerticalOrientation extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/formatter/
org/checkerframework/checker/formatter/qual/
org/checkerframework/checker/formatter/qual/ConversionCategory.class
ConversionCategory.java
package org.checkerframework.checker.formatter.qual
public final enum org.checkerframework.checker.formatter.qual.ConversionCategory extends java.lang.Enum {
	public static final enum org.checkerframework.checker.formatter.qual.ConversionCategory GENERAL
	public static final enum org.checkerframework.checker.formatter.qual.ConversionCategory CHAR
	public static final enum org.checkerframework.checker.formatter.qual.ConversionCategory INT
	public static final enum org.checkerframework.checker.formatter.qual.ConversionCategory FLOAT
	public static final enum org.checkerframework.checker.formatter.qual.ConversionCategory TIME
	public static final enum org.checkerframework.checker.formatter.qual.ConversionCategory CHAR_AND_INT
	public static final enum org.checkerframework.checker.formatter.qual.ConversionCategory INT_AND_TIME
	public static final enum org.checkerframework.checker.formatter.qual.ConversionCategory NULL
	public static final enum org.checkerframework.checker.formatter.qual.ConversionCategory UNUSED
	public final Class[] types
	public final String chars
	private static final synthetic org.checkerframework.checker.formatter.qual.ConversionCategory[] $VALUES
	public static org.checkerframework.checker.formatter.qual.ConversionCategory[] values () 
	public static org.checkerframework.checker.formatter.qual.ConversionCategory valueOf (java.lang.String) 
		String name
	private transient void <init> (java.lang.String, int, java.lang.String, java.lang.Class[]) 
		Class unwrapped
		Class type
		java.util.List typesWithPrimitives
		String chars
		Class[] types
	private static java.lang.Class unwrapPrimitive (java.lang.Class) 
		Class c
	public static org.checkerframework.checker.formatter.qual.ConversionCategory fromConversionChar (char) 
		org.checkerframework.checker.formatter.qual.ConversionCategory v
		char c
	private static java.util.Set arrayToSet (java.lang.Object[]) 
		Object[] a
	public static boolean isSubsetOf (org.checkerframework.checker.formatter.qual.ConversionCategory, org.checkerframework.checker.formatter.qual.ConversionCategory) 
		org.checkerframework.checker.formatter.qual.ConversionCategory a
		org.checkerframework.checker.formatter.qual.ConversionCategory b
	public static org.checkerframework.checker.formatter.qual.ConversionCategory intersect (org.checkerframework.checker.formatter.qual.ConversionCategory, org.checkerframework.checker.formatter.qual.ConversionCategory) 
		java.util.Set vs
		org.checkerframework.checker.formatter.qual.ConversionCategory v
		org.checkerframework.checker.formatter.qual.ConversionCategory a
		org.checkerframework.checker.formatter.qual.ConversionCategory b
		java.util.Set as
		java.util.Set bs
	public static org.checkerframework.checker.formatter.qual.ConversionCategory union (org.checkerframework.checker.formatter.qual.ConversionCategory, org.checkerframework.checker.formatter.qual.ConversionCategory) 
		java.util.Set vs
		org.checkerframework.checker.formatter.qual.ConversionCategory v
		org.checkerframework.checker.formatter.qual.ConversionCategory a
		org.checkerframework.checker.formatter.qual.ConversionCategory b
		java.util.Set as
		java.util.Set bs
	public boolean isAssignableFrom (java.lang.Class) 
		Class c
		Class argType
	public java.lang.String toString () 
		Class cls
		StringBuilder sb
		java.util.StringJoiner sj
	static void <clinit> () 
}

org/checkerframework/checker/formatter/qual/Format.class
Format.java
package org.checkerframework.checker.formatter.qual
public abstract annotation org.checkerframework.checker.formatter.qual.Format extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract org.checkerframework.checker.formatter.qual.ConversionCategory[] value () 
}

org/checkerframework/checker/formatter/qual/FormatBottom.class
FormatBottom.java
package org.checkerframework.checker.formatter.qual
public abstract annotation org.checkerframework.checker.formatter.qual.FormatBottom extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/formatter/qual/FormatMethod.class
FormatMethod.java
package org.checkerframework.checker.formatter.qual
public abstract annotation org.checkerframework.checker.formatter.qual.FormatMethod extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/formatter/qual/InvalidFormat.class
InvalidFormat.java
package org.checkerframework.checker.formatter.qual
public abstract annotation org.checkerframework.checker.formatter.qual.InvalidFormat extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.String value () 
}

org/checkerframework/checker/formatter/qual/ReturnsFormat.class
ReturnsFormat.java
package org.checkerframework.checker.formatter.qual
public abstract annotation org.checkerframework.checker.formatter.qual.ReturnsFormat extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/formatter/qual/UnknownFormat.class
UnknownFormat.java
package org.checkerframework.checker.formatter.qual
public abstract annotation org.checkerframework.checker.formatter.qual.UnknownFormat extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/guieffect/
org/checkerframework/checker/guieffect/qual/
org/checkerframework/checker/guieffect/qual/AlwaysSafe.class
AlwaysSafe.java
package org.checkerframework.checker.guieffect.qual
public abstract annotation org.checkerframework.checker.guieffect.qual.AlwaysSafe extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/guieffect/qual/PolyUI.class
PolyUI.java
package org.checkerframework.checker.guieffect.qual
public abstract annotation org.checkerframework.checker.guieffect.qual.PolyUI extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/guieffect/qual/PolyUIEffect.class
PolyUIEffect.java
package org.checkerframework.checker.guieffect.qual
public abstract annotation org.checkerframework.checker.guieffect.qual.PolyUIEffect extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/guieffect/qual/PolyUIType.class
PolyUIType.java
package org.checkerframework.checker.guieffect.qual
public abstract annotation org.checkerframework.checker.guieffect.qual.PolyUIType extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/guieffect/qual/SafeEffect.class
SafeEffect.java
package org.checkerframework.checker.guieffect.qual
public abstract annotation org.checkerframework.checker.guieffect.qual.SafeEffect extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/guieffect/qual/SafeType.class
SafeType.java
package org.checkerframework.checker.guieffect.qual
public abstract annotation org.checkerframework.checker.guieffect.qual.SafeType extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/guieffect/qual/UI.class
UI.java
package org.checkerframework.checker.guieffect.qual
public abstract annotation org.checkerframework.checker.guieffect.qual.UI extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/guieffect/qual/UIEffect.class
UIEffect.java
package org.checkerframework.checker.guieffect.qual
public abstract annotation org.checkerframework.checker.guieffect.qual.UIEffect extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/guieffect/qual/UIPackage.class
UIPackage.java
package org.checkerframework.checker.guieffect.qual
public abstract annotation org.checkerframework.checker.guieffect.qual.UIPackage extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/guieffect/qual/UIType.class
UIType.java
package org.checkerframework.checker.guieffect.qual
public abstract annotation org.checkerframework.checker.guieffect.qual.UIType extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/i18n/
org/checkerframework/checker/i18n/qual/
org/checkerframework/checker/i18n/qual/LocalizableKey.class
LocalizableKey.java
package org.checkerframework.checker.i18n.qual
public abstract annotation org.checkerframework.checker.i18n.qual.LocalizableKey extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/i18n/qual/LocalizableKeyBottom.class
LocalizableKeyBottom.java
package org.checkerframework.checker.i18n.qual
public abstract annotation org.checkerframework.checker.i18n.qual.LocalizableKeyBottom extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/i18n/qual/Localized.class
Localized.java
package org.checkerframework.checker.i18n.qual
public abstract annotation org.checkerframework.checker.i18n.qual.Localized extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/i18n/qual/UnknownLocalizableKey.class
UnknownLocalizableKey.java
package org.checkerframework.checker.i18n.qual
public abstract annotation org.checkerframework.checker.i18n.qual.UnknownLocalizableKey extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/i18n/qual/UnknownLocalized.class
UnknownLocalized.java
package org.checkerframework.checker.i18n.qual
public abstract annotation org.checkerframework.checker.i18n.qual.UnknownLocalized extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/i18nformatter/
org/checkerframework/checker/i18nformatter/qual/
org/checkerframework/checker/i18nformatter/qual/I18nChecksFormat.class
I18nChecksFormat.java
package org.checkerframework.checker.i18nformatter.qual
public abstract annotation org.checkerframework.checker.i18nformatter.qual.I18nChecksFormat extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/i18nformatter/qual/I18nConversionCategory.class
I18nConversionCategory.java
package org.checkerframework.checker.i18nformatter.qual
public final enum org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory extends java.lang.Enum {
	public static final enum org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory UNUSED
	public static final enum org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory GENERAL
	public static final enum org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory DATE
	public static final enum org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory NUMBER
	public final Class[] types
	public final String[] strings
	static org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory[] namedCategories
	private static final synthetic org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory[] $VALUES
	public static org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory[] values () 
	public static org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory valueOf (java.lang.String) 
		String name
	private void <init> (java.lang.String, int, java.lang.Class[], java.lang.String[]) 
		Class[] types
		String[] strings
	public static org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory stringToI18nConversionCategory (java.lang.String) 
		String s
		org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory v
		String string
	private static java.util.Set arrayToSet (java.lang.Object[]) 
		Object[] a
	public static boolean isSubsetOf (org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory, org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory) 
		org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory a
		org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory b
	public static org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory intersect (org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory, org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory) 
		java.util.Set vs
		org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory v
		org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory a
		org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory b
		java.util.Set as
		java.util.Set bs
	public static org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory union (org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory, org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory) 
		org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory a
		org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory b
	public boolean isAssignableFrom (java.lang.Class) 
		Class c
		Class argType
	public java.lang.String toString () 
		Class cls
		java.util.StringJoiner sj
		StringBuilder sb
	static void <clinit> () 
}

org/checkerframework/checker/i18nformatter/qual/I18nFormat.class
I18nFormat.java
package org.checkerframework.checker.i18nformatter.qual
public abstract annotation org.checkerframework.checker.i18nformatter.qual.I18nFormat extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory[] value () 
}

org/checkerframework/checker/i18nformatter/qual/I18nFormatBottom.class
I18nFormatBottom.java
package org.checkerframework.checker.i18nformatter.qual
public abstract annotation org.checkerframework.checker.i18nformatter.qual.I18nFormatBottom extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/i18nformatter/qual/I18nFormatFor.class
I18nFormatFor.java
package org.checkerframework.checker.i18nformatter.qual
public abstract annotation org.checkerframework.checker.i18nformatter.qual.I18nFormatFor extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.String value () 
}

org/checkerframework/checker/i18nformatter/qual/I18nInvalidFormat.class
I18nInvalidFormat.java
package org.checkerframework.checker.i18nformatter.qual
public abstract annotation org.checkerframework.checker.i18nformatter.qual.I18nInvalidFormat extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.String value () 
}

org/checkerframework/checker/i18nformatter/qual/I18nMakeFormat.class
I18nMakeFormat.java
package org.checkerframework.checker.i18nformatter.qual
public abstract annotation org.checkerframework.checker.i18nformatter.qual.I18nMakeFormat extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/i18nformatter/qual/I18nUnknownFormat.class
I18nUnknownFormat.java
package org.checkerframework.checker.i18nformatter.qual
public abstract annotation org.checkerframework.checker.i18nformatter.qual.I18nUnknownFormat extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/i18nformatter/qual/I18nValidFormat.class
I18nValidFormat.java
package org.checkerframework.checker.i18nformatter.qual
public abstract annotation org.checkerframework.checker.i18nformatter.qual.I18nValidFormat extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/index/
org/checkerframework/checker/index/qual/
org/checkerframework/checker/index/qual/EnsuresLTLengthOf$List.class
EnsuresLTLengthOf.java
package org.checkerframework.checker.index.qual
public abstract annotation org.checkerframework.checker.index.qual.EnsuresLTLengthOf$List extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract org.checkerframework.checker.index.qual.EnsuresLTLengthOf[] value () 
}

org/checkerframework/checker/index/qual/EnsuresLTLengthOf.class
EnsuresLTLengthOf.java
package org.checkerframework.checker.index.qual
public abstract annotation org.checkerframework.checker.index.qual.EnsuresLTLengthOf extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.String[] value () 
	public abstract java.lang.String[] targetValue () 
	public abstract java.lang.String[] offset () 
}

org/checkerframework/checker/index/qual/EnsuresLTLengthOfIf$List.class
EnsuresLTLengthOfIf.java
package org.checkerframework.checker.index.qual
public abstract annotation org.checkerframework.checker.index.qual.EnsuresLTLengthOfIf$List extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract org.checkerframework.checker.index.qual.EnsuresLTLengthOfIf[] value () 
}

org/checkerframework/checker/index/qual/EnsuresLTLengthOfIf.class
EnsuresLTLengthOfIf.java
package org.checkerframework.checker.index.qual
public abstract annotation org.checkerframework.checker.index.qual.EnsuresLTLengthOfIf extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.String[] expression () 
	public abstract boolean result () 
	public abstract java.lang.String[] targetValue () 
	public abstract java.lang.String[] offset () 
}

org/checkerframework/checker/index/qual/GTENegativeOne.class
GTENegativeOne.java
package org.checkerframework.checker.index.qual
public abstract annotation org.checkerframework.checker.index.qual.GTENegativeOne extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/index/qual/HasSubsequence.class
HasSubsequence.java
package org.checkerframework.checker.index.qual
public abstract annotation org.checkerframework.checker.index.qual.HasSubsequence extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.String subsequence () 
	public abstract java.lang.String from () 
	public abstract java.lang.String to () 
}

org/checkerframework/checker/index/qual/IndexFor.class
IndexFor.java
package org.checkerframework.checker.index.qual
public abstract annotation org.checkerframework.checker.index.qual.IndexFor extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.String[] value () 
}

org/checkerframework/checker/index/qual/IndexOrHigh.class
IndexOrHigh.java
package org.checkerframework.checker.index.qual
public abstract annotation org.checkerframework.checker.index.qual.IndexOrHigh extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.String[] value () 
}

org/checkerframework/checker/index/qual/IndexOrLow.class
IndexOrLow.java
package org.checkerframework.checker.index.qual
public abstract annotation org.checkerframework.checker.index.qual.IndexOrLow extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.String[] value () 
}

org/checkerframework/checker/index/qual/LTEqLengthOf.class
LTEqLengthOf.java
package org.checkerframework.checker.index.qual
public abstract annotation org.checkerframework.checker.index.qual.LTEqLengthOf extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.String[] value () 
}

org/checkerframework/checker/index/qual/LTLengthOf.class
LTLengthOf.java
package org.checkerframework.checker.index.qual
public abstract annotation org.checkerframework.checker.index.qual.LTLengthOf extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.String[] value () 
	public abstract java.lang.String[] offset () 
}

org/checkerframework/checker/index/qual/LTOMLengthOf.class
LTOMLengthOf.java
package org.checkerframework.checker.index.qual
public abstract annotation org.checkerframework.checker.index.qual.LTOMLengthOf extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.String[] value () 
}

org/checkerframework/checker/index/qual/LengthOf.class
LengthOf.java
package org.checkerframework.checker.index.qual
public abstract annotation org.checkerframework.checker.index.qual.LengthOf extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.String[] value () 
}

org/checkerframework/checker/index/qual/LessThan.class
LessThan.java
package org.checkerframework.checker.index.qual
public abstract annotation org.checkerframework.checker.index.qual.LessThan extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.String[] value () 
}

org/checkerframework/checker/index/qual/LessThanBottom.class
LessThanBottom.java
package org.checkerframework.checker.index.qual
public abstract annotation org.checkerframework.checker.index.qual.LessThanBottom extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/index/qual/LessThanUnknown.class
LessThanUnknown.java
package org.checkerframework.checker.index.qual
public abstract annotation org.checkerframework.checker.index.qual.LessThanUnknown extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/index/qual/LowerBoundBottom.class
LowerBoundBottom.java
package org.checkerframework.checker.index.qual
public abstract annotation org.checkerframework.checker.index.qual.LowerBoundBottom extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/index/qual/LowerBoundUnknown.class
LowerBoundUnknown.java
package org.checkerframework.checker.index.qual
public abstract annotation org.checkerframework.checker.index.qual.LowerBoundUnknown extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/index/qual/NegativeIndexFor.class
NegativeIndexFor.java
package org.checkerframework.checker.index.qual
public abstract annotation org.checkerframework.checker.index.qual.NegativeIndexFor extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.String[] value () 
}

org/checkerframework/checker/index/qual/NonNegative.class
NonNegative.java
package org.checkerframework.checker.index.qual
public abstract annotation org.checkerframework.checker.index.qual.NonNegative extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/index/qual/PolyIndex.class
PolyIndex.java
package org.checkerframework.checker.index.qual
public abstract annotation org.checkerframework.checker.index.qual.PolyIndex extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/index/qual/PolyLength.class
PolyLength.java
package org.checkerframework.checker.index.qual
public abstract annotation org.checkerframework.checker.index.qual.PolyLength extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/index/qual/PolyLowerBound.class
PolyLowerBound.java
package org.checkerframework.checker.index.qual
public abstract annotation org.checkerframework.checker.index.qual.PolyLowerBound extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/index/qual/PolySameLen.class
PolySameLen.java
package org.checkerframework.checker.index.qual
public abstract annotation org.checkerframework.checker.index.qual.PolySameLen extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/index/qual/PolyUpperBound.class
PolyUpperBound.java
package org.checkerframework.checker.index.qual
public abstract annotation org.checkerframework.checker.index.qual.PolyUpperBound extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/index/qual/Positive.class
Positive.java
package org.checkerframework.checker.index.qual
public abstract annotation org.checkerframework.checker.index.qual.Positive extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/index/qual/SameLen.class
SameLen.java
package org.checkerframework.checker.index.qual
public abstract annotation org.checkerframework.checker.index.qual.SameLen extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.String[] value () 
}

org/checkerframework/checker/index/qual/SameLenBottom.class
SameLenBottom.java
package org.checkerframework.checker.index.qual
public abstract annotation org.checkerframework.checker.index.qual.SameLenBottom extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/index/qual/SameLenUnknown.class
SameLenUnknown.java
package org.checkerframework.checker.index.qual
public abstract annotation org.checkerframework.checker.index.qual.SameLenUnknown extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/index/qual/SearchIndexBottom.class
SearchIndexBottom.java
package org.checkerframework.checker.index.qual
public abstract annotation org.checkerframework.checker.index.qual.SearchIndexBottom extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/index/qual/SearchIndexFor.class
SearchIndexFor.java
package org.checkerframework.checker.index.qual
public abstract annotation org.checkerframework.checker.index.qual.SearchIndexFor extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.String[] value () 
}

org/checkerframework/checker/index/qual/SearchIndexUnknown.class
SearchIndexUnknown.java
package org.checkerframework.checker.index.qual
public abstract annotation org.checkerframework.checker.index.qual.SearchIndexUnknown extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/index/qual/SubstringIndexBottom.class
SubstringIndexBottom.java
package org.checkerframework.checker.index.qual
public abstract annotation org.checkerframework.checker.index.qual.SubstringIndexBottom extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/index/qual/SubstringIndexFor.class
SubstringIndexFor.java
package org.checkerframework.checker.index.qual
public abstract annotation org.checkerframework.checker.index.qual.SubstringIndexFor extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.String[] value () 
	public abstract java.lang.String[] offset () 
}

org/checkerframework/checker/index/qual/SubstringIndexUnknown.class
SubstringIndexUnknown.java
package org.checkerframework.checker.index.qual
public abstract annotation org.checkerframework.checker.index.qual.SubstringIndexUnknown extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/index/qual/UpperBoundBottom.class
UpperBoundBottom.java
package org.checkerframework.checker.index.qual
public abstract annotation org.checkerframework.checker.index.qual.UpperBoundBottom extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/index/qual/UpperBoundUnknown.class
UpperBoundUnknown.java
package org.checkerframework.checker.index.qual
public abstract annotation org.checkerframework.checker.index.qual.UpperBoundUnknown extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/initialization/
org/checkerframework/checker/initialization/qual/
org/checkerframework/checker/initialization/qual/FBCBottom.class
FBCBottom.java
package org.checkerframework.checker.initialization.qual
public abstract annotation org.checkerframework.checker.initialization.qual.FBCBottom extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/initialization/qual/Initialized.class
Initialized.java
package org.checkerframework.checker.initialization.qual
public abstract annotation org.checkerframework.checker.initialization.qual.Initialized extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/initialization/qual/NotOnlyInitialized.class
NotOnlyInitialized.java
package org.checkerframework.checker.initialization.qual
public abstract annotation org.checkerframework.checker.initialization.qual.NotOnlyInitialized extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/initialization/qual/UnderInitialization.class
UnderInitialization.java
package org.checkerframework.checker.initialization.qual
public abstract annotation org.checkerframework.checker.initialization.qual.UnderInitialization extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.Class value () 
}

org/checkerframework/checker/initialization/qual/UnknownInitialization.class
UnknownInitialization.java
package org.checkerframework.checker.initialization.qual
public abstract annotation org.checkerframework.checker.initialization.qual.UnknownInitialization extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.Class value () 
}

org/checkerframework/checker/interning/
org/checkerframework/checker/interning/qual/
org/checkerframework/checker/interning/qual/CompareToMethod.class
CompareToMethod.java
package org.checkerframework.checker.interning.qual
public abstract annotation org.checkerframework.checker.interning.qual.CompareToMethod extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/interning/qual/EqualsMethod.class
EqualsMethod.java
package org.checkerframework.checker.interning.qual
public abstract annotation org.checkerframework.checker.interning.qual.EqualsMethod extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/interning/qual/FindDistinct.class
FindDistinct.java
package org.checkerframework.checker.interning.qual
public abstract annotation org.checkerframework.checker.interning.qual.FindDistinct extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/interning/qual/InternMethod.class
InternMethod.java
package org.checkerframework.checker.interning.qual
public abstract annotation org.checkerframework.checker.interning.qual.InternMethod extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/interning/qual/Interned.class
Interned.java
package org.checkerframework.checker.interning.qual
public abstract annotation org.checkerframework.checker.interning.qual.Interned extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/interning/qual/InternedDistinct.class
InternedDistinct.java
package org.checkerframework.checker.interning.qual
public abstract annotation org.checkerframework.checker.interning.qual.InternedDistinct extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/interning/qual/PolyInterned.class
PolyInterned.java
package org.checkerframework.checker.interning.qual
public abstract annotation org.checkerframework.checker.interning.qual.PolyInterned extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/interning/qual/UnknownInterned.class
UnknownInterned.java
package org.checkerframework.checker.interning.qual
public abstract annotation org.checkerframework.checker.interning.qual.UnknownInterned extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/interning/qual/UsesObjectEquals.class
UsesObjectEquals.java
package org.checkerframework.checker.interning.qual
public abstract annotation org.checkerframework.checker.interning.qual.UsesObjectEquals extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/lock/
org/checkerframework/checker/lock/qual/
org/checkerframework/checker/lock/qual/EnsuresLockHeld$List.class
EnsuresLockHeld.java
package org.checkerframework.checker.lock.qual
public abstract annotation org.checkerframework.checker.lock.qual.EnsuresLockHeld$List extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract org.checkerframework.checker.lock.qual.EnsuresLockHeld[] value () 
}

org/checkerframework/checker/lock/qual/EnsuresLockHeld.class
EnsuresLockHeld.java
package org.checkerframework.checker.lock.qual
public abstract annotation org.checkerframework.checker.lock.qual.EnsuresLockHeld extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.String[] value () 
}

org/checkerframework/checker/lock/qual/EnsuresLockHeldIf$List.class
EnsuresLockHeldIf.java
package org.checkerframework.checker.lock.qual
public abstract annotation org.checkerframework.checker.lock.qual.EnsuresLockHeldIf$List extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract org.checkerframework.checker.lock.qual.EnsuresLockHeldIf[] value () 
}

org/checkerframework/checker/lock/qual/EnsuresLockHeldIf.class
EnsuresLockHeldIf.java
package org.checkerframework.checker.lock.qual
public abstract annotation org.checkerframework.checker.lock.qual.EnsuresLockHeldIf extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.String[] expression () 
	public abstract boolean result () 
}

org/checkerframework/checker/lock/qual/GuardSatisfied.class
GuardSatisfied.java
package org.checkerframework.checker.lock.qual
public abstract annotation org.checkerframework.checker.lock.qual.GuardSatisfied extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract int value () 
}

org/checkerframework/checker/lock/qual/GuardedBy.class
GuardedBy.java
package org.checkerframework.checker.lock.qual
public abstract annotation org.checkerframework.checker.lock.qual.GuardedBy extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.String[] value () 
}

org/checkerframework/checker/lock/qual/GuardedByBottom.class
GuardedByBottom.java
package org.checkerframework.checker.lock.qual
public abstract annotation org.checkerframework.checker.lock.qual.GuardedByBottom extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/lock/qual/GuardedByUnknown.class
GuardedByUnknown.java
package org.checkerframework.checker.lock.qual
public abstract annotation org.checkerframework.checker.lock.qual.GuardedByUnknown extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/lock/qual/Holding.class
Holding.java
package org.checkerframework.checker.lock.qual
public abstract annotation org.checkerframework.checker.lock.qual.Holding extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.String[] value () 
}

org/checkerframework/checker/lock/qual/LockHeld.class
LockHeld.java
package org.checkerframework.checker.lock.qual
public abstract annotation org.checkerframework.checker.lock.qual.LockHeld extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/lock/qual/LockPossiblyHeld.class
LockPossiblyHeld.java
package org.checkerframework.checker.lock.qual
public abstract annotation org.checkerframework.checker.lock.qual.LockPossiblyHeld extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/lock/qual/LockingFree.class
LockingFree.java
package org.checkerframework.checker.lock.qual
public abstract annotation org.checkerframework.checker.lock.qual.LockingFree extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/lock/qual/MayReleaseLocks.class
MayReleaseLocks.java
package org.checkerframework.checker.lock.qual
public abstract annotation org.checkerframework.checker.lock.qual.MayReleaseLocks extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/lock/qual/ReleasesNoLocks.class
ReleasesNoLocks.java
package org.checkerframework.checker.lock.qual
public abstract annotation org.checkerframework.checker.lock.qual.ReleasesNoLocks extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/nullness/
org/checkerframework/checker/nullness/qual/
org/checkerframework/checker/nullness/qual/AssertNonNullIfNonNull.class
AssertNonNullIfNonNull.java
package org.checkerframework.checker.nullness.qual
public abstract annotation org.checkerframework.checker.nullness.qual.AssertNonNullIfNonNull extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.String[] value () 
}

org/checkerframework/checker/nullness/qual/EnsuresKeyFor$List.class
EnsuresKeyFor.java
package org.checkerframework.checker.nullness.qual
public abstract annotation org.checkerframework.checker.nullness.qual.EnsuresKeyFor$List extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract org.checkerframework.checker.nullness.qual.EnsuresKeyFor[] value () 
}

org/checkerframework/checker/nullness/qual/EnsuresKeyFor.class
EnsuresKeyFor.java
package org.checkerframework.checker.nullness.qual
public abstract annotation org.checkerframework.checker.nullness.qual.EnsuresKeyFor extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.String[] value () 
	public abstract java.lang.String[] map () 
}

org/checkerframework/checker/nullness/qual/EnsuresKeyForIf$List.class
EnsuresKeyForIf.java
package org.checkerframework.checker.nullness.qual
public abstract annotation org.checkerframework.checker.nullness.qual.EnsuresKeyForIf$List extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract org.checkerframework.checker.nullness.qual.EnsuresKeyForIf[] value () 
}

org/checkerframework/checker/nullness/qual/EnsuresKeyForIf.class
EnsuresKeyForIf.java
package org.checkerframework.checker.nullness.qual
public abstract annotation org.checkerframework.checker.nullness.qual.EnsuresKeyForIf extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract boolean result () 
	public abstract java.lang.String[] expression () 
	public abstract java.lang.String[] map () 
}

org/checkerframework/checker/nullness/qual/EnsuresNonNull$List.class
EnsuresNonNull.java
package org.checkerframework.checker.nullness.qual
public abstract annotation org.checkerframework.checker.nullness.qual.EnsuresNonNull$List extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract org.checkerframework.checker.nullness.qual.EnsuresNonNull[] value () 
}

org/checkerframework/checker/nullness/qual/EnsuresNonNull.class
EnsuresNonNull.java
package org.checkerframework.checker.nullness.qual
public abstract annotation org.checkerframework.checker.nullness.qual.EnsuresNonNull extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.String[] value () 
}

org/checkerframework/checker/nullness/qual/EnsuresNonNullIf$List.class
EnsuresNonNullIf.java
package org.checkerframework.checker.nullness.qual
public abstract annotation org.checkerframework.checker.nullness.qual.EnsuresNonNullIf$List extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract org.checkerframework.checker.nullness.qual.EnsuresNonNullIf[] value () 
}

org/checkerframework/checker/nullness/qual/EnsuresNonNullIf.class
EnsuresNonNullIf.java
package org.checkerframework.checker.nullness.qual
public abstract annotation org.checkerframework.checker.nullness.qual.EnsuresNonNullIf extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.String[] expression () 
	public abstract boolean result () 
}

org/checkerframework/checker/nullness/qual/KeyFor.class
KeyFor.java
package org.checkerframework.checker.nullness.qual
public abstract annotation org.checkerframework.checker.nullness.qual.KeyFor extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.String[] value () 
}

org/checkerframework/checker/nullness/qual/KeyForBottom.class
KeyForBottom.java
package org.checkerframework.checker.nullness.qual
public abstract annotation org.checkerframework.checker.nullness.qual.KeyForBottom extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/nullness/qual/MonotonicNonNull.class
MonotonicNonNull.java
package org.checkerframework.checker.nullness.qual
public abstract annotation org.checkerframework.checker.nullness.qual.MonotonicNonNull extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/nullness/qual/NonNull.class
NonNull.java
package org.checkerframework.checker.nullness.qual
public abstract annotation org.checkerframework.checker.nullness.qual.NonNull extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/nullness/qual/Nullable.class
Nullable.java
package org.checkerframework.checker.nullness.qual
public abstract annotation org.checkerframework.checker.nullness.qual.Nullable extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/nullness/qual/PolyKeyFor.class
PolyKeyFor.java
package org.checkerframework.checker.nullness.qual
public abstract annotation org.checkerframework.checker.nullness.qual.PolyKeyFor extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/nullness/qual/PolyNull.class
PolyNull.java
package org.checkerframework.checker.nullness.qual
public abstract annotation org.checkerframework.checker.nullness.qual.PolyNull extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/nullness/qual/RequiresNonNull.class
RequiresNonNull.java
package org.checkerframework.checker.nullness.qual
public abstract annotation org.checkerframework.checker.nullness.qual.RequiresNonNull extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.String[] value () 
}

org/checkerframework/checker/nullness/qual/UnknownKeyFor.class
UnknownKeyFor.java
package org.checkerframework.checker.nullness.qual
public abstract annotation org.checkerframework.checker.nullness.qual.UnknownKeyFor extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/optional/
org/checkerframework/checker/optional/qual/
org/checkerframework/checker/optional/qual/MaybePresent.class
MaybePresent.java
package org.checkerframework.checker.optional.qual
public abstract annotation org.checkerframework.checker.optional.qual.MaybePresent extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/optional/qual/OptionalBottom.class
OptionalBottom.java
package org.checkerframework.checker.optional.qual
public abstract annotation org.checkerframework.checker.optional.qual.OptionalBottom extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/optional/qual/PolyPresent.class
PolyPresent.java
package org.checkerframework.checker.optional.qual
public abstract annotation org.checkerframework.checker.optional.qual.PolyPresent extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/optional/qual/Present.class
Present.java
package org.checkerframework.checker.optional.qual
public abstract annotation org.checkerframework.checker.optional.qual.Present extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/propkey/
org/checkerframework/checker/propkey/qual/
org/checkerframework/checker/propkey/qual/PropertyKey.class
PropertyKey.java
package org.checkerframework.checker.propkey.qual
public abstract annotation org.checkerframework.checker.propkey.qual.PropertyKey extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/propkey/qual/PropertyKeyBottom.class
PropertyKeyBottom.java
package org.checkerframework.checker.propkey.qual
public abstract annotation org.checkerframework.checker.propkey.qual.PropertyKeyBottom extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/propkey/qual/UnknownPropertyKey.class
UnknownPropertyKey.java
package org.checkerframework.checker.propkey.qual
public abstract annotation org.checkerframework.checker.propkey.qual.UnknownPropertyKey extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/regex/
org/checkerframework/checker/regex/qual/
org/checkerframework/checker/regex/qual/PartialRegex.class
PartialRegex.java
package org.checkerframework.checker.regex.qual
public abstract annotation org.checkerframework.checker.regex.qual.PartialRegex extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.String value () 
}

org/checkerframework/checker/regex/qual/PolyRegex.class
PolyRegex.java
package org.checkerframework.checker.regex.qual
public abstract annotation org.checkerframework.checker.regex.qual.PolyRegex extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/regex/qual/Regex.class
Regex.java
package org.checkerframework.checker.regex.qual
public abstract annotation org.checkerframework.checker.regex.qual.Regex extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract int value () 
}

org/checkerframework/checker/regex/qual/RegexBottom.class
RegexBottom.java
package org.checkerframework.checker.regex.qual
public abstract annotation org.checkerframework.checker.regex.qual.RegexBottom extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/regex/qual/UnknownRegex.class
UnknownRegex.java
package org.checkerframework.checker.regex.qual
public abstract annotation org.checkerframework.checker.regex.qual.UnknownRegex extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/signature/
org/checkerframework/checker/signature/qual/
org/checkerframework/checker/signature/qual/ArrayWithoutPackage.class
ArrayWithoutPackage.java
package org.checkerframework.checker.signature.qual
public abstract annotation org.checkerframework.checker.signature.qual.ArrayWithoutPackage extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/signature/qual/BinaryName.class
BinaryName.java
package org.checkerframework.checker.signature.qual
public abstract annotation org.checkerframework.checker.signature.qual.BinaryName extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/signature/qual/BinaryNameOrPrimitiveType.class
BinaryNameOrPrimitiveType.java
package org.checkerframework.checker.signature.qual
public abstract annotation org.checkerframework.checker.signature.qual.BinaryNameOrPrimitiveType extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/signature/qual/BinaryNameWithoutPackage.class
BinaryNameWithoutPackage.java
package org.checkerframework.checker.signature.qual
public abstract annotation org.checkerframework.checker.signature.qual.BinaryNameWithoutPackage extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/signature/qual/CanonicalName.class
CanonicalName.java
package org.checkerframework.checker.signature.qual
public abstract annotation org.checkerframework.checker.signature.qual.CanonicalName extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/signature/qual/CanonicalNameAndBinaryName.class
CanonicalNameAndBinaryName.java
package org.checkerframework.checker.signature.qual
public abstract annotation org.checkerframework.checker.signature.qual.CanonicalNameAndBinaryName extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/signature/qual/CanonicalNameOrEmpty.class
CanonicalNameOrEmpty.java
package org.checkerframework.checker.signature.qual
public abstract annotation org.checkerframework.checker.signature.qual.CanonicalNameOrEmpty extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/signature/qual/CanonicalNameOrPrimitiveType.class
CanonicalNameOrPrimitiveType.java
package org.checkerframework.checker.signature.qual
public abstract annotation org.checkerframework.checker.signature.qual.CanonicalNameOrPrimitiveType extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/signature/qual/ClassGetName.class
ClassGetName.java
package org.checkerframework.checker.signature.qual
public abstract annotation org.checkerframework.checker.signature.qual.ClassGetName extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/signature/qual/ClassGetSimpleName.class
ClassGetSimpleName.java
package org.checkerframework.checker.signature.qual
public abstract annotation org.checkerframework.checker.signature.qual.ClassGetSimpleName extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/signature/qual/DotSeparatedIdentifiers.class
DotSeparatedIdentifiers.java
package org.checkerframework.checker.signature.qual
public abstract annotation org.checkerframework.checker.signature.qual.DotSeparatedIdentifiers extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/signature/qual/DotSeparatedIdentifiersOrPrimitiveType.class
DotSeparatedIdentifiersOrPrimitiveType.java
package org.checkerframework.checker.signature.qual
public abstract annotation org.checkerframework.checker.signature.qual.DotSeparatedIdentifiersOrPrimitiveType extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/signature/qual/FieldDescriptor.class
FieldDescriptor.java
package org.checkerframework.checker.signature.qual
public abstract annotation org.checkerframework.checker.signature.qual.FieldDescriptor extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/signature/qual/FieldDescriptorForPrimitive.class
FieldDescriptorForPrimitive.java
package org.checkerframework.checker.signature.qual
public abstract annotation org.checkerframework.checker.signature.qual.FieldDescriptorForPrimitive extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/signature/qual/FieldDescriptorWithoutPackage.class
FieldDescriptorWithoutPackage.java
package org.checkerframework.checker.signature.qual
public abstract annotation org.checkerframework.checker.signature.qual.FieldDescriptorWithoutPackage extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/signature/qual/FqBinaryName.class
FqBinaryName.java
package org.checkerframework.checker.signature.qual
public abstract annotation org.checkerframework.checker.signature.qual.FqBinaryName extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/signature/qual/FullyQualifiedName.class
FullyQualifiedName.java
package org.checkerframework.checker.signature.qual
public abstract annotation org.checkerframework.checker.signature.qual.FullyQualifiedName extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/signature/qual/Identifier.class
Identifier.java
package org.checkerframework.checker.signature.qual
public abstract annotation org.checkerframework.checker.signature.qual.Identifier extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/signature/qual/IdentifierOrPrimitiveType.class
IdentifierOrPrimitiveType.java
package org.checkerframework.checker.signature.qual
public abstract annotation org.checkerframework.checker.signature.qual.IdentifierOrPrimitiveType extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/signature/qual/InternalForm.class
InternalForm.java
package org.checkerframework.checker.signature.qual
public abstract annotation org.checkerframework.checker.signature.qual.InternalForm extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/signature/qual/MethodDescriptor.class
MethodDescriptor.java
package org.checkerframework.checker.signature.qual
public abstract annotation org.checkerframework.checker.signature.qual.MethodDescriptor extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/signature/qual/PolySignature.class
PolySignature.java
package org.checkerframework.checker.signature.qual
public abstract annotation org.checkerframework.checker.signature.qual.PolySignature extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/signature/qual/PrimitiveType.class
PrimitiveType.java
package org.checkerframework.checker.signature.qual
public abstract annotation org.checkerframework.checker.signature.qual.PrimitiveType extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/signature/qual/SignatureBottom.class
SignatureBottom.java
package org.checkerframework.checker.signature.qual
public abstract annotation org.checkerframework.checker.signature.qual.SignatureBottom extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/signature/qual/SignatureUnknown.class
SignatureUnknown.java
package org.checkerframework.checker.signature.qual
public abstract annotation org.checkerframework.checker.signature.qual.SignatureUnknown extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/signedness/
org/checkerframework/checker/signedness/qual/
org/checkerframework/checker/signedness/qual/PolySigned.class
PolySigned.java
package org.checkerframework.checker.signedness.qual
public abstract annotation org.checkerframework.checker.signedness.qual.PolySigned extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/signedness/qual/Signed.class
Signed.java
package org.checkerframework.checker.signedness.qual
public abstract annotation org.checkerframework.checker.signedness.qual.Signed extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/signedness/qual/SignedPositive.class
SignedPositive.java
package org.checkerframework.checker.signedness.qual
public abstract annotation org.checkerframework.checker.signedness.qual.SignedPositive extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/signedness/qual/SignedPositiveFromUnsigned.class
SignedPositiveFromUnsigned.java
package org.checkerframework.checker.signedness.qual
public abstract annotation org.checkerframework.checker.signedness.qual.SignedPositiveFromUnsigned extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/signedness/qual/SignednessBottom.class
SignednessBottom.java
package org.checkerframework.checker.signedness.qual
public abstract annotation org.checkerframework.checker.signedness.qual.SignednessBottom extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/signedness/qual/SignednessGlb.class
SignednessGlb.java
package org.checkerframework.checker.signedness.qual
public abstract annotation org.checkerframework.checker.signedness.qual.SignednessGlb extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/signedness/qual/UnknownSignedness.class
UnknownSignedness.java
package org.checkerframework.checker.signedness.qual
public abstract annotation org.checkerframework.checker.signedness.qual.UnknownSignedness extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/signedness/qual/Unsigned.class
Unsigned.java
package org.checkerframework.checker.signedness.qual
public abstract annotation org.checkerframework.checker.signedness.qual.Unsigned extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/tainting/
org/checkerframework/checker/tainting/qual/
org/checkerframework/checker/tainting/qual/PolyTainted.class
PolyTainted.java
package org.checkerframework.checker.tainting.qual
public abstract annotation org.checkerframework.checker.tainting.qual.PolyTainted extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/tainting/qual/Tainted.class
Tainted.java
package org.checkerframework.checker.tainting.qual
public abstract annotation org.checkerframework.checker.tainting.qual.Tainted extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/tainting/qual/Untainted.class
Untainted.java
package org.checkerframework.checker.tainting.qual
public abstract annotation org.checkerframework.checker.tainting.qual.Untainted extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/units/
org/checkerframework/checker/units/qual/
org/checkerframework/checker/units/qual/A.class
A.java
package org.checkerframework.checker.units.qual
public abstract annotation org.checkerframework.checker.units.qual.A extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract org.checkerframework.checker.units.qual.Prefix value () 
}

org/checkerframework/checker/units/qual/Acceleration.class
Acceleration.java
package org.checkerframework.checker.units.qual
public abstract annotation org.checkerframework.checker.units.qual.Acceleration extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/units/qual/Angle.class
Angle.java
package org.checkerframework.checker.units.qual
public abstract annotation org.checkerframework.checker.units.qual.Angle extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/units/qual/Area.class
Area.java
package org.checkerframework.checker.units.qual
public abstract annotation org.checkerframework.checker.units.qual.Area extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/units/qual/C.class
C.java
package org.checkerframework.checker.units.qual
public abstract annotation org.checkerframework.checker.units.qual.C extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/units/qual/Current.class
Current.java
package org.checkerframework.checker.units.qual
public abstract annotation org.checkerframework.checker.units.qual.Current extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/units/qual/K.class
K.java
package org.checkerframework.checker.units.qual
public abstract annotation org.checkerframework.checker.units.qual.K extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract org.checkerframework.checker.units.qual.Prefix value () 
}

org/checkerframework/checker/units/qual/Length.class
Length.java
package org.checkerframework.checker.units.qual
public abstract annotation org.checkerframework.checker.units.qual.Length extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/units/qual/Luminance.class
Luminance.java
package org.checkerframework.checker.units.qual
public abstract annotation org.checkerframework.checker.units.qual.Luminance extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/units/qual/Mass.class
Mass.java
package org.checkerframework.checker.units.qual
public abstract annotation org.checkerframework.checker.units.qual.Mass extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/units/qual/MixedUnits.class
MixedUnits.java
package org.checkerframework.checker.units.qual
public abstract annotation org.checkerframework.checker.units.qual.MixedUnits extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/units/qual/PolyUnit.class
PolyUnit.java
package org.checkerframework.checker.units.qual
public abstract annotation org.checkerframework.checker.units.qual.PolyUnit extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/units/qual/Prefix.class
Prefix.java
package org.checkerframework.checker.units.qual
public final enum org.checkerframework.checker.units.qual.Prefix extends java.lang.Enum {
	public static final enum org.checkerframework.checker.units.qual.Prefix yotta
	public static final enum org.checkerframework.checker.units.qual.Prefix zetta
	public static final enum org.checkerframework.checker.units.qual.Prefix exa
	public static final enum org.checkerframework.checker.units.qual.Prefix peta
	public static final enum org.checkerframework.checker.units.qual.Prefix tera
	public static final enum org.checkerframework.checker.units.qual.Prefix giga
	public static final enum org.checkerframework.checker.units.qual.Prefix mega
	public static final enum org.checkerframework.checker.units.qual.Prefix kilo
	public static final enum org.checkerframework.checker.units.qual.Prefix hecto
	public static final enum org.checkerframework.checker.units.qual.Prefix deca
	public static final enum org.checkerframework.checker.units.qual.Prefix one
	public static final enum org.checkerframework.checker.units.qual.Prefix deci
	public static final enum org.checkerframework.checker.units.qual.Prefix centi
	public static final enum org.checkerframework.checker.units.qual.Prefix milli
	public static final enum org.checkerframework.checker.units.qual.Prefix micro
	public static final enum org.checkerframework.checker.units.qual.Prefix nano
	public static final enum org.checkerframework.checker.units.qual.Prefix pico
	public static final enum org.checkerframework.checker.units.qual.Prefix femto
	public static final enum org.checkerframework.checker.units.qual.Prefix atto
	public static final enum org.checkerframework.checker.units.qual.Prefix zepto
	public static final enum org.checkerframework.checker.units.qual.Prefix yocto
	private static final synthetic org.checkerframework.checker.units.qual.Prefix[] $VALUES
	public static org.checkerframework.checker.units.qual.Prefix[] values () 
	public static org.checkerframework.checker.units.qual.Prefix valueOf (java.lang.String) 
		String name
	private void <init> (java.lang.String, int) 
	static void <clinit> () 
}

org/checkerframework/checker/units/qual/Speed.class
Speed.java
package org.checkerframework.checker.units.qual
public abstract annotation org.checkerframework.checker.units.qual.Speed extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/units/qual/Substance.class
Substance.java
package org.checkerframework.checker.units.qual
public abstract annotation org.checkerframework.checker.units.qual.Substance extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/units/qual/Temperature.class
Temperature.java
package org.checkerframework.checker.units.qual
public abstract annotation org.checkerframework.checker.units.qual.Temperature extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/units/qual/Time.class
Time.java
package org.checkerframework.checker.units.qual
public abstract annotation org.checkerframework.checker.units.qual.Time extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/units/qual/UnitsBottom.class
UnitsBottom.java
package org.checkerframework.checker.units.qual
public abstract annotation org.checkerframework.checker.units.qual.UnitsBottom extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/units/qual/UnitsMultiple.class
UnitsMultiple.java
package org.checkerframework.checker.units.qual
public abstract annotation org.checkerframework.checker.units.qual.UnitsMultiple extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.Class quantity () 
	public abstract org.checkerframework.checker.units.qual.Prefix prefix () 
}

org/checkerframework/checker/units/qual/UnitsRelations.class
UnitsRelations.java
package org.checkerframework.checker.units.qual
public abstract annotation org.checkerframework.checker.units.qual.UnitsRelations extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.Class value () 
}

org/checkerframework/checker/units/qual/UnknownUnits.class
UnknownUnits.java
package org.checkerframework.checker.units.qual
public abstract annotation org.checkerframework.checker.units.qual.UnknownUnits extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/units/qual/cd.class
cd.java
package org.checkerframework.checker.units.qual
public abstract annotation org.checkerframework.checker.units.qual.cd extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract org.checkerframework.checker.units.qual.Prefix value () 
}

org/checkerframework/checker/units/qual/degrees.class
degrees.java
package org.checkerframework.checker.units.qual
public abstract annotation org.checkerframework.checker.units.qual.degrees extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/units/qual/g.class
g.java
package org.checkerframework.checker.units.qual
public abstract annotation org.checkerframework.checker.units.qual.g extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract org.checkerframework.checker.units.qual.Prefix value () 
}

org/checkerframework/checker/units/qual/h.class
h.java
package org.checkerframework.checker.units.qual
public abstract annotation org.checkerframework.checker.units.qual.h extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/units/qual/kg.class
kg.java
package org.checkerframework.checker.units.qual
public abstract annotation org.checkerframework.checker.units.qual.kg extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/units/qual/km.class
km.java
package org.checkerframework.checker.units.qual
public abstract annotation org.checkerframework.checker.units.qual.km extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/units/qual/km2.class
km2.java
package org.checkerframework.checker.units.qual
public abstract annotation org.checkerframework.checker.units.qual.km2 extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/units/qual/kmPERh.class
kmPERh.java
package org.checkerframework.checker.units.qual
public abstract annotation org.checkerframework.checker.units.qual.kmPERh extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/units/qual/m.class
m.java
package org.checkerframework.checker.units.qual
public abstract annotation org.checkerframework.checker.units.qual.m extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract org.checkerframework.checker.units.qual.Prefix value () 
}

org/checkerframework/checker/units/qual/m2.class
m2.java
package org.checkerframework.checker.units.qual
public abstract annotation org.checkerframework.checker.units.qual.m2 extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract org.checkerframework.checker.units.qual.Prefix value () 
}

org/checkerframework/checker/units/qual/mPERs.class
mPERs.java
package org.checkerframework.checker.units.qual
public abstract annotation org.checkerframework.checker.units.qual.mPERs extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract org.checkerframework.checker.units.qual.Prefix value () 
}

org/checkerframework/checker/units/qual/mPERs2.class
mPERs2.java
package org.checkerframework.checker.units.qual
public abstract annotation org.checkerframework.checker.units.qual.mPERs2 extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract org.checkerframework.checker.units.qual.Prefix value () 
}

org/checkerframework/checker/units/qual/min.class
min.java
package org.checkerframework.checker.units.qual
public abstract annotation org.checkerframework.checker.units.qual.min extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/units/qual/mm.class
mm.java
package org.checkerframework.checker.units.qual
public abstract annotation org.checkerframework.checker.units.qual.mm extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/units/qual/mm2.class
mm2.java
package org.checkerframework.checker.units.qual
public abstract annotation org.checkerframework.checker.units.qual.mm2 extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/units/qual/mol.class
mol.java
package org.checkerframework.checker.units.qual
public abstract annotation org.checkerframework.checker.units.qual.mol extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract org.checkerframework.checker.units.qual.Prefix value () 
}

org/checkerframework/checker/units/qual/radians.class
radians.java
package org.checkerframework.checker.units.qual
public abstract annotation org.checkerframework.checker.units.qual.radians extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract org.checkerframework.checker.units.qual.Prefix value () 
}

org/checkerframework/checker/units/qual/s.class
s.java
package org.checkerframework.checker.units.qual
public abstract annotation org.checkerframework.checker.units.qual.s extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract org.checkerframework.checker.units.qual.Prefix value () 
}

org/checkerframework/common/
org/checkerframework/common/aliasing/
org/checkerframework/common/aliasing/qual/
org/checkerframework/common/aliasing/qual/LeakedToResult.class
LeakedToResult.java
package org.checkerframework.common.aliasing.qual
public abstract annotation org.checkerframework.common.aliasing.qual.LeakedToResult extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/common/aliasing/qual/MaybeAliased.class
MaybeAliased.java
package org.checkerframework.common.aliasing.qual
public abstract annotation org.checkerframework.common.aliasing.qual.MaybeAliased extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/common/aliasing/qual/MaybeLeaked.class
MaybeLeaked.java
package org.checkerframework.common.aliasing.qual
public abstract annotation org.checkerframework.common.aliasing.qual.MaybeLeaked extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/common/aliasing/qual/NonLeaked.class
NonLeaked.java
package org.checkerframework.common.aliasing.qual
public abstract annotation org.checkerframework.common.aliasing.qual.NonLeaked extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/common/aliasing/qual/Unique.class
Unique.java
package org.checkerframework.common.aliasing.qual
public abstract annotation org.checkerframework.common.aliasing.qual.Unique extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/common/initializedfields/
org/checkerframework/common/initializedfields/qual/
org/checkerframework/common/initializedfields/qual/EnsuresInitializedFields$List.class
EnsuresInitializedFields.java
package org.checkerframework.common.initializedfields.qual
public abstract annotation org.checkerframework.common.initializedfields.qual.EnsuresInitializedFields$List extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract org.checkerframework.common.initializedfields.qual.EnsuresInitializedFields[] value () 
}

org/checkerframework/common/initializedfields/qual/EnsuresInitializedFields.class
EnsuresInitializedFields.java
package org.checkerframework.common.initializedfields.qual
public abstract annotation org.checkerframework.common.initializedfields.qual.EnsuresInitializedFields extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.String[] value () 
	public abstract java.lang.String[] fields () 
}

org/checkerframework/common/initializedfields/qual/InitializedFields.class
InitializedFields.java
package org.checkerframework.common.initializedfields.qual
public abstract annotation org.checkerframework.common.initializedfields.qual.InitializedFields extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.String[] value () 
}

org/checkerframework/common/initializedfields/qual/InitializedFieldsBottom.class
InitializedFieldsBottom.java
package org.checkerframework.common.initializedfields.qual
public abstract annotation org.checkerframework.common.initializedfields.qual.InitializedFieldsBottom extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/common/initializedfields/qual/PolyInitializedFields.class
PolyInitializedFields.java
package org.checkerframework.common.initializedfields.qual
public abstract annotation org.checkerframework.common.initializedfields.qual.PolyInitializedFields extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/common/reflection/
org/checkerframework/common/reflection/qual/
org/checkerframework/common/reflection/qual/ClassBound.class
ClassBound.java
package org.checkerframework.common.reflection.qual
public abstract annotation org.checkerframework.common.reflection.qual.ClassBound extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.String[] value () 
}

org/checkerframework/common/reflection/qual/ClassVal.class
ClassVal.java
package org.checkerframework.common.reflection.qual
public abstract annotation org.checkerframework.common.reflection.qual.ClassVal extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.String[] value () 
}

org/checkerframework/common/reflection/qual/ClassValBottom.class
ClassValBottom.java
package org.checkerframework.common.reflection.qual
public abstract annotation org.checkerframework.common.reflection.qual.ClassValBottom extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/common/reflection/qual/ForName.class
ForName.java
package org.checkerframework.common.reflection.qual
public abstract annotation org.checkerframework.common.reflection.qual.ForName extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/common/reflection/qual/GetClass.class
GetClass.java
package org.checkerframework.common.reflection.qual
public abstract annotation org.checkerframework.common.reflection.qual.GetClass extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/common/reflection/qual/GetConstructor.class
GetConstructor.java
package org.checkerframework.common.reflection.qual
public abstract annotation org.checkerframework.common.reflection.qual.GetConstructor extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/common/reflection/qual/GetMethod.class
GetMethod.java
package org.checkerframework.common.reflection.qual
public abstract annotation org.checkerframework.common.reflection.qual.GetMethod extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/common/reflection/qual/Invoke.class
Invoke.java
package org.checkerframework.common.reflection.qual
public abstract annotation org.checkerframework.common.reflection.qual.Invoke extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/common/reflection/qual/MethodVal.class
MethodVal.java
package org.checkerframework.common.reflection.qual
public abstract annotation org.checkerframework.common.reflection.qual.MethodVal extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.String[] className () 
	public abstract java.lang.String[] methodName () 
	public abstract int[] params () 
}

org/checkerframework/common/reflection/qual/MethodValBottom.class
MethodValBottom.java
package org.checkerframework.common.reflection.qual
public abstract annotation org.checkerframework.common.reflection.qual.MethodValBottom extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/common/reflection/qual/NewInstance.class
NewInstance.java
package org.checkerframework.common.reflection.qual
public abstract annotation org.checkerframework.common.reflection.qual.NewInstance extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/common/reflection/qual/UnknownClass.class
UnknownClass.java
package org.checkerframework.common.reflection.qual
public abstract annotation org.checkerframework.common.reflection.qual.UnknownClass extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/common/reflection/qual/UnknownMethod.class
UnknownMethod.java
package org.checkerframework.common.reflection.qual
public abstract annotation org.checkerframework.common.reflection.qual.UnknownMethod extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/common/returnsreceiver/
org/checkerframework/common/returnsreceiver/qual/
org/checkerframework/common/returnsreceiver/qual/BottomThis.class
BottomThis.java
package org.checkerframework.common.returnsreceiver.qual
public abstract annotation org.checkerframework.common.returnsreceiver.qual.BottomThis extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/common/returnsreceiver/qual/This.class
This.java
package org.checkerframework.common.returnsreceiver.qual
public abstract annotation org.checkerframework.common.returnsreceiver.qual.This extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/common/returnsreceiver/qual/UnknownThis.class
UnknownThis.java
package org.checkerframework.common.returnsreceiver.qual
public abstract annotation org.checkerframework.common.returnsreceiver.qual.UnknownThis extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/common/subtyping/
org/checkerframework/common/subtyping/qual/
org/checkerframework/common/subtyping/qual/Bottom.class
Bottom.java
package org.checkerframework.common.subtyping.qual
public abstract annotation org.checkerframework.common.subtyping.qual.Bottom extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/common/subtyping/qual/Unqualified.class
Unqualified.java
package org.checkerframework.common.subtyping.qual
public abstract annotation org.checkerframework.common.subtyping.qual.Unqualified extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/common/util/
org/checkerframework/common/util/report/
org/checkerframework/common/util/report/qual/
org/checkerframework/common/util/report/qual/ReportCall.class
ReportCall.java
package org.checkerframework.common.util.report.qual
public abstract annotation org.checkerframework.common.util.report.qual.ReportCall extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/common/util/report/qual/ReportCreation.class
ReportCreation.java
package org.checkerframework.common.util.report.qual
public abstract annotation org.checkerframework.common.util.report.qual.ReportCreation extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/common/util/report/qual/ReportInherit.class
ReportInherit.java
package org.checkerframework.common.util.report.qual
public abstract annotation org.checkerframework.common.util.report.qual.ReportInherit extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/common/util/report/qual/ReportOverride.class
ReportOverride.java
package org.checkerframework.common.util.report.qual
public abstract annotation org.checkerframework.common.util.report.qual.ReportOverride extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/common/util/report/qual/ReportReadWrite.class
ReportReadWrite.java
package org.checkerframework.common.util.report.qual
public abstract annotation org.checkerframework.common.util.report.qual.ReportReadWrite extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/common/util/report/qual/ReportUnqualified.class
ReportUnqualified.java
package org.checkerframework.common.util.report.qual
public abstract annotation org.checkerframework.common.util.report.qual.ReportUnqualified extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/common/util/report/qual/ReportUse.class
ReportUse.java
package org.checkerframework.common.util.report.qual
public abstract annotation org.checkerframework.common.util.report.qual.ReportUse extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/common/util/report/qual/ReportWrite.class
ReportWrite.java
package org.checkerframework.common.util.report.qual
public abstract annotation org.checkerframework.common.util.report.qual.ReportWrite extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/common/value/
org/checkerframework/common/value/qual/
org/checkerframework/common/value/qual/ArrayLen.class
ArrayLen.java
package org.checkerframework.common.value.qual
public abstract annotation org.checkerframework.common.value.qual.ArrayLen extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract int[] value () 
}

org/checkerframework/common/value/qual/ArrayLenRange.class
ArrayLenRange.java
package org.checkerframework.common.value.qual
public abstract annotation org.checkerframework.common.value.qual.ArrayLenRange extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract int from () 
	public abstract int to () 
}

org/checkerframework/common/value/qual/BoolVal.class
BoolVal.java
package org.checkerframework.common.value.qual
public abstract annotation org.checkerframework.common.value.qual.BoolVal extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract boolean[] value () 
}

org/checkerframework/common/value/qual/BottomVal.class
BottomVal.java
package org.checkerframework.common.value.qual
public abstract annotation org.checkerframework.common.value.qual.BottomVal extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/common/value/qual/DoubleVal.class
DoubleVal.java
package org.checkerframework.common.value.qual
public abstract annotation org.checkerframework.common.value.qual.DoubleVal extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract double[] value () 
}

org/checkerframework/common/value/qual/EnsuresMinLenIf$List.class
EnsuresMinLenIf.java
package org.checkerframework.common.value.qual
public abstract annotation org.checkerframework.common.value.qual.EnsuresMinLenIf$List extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract org.checkerframework.common.value.qual.EnsuresMinLenIf[] value () 
}

org/checkerframework/common/value/qual/EnsuresMinLenIf.class
EnsuresMinLenIf.java
package org.checkerframework.common.value.qual
public abstract annotation org.checkerframework.common.value.qual.EnsuresMinLenIf extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.String[] expression () 
	public abstract boolean result () 
	public abstract int targetValue () 
}

org/checkerframework/common/value/qual/EnumVal.class
EnumVal.java
package org.checkerframework.common.value.qual
public abstract annotation org.checkerframework.common.value.qual.EnumVal extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.String[] value () 
}

org/checkerframework/common/value/qual/IntRange.class
IntRange.java
package org.checkerframework.common.value.qual
public abstract annotation org.checkerframework.common.value.qual.IntRange extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract long from () 
	public abstract long to () 
}

org/checkerframework/common/value/qual/IntRangeFromGTENegativeOne.class
IntRangeFromGTENegativeOne.java
package org.checkerframework.common.value.qual
public abstract annotation org.checkerframework.common.value.qual.IntRangeFromGTENegativeOne extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/common/value/qual/IntRangeFromNonNegative.class
IntRangeFromNonNegative.java
package org.checkerframework.common.value.qual
public abstract annotation org.checkerframework.common.value.qual.IntRangeFromNonNegative extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/common/value/qual/IntRangeFromPositive.class
IntRangeFromPositive.java
package org.checkerframework.common.value.qual
public abstract annotation org.checkerframework.common.value.qual.IntRangeFromPositive extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/common/value/qual/IntVal.class
IntVal.java
package org.checkerframework.common.value.qual
public abstract annotation org.checkerframework.common.value.qual.IntVal extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract long[] value () 
}

org/checkerframework/common/value/qual/MatchesRegex.class
MatchesRegex.java
package org.checkerframework.common.value.qual
public abstract annotation org.checkerframework.common.value.qual.MatchesRegex extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.String[] value () 
}

org/checkerframework/common/value/qual/MinLen.class
MinLen.java
package org.checkerframework.common.value.qual
public abstract annotation org.checkerframework.common.value.qual.MinLen extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract int value () 
}

org/checkerframework/common/value/qual/MinLenFieldInvariant.class
MinLenFieldInvariant.java
package org.checkerframework.common.value.qual
public abstract annotation org.checkerframework.common.value.qual.MinLenFieldInvariant extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract int[] minLen () 
	public abstract java.lang.String[] field () 
}

org/checkerframework/common/value/qual/PolyValue.class
PolyValue.java
package org.checkerframework.common.value.qual
public abstract annotation org.checkerframework.common.value.qual.PolyValue extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/common/value/qual/StaticallyExecutable.class
StaticallyExecutable.java
package org.checkerframework.common.value.qual
public abstract annotation org.checkerframework.common.value.qual.StaticallyExecutable extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/common/value/qual/StringVal.class
StringVal.java
package org.checkerframework.common.value.qual
public abstract annotation org.checkerframework.common.value.qual.StringVal extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.String[] value () 
}

org/checkerframework/common/value/qual/UnknownVal.class
UnknownVal.java
package org.checkerframework.common.value.qual
public abstract annotation org.checkerframework.common.value.qual.UnknownVal extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/dataflow/
org/checkerframework/dataflow/qual/
org/checkerframework/dataflow/qual/Deterministic.class
Deterministic.java
package org.checkerframework.dataflow.qual
public abstract annotation org.checkerframework.dataflow.qual.Deterministic extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/dataflow/qual/Pure$Kind.class
Pure.java
package org.checkerframework.dataflow.qual
public final enum org.checkerframework.dataflow.qual.Pure$Kind extends java.lang.Enum {
	public static final enum org.checkerframework.dataflow.qual.Pure$Kind SIDE_EFFECT_FREE
	public static final enum org.checkerframework.dataflow.qual.Pure$Kind DETERMINISTIC
	private static final synthetic org.checkerframework.dataflow.qual.Pure$Kind[] $VALUES
	public static org.checkerframework.dataflow.qual.Pure$Kind[] values () 
	public static org.checkerframework.dataflow.qual.Pure$Kind valueOf (java.lang.String) 
		String name
	private void <init> (java.lang.String, int) 
	static void <clinit> () 
}

org/checkerframework/dataflow/qual/Pure.class
Pure.java
package org.checkerframework.dataflow.qual
public abstract annotation org.checkerframework.dataflow.qual.Pure extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/dataflow/qual/SideEffectFree.class
SideEffectFree.java
package org.checkerframework.dataflow.qual
public abstract annotation org.checkerframework.dataflow.qual.SideEffectFree extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/dataflow/qual/TerminatesExecution.class
TerminatesExecution.java
package org.checkerframework.dataflow.qual
public abstract annotation org.checkerframework.dataflow.qual.TerminatesExecution extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/framework/
org/checkerframework/framework/qual/
org/checkerframework/framework/qual/AnnotatedFor.class
AnnotatedFor.java
package org.checkerframework.framework.qual
public abstract annotation org.checkerframework.framework.qual.AnnotatedFor extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.String[] value () 
}

org/checkerframework/framework/qual/CFComment.class
CFComment.java
package org.checkerframework.framework.qual
public abstract annotation org.checkerframework.framework.qual.CFComment extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.String[] value () 
}

org/checkerframework/framework/qual/ConditionalPostconditionAnnotation.class
ConditionalPostconditionAnnotation.java
package org.checkerframework.framework.qual
public abstract annotation org.checkerframework.framework.qual.ConditionalPostconditionAnnotation extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.Class qualifier () 
}

org/checkerframework/framework/qual/Covariant.class
Covariant.java
package org.checkerframework.framework.qual
public abstract annotation org.checkerframework.framework.qual.Covariant extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract int[] value () 
}

org/checkerframework/framework/qual/DefaultFor.class
DefaultFor.java
package org.checkerframework.framework.qual
public abstract annotation org.checkerframework.framework.qual.DefaultFor extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract org.checkerframework.framework.qual.TypeUseLocation[] value () 
	public abstract org.checkerframework.framework.qual.TypeKind[] typeKinds () 
	public abstract java.lang.Class[] types () 
	public abstract java.lang.String[] names () 
	public abstract java.lang.String[] namesExceptions () 
}

org/checkerframework/framework/qual/DefaultQualifier$List.class
DefaultQualifier.java
package org.checkerframework.framework.qual
public abstract annotation org.checkerframework.framework.qual.DefaultQualifier$List extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract org.checkerframework.framework.qual.DefaultQualifier[] value () 
}

org/checkerframework/framework/qual/DefaultQualifier.class
DefaultQualifier.java
package org.checkerframework.framework.qual
public abstract annotation org.checkerframework.framework.qual.DefaultQualifier extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.Class value () 
	public abstract org.checkerframework.framework.qual.TypeUseLocation[] locations () 
}

org/checkerframework/framework/qual/DefaultQualifierForUse.class
DefaultQualifierForUse.java
package org.checkerframework.framework.qual
public abstract annotation org.checkerframework.framework.qual.DefaultQualifierForUse extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.Class[] value () 
}

org/checkerframework/framework/qual/DefaultQualifierInHierarchy.class
DefaultQualifierInHierarchy.java
package org.checkerframework.framework.qual
public abstract annotation org.checkerframework.framework.qual.DefaultQualifierInHierarchy extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/framework/qual/EnsuresQualifier$List.class
EnsuresQualifier.java
package org.checkerframework.framework.qual
public abstract annotation org.checkerframework.framework.qual.EnsuresQualifier$List extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract org.checkerframework.framework.qual.EnsuresQualifier[] value () 
}

org/checkerframework/framework/qual/EnsuresQualifier.class
EnsuresQualifier.java
package org.checkerframework.framework.qual
public abstract annotation org.checkerframework.framework.qual.EnsuresQualifier extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.String[] expression () 
	public abstract java.lang.Class qualifier () 
}

org/checkerframework/framework/qual/EnsuresQualifierIf$List.class
EnsuresQualifierIf.java
package org.checkerframework.framework.qual
public abstract annotation org.checkerframework.framework.qual.EnsuresQualifierIf$List extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract org.checkerframework.framework.qual.EnsuresQualifierIf[] value () 
}

org/checkerframework/framework/qual/EnsuresQualifierIf.class
EnsuresQualifierIf.java
package org.checkerframework.framework.qual
public abstract annotation org.checkerframework.framework.qual.EnsuresQualifierIf extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.String[] expression () 
	public abstract java.lang.Class qualifier () 
	public abstract boolean result () 
}

org/checkerframework/framework/qual/FieldInvariant.class
FieldInvariant.java
package org.checkerframework.framework.qual
public abstract annotation org.checkerframework.framework.qual.FieldInvariant extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.Class[] qualifier () 
	public abstract java.lang.String[] field () 
}

org/checkerframework/framework/qual/FromByteCode.class
FromByteCode.java
package org.checkerframework.framework.qual
public abstract annotation org.checkerframework.framework.qual.FromByteCode extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/framework/qual/FromStubFile.class
FromStubFile.java
package org.checkerframework.framework.qual
public abstract annotation org.checkerframework.framework.qual.FromStubFile extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/framework/qual/HasQualifierParameter.class
HasQualifierParameter.java
package org.checkerframework.framework.qual
public abstract annotation org.checkerframework.framework.qual.HasQualifierParameter extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.Class[] value () 
}

org/checkerframework/framework/qual/IgnoreInWholeProgramInference.class
IgnoreInWholeProgramInference.java
package org.checkerframework.framework.qual
public abstract annotation org.checkerframework.framework.qual.IgnoreInWholeProgramInference extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/framework/qual/InheritedAnnotation.class
InheritedAnnotation.java
package org.checkerframework.framework.qual
public abstract annotation org.checkerframework.framework.qual.InheritedAnnotation extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/framework/qual/InvisibleQualifier.class
InvisibleQualifier.java
package org.checkerframework.framework.qual
public abstract annotation org.checkerframework.framework.qual.InvisibleQualifier extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/framework/qual/JavaExpression.class
JavaExpression.java
package org.checkerframework.framework.qual
public abstract annotation org.checkerframework.framework.qual.JavaExpression extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/framework/qual/LiteralKind.class
LiteralKind.java
package org.checkerframework.framework.qual
public final enum org.checkerframework.framework.qual.LiteralKind extends java.lang.Enum {
	public static final enum org.checkerframework.framework.qual.LiteralKind NULL
	public static final enum org.checkerframework.framework.qual.LiteralKind INT
	public static final enum org.checkerframework.framework.qual.LiteralKind LONG
	public static final enum org.checkerframework.framework.qual.LiteralKind FLOAT
	public static final enum org.checkerframework.framework.qual.LiteralKind DOUBLE
	public static final enum org.checkerframework.framework.qual.LiteralKind BOOLEAN
	public static final enum org.checkerframework.framework.qual.LiteralKind CHAR
	public static final enum org.checkerframework.framework.qual.LiteralKind STRING
	public static final enum org.checkerframework.framework.qual.LiteralKind ALL
	public static final enum org.checkerframework.framework.qual.LiteralKind PRIMITIVE
	private static final synthetic org.checkerframework.framework.qual.LiteralKind[] $VALUES
	public static org.checkerframework.framework.qual.LiteralKind[] values () 
	public static org.checkerframework.framework.qual.LiteralKind valueOf (java.lang.String) 
		String name
	private void <init> (java.lang.String, int) 
	public static java.util.List allLiteralKinds () 
		java.util.List list
	public static java.util.List primitiveLiteralKinds () 
	static void <clinit> () 
}

org/checkerframework/framework/qual/MonotonicQualifier.class
MonotonicQualifier.java
package org.checkerframework.framework.qual
public abstract annotation org.checkerframework.framework.qual.MonotonicQualifier extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.Class value () 
}

org/checkerframework/framework/qual/NoDefaultQualifierForUse.class
NoDefaultQualifierForUse.java
package org.checkerframework.framework.qual
public abstract annotation org.checkerframework.framework.qual.NoDefaultQualifierForUse extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.Class[] value () 
}

org/checkerframework/framework/qual/NoQualifierParameter.class
NoQualifierParameter.java
package org.checkerframework.framework.qual
public abstract annotation org.checkerframework.framework.qual.NoQualifierParameter extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.Class[] value () 
}

org/checkerframework/framework/qual/PolymorphicQualifier.class
PolymorphicQualifier.java
package org.checkerframework.framework.qual
public abstract annotation org.checkerframework.framework.qual.PolymorphicQualifier extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.Class value () 
}

org/checkerframework/framework/qual/PostconditionAnnotation.class
PostconditionAnnotation.java
package org.checkerframework.framework.qual
public abstract annotation org.checkerframework.framework.qual.PostconditionAnnotation extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.Class qualifier () 
}

org/checkerframework/framework/qual/PreconditionAnnotation.class
PreconditionAnnotation.java
package org.checkerframework.framework.qual
public abstract annotation org.checkerframework.framework.qual.PreconditionAnnotation extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.Class qualifier () 
}

org/checkerframework/framework/qual/PurityUnqualified.class
PurityUnqualified.java
package org.checkerframework.framework.qual
public abstract annotation org.checkerframework.framework.qual.PurityUnqualified extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/framework/qual/QualifierArgument.class
QualifierArgument.java
package org.checkerframework.framework.qual
public abstract annotation org.checkerframework.framework.qual.QualifierArgument extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.String value () 
}

org/checkerframework/framework/qual/QualifierForLiterals.class
QualifierForLiterals.java
package org.checkerframework.framework.qual
public abstract annotation org.checkerframework.framework.qual.QualifierForLiterals extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract org.checkerframework.framework.qual.LiteralKind[] value () 
	public abstract java.lang.String[] stringPatterns () 
}

org/checkerframework/framework/qual/RelevantJavaTypes.class
RelevantJavaTypes.java
package org.checkerframework.framework.qual
public abstract annotation org.checkerframework.framework.qual.RelevantJavaTypes extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.Class[] value () 
}

org/checkerframework/framework/qual/RequiresQualifier$List.class
RequiresQualifier.java
package org.checkerframework.framework.qual
public abstract annotation org.checkerframework.framework.qual.RequiresQualifier$List extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract org.checkerframework.framework.qual.RequiresQualifier[] value () 
}

org/checkerframework/framework/qual/RequiresQualifier.class
RequiresQualifier.java
package org.checkerframework.framework.qual
public abstract annotation org.checkerframework.framework.qual.RequiresQualifier extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.String[] expression () 
	public abstract java.lang.Class qualifier () 
}

org/checkerframework/framework/qual/StubFiles.class
StubFiles.java
package org.checkerframework.framework.qual
public abstract annotation org.checkerframework.framework.qual.StubFiles extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.String[] value () 
}

org/checkerframework/framework/qual/SubtypeOf.class
SubtypeOf.java
package org.checkerframework.framework.qual
public abstract annotation org.checkerframework.framework.qual.SubtypeOf extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.Class[] value () 
}

org/checkerframework/framework/qual/TargetLocations.class
TargetLocations.java
package org.checkerframework.framework.qual
public abstract annotation org.checkerframework.framework.qual.TargetLocations extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract org.checkerframework.framework.qual.TypeUseLocation[] value () 
}

org/checkerframework/framework/qual/TypeKind.class
TypeKind.java
package org.checkerframework.framework.qual
public final enum org.checkerframework.framework.qual.TypeKind extends java.lang.Enum {
	public static final enum org.checkerframework.framework.qual.TypeKind BOOLEAN
	public static final enum org.checkerframework.framework.qual.TypeKind BYTE
	public static final enum org.checkerframework.framework.qual.TypeKind SHORT
	public static final enum org.checkerframework.framework.qual.TypeKind INT
	public static final enum org.checkerframework.framework.qual.TypeKind LONG
	public static final enum org.checkerframework.framework.qual.TypeKind CHAR
	public static final enum org.checkerframework.framework.qual.TypeKind FLOAT
	public static final enum org.checkerframework.framework.qual.TypeKind DOUBLE
	public static final enum org.checkerframework.framework.qual.TypeKind VOID
	public static final enum org.checkerframework.framework.qual.TypeKind NONE
	public static final enum org.checkerframework.framework.qual.TypeKind NULL
	public static final enum org.checkerframework.framework.qual.TypeKind ARRAY
	public static final enum org.checkerframework.framework.qual.TypeKind DECLARED
	public static final enum org.checkerframework.framework.qual.TypeKind ERROR
	public static final enum org.checkerframework.framework.qual.TypeKind TYPEVAR
	public static final enum org.checkerframework.framework.qual.TypeKind WILDCARD
	public static final enum org.checkerframework.framework.qual.TypeKind PACKAGE
	public static final enum org.checkerframework.framework.qual.TypeKind EXECUTABLE
	public static final enum org.checkerframework.framework.qual.TypeKind OTHER
	public static final enum org.checkerframework.framework.qual.TypeKind UNION
	public static final enum org.checkerframework.framework.qual.TypeKind INTERSECTION
	private static final synthetic org.checkerframework.framework.qual.TypeKind[] $VALUES
	public static org.checkerframework.framework.qual.TypeKind[] values () 
	public static org.checkerframework.framework.qual.TypeKind valueOf (java.lang.String) 
		String name
	private void <init> (java.lang.String, int) 
	static void <clinit> () 
}

org/checkerframework/framework/qual/TypeUseLocation.class
TypeUseLocation.java
package org.checkerframework.framework.qual
public final enum org.checkerframework.framework.qual.TypeUseLocation extends java.lang.Enum {
	public static final enum org.checkerframework.framework.qual.TypeUseLocation FIELD
	public static final enum org.checkerframework.framework.qual.TypeUseLocation LOCAL_VARIABLE
	public static final enum org.checkerframework.framework.qual.TypeUseLocation RESOURCE_VARIABLE
	public static final enum org.checkerframework.framework.qual.TypeUseLocation EXCEPTION_PARAMETER
	public static final enum org.checkerframework.framework.qual.TypeUseLocation RECEIVER
	public static final enum org.checkerframework.framework.qual.TypeUseLocation PARAMETER
	public static final enum org.checkerframework.framework.qual.TypeUseLocation RETURN
	public static final enum org.checkerframework.framework.qual.TypeUseLocation CONSTRUCTOR_RESULT
	public static final enum org.checkerframework.framework.qual.TypeUseLocation LOWER_BOUND
	public static final enum org.checkerframework.framework.qual.TypeUseLocation EXPLICIT_LOWER_BOUND
	public static final enum org.checkerframework.framework.qual.TypeUseLocation IMPLICIT_LOWER_BOUND
	public static final enum org.checkerframework.framework.qual.TypeUseLocation UPPER_BOUND
	public static final enum org.checkerframework.framework.qual.TypeUseLocation EXPLICIT_UPPER_BOUND
	public static final enum org.checkerframework.framework.qual.TypeUseLocation IMPLICIT_UPPER_BOUND
	public static final enum org.checkerframework.framework.qual.TypeUseLocation OTHERWISE
	public static final enum org.checkerframework.framework.qual.TypeUseLocation ALL
	private static final synthetic org.checkerframework.framework.qual.TypeUseLocation[] $VALUES
	public static org.checkerframework.framework.qual.TypeUseLocation[] values () 
	public static org.checkerframework.framework.qual.TypeUseLocation valueOf (java.lang.String) 
		String name
	private void <init> (java.lang.String, int) 
	static void <clinit> () 
}

org/checkerframework/framework/qual/Unused.class
Unused.java
package org.checkerframework.framework.qual
public abstract annotation org.checkerframework.framework.qual.Unused extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.Class when () 
}

org/checkerframework/framework/qual/UpperBoundFor.class
UpperBoundFor.java
package org.checkerframework.framework.qual
public abstract annotation org.checkerframework.framework.qual.UpperBoundFor extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract org.checkerframework.framework.qual.TypeKind[] typeKinds () 
	public abstract java.lang.Class[] types () 
}