OpenGrok

META-INF/
META-INF/MANIFEST.MF
afu/
afu/org/
afu/org/checkerframework/
afu/org/checkerframework/checker/
afu/org/checkerframework/checker/compilermsgs/
afu/org/checkerframework/checker/compilermsgs/qual/
afu/org/checkerframework/checker/compilermsgs/qual/CompilerMessageKey.class
CompilerMessageKey.java
package afu.org.checkerframework.checker.compilermsgs.qual
public abstract afu.org.checkerframework.checker.compilermsgs.qual.CompilerMessageKey extends java.lang.Object implements java.lang.annotation.Annotation  {
}

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

afu/org/checkerframework/checker/formatter/
afu/org/checkerframework/checker/formatter/FormatUtil$Conversion.class
FormatUtil.java
package afu.org.checkerframework.checker.formatter
 afu.org.checkerframework.checker.formatter.FormatUtil$Conversion extends java.lang.Object {
	private final int index
	private final afu.org.checkerframework.checker.formatter.qual.ConversionCategory cath
	public void  (char, int) 
		char c
		int index
	int index () 
	afu.org.checkerframework.checker.formatter.qual.ConversionCategory category () 
}

afu/org/checkerframework/checker/formatter/FormatUtil$ExcessiveOrMissingFormatArgumentException.class
FormatUtil.java
package afu.org.checkerframework.checker.formatter
public afu.org.checkerframework.checker.formatter.FormatUtil$ExcessiveOrMissingFormatArgumentException extends java.util.MissingFormatArgumentException {
	private static final long serialVersionUID
	private final int expected
	private final int found
	public void  (int, int) 
		int expected
		int found
	public int getExpected () 
	public int getFound () 
	public java.lang.String getMessage () 
}

afu/org/checkerframework/checker/formatter/FormatUtil$IllegalFormatConversionCategoryException.class
FormatUtil.java
package afu.org.checkerframework.checker.formatter
public afu.org.checkerframework.checker.formatter.FormatUtil$IllegalFormatConversionCategoryException extends java.util.IllegalFormatConversionException {
	private static final long serialVersionUID
	private final afu.org.checkerframework.checker.formatter.qual.ConversionCategory expected
	private final afu.org.checkerframework.checker.formatter.qual.ConversionCategory found
	public void  (afu.org.checkerframework.checker.formatter.qual.ConversionCategory, afu.org.checkerframework.checker.formatter.qual.ConversionCategory) 
		afu.org.checkerframework.checker.formatter.qual.ConversionCategory expected
		afu.org.checkerframework.checker.formatter.qual.ConversionCategory found
	public afu.org.checkerframework.checker.formatter.qual.ConversionCategory getExpected () 
	public afu.org.checkerframework.checker.formatter.qual.ConversionCategory getFound () 
	public java.lang.String getMessage () 
}

afu/org/checkerframework/checker/formatter/FormatUtil.class
FormatUtil.java
package afu.org.checkerframework.checker.formatter
public afu.org.checkerframework.checker.formatter.FormatUtil extends java.lang.Object {
	private static final String formatSpecifier
	private static java.util.regex.Pattern fsPattern
	public void  () 
	public static transient java.lang.String asFormat (java.lang.String, afu.org.checkerframework.checker.formatter.qual.ConversionCategory[])  throws java.util.IllegalFormatException 
		int i
		String format
		afu.org.checkerframework.checker.formatter.qual.ConversionCategory[] cc
		afu.org.checkerframework.checker.formatter.qual.ConversionCategory[] fcc
	public static void tryFormatSatisfiability (java.lang.String)  throws java.util.IllegalFormatException 
		String format
	public static afu.org.checkerframework.checker.formatter.qual.ConversionCategory[] formatParameterCategories (java.lang.String)  throws java.util.IllegalFormatException 
		int index
		afu.org.checkerframework.checker.formatter.FormatUtil$Conversion c
		int i
		String format
		int last
		int lasto
		int maxindex
		afu.org.checkerframework.checker.formatter.FormatUtil$Conversion[] cs
		java.util.Map conv
		afu.org.checkerframework.checker.formatter.qual.ConversionCategory[] res
	private static int indexFromFormat (java.util.regex.Matcher) 
		int index
		int index
		java.util.regex.Matcher m
		int index
		String s
	private static char conversionCharFromFormat (java.util.regex.Matcher) 
		java.util.regex.Matcher m
		String dt
	private static afu.org.checkerframework.checker.formatter.FormatUtil$Conversion[] parse (java.lang.String) 
		char c
		String format
		java.util.ArrayList cs
		java.util.regex.Matcher m
	static void  () 
}

afu/org/checkerframework/checker/formatter/qual/
afu/org/checkerframework/checker/formatter/qual/ConversionCategory.class
ConversionCategory.java
package afu.org.checkerframework.checker.formatter.qual
public final afu.org.checkerframework.checker.formatter.qual.ConversionCategory extends java.lang.Enum {
	public static final afu.org.checkerframework.checker.formatter.qual.ConversionCategory GENERAL
	public static final afu.org.checkerframework.checker.formatter.qual.ConversionCategory CHAR
	public static final afu.org.checkerframework.checker.formatter.qual.ConversionCategory INT
	public static final afu.org.checkerframework.checker.formatter.qual.ConversionCategory FLOAT
	public static final afu.org.checkerframework.checker.formatter.qual.ConversionCategory TIME
	public static final afu.org.checkerframework.checker.formatter.qual.ConversionCategory CHAR_AND_INT
	public static final afu.org.checkerframework.checker.formatter.qual.ConversionCategory INT_AND_TIME
	public static final afu.org.checkerframework.checker.formatter.qual.ConversionCategory NULL
	public static final afu.org.checkerframework.checker.formatter.qual.ConversionCategory UNUSED
	public final Class[] types
	public final String chars
	private static final afu.org.checkerframework.checker.formatter.qual.ConversionCategory[] $VALUES
	public static afu.org.checkerframework.checker.formatter.qual.ConversionCategory[] values () 
	public static afu.org.checkerframework.checker.formatter.qual.ConversionCategory valueOf (java.lang.String) 
		String name
	private void  (java.lang.String, int, java.lang.Class[], java.lang.String) 
		Class[] types
		String chars
	public static afu.org.checkerframework.checker.formatter.qual.ConversionCategory fromConversionChar (char) 
		afu.org.checkerframework.checker.formatter.qual.ConversionCategory v
		char c
	private static java.util.Set arrayToSet (java.lang.Object[]) 
		Object[] a
	public static boolean isSubsetOf (afu.org.checkerframework.checker.formatter.qual.ConversionCategory, afu.org.checkerframework.checker.formatter.qual.ConversionCategory) 
		afu.org.checkerframework.checker.formatter.qual.ConversionCategory a
		afu.org.checkerframework.checker.formatter.qual.ConversionCategory b
	public static afu.org.checkerframework.checker.formatter.qual.ConversionCategory intersect (afu.org.checkerframework.checker.formatter.qual.ConversionCategory, afu.org.checkerframework.checker.formatter.qual.ConversionCategory) 
		java.util.Set vs
		afu.org.checkerframework.checker.formatter.qual.ConversionCategory v
		afu.org.checkerframework.checker.formatter.qual.ConversionCategory a
		afu.org.checkerframework.checker.formatter.qual.ConversionCategory b
		java.util.Set as
		java.util.Set bs
	private java.lang.String className (java.lang.Class) 
		Class cls
	public java.lang.String toString () 
		Class cls
		StringBuilder sb
		boolean first
	static void  () 
}

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

