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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

org/checkerframework/checker/formatter/
org/checkerframework/checker/formatter/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 <init> (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 <init> (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 <init> (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 <init> () 
	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
		String unused
	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 <clinit> () 
}

org/checkerframework/checker/formatter/qual/
org/checkerframework/checker/formatter/qual/ConversionCategory.class
ConversionCategory.java
package org.checkerframework.checker.formatter.qual
public final enum org.checkerframework.checker.formatter.qual.ConversionCategory extends java.lang.Enum {
	public static final enum org.checkerframework.checker.formatter.qual.ConversionCategory GENERAL
	public static final enum org.checkerframework.checker.formatter.qual.ConversionCategory CHAR
	public static final enum org.checkerframework.checker.formatter.qual.ConversionCategory INT
	public static final enum org.checkerframework.checker.formatter.qual.ConversionCategory FLOAT
	public static final enum org.checkerframework.checker.formatter.qual.ConversionCategory TIME
	public static final enum org.checkerframework.checker.formatter.qual.ConversionCategory CHAR_AND_INT
	public static final enum org.checkerframework.checker.formatter.qual.ConversionCategory INT_AND_TIME
	public static final enum org.checkerframework.checker.formatter.qual.ConversionCategory NULL
	public static final enum org.checkerframework.checker.formatter.qual.ConversionCategory UNUSED
	public final Class[] types
	public final String chars
	private static final synthetic org.checkerframework.checker.formatter.qual.ConversionCategory[] $VALUES
	public static org.checkerframework.checker.formatter.qual.ConversionCategory[] values () 
	public static org.checkerframework.checker.formatter.qual.ConversionCategory valueOf (java.lang.String) 
		String name
	private void <init> (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
	public static org.checkerframework.checker.formatter.qual.ConversionCategory union (org.checkerframework.checker.formatter.qual.ConversionCategory, org.checkerframework.checker.formatter.qual.ConversionCategory) 
		java.util.Set vs
		org.checkerframework.checker.formatter.qual.ConversionCategory v
		org.checkerframework.checker.formatter.qual.ConversionCategory a
		org.checkerframework.checker.formatter.qual.ConversionCategory b
		java.util.Set as
		java.util.Set bs
	private java.lang.String className (java.lang.Class) 
		Class cls
	public java.lang.String toString () 
		Class cls
		StringBuilder sb
		boolean first
	static void <clinit> () 
}

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

org/checkerframework/checker/i18nformatter/
org/checkerframework/checker/i18nformatter/I18nFormatUtil$I18nConversion.class
I18nFormatUtil.java
package org.checkerframework.checker.i18nformatter
 org.checkerframework.checker.i18nformatter.I18nFormatUtil$I18nConversion extends java.lang.Object {
	public int index
	public org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory category
	public void <init> (int, org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory) 
		int index
		org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory category
	public java.lang.String toString () 
}

org/checkerframework/checker/i18nformatter/I18nFormatUtil$MessageFormatParser.class
I18nFormatUtil.java
package org.checkerframework.checker.i18nformatter
 org.checkerframework.checker.i18nformatter.I18nFormatUtil$MessageFormatParser extends java.lang.Object {
	public static int maxOffset
	private static java.util.Locale locale
	private static java.util.List categories
	private static java.util.List argumentIndices
	private static int numFormat
	private static final int SEG_RAW
	private static final int SEG_INDEX
	private static final int SEG_TYPE
	private static final int SEG_MODIFIER
	private static final int TYPE_NULL
	private static final int TYPE_NUMBER
	private static final int TYPE_DATE
	private static final int TYPE_TIME
	private static final int TYPE_CHOICE
	private static final String[] TYPE_KEYWORDS
	private static final int MODIFIER_DEFAULT
	private static final int MODIFIER_CURRENCY
	private static final int MODIFIER_PERCENT
	private static final int MODIFIER_INTEGER
	private static final String[] NUMBER_MODIFIER_KEYWORDS
	private static final String[] DATE_TIME_MODIFIER_KEYWORDS
	private void <init> () 
	public static org.checkerframework.checker.i18nformatter.I18nFormatUtil$I18nConversion[] parse (java.lang.String) 
		int i
		String pattern
		org.checkerframework.checker.i18nformatter.I18nFormatUtil$I18nConversion[] ret
	private static void applyPattern (java.lang.String) 
		char ch
		int i
		String pattern
		StringBuilder[] segments
		int part
		boolean inQuote
		int braceStack
	private static void makeFormat (int, java.lang.StringBuilder[]) 
		StringBuilder oneseg
		int i
		int argumentNumber
		NumberFormatException e
		IllegalArgumentException e
		IllegalArgumentException e
		int mod
		Exception e
		int type
		int offsetNumber
		StringBuilder[] textSegments
		String[] segments
		int argumentNumber
		int oldMaxOffset
		org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory category
	private static final int findKeyword (java.lang.String, java.lang.String[]) 
		int i
		int i
		String s
		String[] list
		String ls
	static void <clinit> () 
}

org/checkerframework/checker/i18nformatter/I18nFormatUtil.class
I18nFormatUtil.java
package org.checkerframework.checker.i18nformatter
public org.checkerframework.checker.i18nformatter.I18nFormatUtil extends java.lang.Object {
	public void <init> () 
	public static void tryFormatSatisfiability (java.lang.String)  throws java.util.IllegalFormatException 
		String format
	public static org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory[] formatParameterCategories (java.lang.String)  throws java.util.IllegalFormatException 
		int index
		org.checkerframework.checker.i18nformatter.I18nFormatUtil$I18nConversion c
		int i
		String format
		org.checkerframework.checker.i18nformatter.I18nFormatUtil$I18nConversion[] cs
		int maxIndex
		java.util.Map conv
		org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory[] res
	public static transient boolean hasFormat (java.lang.String, org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory[]) 
		int i
		String format
		org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory[] cc
		org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory[] fcc
	public static boolean isFormat (java.lang.String) 
		Exception e
		String format
}

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

org/checkerframework/checker/nullness/
org/checkerframework/checker/nullness/NullnessUtil.class
NullnessUtil.java
package org.checkerframework.checker.nullness
public final org.checkerframework.checker.nullness.NullnessUtil extends java.lang.Object {
	static final synthetic boolean $assertionsDisabled
	private void <init> () 
	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 <clinit> () 
}

org/checkerframework/checker/nullness/Opt.class
Opt.java
package org.checkerframework.checker.nullness
public final org.checkerframework.checker.nullness.Opt extends java.lang.Object {
	private void <init> () 
	public static java.lang.Object get (java.lang.Object) 
		Object primary
	public static boolean isPresent (java.lang.Object) 
		Object primary
	public static void ifPresent (java.lang.Object, java.util.function.Consumer) 
		Object primary
		java.util.function.Consumer consumer
	public static java.lang.Object filter (java.lang.Object, java.util.function.Predicate) 
		Object primary
		java.util.function.Predicate predicate
	public static java.lang.Object map (java.lang.Object, java.util.function.Function) 
		Object primary
		java.util.function.Function mapper
	public static java.lang.Object orElse (java.lang.Object, java.lang.Object) 
		Object primary
		Object other
	public static java.lang.Object orElseGet (java.lang.Object, java.util.function.Supplier) 
		Object primary
		java.util.function.Supplier other
	public static java.lang.Object orElseThrow (java.lang.Object, java.util.function.Supplier)  throws java.lang.Throwable 
		Object primary
		java.util.function.Supplier exceptionSupplier
}

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

org/checkerframework/checker/regex/
org/checkerframework/checker/regex/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 <init> (java.util.regex.PatternSyntaxException) 
		java.util.regex.PatternSyntaxException pse
	public void <init> (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 <init> () 
	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/qual/
org/checkerframework/checker/regex/qual/PartialRegex.class
PartialRegex.java
package org.checkerframework.checker.regex.qual
public abstract annotation org.checkerframework.checker.regex.qual.PartialRegex extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract java.lang.String value () 
}

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

org/checkerframework/checker/signedness/
org/checkerframework/checker/signedness/SignednessUtil.class
SignednessUtil.java
package org.checkerframework.checker.signedness
public final org.checkerframework.checker.signedness.SignednessUtil extends java.lang.Object {
	static final synthetic boolean $assertionsDisabled
	private void <init> () 
	public static java.nio.ByteBuffer wrapUnsigned (byte[]) 
		byte[] array
	public static java.nio.ByteBuffer wrapUnsigned (byte[], int, int) 
		byte[] array
		int offset
		int length
	public static int getUnsignedInt (java.nio.ByteBuffer) 
		java.nio.ByteBuffer b
	public static short getUnsignedShort (java.nio.ByteBuffer) 
		java.nio.ByteBuffer b
	public static byte getUnsigned (java.nio.ByteBuffer) 
		java.nio.ByteBuffer b
	public static byte getUnsigned (java.nio.ByteBuffer, int) 
		java.nio.ByteBuffer b
		int i
	public static java.nio.ByteBuffer getUnsigned (java.nio.ByteBuffer, byte[], int, int) 
		java.nio.ByteBuffer b
		byte[] bs
		int i
		int l
	public static java.nio.ByteBuffer putUnsigned (java.nio.ByteBuffer, byte) 
		java.nio.ByteBuffer b
		byte ubyte
	public static java.nio.ByteBuffer putUnsigned (java.nio.ByteBuffer, int, byte) 
		java.nio.ByteBuffer b
		int i
		byte ubyte
	public static java.nio.IntBuffer putUnsigned (java.nio.IntBuffer, int) 
		java.nio.IntBuffer b
		int uint
	public static java.nio.IntBuffer putUnsigned (java.nio.IntBuffer, int, int) 
		java.nio.IntBuffer b
		int i
		int uint
	public static java.nio.IntBuffer putUnsigned (java.nio.IntBuffer, int[]) 
		java.nio.IntBuffer b
		int[] uints
	public static java.nio.IntBuffer putUnsigned (java.nio.IntBuffer, int[], int, int) 
		java.nio.IntBuffer b
		int[] uints
		int i
		int l
	public static int getUnsigned (java.nio.IntBuffer, int) 
		java.nio.IntBuffer b
		int i
	public static java.nio.ByteBuffer putUnsignedShort (java.nio.ByteBuffer, short) 
		java.nio.ByteBuffer b
		short ushort
	public static java.nio.ByteBuffer putUnsignedShort (java.nio.ByteBuffer, int, short) 
		java.nio.ByteBuffer b
		int i
		short ushort
	public static java.nio.ByteBuffer putUnsignedInt (java.nio.ByteBuffer, int) 
		java.nio.ByteBuffer b
		int uint
	public static java.nio.ByteBuffer putUnsignedInt (java.nio.ByteBuffer, int, int) 
		java.nio.ByteBuffer b
		int i
		int uint
	public static java.nio.ByteBuffer putUnsignedLong (java.nio.ByteBuffer, int, long) 
		java.nio.ByteBuffer b
		int i
		long ulong
	public static byte readUnsignedByte (java.io.RandomAccessFile)  throws java.io.IOException 
		java.io.RandomAccessFile f
	public static char readUnsignedChar (java.io.RandomAccessFile)  throws java.io.IOException 
		java.io.RandomAccessFile f
	public static short readUnsignedShort (java.io.RandomAccessFile)  throws java.io.IOException 
		java.io.RandomAccessFile f
	public static int readUnsignedInt (java.io.RandomAccessFile)  throws java.io.IOException 
		java.io.RandomAccessFile f
	public static long readUnsignedLong (java.io.RandomAccessFile)  throws java.io.IOException 
		java.io.RandomAccessFile f
	public static int readUnsigned (java.io.RandomAccessFile, byte[], int, int)  throws java.io.IOException 
		java.io.RandomAccessFile f
		byte[] b
		int off
		int len
	public static void readFullyUnsigned (java.io.RandomAccessFile, byte[])  throws java.io.IOException 
		java.io.RandomAccessFile f
		byte[] b
	public static void writeUnsigned (java.io.RandomAccessFile, byte[], int, int)  throws java.io.IOException 
		java.io.RandomAccessFile f
		byte[] bs
		int off
		int len
	public static void writeUnsignedByte (java.io.RandomAccessFile, byte)  throws java.io.IOException 
		java.io.RandomAccessFile f
		byte b
	public static void writeUnsignedChar (java.io.RandomAccessFile, char)  throws java.io.IOException 
		java.io.RandomAccessFile f
		char c
	public static void writeUnsignedShort (java.io.RandomAccessFile, short)  throws java.io.IOException 
		java.io.RandomAccessFile f
		short s
	public static void writeUnsignedInt (java.io.RandomAccessFile, int)  throws java.io.IOException 
		java.io.RandomAccessFile f
		int i
	public static void writeUnsignedLong (java.io.RandomAccessFile, long)  throws java.io.IOException 
		java.io.RandomAccessFile f
		long l
	public static void getUnsigned (java.nio.ByteBuffer, byte[]) 
		java.nio.ByteBuffer b
		byte[] bs
	public static int compareUnsigned (long, long) 
		long x
		long y
	public static int compareUnsigned (int, int) 
		int x
		int y
	public static int compareUnsigned (short, short) 
		short x
		short y
	public static int compareUnsigned (byte, byte) 
		byte x
		byte y
	public static java.lang.String toUnsignedString (long) 
		long l
	public static java.lang.String toUnsignedString (long, int) 
		long l
		int radix
	public static java.lang.String toUnsignedString (int) 
		int i
	public static java.lang.String toUnsignedString (int, int) 
		int i
		int radix
	public static java.lang.String toUnsignedString (short) 
		short s
	public static java.lang.String toUnsignedString (short, int) 
		short s
		int radix
	public static java.lang.String toUnsignedString (byte) 
		byte b
	public static java.lang.String toUnsignedString (byte, int) 
		byte b
		int radix
	private static java.math.BigInteger toUnsignedBigInteger (long) 
		int upper
		int lower
		long l
	public static long toUnsignedLong (int) 
		int i
	public static long toUnsignedLong (short) 
		short s
	public static int toUnsignedInt (short) 
		short s
	public static long toUnsignedLong (byte) 
		byte b
	public static int toUnsignedInt (byte) 
		byte b
	public static short toUnsignedShort (byte) 
		byte b
	public static long toUnsignedLong (char) 
		char c
	public static int toUnsignedInt (char) 
		char c
	public static short toUnsignedShort (char) 
		char c
	public static float toFloat (byte) 
		byte b
	public static float toFloat (short) 
		short s
	public static float toFloat (int) 
		int i
	public static float toFloat (long) 
		long l
	public static double toDouble (byte) 
		byte b
	public static double toDouble (short) 
		short s
	public static double toDouble (int) 
		int i
	public static double toDouble (long) 
		long l
	public static byte byteFromFloat (float) 
		float f
	public static short shortFromFloat (float) 
		float f
	public static int intFromFloat (float) 
		float f
	public static long longFromFloat (float) 
		float f
	public static byte byteFromDouble (double) 
		double d
	public static short shortFromDouble (double) 
		double d
	public static int intFromDouble (double) 
		double d
	public static long longFromDouble (double) 
		double d
	static void <clinit> () 
}

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

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

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

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

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

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

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

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

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

org/checkerframework/checker/units/
org/checkerframework/checker/units/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 <init> () 
	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 annotation org.checkerframework.checker.units.qual.A extends java.lang.Object implements java.lang.annotation.Annotation  {
	public abstract org.checkerframework.checker.units.qual.Prefix value () 
}

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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