afu/org/checkerframework/checker/igj/
afu/org/checkerframework/checker/igj/qual/
afu/org/checkerframework/checker/igj/qual/Assignable.class
Assignable.java
package afu.org.checkerframework.checker.igj.qual
public abstract afu.org.checkerframework.checker.igj.qual.Assignable extends java.lang.Object implements java.lang.annotation.Annotation  {
}

afu/org/checkerframework/checker/igj/qual/AssignsFields.class
AssignsFields.java
package afu.org.checkerframework.checker.igj.qual
public abstract afu.org.checkerframework.checker.igj.qual.AssignsFields extends java.lang.Object implements java.lang.annotation.Annotation  {
}

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

afu/org/checkerframework/checker/igj/qual/Immutable.class
Immutable.java
package afu.org.checkerframework.checker.igj.qual
public abstract afu.org.checkerframework.checker.igj.qual.Immutable extends java.lang.Object implements java.lang.annotation.Annotation  {
}

afu/org/checkerframework/checker/igj/qual/Mutable.class
Mutable.java
package afu.org.checkerframework.checker.igj.qual
public abstract afu.org.checkerframework.checker.igj.qual.Mutable extends java.lang.Object implements java.lang.annotation.Annotation  {
}

afu/org/checkerframework/checker/igj/qual/ReadOnly.class
ReadOnly.java
package afu.org.checkerframework.checker.igj.qual
public abstract afu.org.checkerframework.checker.igj.qual.ReadOnly extends java.lang.Object implements java.lang.annotation.Annotation  {
}

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

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

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

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

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

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

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

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

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

afu/org/checkerframework/checker/javari/
afu/org/checkerframework/checker/javari/qual/
afu/org/checkerframework/checker/javari/qual/Assignable.class
Assignable.java
package afu.org.checkerframework.checker.javari.qual
public abstract afu.org.checkerframework.checker.javari.qual.Assignable extends java.lang.Object implements java.lang.annotation.Annotation  {
}

afu/org/checkerframework/checker/javari/qual/Mutable.class
Mutable.java
package afu.org.checkerframework.checker.javari.qual
public abstract afu.org.checkerframework.checker.javari.qual.Mutable extends java.lang.Object implements java.lang.annotation.Annotation  {
}

afu/org/checkerframework/checker/javari/qual/PolyRead.class
PolyRead.java
package afu.org.checkerframework.checker.javari.qual
public abstract afu.org.checkerframework.checker.javari.qual.PolyRead extends java.lang.Object implements java.lang.annotation.Annotation  {
}

afu/org/checkerframework/checker/javari/qual/QReadOnly.class
QReadOnly.java
package afu.org.checkerframework.checker.javari.qual
public abstract afu.org.checkerframework.checker.javari.qual.QReadOnly extends java.lang.Object implements java.lang.annotation.Annotation  {
}

afu/org/checkerframework/checker/javari/qual/ReadOnly.class
ReadOnly.java
package afu.org.checkerframework.checker.javari.qual
public abstract afu.org.checkerframework.checker.javari.qual.ReadOnly extends java.lang.Object implements java.lang.annotation.Annotation  {
}

afu/org/checkerframework/checker/javari/qual/ThisMutable.class
ThisMutable.java
package afu.org.checkerframework.checker.javari.qual
public abstract afu.org.checkerframework.checker.javari.qual.ThisMutable extends java.lang.Object implements java.lang.annotation.Annotation  {
}

afu/org/checkerframework/checker/linear/
afu/org/checkerframework/checker/linear/qual/
afu/org/checkerframework/checker/linear/qual/Linear.class
Linear.java
package afu.org.checkerframework.checker.linear.qual
public abstract afu.org.checkerframework.checker.linear.qual.Linear extends java.lang.Object implements java.lang.annotation.Annotation  {
}

afu/org/checkerframework/checker/linear/qual/Normal.class
Normal.java
package afu.org.checkerframework.checker.linear.qual
public abstract afu.org.checkerframework.checker.linear.qual.Normal extends java.lang.Object implements java.lang.annotation.Annotation  {
}

afu/org/checkerframework/checker/linear/qual/Unusable.class
Unusable.java
package afu.org.checkerframework.checker.linear.qual
public abstract afu.org.checkerframework.checker.linear.qual.Unusable extends java.lang.Object implements java.lang.annotation.Annotation  {
}

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

afu/org/checkerframework/checker/lock/qual/EnsuresLockHeldIf.class
EnsuresLockHeldIf.java
package afu.org.checkerframework.checker.lock.qual
public abstract afu.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 () 
}

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

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

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

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

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

afu/org/checkerframework/checker/nullness/
afu/org/checkerframework/checker/nullness/NullnessUtils.class
NullnessUtils.java
package afu.org.checkerframework.checker.nullness
public final afu.org.checkerframework.checker.nullness.NullnessUtils extends java.lang.Object {
	static final boolean $assertionsDisabled
	private void  () 
	public static java.lang.Object castNonNull (java.lang.Object) 
		Object ref
	public static java.lang.Object[] castNonNullDeep (java.lang.Object[]) 
		Object[] arr
	public static java.lang.Object[][] castNonNullDeep (java.lang.Object[][]) 
		Object[][] arr
	public static java.lang.Object[][][] castNonNullDeep (java.lang.Object[][][]) 
		Object[][][] arr
	public static java.lang.Object[][][][] castNonNullDeep (java.lang.Object[][][][]) 
		Object[][][][] arr
	public static java.lang.Object[][][][][] castNonNullDeep (java.lang.Object[][][][][]) 
		Object[][][][][] arr
	private static java.lang.Object[] castNonNullArray (java.lang.Object[]) 
		int i
		Object[] arr
	private static void checkIfArray (java.lang.Object) 
		Object ref
		Class comp
	static void  () 
}

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

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

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

afu/org/checkerframework/checker/nullness/qual/EnsuresNonNullIf.class
EnsuresNonNullIf.java
package afu.org.checkerframework.checker.nullness.qual
public abstract afu.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 () 
}

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

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

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

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

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

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

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

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

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

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

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

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

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

afu/org/checkerframework/checker/oigj/
afu/org/checkerframework/checker/oigj/qual/
afu/org/checkerframework/checker/oigj/qual/Assignable.class
Assignable.java
package afu.org.checkerframework.checker.oigj.qual
public abstract afu.org.checkerframework.checker.oigj.qual.Assignable extends java.lang.Object implements java.lang.annotation.Annotation  {
}

afu/org/checkerframework/checker/oigj/qual/AssignsFields.class
AssignsFields.java
package afu.org.checkerframework.checker.oigj.qual
public abstract afu.org.checkerframework.checker.oigj.qual.AssignsFields extends java.lang.Object implements java.lang.annotation.Annotation  {
}

afu/org/checkerframework/checker/oigj/qual/Dominator.class
Dominator.java
package afu.org.checkerframework.checker.oigj.qual
public abstract afu.org.checkerframework.checker.oigj.qual.Dominator extends java.lang.Object implements java.lang.annotation.Annotation  {
}

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

afu/org/checkerframework/checker/oigj/qual/Immutable.class
Immutable.java
package afu.org.checkerframework.checker.oigj.qual
public abstract afu.org.checkerframework.checker.oigj.qual.Immutable extends java.lang.Object implements java.lang.annotation.Annotation  {
}

afu/org/checkerframework/checker/oigj/qual/Modifier.class
Modifier.java
package afu.org.checkerframework.checker.oigj.qual
public abstract afu.org.checkerframework.checker.oigj.qual.Modifier extends java.lang.Object implements java.lang.annotation.Annotation  {
}

afu/org/checkerframework/checker/oigj/qual/Mutable.class
Mutable.java
package afu.org.checkerframework.checker.oigj.qual
public abstract afu.org.checkerframework.checker.oigj.qual.Mutable extends java.lang.Object implements java.lang.annotation.Annotation  {
}

afu/org/checkerframework/checker/oigj/qual/O.class
O.java
package afu.org.checkerframework.checker.oigj.qual
public abstract afu.org.checkerframework.checker.oigj.qual.O extends java.lang.Object implements java.lang.annotation.Annotation  {
}

afu/org/checkerframework/checker/oigj/qual/OIGJMutabilityBottom.class
OIGJMutabilityBottom.java
package afu.org.checkerframework.checker.oigj.qual
public abstract afu.org.checkerframework.checker.oigj.qual.OIGJMutabilityBottom extends java.lang.Object implements java.lang.annotation.Annotation  {
}

afu/org/checkerframework/checker/oigj/qual/ReadOnly.class
ReadOnly.java
package afu.org.checkerframework.checker.oigj.qual
public abstract afu.org.checkerframework.checker.oigj.qual.ReadOnly extends java.lang.Object implements java.lang.annotation.Annotation  {
}

afu/org/checkerframework/checker/oigj/qual/WildCard.class
WildCard.java
package afu.org.checkerframework.checker.oigj.qual
public abstract afu.org.checkerframework.checker.oigj.qual.WildCard extends java.lang.Object implements java.lang.annotation.Annotation  {
}

afu/org/checkerframework/checker/oigj/qual/World.class
World.java
package afu.org.checkerframework.checker.oigj.qual
public abstract afu.org.checkerframework.checker.oigj.qual.World extends java.lang.Object implements java.lang.annotation.Annotation  {
}

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

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

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

afu/org/checkerframework/checker/regex/
afu/org/checkerframework/checker/regex/RegexUtil$CheckedPatternSyntaxException.class
RegexUtil.java
package afu.org.checkerframework.checker.regex
public afu.org.checkerframework.checker.regex.RegexUtil$CheckedPatternSyntaxException extends java.lang.Exception {
	private static final long serialVersionUID
	private final java.util.regex.PatternSyntaxException pse
	public void  (java.util.regex.PatternSyntaxException) 
		java.util.regex.PatternSyntaxException pse
	public void  (java.lang.String, java.lang.String, int) 
		String desc
		String regex
		int index
	public java.lang.String getDescription () 
	public int getIndex () 
	public java.lang.String getMessage () 
	public java.lang.String getPattern () 
}

afu/org/checkerframework/checker/regex/RegexUtil.class
RegexUtil.java
package afu.org.checkerframework.checker.regex
public afu.org.checkerframework.checker.regex.RegexUtil extends java.lang.Object {
	private void  () 
	public static boolean isRegex (java.lang.String) 
		String s
	public static boolean isRegex (java.lang.String, int) 
		java.util.regex.Pattern p
		java.util.regex.PatternSyntaxException e
		String s
		int groups
		java.util.regex.Pattern p
	public static boolean isRegex (char) 
		char c
	public static java.lang.String regexError (java.lang.String) 
		String s
	public static java.lang.String regexError (java.lang.String, int) 
		java.util.regex.Pattern p
		int actualGroups
		java.util.regex.PatternSyntaxException e
		String s
		int groups
	public static java.util.regex.PatternSyntaxException regexException (java.lang.String) 
		String s
	public static java.util.regex.PatternSyntaxException regexException (java.lang.String, int) 
		java.util.regex.Pattern p
		int actualGroups
		java.util.regex.PatternSyntaxException pse
		String s
		int groups
	public static java.lang.String asRegex (java.lang.String) 
		String s
	public static java.lang.String asRegex (java.lang.String, int) 
		java.util.regex.Pattern p
		int actualGroups
		java.util.regex.PatternSyntaxException e
		String s
		int groups
	private static java.lang.String regexErrorMessage (java.lang.String, int, int) 
		String s
		int expectedGroups
		int actualGroups
	private static int getGroupCount (java.util.regex.Pattern) 
		java.util.regex.Pattern p
}

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

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

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

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

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

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

afu/org/checkerframework/checker/regex/qual/MultiClassRegexParam.class
MultiClassRegexParam.java
package afu.org.checkerframework.checker.regex.qual
public abstract afu.org.checkerframework.checker.regex.qual.MultiClassRegexParam extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract afu.org.checkerframework.checker.regex.qual.ClassRegexParam[] value () 
}

afu/org/checkerframework/checker/regex/qual/MultiMethodRegexParam.class
MultiMethodRegexParam.java
package afu.org.checkerframework.checker.regex.qual
public abstract afu.org.checkerframework.checker.regex.qual.MultiMethodRegexParam extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract afu.org.checkerframework.checker.regex.qual.MethodRegexParam[] value () 
}

afu/org/checkerframework/checker/regex/qual/MultiPolyRegex.class
MultiPolyRegex.java
package afu.org.checkerframework.checker.regex.qual
public abstract afu.org.checkerframework.checker.regex.qual.MultiPolyRegex extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract afu.org.checkerframework.checker.regex.qual.PolyRegex[] value () 
}

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

afu/org/checkerframework/checker/regex/qual/MultiVar.class
MultiVar.java
package afu.org.checkerframework.checker.regex.qual
public abstract afu.org.checkerframework.checker.regex.qual.MultiVar extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract afu.org.checkerframework.checker.regex.qual.Var[] value () 
}

afu/org/checkerframework/checker/regex/qual/MultiWild.class
MultiWild.java
package afu.org.checkerframework.checker.regex.qual
public abstract afu.org.checkerframework.checker.regex.qual.MultiWild extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract afu.org.checkerframework.checker.regex.qual.Wild[] value () 
}

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

afu/org/checkerframework/checker/regex/qual/Regex.class
Regex.java
package afu.org.checkerframework.checker.regex.qual
public abstract afu.org.checkerframework.checker.regex.qual.Regex extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract int value () 
	public abstract java.lang.String param () 
	public abstract afu.org.checkerframework.qualframework.poly.qual.Wildcard wildcard () 
}

afu/org/checkerframework/checker/regex/qual/Var.class
Var.java
package afu.org.checkerframework.checker.regex.qual
public abstract afu.org.checkerframework.checker.regex.qual.Var extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.String arg () 
	public abstract java.lang.String param () 
	public abstract afu.org.checkerframework.qualframework.poly.qual.Wildcard wildcard () 
}

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

afu/org/checkerframework/checker/tainting/qual/MultiClassTaintingParam.class
MultiClassTaintingParam.java
package afu.org.checkerframework.checker.tainting.qual
public abstract afu.org.checkerframework.checker.tainting.qual.MultiClassTaintingParam extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract afu.org.checkerframework.checker.tainting.qual.ClassTaintingParam[] value () 
}

afu/org/checkerframework/checker/tainting/qual/MultiMethodTaintingParam.class
MultiMethodTaintingParam.java
package afu.org.checkerframework.checker.tainting.qual
public abstract afu.org.checkerframework.checker.tainting.qual.MultiMethodTaintingParam extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract afu.org.checkerframework.checker.tainting.qual.MethodTaintingParam[] value () 
}

afu/org/checkerframework/checker/tainting/qual/MultiPolyTainted.class
MultiPolyTainted.java
package afu.org.checkerframework.checker.tainting.qual
public abstract afu.org.checkerframework.checker.tainting.qual.MultiPolyTainted extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract afu.org.checkerframework.checker.tainting.qual.PolyTainted[] value () 
}

afu/org/checkerframework/checker/tainting/qual/MultiTainted.class
MultiTainted.java
package afu.org.checkerframework.checker.tainting.qual
public abstract afu.org.checkerframework.checker.tainting.qual.MultiTainted extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract afu.org.checkerframework.checker.tainting.qual.Tainted[] value () 
}

afu/org/checkerframework/checker/tainting/qual/MultiUntainted.class
MultiUntainted.java
package afu.org.checkerframework.checker.tainting.qual
public abstract afu.org.checkerframework.checker.tainting.qual.MultiUntainted extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract afu.org.checkerframework.checker.tainting.qual.Untainted[] value () 
}

afu/org/checkerframework/checker/tainting/qual/MultiVar.class
MultiVar.java
package afu.org.checkerframework.checker.tainting.qual
public abstract afu.org.checkerframework.checker.tainting.qual.MultiVar extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract afu.org.checkerframework.checker.tainting.qual.Var[] value () 
}

afu/org/checkerframework/checker/tainting/qual/MultiWild.class
MultiWild.java
package afu.org.checkerframework.checker.tainting.qual
public abstract afu.org.checkerframework.checker.tainting.qual.MultiWild extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract afu.org.checkerframework.checker.tainting.qual.Wild[] value () 
}

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

afu/org/checkerframework/checker/tainting/qual/Tainted.class
Tainted.java
package afu.org.checkerframework.checker.tainting.qual
public abstract afu.org.checkerframework.checker.tainting.qual.Tainted extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.String param () 
	public abstract afu.org.checkerframework.qualframework.poly.qual.Wildcard wildcard () 
}

afu/org/checkerframework/checker/tainting/qual/Untainted.class
Untainted.java
package afu.org.checkerframework.checker.tainting.qual
public abstract afu.org.checkerframework.checker.tainting.qual.Untainted extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.String param () 
	public abstract afu.org.checkerframework.qualframework.poly.qual.Wildcard wildcard () 
}

afu/org/checkerframework/checker/tainting/qual/Var.class
Var.java
package afu.org.checkerframework.checker.tainting.qual
public abstract afu.org.checkerframework.checker.tainting.qual.Var extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.String arg () 
	public abstract java.lang.String param () 
	public abstract afu.org.checkerframework.qualframework.poly.qual.Wildcard wildcard () 
}

afu/org/checkerframework/checker/tainting/qual/Wild.class
Wild.java
package afu.org.checkerframework.checker.tainting.qual
public abstract afu.org.checkerframework.checker.tainting.qual.Wild extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.String param () 
}

afu/org/checkerframework/checker/units/
afu/org/checkerframework/checker/units/UnitsTools.class
UnitsTools.java
package afu.org.checkerframework.checker.units
public afu.org.checkerframework.checker.units.UnitsTools extends java.lang.Object {
	public static final int mPERs2
	public static final double rad
	public static final double deg
	public static final int mm2
	public static final int m2
	public static final int km2
	public static final int A
	public static final int cd
	public static final int mm
	public static final int m
	public static final int km
	public static final int g
	public static final int kg
	public static final int mPERs
	public static final int kmPERh
	public static final int mol
	public static final int K
	public static final int C
	public static final int s
	public static final int min
	public static final int h
	public void  () 
	public static double toRadians (double) 
		double angdeg
	public static double toDegrees (double) 
		double angrad
	public static int fromMilliMeterToMeter (int) 
		int mm
	public static int fromMeterToMilliMeter (int) 
		int m
	public static int fromMeterToKiloMeter (int) 
		int m
	public static int fromKiloMeterToMeter (int) 
		int km
	public static int fromGramToKiloGram (int) 
		int g
	public static int fromKiloGramToGram (int) 
		int kg
	public static double fromMeterPerSecondToKiloMeterPerHour (double) 
		double mps
	public static double fromKiloMeterPerHourToMeterPerSecond (double) 
		double kmph
	public static int fromKelvinToCelsius (int) 
		int k
	public static int fromCelsiusToKelvin (int) 
		int c
	public static int fromSecondToMinute (int) 
		int s
	public static int fromMinuteToSecond (int) 
		int min
	public static int fromMinuteToHour (int) 
		int min
	public static int fromHourToMinute (int) 
		int h
}

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

afu/org/checkerframework/common/reflection/qual/MethodVal.class
MethodVal.java
package afu.org.checkerframework.common.reflection.qual
public abstract afu.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 () 
}

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

afu/org/checkerframework/framework/qual/DefaultLocation.class
DefaultLocation.java
package afu.org.checkerframework.framework.qual
public final afu.org.checkerframework.framework.qual.DefaultLocation extends java.lang.Enum {
	public static final afu.org.checkerframework.framework.qual.DefaultLocation FIELD
	public static final afu.org.checkerframework.framework.qual.DefaultLocation LOCAL_VARIABLE
	public static final afu.org.checkerframework.framework.qual.DefaultLocation RESOURCE_VARIABLE
	public static final afu.org.checkerframework.framework.qual.DefaultLocation EXCEPTION_PARAMETER
	public static final afu.org.checkerframework.framework.qual.DefaultLocation RECEIVERS
	public static final afu.org.checkerframework.framework.qual.DefaultLocation PARAMETERS
	public static final afu.org.checkerframework.framework.qual.DefaultLocation RETURNS
	public static final afu.org.checkerframework.framework.qual.DefaultLocation LOWER_BOUNDS
	public static final afu.org.checkerframework.framework.qual.DefaultLocation EXPLICIT_LOWER_BOUNDS
	public static final afu.org.checkerframework.framework.qual.DefaultLocation IMPLICIT_LOWER_BOUNDS
	public static final afu.org.checkerframework.framework.qual.DefaultLocation UPPER_BOUNDS
	public static final afu.org.checkerframework.framework.qual.DefaultLocation EXPLICIT_UPPER_BOUNDS
	public static final afu.org.checkerframework.framework.qual.DefaultLocation IMPLICIT_UPPER_BOUNDS
	public static final afu.org.checkerframework.framework.qual.DefaultLocation OTHERWISE
	public static final afu.org.checkerframework.framework.qual.DefaultLocation ALL
	private static final afu.org.checkerframework.framework.qual.DefaultLocation[] $VALUES
	public static afu.org.checkerframework.framework.qual.DefaultLocation[] values () 
	public static afu.org.checkerframework.framework.qual.DefaultLocation valueOf (java.lang.String) 
		String name
	private void  (java.lang.String, int) 
	static void  () 
}

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

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

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

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

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

afu/org/checkerframework/framework/qual/EnsuresQualifier.class
EnsuresQualifier.java
package afu.org.checkerframework.framework.qual
public abstract afu.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 () 
}

afu/org/checkerframework/framework/qual/EnsuresQualifierIf.class
EnsuresQualifierIf.java
package afu.org.checkerframework.framework.qual
public abstract afu.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 () 
}

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

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

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

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

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

afu/org/checkerframework/framework/qual/ImplicitFor.class
ImplicitFor.java
package afu.org.checkerframework.framework.qual
public abstract afu.org.checkerframework.framework.qual.ImplicitFor extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract afu.com.sun.source.tree.Tree$Kind[] trees () 
	public abstract java.lang.Class[] treeClasses () 
	public abstract javax.lang.model.type.TypeKind[] types () 
	public abstract java.lang.Class[] typeClasses () 
	public abstract java.lang.Class[] typeNames () 
	public abstract java.lang.String[] stringPatterns () 
}

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

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

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

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

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

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

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

afu/org/checkerframework/framework/qual/RequiresQualifier.class
RequiresQualifier.java
package afu.org.checkerframework.framework.qual
public abstract afu.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 () 
}

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

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

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

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

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

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

afu/org/checkerframework/qualframework/
afu/org/checkerframework/qualframework/poly/
afu/org/checkerframework/qualframework/poly/qual/
afu/org/checkerframework/qualframework/poly/qual/Wildcard.class
Wildcard.java
package afu.org.checkerframework.qualframework.poly.qual
public final afu.org.checkerframework.qualframework.poly.qual.Wildcard extends java.lang.Enum {
	public static final afu.org.checkerframework.qualframework.poly.qual.Wildcard NONE
	public static final afu.org.checkerframework.qualframework.poly.qual.Wildcard EXTENDS
	public static final afu.org.checkerframework.qualframework.poly.qual.Wildcard SUPER
	private static final afu.org.checkerframework.qualframework.poly.qual.Wildcard[] $VALUES
	public static afu.org.checkerframework.qualframework.poly.qual.Wildcard[] values () 
	public static afu.org.checkerframework.qualframework.poly.qual.Wildcard valueOf (java.lang.String) 
		String name
	private void  (java.lang.String, int) 
	static void  () 
}

afu/plume/
afu/plume/RegexUtil$CheckedPatternSyntaxException.class
RegexUtil.java
package afu.plume
public afu.plume.RegexUtil$CheckedPatternSyntaxException extends java.lang.Exception {
	private static final long serialVersionUID
	private final java.util.regex.PatternSyntaxException pse
	public void  (java.util.regex.PatternSyntaxException) 
		java.util.regex.PatternSyntaxException pse
	public void  (java.lang.String, java.lang.String, int) 
		String desc
		String regex
		int index
	public java.lang.String getDescription () 
	public int getIndex () 
	public java.lang.String getMessage () 
	public java.lang.String getPattern () 
}

afu/plume/RegexUtil.class
RegexUtil.java
package afu.plume
public final afu.plume.RegexUtil extends java.lang.Object {
	private void  () 
	public static boolean isRegex (java.lang.String) 
		String s
	public static boolean isRegex (java.lang.String, int) 
		java.util.regex.Pattern p
		java.util.regex.PatternSyntaxException e
		String s
		int groups
		java.util.regex.Pattern p
	public static boolean isRegex (char) 
		char c
	public static java.lang.String regexError (java.lang.String) 
		String s
	public static java.lang.String regexError (java.lang.String, int) 
		java.util.regex.Pattern p
		int actualGroups
		java.util.regex.PatternSyntaxException e
		String s
		int groups
	public static java.util.regex.PatternSyntaxException regexException (java.lang.String) 
		String s
	public static java.util.regex.PatternSyntaxException regexException (java.lang.String, int) 
		java.util.regex.Pattern p
		int actualGroups
		java.util.regex.PatternSyntaxException pse
		String s
		int groups
	public static java.lang.String asRegex (java.lang.String) 
		String s
	public static java.lang.String asRegex (java.lang.String, int) 
		java.util.regex.Pattern p
		int actualGroups
		java.util.regex.PatternSyntaxException e
		String s
		int groups
	private static java.lang.String regexErrorMessage (java.lang.String, int, int) 
		String s
		int expectedGroups
		int actualGroups
	private static int getGroupCount (java.util.regex.Pattern) 
		java.util.regex.Pattern p
}

org/
org/checkerframework/
org/checkerframework/checker/
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 org.checkerframework.checker.compilermsgs.qual.CompilerMessageKey extends java.lang.Object implements java.lang.annotation.Annotation  {
}

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

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

org/checkerframework/checker/experimental/tainting_qual/qual/Untainted.class
Untainted.java
package org.checkerframework.checker.experimental.tainting_qual.qual
public abstract org.checkerframework.checker.experimental.tainting_qual.qual.Untainted 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 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 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 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 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 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 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 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 org.checkerframework.checker.fenum.qual.FenumUnqualified 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 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 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 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 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 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 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 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 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 org.checkerframework.checker.fenum.qual.SwingVerticalOrientation extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/formatter/
org/checkerframework/checker/formatter/FormatUtil$Conversion.class
FormatUtil.java
package org.checkerframework.checker.formatter
 org.checkerframework.checker.formatter.FormatUtil$Conversion extends java.lang.Object {
	private final int index
	private final org.checkerframework.checker.formatter.qual.ConversionCategory cath
	public void  (char, int) 
		char c
		int index
	int index () 
	org.checkerframework.checker.formatter.qual.ConversionCategory category () 
}

org/checkerframework/checker/formatter/FormatUtil$ExcessiveOrMissingFormatArgumentException.class
FormatUtil.java
package org.checkerframework.checker.formatter
public org.checkerframework.checker.formatter.FormatUtil$ExcessiveOrMissingFormatArgumentException extends java.util.MissingFormatArgumentException {
	private static final long serialVersionUID
	private final int expected
	private final int found
	public void  (int, int) 
		int expected
		int found
	public int getExpected () 
	public int getFound () 
	public java.lang.String getMessage () 
}

org/checkerframework/checker/formatter/FormatUtil$IllegalFormatConversionCategoryException.class
FormatUtil.java
package org.checkerframework.checker.formatter
public org.checkerframework.checker.formatter.FormatUtil$IllegalFormatConversionCategoryException extends java.util.IllegalFormatConversionException {
	private static final long serialVersionUID
	private final org.checkerframework.checker.formatter.qual.ConversionCategory expected
	private final org.checkerframework.checker.formatter.qual.ConversionCategory found
	public void  (org.checkerframework.checker.formatter.qual.ConversionCategory, org.checkerframework.checker.formatter.qual.ConversionCategory) 
		org.checkerframework.checker.formatter.qual.ConversionCategory expected
		org.checkerframework.checker.formatter.qual.ConversionCategory found
	public org.checkerframework.checker.formatter.qual.ConversionCategory getExpected () 
	public org.checkerframework.checker.formatter.qual.ConversionCategory getFound () 
	public java.lang.String getMessage () 
}

org/checkerframework/checker/formatter/FormatUtil.class
FormatUtil.java
package org.checkerframework.checker.formatter
public org.checkerframework.checker.formatter.FormatUtil extends java.lang.Object {
	private static final String formatSpecifier
	private static java.util.regex.Pattern fsPattern
	public void  () 
	public static transient java.lang.String asFormat (java.lang.String, org.checkerframework.checker.formatter.qual.ConversionCategory[])  throws java.util.IllegalFormatException 
		int i
		String format
		org.checkerframework.checker.formatter.qual.ConversionCategory[] cc
		org.checkerframework.checker.formatter.qual.ConversionCategory[] fcc
	public static void tryFormatSatisfiability (java.lang.String)  throws java.util.IllegalFormatException 
		String format
	public static org.checkerframework.checker.formatter.qual.ConversionCategory[] formatParameterCategories (java.lang.String)  throws java.util.IllegalFormatException 
		int index
		org.checkerframework.checker.formatter.FormatUtil$Conversion c
		int i
		String format
		int last
		int lasto
		int maxindex
		org.checkerframework.checker.formatter.FormatUtil$Conversion[] cs
		java.util.Map conv
		org.checkerframework.checker.formatter.qual.ConversionCategory[] res
	private static int indexFromFormat (java.util.regex.Matcher) 
		int index
		int index
		java.util.regex.Matcher m
		int index
		String s
	private static char conversionCharFromFormat (java.util.regex.Matcher) 
		java.util.regex.Matcher m
		String dt
	private static org.checkerframework.checker.formatter.FormatUtil$Conversion[] parse (java.lang.String) 
		char c
		String format
		java.util.ArrayList cs
		java.util.regex.Matcher m
	static void  () 
}

org/checkerframework/checker/formatter/qual/
org/checkerframework/checker/formatter/qual/ConversionCategory.class
ConversionCategory.java
package org.checkerframework.checker.formatter.qual
public final org.checkerframework.checker.formatter.qual.ConversionCategory extends java.lang.Enum {
	public static final org.checkerframework.checker.formatter.qual.ConversionCategory GENERAL
	public static final org.checkerframework.checker.formatter.qual.ConversionCategory CHAR
	public static final org.checkerframework.checker.formatter.qual.ConversionCategory INT
	public static final org.checkerframework.checker.formatter.qual.ConversionCategory FLOAT
	public static final org.checkerframework.checker.formatter.qual.ConversionCategory TIME
	public static final org.checkerframework.checker.formatter.qual.ConversionCategory CHAR_AND_INT
	public static final org.checkerframework.checker.formatter.qual.ConversionCategory INT_AND_TIME
	public static final org.checkerframework.checker.formatter.qual.ConversionCategory NULL
	public static final org.checkerframework.checker.formatter.qual.ConversionCategory UNUSED
	public final Class[] types
	public final String chars
	private static final 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 void  (java.lang.String, int, java.lang.Class[], java.lang.String) 
		Class[] types
		String chars
	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
	private java.lang.String className (java.lang.Class) 
		Class cls
	public java.lang.String toString () 
		Class cls
		StringBuilder sb
		boolean first
	static void  () 
}

org/checkerframework/checker/formatter/qual/Format.class
Format.java
package org.checkerframework.checker.formatter.qual
public abstract 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 org.checkerframework.checker.i18n.qual.LocalizableKey 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 org.checkerframework.checker.i18n.qual.Localized 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 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 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 org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory extends java.lang.Enum {
	public static final org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory UNUSED
	public static final org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory GENERAL
	public static final org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory DATE
	public static final org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory NUMBER
	public final Class[] types
	public final String[] strings
	private static final 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  (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 java.lang.String toString () 
		Class cls
		boolean first
		StringBuilder sb
	static void  () 
}

org/checkerframework/checker/i18nformatter/qual/I18nFormat.class
I18nFormat.java
package org.checkerframework.checker.i18nformatter.qual
public abstract 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 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 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 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 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 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 org.checkerframework.checker.i18nformatter.qual.I18nValidFormat 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 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 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 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 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 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/Interned.class
Interned.java
package org.checkerframework.checker.interning.qual
public abstract org.checkerframework.checker.interning.qual.Interned 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 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 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 org.checkerframework.checker.interning.qual.UsesObjectEquals extends java.lang.Object implements java.lang.annotation.Annotation  {
}

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

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

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

org/checkerframework/checker/lock/
org/checkerframework/checker/lock/qual/
org/checkerframework/checker/lock/qual/EnsuresLockHeld.class
EnsuresLockHeld.java
package org.checkerframework.checker.lock.qual
public abstract 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.class
EnsuresLockHeldIf.java
package org.checkerframework.checker.lock.qual
public abstract 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 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 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 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 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 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 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 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 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 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 org.checkerframework.checker.lock.qual.ReleasesNoLocks extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/nullness/
org/checkerframework/checker/nullness/NullnessUtils.class
NullnessUtils.java
package org.checkerframework.checker.nullness
public final org.checkerframework.checker.nullness.NullnessUtils extends java.lang.Object {
	static final boolean $assertionsDisabled
	private void  () 
	public static java.lang.Object castNonNull (java.lang.Object) 
		Object ref
	public static java.lang.Object[] castNonNullDeep (java.lang.Object[]) 
		Object[] arr
	public static java.lang.Object[][] castNonNullDeep (java.lang.Object[][]) 
		Object[][] arr
	public static java.lang.Object[][][] castNonNullDeep (java.lang.Object[][][]) 
		Object[][][] arr
	public static java.lang.Object[][][][] castNonNullDeep (java.lang.Object[][][][]) 
		Object[][][][] arr
	public static java.lang.Object[][][][][] castNonNullDeep (java.lang.Object[][][][][]) 
		Object[][][][][] arr
	private static java.lang.Object[] castNonNullArray (java.lang.Object[]) 
		int i
		Object[] arr
	private static void checkIfArray (java.lang.Object) 
		Object ref
		Class comp
	static void  () 
}

org/checkerframework/checker/nullness/qual/
org/checkerframework/checker/nullness/qual/AssertNonNullIfNonNull.class
AssertNonNullIfNonNull.java
package org.checkerframework.checker.nullness.qual
public abstract 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/Covariant.class
Covariant.java
package org.checkerframework.checker.nullness.qual
public abstract org.checkerframework.checker.nullness.qual.Covariant extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract int[] value () 
}

org/checkerframework/checker/nullness/qual/EnsuresNonNull.class
EnsuresNonNull.java
package org.checkerframework.checker.nullness.qual
public abstract 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.class
EnsuresNonNullIf.java
package org.checkerframework.checker.nullness.qual
public abstract 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 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 org.checkerframework.checker.nullness.qual.KeyForBottom extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/nullness/qual/LazyNonNull.class
LazyNonNull.java
package org.checkerframework.checker.nullness.qual
public abstract org.checkerframework.checker.nullness.qual.LazyNonNull 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 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 org.checkerframework.checker.nullness.qual.NonNull extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/nullness/qual/NonRaw.class
NonRaw.java
package org.checkerframework.checker.nullness.qual
public abstract org.checkerframework.checker.nullness.qual.NonRaw 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 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 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 org.checkerframework.checker.nullness.qual.PolyNull extends java.lang.Object implements java.lang.annotation.Annotation  {
}

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

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

org/checkerframework/checker/nullness/qual/RequiresNonNull.class
RequiresNonNull.java
package org.checkerframework.checker.nullness.qual
public abstract 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 org.checkerframework.checker.nullness.qual.UnknownKeyFor 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 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 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 org.checkerframework.checker.propkey.qual.UnknownPropertyKey extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/regex/
org/checkerframework/checker/regex/RegexUtil$CheckedPatternSyntaxException.class
RegexUtil.java
package org.checkerframework.checker.regex
public org.checkerframework.checker.regex.RegexUtil$CheckedPatternSyntaxException extends java.lang.Exception {
	private static final long serialVersionUID
	private final java.util.regex.PatternSyntaxException pse
	public void  (java.util.regex.PatternSyntaxException) 
		java.util.regex.PatternSyntaxException pse
	public void  (java.lang.String, java.lang.String, int) 
		String desc
		String regex
		int index
	public java.lang.String getDescription () 
	public int getIndex () 
	public java.lang.String getMessage () 
	public java.lang.String getPattern () 
}

org/checkerframework/checker/regex/RegexUtil.class
RegexUtil.java
package org.checkerframework.checker.regex
public final org.checkerframework.checker.regex.RegexUtil extends java.lang.Object {
	private void  () 
	public static boolean isRegex (java.lang.String) 
		String s
	public static boolean isRegex (java.lang.String, int) 
		java.util.regex.Pattern p
		java.util.regex.PatternSyntaxException e
		String s
		int groups
		java.util.regex.Pattern p
	public static boolean isRegex (char) 
		char c
	public static java.lang.String regexError (java.lang.String) 
		String s
	public static java.lang.String regexError (java.lang.String, int) 
		java.util.regex.Pattern p
		int actualGroups
		java.util.regex.PatternSyntaxException e
		String s
		int groups
	public static java.util.regex.PatternSyntaxException regexException (java.lang.String) 
		String s
	public static java.util.regex.PatternSyntaxException regexException (java.lang.String, int) 
		java.util.regex.Pattern p
		int actualGroups
		java.util.regex.PatternSyntaxException pse
		String s
		int groups
	public static java.lang.String asRegex (java.lang.String) 
		String s
	public static java.lang.String asRegex (java.lang.String, int) 
		java.util.regex.Pattern p
		int actualGroups
		java.util.regex.PatternSyntaxException e
		String s
		int groups
	private static java.lang.String regexErrorMessage (java.lang.String, int, int) 
		String s
		int expectedGroups
		int actualGroups
	private static int getGroupCount (java.util.regex.Pattern) 
		java.util.regex.Pattern p
}

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

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

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

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

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

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

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

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

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

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

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

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

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

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

org/checkerframework/checker/regex/qual/Var.class
Var.java
package org.checkerframework.checker.regex.qual
public abstract org.checkerframework.checker.regex.qual.Var extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.String arg () 
	public abstract java.lang.String param () 
	public abstract org.checkerframework.qualframework.poly.qual.Wildcard wildcard () 
}

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

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

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

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

org/checkerframework/checker/signature/qual/BinaryNameInUnnamedPackage.class
BinaryNameInUnnamedPackage.java
package org.checkerframework.checker.signature.qual
public abstract org.checkerframework.checker.signature.qual.BinaryNameInUnnamedPackage 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 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 org.checkerframework.checker.signature.qual.ClassGetSimpleName 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 org.checkerframework.checker.signature.qual.FieldDescriptor extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/signature/qual/FieldDescriptorForArray.class
FieldDescriptorForArray.java
package org.checkerframework.checker.signature.qual
public abstract org.checkerframework.checker.signature.qual.FieldDescriptorForArray 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 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 org.checkerframework.checker.signature.qual.Identifier extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/checker/signature/qual/IdentifierOrArray.class
IdentifierOrArray.java
package org.checkerframework.checker.signature.qual
public abstract org.checkerframework.checker.signature.qual.IdentifierOrArray 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 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 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 org.checkerframework.checker.signature.qual.PolySignature 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 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 org.checkerframework.checker.signature.qual.SignatureUnknown extends java.lang.Object implements java.lang.annotation.Annotation  {
}

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

org/checkerframework/checker/tainting/qual/Tainted.class
Tainted.java
package org.checkerframework.checker.tainting.qual
public abstract org.checkerframework.checker.tainting.qual.Tainted extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.String param () 
	public abstract org.checkerframework.qualframework.poly.qual.Wildcard wildcard () 
}

org/checkerframework/checker/tainting/qual/Untainted.class
Untainted.java
package org.checkerframework.checker.tainting.qual
public abstract org.checkerframework.checker.tainting.qual.Untainted extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.String param () 
	public abstract org.checkerframework.qualframework.poly.qual.Wildcard wildcard () 
}

org/checkerframework/checker/tainting/qual/Var.class
Var.java
package org.checkerframework.checker.tainting.qual
public abstract org.checkerframework.checker.tainting.qual.Var extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.String arg () 
	public abstract java.lang.String param () 
	public abstract org.checkerframework.qualframework.poly.qual.Wildcard wildcard () 
}

org/checkerframework/checker/tainting/qual/Wild.class
Wild.java
package org.checkerframework.checker.tainting.qual
public abstract org.checkerframework.checker.tainting.qual.Wild extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.String param () 
}

org/checkerframework/checker/units/
org/checkerframework/checker/units/UnitsTools.class
UnitsTools.java
package org.checkerframework.checker.units
public org.checkerframework.checker.units.UnitsTools extends java.lang.Object {
	public static final int mPERs2
	public static final double rad
	public static final double deg
	public static final int mm2
	public static final int m2
	public static final int km2
	public static final int A
	public static final int cd
	public static final int mm
	public static final int m
	public static final int km
	public static final int g
	public static final int kg
	public static final int mPERs
	public static final int kmPERh
	public static final int mol
	public static final int K
	public static final int C
	public static final int s
	public static final int min
	public static final int h
	public void  () 
	public static double toRadians (double) 
		double angdeg
	public static double toDegrees (double) 
		double angrad
	public static int fromMilliMeterToMeter (int) 
		int mm
	public static int fromMeterToMilliMeter (int) 
		int m
	public static int fromMeterToKiloMeter (int) 
		int m
	public static int fromKiloMeterToMeter (int) 
		int km
	public static int fromGramToKiloGram (int) 
		int g
	public static int fromKiloGramToGram (int) 
		int kg
	public static double fromMeterPerSecondToKiloMeterPerHour (double) 
		double mps
	public static double fromKiloMeterPerHourToMeterPerSecond (double) 
		double kmph
	public static int fromKelvinToCelsius (int) 
		int k
	public static int fromCelsiusToKelvin (int) 
		int c
	public static int fromSecondToMinute (int) 
		int s
	public static int fromMinuteToSecond (int) 
		int min
	public static int fromMinuteToHour (int) 
		int min
	public static int fromHourToMinute (int) 
		int h
}

org/checkerframework/checker/units/qual/
org/checkerframework/checker/units/qual/A.class
A.java
package org.checkerframework.checker.units.qual
public abstract 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 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 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 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 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 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 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 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 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 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 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 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 org.checkerframework.checker.units.qual.Prefix extends java.lang.Enum {
	public static final org.checkerframework.checker.units.qual.Prefix yotta
	public static final org.checkerframework.checker.units.qual.Prefix zetta
	public static final org.checkerframework.checker.units.qual.Prefix exa
	public static final org.checkerframework.checker.units.qual.Prefix peta
	public static final org.checkerframework.checker.units.qual.Prefix tera
	public static final org.checkerframework.checker.units.qual.Prefix giga
	public static final org.checkerframework.checker.units.qual.Prefix mega
	public static final org.checkerframework.checker.units.qual.Prefix kilo
	public static final org.checkerframework.checker.units.qual.Prefix hecto
	public static final org.checkerframework.checker.units.qual.Prefix deca
	public static final org.checkerframework.checker.units.qual.Prefix one
	public static final org.checkerframework.checker.units.qual.Prefix deci
	public static final org.checkerframework.checker.units.qual.Prefix centi
	public static final org.checkerframework.checker.units.qual.Prefix milli
	public static final org.checkerframework.checker.units.qual.Prefix micro
	public static final org.checkerframework.checker.units.qual.Prefix nano
	public static final org.checkerframework.checker.units.qual.Prefix pico
	public static final org.checkerframework.checker.units.qual.Prefix femto
	public static final org.checkerframework.checker.units.qual.Prefix atto
	public static final org.checkerframework.checker.units.qual.Prefix zepto
	public static final org.checkerframework.checker.units.qual.Prefix yocto
	private static final 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  (java.lang.String, int) 
	static void  () 
}

org/checkerframework/checker/units/qual/Speed.class
Speed.java
package org.checkerframework.checker.units.qual
public abstract 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 org.checkerframework.common.aliasing.qual.Unique 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 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 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 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 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 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 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 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 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 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 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 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 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 org.checkerframework.common.reflection.qual.UnknownMethod 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 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 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 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 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 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 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 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 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 org.checkerframework.common.value.qual.ArrayLen extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract int[] value () 
}

org/checkerframework/common/value/qual/BoolVal.class
BoolVal.java
package org.checkerframework.common.value.qual
public abstract 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 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 org.checkerframework.common.value.qual.DoubleVal extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract double[] value () 
}

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

org/checkerframework/common/value/qual/StaticallyExecutable.class
StaticallyExecutable.java
package org.checkerframework.common.value.qual
public abstract 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 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 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 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 org.checkerframework.dataflow.qual.Pure$Kind extends java.lang.Enum {
	public static final org.checkerframework.dataflow.qual.Pure$Kind SIDE_EFFECT_FREE
	public static final org.checkerframework.dataflow.qual.Pure$Kind DETERMINISTIC
	private static final 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  (java.lang.String, int) 
	static void  () 
}

org/checkerframework/dataflow/qual/Pure.class
Pure.java
package org.checkerframework.dataflow.qual
public abstract 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 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 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 org.checkerframework.framework.qual.AnnotatedFor extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.String[] value () 
}

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

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

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

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

org/checkerframework/framework/qual/DefaultQualifier.class
DefaultQualifier.java
package org.checkerframework.framework.qual
public abstract 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/DefaultQualifierInHierarchy.class
DefaultQualifierInHierarchy.java
package org.checkerframework.framework.qual
public abstract org.checkerframework.framework.qual.DefaultQualifierInHierarchy extends java.lang.Object implements java.lang.annotation.Annotation  {
}

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

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

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

org/checkerframework/framework/qual/EnsuresQualifier.class
EnsuresQualifier.java
package org.checkerframework.framework.qual
public abstract 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.class
EnsuresQualifierIf.java
package org.checkerframework.framework.qual
public abstract 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/EnsuresQualifiers.class
EnsuresQualifiers.java
package org.checkerframework.framework.qual
public abstract org.checkerframework.framework.qual.EnsuresQualifiers extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract org.checkerframework.framework.qual.EnsuresQualifier[] value () 
}

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

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

org/checkerframework/framework/qual/FromByteCode.class
FromByteCode.java
package org.checkerframework.framework.qual
public abstract 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 org.checkerframework.framework.qual.FromStubFile extends java.lang.Object implements java.lang.annotation.Annotation  {
}

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

org/checkerframework/framework/qual/ImplicitFor.class
ImplicitFor.java
package org.checkerframework.framework.qual
public abstract org.checkerframework.framework.qual.ImplicitFor extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract org.checkerframework.framework.qual.LiteralKind[] literals () 
	public abstract javax.lang.model.type.TypeKind[] types () 
	public abstract java.lang.Class[] typeNames () 
	public abstract java.lang.String[] stringPatterns () 
}

org/checkerframework/framework/qual/InheritedAnnotation.class
InheritedAnnotation.java
package org.checkerframework.framework.qual
public abstract 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 org.checkerframework.framework.qual.InvisibleQualifier extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/framework/qual/LiteralKind.class
LiteralKind.java
package org.checkerframework.framework.qual
public final org.checkerframework.framework.qual.LiteralKind extends java.lang.Enum {
	public static final org.checkerframework.framework.qual.LiteralKind NULL
	public static final org.checkerframework.framework.qual.LiteralKind INT
	public static final org.checkerframework.framework.qual.LiteralKind LONG
	public static final org.checkerframework.framework.qual.LiteralKind FLOAT
	public static final org.checkerframework.framework.qual.LiteralKind DOUBLE
	public static final org.checkerframework.framework.qual.LiteralKind BOOLEAN
	public static final org.checkerframework.framework.qual.LiteralKind CHAR
	public static final org.checkerframework.framework.qual.LiteralKind STRING
	public static final org.checkerframework.framework.qual.LiteralKind ALL
	public static final org.checkerframework.framework.qual.LiteralKind PRIMITIVE
	private static final 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  (java.lang.String, int) 
	public static java.util.List allLiteralKinds () 
		java.util.List list
	public static java.util.List primitiveLiteralKinds () 
	static void  () 
}

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

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

org/checkerframework/framework/qual/PolymorphicQualifier.class
PolymorphicQualifier.java
package org.checkerframework.framework.qual
public abstract 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 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 org.checkerframework.framework.qual.PreconditionAnnotation extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.Class qualifier () 
}

org/checkerframework/framework/qual/RequiresQualifier.class
RequiresQualifier.java
package org.checkerframework.framework.qual
public abstract 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/RequiresQualifiers.class
RequiresQualifiers.java
package org.checkerframework.framework.qual
public abstract org.checkerframework.framework.qual.RequiresQualifiers extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract org.checkerframework.framework.qual.RequiresQualifier[] value () 
}

org/checkerframework/framework/qual/StubFiles.class
StubFiles.java
package org.checkerframework.framework.qual
public abstract 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 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 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/TypeUseLocation.class
TypeUseLocation.java
package org.checkerframework.framework.qual
public final org.checkerframework.framework.qual.TypeUseLocation extends java.lang.Enum {
	public static final org.checkerframework.framework.qual.TypeUseLocation FIELD
	public static final org.checkerframework.framework.qual.TypeUseLocation LOCAL_VARIABLE
	public static final org.checkerframework.framework.qual.TypeUseLocation RESOURCE_VARIABLE
	public static final org.checkerframework.framework.qual.TypeUseLocation EXCEPTION_PARAMETER
	public static final org.checkerframework.framework.qual.TypeUseLocation RECEIVER
	public static final org.checkerframework.framework.qual.TypeUseLocation PARAMETER
	public static final org.checkerframework.framework.qual.TypeUseLocation RETURN
	public static final org.checkerframework.framework.qual.TypeUseLocation LOWER_BOUND
	public static final org.checkerframework.framework.qual.TypeUseLocation EXPLICIT_LOWER_BOUND
	public static final org.checkerframework.framework.qual.TypeUseLocation IMPLICIT_LOWER_BOUND
	public static final org.checkerframework.framework.qual.TypeUseLocation UPPER_BOUND
	public static final org.checkerframework.framework.qual.TypeUseLocation EXPLICIT_UPPER_BOUND
	public static final org.checkerframework.framework.qual.TypeUseLocation IMPLICIT_UPPER_BOUND
	public static final org.checkerframework.framework.qual.TypeUseLocation OTHERWISE
	public static final org.checkerframework.framework.qual.TypeUseLocation ALL
	private static final 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  (java.lang.String, int) 
	static void  () 
}

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

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

org/checkerframework/qualframework/
org/checkerframework/qualframework/poly/
org/checkerframework/qualframework/poly/qual/
org/checkerframework/qualframework/poly/qual/Wildcard.class
Wildcard.java
package org.checkerframework.qualframework.poly.qual
public final org.checkerframework.qualframework.poly.qual.Wildcard extends java.lang.Enum {
	public static final org.checkerframework.qualframework.poly.qual.Wildcard NONE
	public static final org.checkerframework.qualframework.poly.qual.Wildcard EXTENDS
	public static final org.checkerframework.qualframework.poly.qual.Wildcard SUPER
	private static final org.checkerframework.qualframework.poly.qual.Wildcard[] $VALUES
	public static org.checkerframework.qualframework.poly.qual.Wildcard[] values () 
	public static org.checkerframework.qualframework.poly.qual.Wildcard valueOf (java.lang.String) 
		String name
	private void  (java.lang.String, int) 
	static void  () 
}