META-INF/
META-INF/MANIFEST.MF
afu/
afu/org/
afu/org/checkerframework/
afu/org/checkerframework/checker/
afu/org/checkerframework/checker/compilermsgs/
afu/org/checkerframework/checker/compilermsgs/qual/
afu/org/checkerframework/checker/compilermsgs/qual/CompilerMessageKey.classCompilerMessageKey.java
package afu.org.checkerframework.checker.compilermsgs.qual
public abstract afu.org.checkerframework.checker.compilermsgs.qual.CompilerMessageKey extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/experimental/
afu/org/checkerframework/checker/experimental/tainting_qual/
afu/org/checkerframework/checker/experimental/tainting_qual/qual/
afu/org/checkerframework/checker/experimental/tainting_qual/qual/PolyTainted.classPolyTainted.java
package afu.org.checkerframework.checker.experimental.tainting_qual.qual
public abstract afu.org.checkerframework.checker.experimental.tainting_qual.qual.PolyTainted extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/experimental/tainting_qual/qual/Tainted.classTainted.java
package afu.org.checkerframework.checker.experimental.tainting_qual.qual
public abstract afu.org.checkerframework.checker.experimental.tainting_qual.qual.Tainted extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/experimental/tainting_qual/qual/Untainted.classUntainted.java
package afu.org.checkerframework.checker.experimental.tainting_qual.qual
public abstract afu.org.checkerframework.checker.experimental.tainting_qual.qual.Untainted extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/fenum/
afu/org/checkerframework/checker/fenum/qual/
afu/org/checkerframework/checker/fenum/qual/AwtAlphaCompositingRule.classAwtAlphaCompositingRule.java
package afu.org.checkerframework.checker.fenum.qual
public abstract afu.org.checkerframework.checker.fenum.qual.AwtAlphaCompositingRule extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/fenum/qual/AwtColorSpace.classAwtColorSpace.java
package afu.org.checkerframework.checker.fenum.qual
public abstract afu.org.checkerframework.checker.fenum.qual.AwtColorSpace extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/fenum/qual/AwtCursorType.classAwtCursorType.java
package afu.org.checkerframework.checker.fenum.qual
public abstract afu.org.checkerframework.checker.fenum.qual.AwtCursorType extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/fenum/qual/AwtFlowLayout.classAwtFlowLayout.java
package afu.org.checkerframework.checker.fenum.qual
public abstract afu.org.checkerframework.checker.fenum.qual.AwtFlowLayout extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/fenum/qual/Fenum.classFenum.java
package afu.org.checkerframework.checker.fenum.qual
public abstract afu.org.checkerframework.checker.fenum.qual.Fenum extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String value ()
}
afu/org/checkerframework/checker/fenum/qual/FenumBottom.classFenumBottom.java
package afu.org.checkerframework.checker.fenum.qual
public abstract afu.org.checkerframework.checker.fenum.qual.FenumBottom extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/fenum/qual/FenumTop.classFenumTop.java
package afu.org.checkerframework.checker.fenum.qual
public abstract afu.org.checkerframework.checker.fenum.qual.FenumTop extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/fenum/qual/FenumUnqualified.classFenumUnqualified.java
package afu.org.checkerframework.checker.fenum.qual
public abstract afu.org.checkerframework.checker.fenum.qual.FenumUnqualified extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/fenum/qual/SwingBoxOrientation.classSwingBoxOrientation.java
package afu.org.checkerframework.checker.fenum.qual
public abstract afu.org.checkerframework.checker.fenum.qual.SwingBoxOrientation extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/fenum/qual/SwingCompassDirection.classSwingCompassDirection.java
package afu.org.checkerframework.checker.fenum.qual
public abstract afu.org.checkerframework.checker.fenum.qual.SwingCompassDirection extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/fenum/qual/SwingElementOrientation.classSwingElementOrientation.java
package afu.org.checkerframework.checker.fenum.qual
public abstract afu.org.checkerframework.checker.fenum.qual.SwingElementOrientation extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/fenum/qual/SwingHorizontalOrientation.classSwingHorizontalOrientation.java
package afu.org.checkerframework.checker.fenum.qual
public abstract afu.org.checkerframework.checker.fenum.qual.SwingHorizontalOrientation extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/fenum/qual/SwingSplitPaneOrientation.classSwingSplitPaneOrientation.java
package afu.org.checkerframework.checker.fenum.qual
public abstract afu.org.checkerframework.checker.fenum.qual.SwingSplitPaneOrientation extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/fenum/qual/SwingTextOrientation.classSwingTextOrientation.java
package afu.org.checkerframework.checker.fenum.qual
public abstract afu.org.checkerframework.checker.fenum.qual.SwingTextOrientation extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/fenum/qual/SwingTitleJustification.classSwingTitleJustification.java
package afu.org.checkerframework.checker.fenum.qual
public abstract afu.org.checkerframework.checker.fenum.qual.SwingTitleJustification extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/fenum/qual/SwingTitlePosition.classSwingTitlePosition.java
package afu.org.checkerframework.checker.fenum.qual
public abstract afu.org.checkerframework.checker.fenum.qual.SwingTitlePosition extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/fenum/qual/SwingVerticalOrientation.classSwingVerticalOrientation.java
package afu.org.checkerframework.checker.fenum.qual
public abstract afu.org.checkerframework.checker.fenum.qual.SwingVerticalOrientation extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/formatter/
afu/org/checkerframework/checker/formatter/FormatUtil$Conversion.classFormatUtil.java
package afu.org.checkerframework.checker.formatter
afu.org.checkerframework.checker.formatter.FormatUtil$Conversion extends java.lang.Object {
private final int index
private final afu.org.checkerframework.checker.formatter.qual.ConversionCategory cath
public void (char, int)
char c
int index
int index ()
afu.org.checkerframework.checker.formatter.qual.ConversionCategory category ()
}
afu/org/checkerframework/checker/formatter/FormatUtil$ExcessiveOrMissingFormatArgumentException.classFormatUtil.java
package afu.org.checkerframework.checker.formatter
public afu.org.checkerframework.checker.formatter.FormatUtil$ExcessiveOrMissingFormatArgumentException extends java.util.MissingFormatArgumentException {
private static final long serialVersionUID
private final int expected
private final int found
public void (int, int)
int expected
int found
public int getExpected ()
public int getFound ()
public java.lang.String getMessage ()
}
afu/org/checkerframework/checker/formatter/FormatUtil$IllegalFormatConversionCategoryException.classFormatUtil.java
package afu.org.checkerframework.checker.formatter
public afu.org.checkerframework.checker.formatter.FormatUtil$IllegalFormatConversionCategoryException extends java.util.IllegalFormatConversionException {
private static final long serialVersionUID
private final afu.org.checkerframework.checker.formatter.qual.ConversionCategory expected
private final afu.org.checkerframework.checker.formatter.qual.ConversionCategory found
public void (afu.org.checkerframework.checker.formatter.qual.ConversionCategory, afu.org.checkerframework.checker.formatter.qual.ConversionCategory)
afu.org.checkerframework.checker.formatter.qual.ConversionCategory expected
afu.org.checkerframework.checker.formatter.qual.ConversionCategory found
public afu.org.checkerframework.checker.formatter.qual.ConversionCategory getExpected ()
public afu.org.checkerframework.checker.formatter.qual.ConversionCategory getFound ()
public java.lang.String getMessage ()
}
afu/org/checkerframework/checker/formatter/FormatUtil.classFormatUtil.java
package afu.org.checkerframework.checker.formatter
public afu.org.checkerframework.checker.formatter.FormatUtil extends java.lang.Object {
private static final String formatSpecifier
private static java.util.regex.Pattern fsPattern
public void ()
public static transient java.lang.String asFormat (java.lang.String, afu.org.checkerframework.checker.formatter.qual.ConversionCategory[]) throws java.util.IllegalFormatException
int i
String format
afu.org.checkerframework.checker.formatter.qual.ConversionCategory[] cc
afu.org.checkerframework.checker.formatter.qual.ConversionCategory[] fcc
public static void tryFormatSatisfiability (java.lang.String) throws java.util.IllegalFormatException
String format
public static afu.org.checkerframework.checker.formatter.qual.ConversionCategory[] formatParameterCategories (java.lang.String) throws java.util.IllegalFormatException
int index
afu.org.checkerframework.checker.formatter.FormatUtil$Conversion c
int i
String format
int last
int lasto
int maxindex
afu.org.checkerframework.checker.formatter.FormatUtil$Conversion[] cs
java.util.Map conv
afu.org.checkerframework.checker.formatter.qual.ConversionCategory[] res
private static int indexFromFormat (java.util.regex.Matcher)
int index
int index
java.util.regex.Matcher m
int index
String s
private static char conversionCharFromFormat (java.util.regex.Matcher)
java.util.regex.Matcher m
String dt
private static afu.org.checkerframework.checker.formatter.FormatUtil$Conversion[] parse (java.lang.String)
char c
String format
java.util.ArrayList cs
java.util.regex.Matcher m
static void ()
}
afu/org/checkerframework/checker/formatter/qual/
afu/org/checkerframework/checker/formatter/qual/ConversionCategory.classConversionCategory.java
package afu.org.checkerframework.checker.formatter.qual
public final afu.org.checkerframework.checker.formatter.qual.ConversionCategory extends java.lang.Enum {
public static final afu.org.checkerframework.checker.formatter.qual.ConversionCategory GENERAL
public static final afu.org.checkerframework.checker.formatter.qual.ConversionCategory CHAR
public static final afu.org.checkerframework.checker.formatter.qual.ConversionCategory INT
public static final afu.org.checkerframework.checker.formatter.qual.ConversionCategory FLOAT
public static final afu.org.checkerframework.checker.formatter.qual.ConversionCategory TIME
public static final afu.org.checkerframework.checker.formatter.qual.ConversionCategory CHAR_AND_INT
public static final afu.org.checkerframework.checker.formatter.qual.ConversionCategory INT_AND_TIME
public static final afu.org.checkerframework.checker.formatter.qual.ConversionCategory NULL
public static final afu.org.checkerframework.checker.formatter.qual.ConversionCategory UNUSED
public final Class[] types
public final String chars
private static final afu.org.checkerframework.checker.formatter.qual.ConversionCategory[] $VALUES
public static afu.org.checkerframework.checker.formatter.qual.ConversionCategory[] values ()
public static afu.org.checkerframework.checker.formatter.qual.ConversionCategory valueOf (java.lang.String)
String name
private void (java.lang.String, int, java.lang.Class[], java.lang.String)
Class[] types
String chars
public static afu.org.checkerframework.checker.formatter.qual.ConversionCategory fromConversionChar (char)
afu.org.checkerframework.checker.formatter.qual.ConversionCategory v
char c
private static java.util.Set arrayToSet (java.lang.Object[])
Object[] a
public static boolean isSubsetOf (afu.org.checkerframework.checker.formatter.qual.ConversionCategory, afu.org.checkerframework.checker.formatter.qual.ConversionCategory)
afu.org.checkerframework.checker.formatter.qual.ConversionCategory a
afu.org.checkerframework.checker.formatter.qual.ConversionCategory b
public static afu.org.checkerframework.checker.formatter.qual.ConversionCategory intersect (afu.org.checkerframework.checker.formatter.qual.ConversionCategory, afu.org.checkerframework.checker.formatter.qual.ConversionCategory)
java.util.Set vs
afu.org.checkerframework.checker.formatter.qual.ConversionCategory v
afu.org.checkerframework.checker.formatter.qual.ConversionCategory a
afu.org.checkerframework.checker.formatter.qual.ConversionCategory b
java.util.Set as
java.util.Set bs
private java.lang.String className (java.lang.Class)
Class cls
public java.lang.String toString ()
Class cls
StringBuilder sb
boolean first
static void ()
}
afu/org/checkerframework/checker/formatter/qual/Format.classFormat.java
package afu.org.checkerframework.checker.formatter.qual
public abstract afu.org.checkerframework.checker.formatter.qual.Format extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract afu.org.checkerframework.checker.formatter.qual.ConversionCategory[] value ()
}
afu/org/checkerframework/checker/formatter/qual/FormatBottom.classFormatBottom.java
package afu.org.checkerframework.checker.formatter.qual
public abstract afu.org.checkerframework.checker.formatter.qual.FormatBottom extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/formatter/qual/FormatMethod.classFormatMethod.java
package afu.org.checkerframework.checker.formatter.qual
public abstract afu.org.checkerframework.checker.formatter.qual.FormatMethod extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/formatter/qual/InvalidFormat.classInvalidFormat.java
package afu.org.checkerframework.checker.formatter.qual
public abstract afu.org.checkerframework.checker.formatter.qual.InvalidFormat extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String value ()
}
afu/org/checkerframework/checker/formatter/qual/ReturnsFormat.classReturnsFormat.java
package afu.org.checkerframework.checker.formatter.qual
public abstract afu.org.checkerframework.checker.formatter.qual.ReturnsFormat extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/formatter/qual/UnknownFormat.classUnknownFormat.java
package afu.org.checkerframework.checker.formatter.qual
public abstract afu.org.checkerframework.checker.formatter.qual.UnknownFormat extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/guieffect/
afu/org/checkerframework/checker/guieffect/qual/
afu/org/checkerframework/checker/guieffect/qual/AlwaysSafe.classAlwaysSafe.java
package afu.org.checkerframework.checker.guieffect.qual
public abstract afu.org.checkerframework.checker.guieffect.qual.AlwaysSafe extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/guieffect/qual/PolyUI.classPolyUI.java
package afu.org.checkerframework.checker.guieffect.qual
public abstract afu.org.checkerframework.checker.guieffect.qual.PolyUI extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/guieffect/qual/PolyUIEffect.classPolyUIEffect.java
package afu.org.checkerframework.checker.guieffect.qual
public abstract afu.org.checkerframework.checker.guieffect.qual.PolyUIEffect extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/guieffect/qual/PolyUIType.classPolyUIType.java
package afu.org.checkerframework.checker.guieffect.qual
public abstract afu.org.checkerframework.checker.guieffect.qual.PolyUIType extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/guieffect/qual/SafeEffect.classSafeEffect.java
package afu.org.checkerframework.checker.guieffect.qual
public abstract afu.org.checkerframework.checker.guieffect.qual.SafeEffect extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/guieffect/qual/SafeType.classSafeType.java
package afu.org.checkerframework.checker.guieffect.qual
public abstract afu.org.checkerframework.checker.guieffect.qual.SafeType extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/guieffect/qual/UI.classUI.java
package afu.org.checkerframework.checker.guieffect.qual
public abstract afu.org.checkerframework.checker.guieffect.qual.UI extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/guieffect/qual/UIEffect.classUIEffect.java
package afu.org.checkerframework.checker.guieffect.qual
public abstract afu.org.checkerframework.checker.guieffect.qual.UIEffect extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/guieffect/qual/UIPackage.classUIPackage.java
package afu.org.checkerframework.checker.guieffect.qual
public abstract afu.org.checkerframework.checker.guieffect.qual.UIPackage extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/guieffect/qual/UIType.classUIType.java
package afu.org.checkerframework.checker.guieffect.qual
public abstract afu.org.checkerframework.checker.guieffect.qual.UIType extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/i18n/
afu/org/checkerframework/checker/i18n/qual/
afu/org/checkerframework/checker/i18n/qual/LocalizableKey.classLocalizableKey.java
package afu.org.checkerframework.checker.i18n.qual
public abstract afu.org.checkerframework.checker.i18n.qual.LocalizableKey extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/i18n/qual/Localized.classLocalized.java
package afu.org.checkerframework.checker.i18n.qual
public abstract afu.org.checkerframework.checker.i18n.qual.Localized extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/i18n/qual/UnknownLocalized.classUnknownLocalized.java
package afu.org.checkerframework.checker.i18n.qual
public abstract afu.org.checkerframework.checker.i18n.qual.UnknownLocalized extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/i18nformatter/
afu/org/checkerframework/checker/i18nformatter/qual/
afu/org/checkerframework/checker/i18nformatter/qual/I18nChecksFormat.classI18nChecksFormat.java
package afu.org.checkerframework.checker.i18nformatter.qual
public abstract afu.org.checkerframework.checker.i18nformatter.qual.I18nChecksFormat extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/i18nformatter/qual/I18nConversionCategory.classI18nConversionCategory.java
package afu.org.checkerframework.checker.i18nformatter.qual
public final afu.org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory extends java.lang.Enum {
public static final afu.org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory UNUSED
public static final afu.org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory GENERAL
public static final afu.org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory DATE
public static final afu.org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory NUMBER
public final Class[] types
public final String[] strings
private static final afu.org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory[] $VALUES
public static afu.org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory[] values ()
public static afu.org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory valueOf (java.lang.String)
String name
private void (java.lang.String, int, java.lang.Class[], java.lang.String[])
Class[] types
String[] strings
public static afu.org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory stringToI18nConversionCategory (java.lang.String)
String s
afu.org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory v
String string
private static java.util.Set arrayToSet (java.lang.Object[])
Object[] a
public static boolean isSubsetOf (afu.org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory, afu.org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory)
afu.org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory a
afu.org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory b
public static afu.org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory intersect (afu.org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory, afu.org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory)
java.util.Set vs
afu.org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory v
afu.org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory a
afu.org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory b
java.util.Set as
java.util.Set bs
public java.lang.String toString ()
Class cls
boolean first
StringBuilder sb
static void ()
}
afu/org/checkerframework/checker/i18nformatter/qual/I18nFormat.classI18nFormat.java
package afu.org.checkerframework.checker.i18nformatter.qual
public abstract afu.org.checkerframework.checker.i18nformatter.qual.I18nFormat extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract afu.org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory[] value ()
}
afu/org/checkerframework/checker/i18nformatter/qual/I18nFormatBottom.classI18nFormatBottom.java
package afu.org.checkerframework.checker.i18nformatter.qual
public abstract afu.org.checkerframework.checker.i18nformatter.qual.I18nFormatBottom extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/i18nformatter/qual/I18nFormatFor.classI18nFormatFor.java
package afu.org.checkerframework.checker.i18nformatter.qual
public abstract afu.org.checkerframework.checker.i18nformatter.qual.I18nFormatFor extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String value ()
}
afu/org/checkerframework/checker/i18nformatter/qual/I18nInvalidFormat.classI18nInvalidFormat.java
package afu.org.checkerframework.checker.i18nformatter.qual
public abstract afu.org.checkerframework.checker.i18nformatter.qual.I18nInvalidFormat extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String value ()
}
afu/org/checkerframework/checker/i18nformatter/qual/I18nMakeFormat.classI18nMakeFormat.java
package afu.org.checkerframework.checker.i18nformatter.qual
public abstract afu.org.checkerframework.checker.i18nformatter.qual.I18nMakeFormat extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/i18nformatter/qual/I18nUnknownFormat.classI18nUnknownFormat.java
package afu.org.checkerframework.checker.i18nformatter.qual
public abstract afu.org.checkerframework.checker.i18nformatter.qual.I18nUnknownFormat extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/i18nformatter/qual/I18nValidFormat.classI18nValidFormat.java
package afu.org.checkerframework.checker.i18nformatter.qual
public abstract afu.org.checkerframework.checker.i18nformatter.qual.I18nValidFormat extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/igj/
afu/org/checkerframework/checker/igj/qual/
afu/org/checkerframework/checker/igj/qual/Assignable.classAssignable.java
package afu.org.checkerframework.checker.igj.qual
public abstract afu.org.checkerframework.checker.igj.qual.Assignable extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/igj/qual/AssignsFields.classAssignsFields.java
package afu.org.checkerframework.checker.igj.qual
public abstract afu.org.checkerframework.checker.igj.qual.AssignsFields extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/igj/qual/I.classI.java
package afu.org.checkerframework.checker.igj.qual
public abstract afu.org.checkerframework.checker.igj.qual.I extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String value ()
}
afu/org/checkerframework/checker/igj/qual/Immutable.classImmutable.java
package afu.org.checkerframework.checker.igj.qual
public abstract afu.org.checkerframework.checker.igj.qual.Immutable extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/igj/qual/Mutable.classMutable.java
package afu.org.checkerframework.checker.igj.qual
public abstract afu.org.checkerframework.checker.igj.qual.Mutable extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/igj/qual/ReadOnly.classReadOnly.java
package afu.org.checkerframework.checker.igj.qual
public abstract afu.org.checkerframework.checker.igj.qual.ReadOnly extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/initialization/
afu/org/checkerframework/checker/initialization/qual/
afu/org/checkerframework/checker/initialization/qual/FBCBottom.classFBCBottom.java
package afu.org.checkerframework.checker.initialization.qual
public abstract afu.org.checkerframework.checker.initialization.qual.FBCBottom extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/initialization/qual/Initialized.classInitialized.java
package afu.org.checkerframework.checker.initialization.qual
public abstract afu.org.checkerframework.checker.initialization.qual.Initialized extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/initialization/qual/NotOnlyInitialized.classNotOnlyInitialized.java
package afu.org.checkerframework.checker.initialization.qual
public abstract afu.org.checkerframework.checker.initialization.qual.NotOnlyInitialized extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/initialization/qual/UnderInitialization.classUnderInitialization.java
package afu.org.checkerframework.checker.initialization.qual
public abstract afu.org.checkerframework.checker.initialization.qual.UnderInitialization extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.Class value ()
}
afu/org/checkerframework/checker/initialization/qual/UnknownInitialization.classUnknownInitialization.java
package afu.org.checkerframework.checker.initialization.qual
public abstract afu.org.checkerframework.checker.initialization.qual.UnknownInitialization extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.Class value ()
}
afu/org/checkerframework/checker/interning/
afu/org/checkerframework/checker/interning/qual/
afu/org/checkerframework/checker/interning/qual/Interned.classInterned.java
package afu.org.checkerframework.checker.interning.qual
public abstract afu.org.checkerframework.checker.interning.qual.Interned extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/interning/qual/PolyInterned.classPolyInterned.java
package afu.org.checkerframework.checker.interning.qual
public abstract afu.org.checkerframework.checker.interning.qual.PolyInterned extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/interning/qual/UnknownInterned.classUnknownInterned.java
package afu.org.checkerframework.checker.interning.qual
public abstract afu.org.checkerframework.checker.interning.qual.UnknownInterned extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/interning/qual/UsesObjectEquals.classUsesObjectEquals.java
package afu.org.checkerframework.checker.interning.qual
public abstract afu.org.checkerframework.checker.interning.qual.UsesObjectEquals extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/javari/
afu/org/checkerframework/checker/javari/qual/
afu/org/checkerframework/checker/javari/qual/Assignable.classAssignable.java
package afu.org.checkerframework.checker.javari.qual
public abstract afu.org.checkerframework.checker.javari.qual.Assignable extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/javari/qual/Mutable.classMutable.java
package afu.org.checkerframework.checker.javari.qual
public abstract afu.org.checkerframework.checker.javari.qual.Mutable extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/javari/qual/PolyRead.classPolyRead.java
package afu.org.checkerframework.checker.javari.qual
public abstract afu.org.checkerframework.checker.javari.qual.PolyRead extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/javari/qual/QReadOnly.classQReadOnly.java
package afu.org.checkerframework.checker.javari.qual
public abstract afu.org.checkerframework.checker.javari.qual.QReadOnly extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/javari/qual/ReadOnly.classReadOnly.java
package afu.org.checkerframework.checker.javari.qual
public abstract afu.org.checkerframework.checker.javari.qual.ReadOnly extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/javari/qual/ThisMutable.classThisMutable.java
package afu.org.checkerframework.checker.javari.qual
public abstract afu.org.checkerframework.checker.javari.qual.ThisMutable extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/linear/
afu/org/checkerframework/checker/linear/qual/
afu/org/checkerframework/checker/linear/qual/Linear.classLinear.java
package afu.org.checkerframework.checker.linear.qual
public abstract afu.org.checkerframework.checker.linear.qual.Linear extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/linear/qual/Normal.classNormal.java
package afu.org.checkerframework.checker.linear.qual
public abstract afu.org.checkerframework.checker.linear.qual.Normal extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/linear/qual/Unusable.classUnusable.java
package afu.org.checkerframework.checker.linear.qual
public abstract afu.org.checkerframework.checker.linear.qual.Unusable extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/lock/
afu/org/checkerframework/checker/lock/qual/
afu/org/checkerframework/checker/lock/qual/EnsuresLockHeld.classEnsuresLockHeld.java
package afu.org.checkerframework.checker.lock.qual
public abstract afu.org.checkerframework.checker.lock.qual.EnsuresLockHeld extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String[] value ()
}
afu/org/checkerframework/checker/lock/qual/EnsuresLockHeldIf.classEnsuresLockHeldIf.java
package afu.org.checkerframework.checker.lock.qual
public abstract afu.org.checkerframework.checker.lock.qual.EnsuresLockHeldIf extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String[] expression ()
public abstract boolean result ()
}
afu/org/checkerframework/checker/lock/qual/GuardedBy.classGuardedBy.java
package afu.org.checkerframework.checker.lock.qual
public abstract afu.org.checkerframework.checker.lock.qual.GuardedBy extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String[] value ()
}
afu/org/checkerframework/checker/lock/qual/Holding.classHolding.java
package afu.org.checkerframework.checker.lock.qual
public abstract afu.org.checkerframework.checker.lock.qual.Holding extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String[] value ()
}
afu/org/checkerframework/checker/lock/qual/HoldingOnEntry.classHoldingOnEntry.java
package afu.org.checkerframework.checker.lock.qual
public abstract afu.org.checkerframework.checker.lock.qual.HoldingOnEntry extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String[] value ()
}
afu/org/checkerframework/checker/lock/qual/LockHeld.classLockHeld.java
package afu.org.checkerframework.checker.lock.qual
public abstract afu.org.checkerframework.checker.lock.qual.LockHeld extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/lock/qual/LockPossiblyHeld.classLockPossiblyHeld.java
package afu.org.checkerframework.checker.lock.qual
public abstract afu.org.checkerframework.checker.lock.qual.LockPossiblyHeld extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/nullness/
afu/org/checkerframework/checker/nullness/NullnessUtils.classNullnessUtils.java
package afu.org.checkerframework.checker.nullness
public final afu.org.checkerframework.checker.nullness.NullnessUtils extends java.lang.Object {
static final boolean $assertionsDisabled
private void ()
public static java.lang.Object castNonNull (java.lang.Object)
Object ref
public static java.lang.Object[] castNonNullDeep (java.lang.Object[])
Object[] arr
public static java.lang.Object[][] castNonNullDeep (java.lang.Object[][])
Object[][] arr
public static java.lang.Object[][][] castNonNullDeep (java.lang.Object[][][])
Object[][][] arr
public static java.lang.Object[][][][] castNonNullDeep (java.lang.Object[][][][])
Object[][][][] arr
public static java.lang.Object[][][][][] castNonNullDeep (java.lang.Object[][][][][])
Object[][][][][] arr
private static java.lang.Object[] castNonNullArray (java.lang.Object[])
int i
Object[] arr
private static void checkIfArray (java.lang.Object)
Object ref
Class comp
static void ()
}
afu/org/checkerframework/checker/nullness/qual/
afu/org/checkerframework/checker/nullness/qual/AssertNonNullIfNonNull.classAssertNonNullIfNonNull.java
package afu.org.checkerframework.checker.nullness.qual
public abstract afu.org.checkerframework.checker.nullness.qual.AssertNonNullIfNonNull extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String[] value ()
}
afu/org/checkerframework/checker/nullness/qual/Covariant.classCovariant.java
package afu.org.checkerframework.checker.nullness.qual
public abstract afu.org.checkerframework.checker.nullness.qual.Covariant extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract int[] value ()
}
afu/org/checkerframework/checker/nullness/qual/EnsuresNonNull.classEnsuresNonNull.java
package afu.org.checkerframework.checker.nullness.qual
public abstract afu.org.checkerframework.checker.nullness.qual.EnsuresNonNull extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String[] value ()
}
afu/org/checkerframework/checker/nullness/qual/EnsuresNonNullIf.classEnsuresNonNullIf.java
package afu.org.checkerframework.checker.nullness.qual
public abstract afu.org.checkerframework.checker.nullness.qual.EnsuresNonNullIf extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String[] expression ()
public abstract boolean result ()
}
afu/org/checkerframework/checker/nullness/qual/KeyFor.classKeyFor.java
package afu.org.checkerframework.checker.nullness.qual
public abstract afu.org.checkerframework.checker.nullness.qual.KeyFor extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String[] value ()
}
afu/org/checkerframework/checker/nullness/qual/KeyForBottom.classKeyForBottom.java
package afu.org.checkerframework.checker.nullness.qual
public abstract afu.org.checkerframework.checker.nullness.qual.KeyForBottom extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/nullness/qual/LazyNonNull.classLazyNonNull.java
package afu.org.checkerframework.checker.nullness.qual
public abstract afu.org.checkerframework.checker.nullness.qual.LazyNonNull extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/nullness/qual/MonotonicNonNull.classMonotonicNonNull.java
package afu.org.checkerframework.checker.nullness.qual
public abstract afu.org.checkerframework.checker.nullness.qual.MonotonicNonNull extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/nullness/qual/NonNull.classNonNull.java
package afu.org.checkerframework.checker.nullness.qual
public abstract afu.org.checkerframework.checker.nullness.qual.NonNull extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/nullness/qual/NonRaw.classNonRaw.java
package afu.org.checkerframework.checker.nullness.qual
public abstract afu.org.checkerframework.checker.nullness.qual.NonRaw extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/nullness/qual/Nullable.classNullable.java
package afu.org.checkerframework.checker.nullness.qual
public abstract afu.org.checkerframework.checker.nullness.qual.Nullable extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/nullness/qual/PolyKeyFor.classPolyKeyFor.java
package afu.org.checkerframework.checker.nullness.qual
public abstract afu.org.checkerframework.checker.nullness.qual.PolyKeyFor extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/nullness/qual/PolyNull.classPolyNull.java
package afu.org.checkerframework.checker.nullness.qual
public abstract afu.org.checkerframework.checker.nullness.qual.PolyNull extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/nullness/qual/PolyRaw.classPolyRaw.java
package afu.org.checkerframework.checker.nullness.qual
public abstract afu.org.checkerframework.checker.nullness.qual.PolyRaw extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/nullness/qual/Raw.classRaw.java
package afu.org.checkerframework.checker.nullness.qual
public abstract afu.org.checkerframework.checker.nullness.qual.Raw extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.Class value ()
}
afu/org/checkerframework/checker/nullness/qual/RequiresNonNull.classRequiresNonNull.java
package afu.org.checkerframework.checker.nullness.qual
public abstract afu.org.checkerframework.checker.nullness.qual.RequiresNonNull extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String[] value ()
}
afu/org/checkerframework/checker/nullness/qual/UnknownKeyFor.classUnknownKeyFor.java
package afu.org.checkerframework.checker.nullness.qual
public abstract afu.org.checkerframework.checker.nullness.qual.UnknownKeyFor extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/oigj/
afu/org/checkerframework/checker/oigj/qual/
afu/org/checkerframework/checker/oigj/qual/Assignable.classAssignable.java
package afu.org.checkerframework.checker.oigj.qual
public abstract afu.org.checkerframework.checker.oigj.qual.Assignable extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/oigj/qual/AssignsFields.classAssignsFields.java
package afu.org.checkerframework.checker.oigj.qual
public abstract afu.org.checkerframework.checker.oigj.qual.AssignsFields extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/oigj/qual/Dominator.classDominator.java
package afu.org.checkerframework.checker.oigj.qual
public abstract afu.org.checkerframework.checker.oigj.qual.Dominator extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/oigj/qual/I.classI.java
package afu.org.checkerframework.checker.oigj.qual
public abstract afu.org.checkerframework.checker.oigj.qual.I extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String value ()
}
afu/org/checkerframework/checker/oigj/qual/Immutable.classImmutable.java
package afu.org.checkerframework.checker.oigj.qual
public abstract afu.org.checkerframework.checker.oigj.qual.Immutable extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/oigj/qual/Modifier.classModifier.java
package afu.org.checkerframework.checker.oigj.qual
public abstract afu.org.checkerframework.checker.oigj.qual.Modifier extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/oigj/qual/Mutable.classMutable.java
package afu.org.checkerframework.checker.oigj.qual
public abstract afu.org.checkerframework.checker.oigj.qual.Mutable extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/oigj/qual/O.classO.java
package afu.org.checkerframework.checker.oigj.qual
public abstract afu.org.checkerframework.checker.oigj.qual.O extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/oigj/qual/OIGJMutabilityBottom.classOIGJMutabilityBottom.java
package afu.org.checkerframework.checker.oigj.qual
public abstract afu.org.checkerframework.checker.oigj.qual.OIGJMutabilityBottom extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/oigj/qual/ReadOnly.classReadOnly.java
package afu.org.checkerframework.checker.oigj.qual
public abstract afu.org.checkerframework.checker.oigj.qual.ReadOnly extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/oigj/qual/WildCard.classWildCard.java
package afu.org.checkerframework.checker.oigj.qual
public abstract afu.org.checkerframework.checker.oigj.qual.WildCard extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/oigj/qual/World.classWorld.java
package afu.org.checkerframework.checker.oigj.qual
public abstract afu.org.checkerframework.checker.oigj.qual.World extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/propkey/
afu/org/checkerframework/checker/propkey/qual/
afu/org/checkerframework/checker/propkey/qual/PropertyKey.classPropertyKey.java
package afu.org.checkerframework.checker.propkey.qual
public abstract afu.org.checkerframework.checker.propkey.qual.PropertyKey extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/propkey/qual/PropertyKeyBottom.classPropertyKeyBottom.java
package afu.org.checkerframework.checker.propkey.qual
public abstract afu.org.checkerframework.checker.propkey.qual.PropertyKeyBottom extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/propkey/qual/UnknownPropertyKey.classUnknownPropertyKey.java
package afu.org.checkerframework.checker.propkey.qual
public abstract afu.org.checkerframework.checker.propkey.qual.UnknownPropertyKey extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/regex/
afu/org/checkerframework/checker/regex/RegexUtil$CheckedPatternSyntaxException.classRegexUtil.java
package afu.org.checkerframework.checker.regex
public afu.org.checkerframework.checker.regex.RegexUtil$CheckedPatternSyntaxException extends java.lang.Exception {
private static final long serialVersionUID
private final java.util.regex.PatternSyntaxException pse
public void (java.util.regex.PatternSyntaxException)
java.util.regex.PatternSyntaxException pse
public void (java.lang.String, java.lang.String, int)
String desc
String regex
int index
public java.lang.String getDescription ()
public int getIndex ()
public java.lang.String getMessage ()
public java.lang.String getPattern ()
}
afu/org/checkerframework/checker/regex/RegexUtil.classRegexUtil.java
package afu.org.checkerframework.checker.regex
public afu.org.checkerframework.checker.regex.RegexUtil extends java.lang.Object {
private void ()
public static boolean isRegex (java.lang.String)
String s
public static boolean isRegex (java.lang.String, int)
java.util.regex.Pattern p
java.util.regex.PatternSyntaxException e
String s
int groups
java.util.regex.Pattern p
public static boolean isRegex (char)
char c
public static java.lang.String regexError (java.lang.String)
String s
public static java.lang.String regexError (java.lang.String, int)
java.util.regex.Pattern p
int actualGroups
java.util.regex.PatternSyntaxException e
String s
int groups
public static java.util.regex.PatternSyntaxException regexException (java.lang.String)
String s
public static java.util.regex.PatternSyntaxException regexException (java.lang.String, int)
java.util.regex.Pattern p
int actualGroups
java.util.regex.PatternSyntaxException pse
String s
int groups
public static java.lang.String asRegex (java.lang.String)
String s
public static java.lang.String asRegex (java.lang.String, int)
java.util.regex.Pattern p
int actualGroups
java.util.regex.PatternSyntaxException e
String s
int groups
private static java.lang.String regexErrorMessage (java.lang.String, int, int)
String s
int expectedGroups
int actualGroups
private static int getGroupCount (java.util.regex.Pattern)
java.util.regex.Pattern p
}
afu/org/checkerframework/checker/regex/classic/
afu/org/checkerframework/checker/regex/classic/qual/
afu/org/checkerframework/checker/regex/classic/qual/PartialRegex.classPartialRegex.java
package afu.org.checkerframework.checker.regex.classic.qual
public abstract afu.org.checkerframework.checker.regex.classic.qual.PartialRegex extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String value ()
}
afu/org/checkerframework/checker/regex/classic/qual/PolyRegex.classPolyRegex.java
package afu.org.checkerframework.checker.regex.classic.qual
public abstract afu.org.checkerframework.checker.regex.classic.qual.PolyRegex extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/regex/classic/qual/RegexBottom.classRegexBottom.java
package afu.org.checkerframework.checker.regex.classic.qual
public abstract afu.org.checkerframework.checker.regex.classic.qual.RegexBottom extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/regex/classic/qual/UnknownRegex.classUnknownRegex.java
package afu.org.checkerframework.checker.regex.classic.qual
public abstract afu.org.checkerframework.checker.regex.classic.qual.UnknownRegex extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/regex/qual/
afu/org/checkerframework/checker/regex/qual/ClassRegexParam.classClassRegexParam.java
package afu.org.checkerframework.checker.regex.qual
public abstract afu.org.checkerframework.checker.regex.qual.ClassRegexParam extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String value ()
}
afu/org/checkerframework/checker/regex/qual/MethodRegexParam.classMethodRegexParam.java
package afu.org.checkerframework.checker.regex.qual
public abstract afu.org.checkerframework.checker.regex.qual.MethodRegexParam extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String value ()
}
afu/org/checkerframework/checker/regex/qual/MultiClassRegexParam.classMultiClassRegexParam.java
package afu.org.checkerframework.checker.regex.qual
public abstract afu.org.checkerframework.checker.regex.qual.MultiClassRegexParam extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract afu.org.checkerframework.checker.regex.qual.ClassRegexParam[] value ()
}
afu/org/checkerframework/checker/regex/qual/MultiMethodRegexParam.classMultiMethodRegexParam.java
package afu.org.checkerframework.checker.regex.qual
public abstract afu.org.checkerframework.checker.regex.qual.MultiMethodRegexParam extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract afu.org.checkerframework.checker.regex.qual.MethodRegexParam[] value ()
}
afu/org/checkerframework/checker/regex/qual/MultiPolyRegex.classMultiPolyRegex.java
package afu.org.checkerframework.checker.regex.qual
public abstract afu.org.checkerframework.checker.regex.qual.MultiPolyRegex extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract afu.org.checkerframework.checker.regex.qual.PolyRegex[] value ()
}
afu/org/checkerframework/checker/regex/qual/MultiRegex.classMultiRegex.java
package afu.org.checkerframework.checker.regex.qual
public abstract afu.org.checkerframework.checker.regex.qual.MultiRegex extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract afu.org.checkerframework.checker.regex.qual.Regex[] value ()
}
afu/org/checkerframework/checker/regex/qual/MultiVar.classMultiVar.java
package afu.org.checkerframework.checker.regex.qual
public abstract afu.org.checkerframework.checker.regex.qual.MultiVar extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract afu.org.checkerframework.checker.regex.qual.Var[] value ()
}
afu/org/checkerframework/checker/regex/qual/MultiWild.classMultiWild.java
package afu.org.checkerframework.checker.regex.qual
public abstract afu.org.checkerframework.checker.regex.qual.MultiWild extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract afu.org.checkerframework.checker.regex.qual.Wild[] value ()
}
afu/org/checkerframework/checker/regex/qual/PolyRegex.classPolyRegex.java
package afu.org.checkerframework.checker.regex.qual
public abstract afu.org.checkerframework.checker.regex.qual.PolyRegex extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String param ()
}
afu/org/checkerframework/checker/regex/qual/Regex.classRegex.java
package afu.org.checkerframework.checker.regex.qual
public abstract afu.org.checkerframework.checker.regex.qual.Regex extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract int value ()
public abstract java.lang.String param ()
public abstract afu.org.checkerframework.qualframework.poly.qual.Wildcard wildcard ()
}
afu/org/checkerframework/checker/regex/qual/Var.classVar.java
package afu.org.checkerframework.checker.regex.qual
public abstract afu.org.checkerframework.checker.regex.qual.Var extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String arg ()
public abstract java.lang.String param ()
public abstract afu.org.checkerframework.qualframework.poly.qual.Wildcard wildcard ()
}
afu/org/checkerframework/checker/regex/qual/Wild.classWild.java
package afu.org.checkerframework.checker.regex.qual
public abstract afu.org.checkerframework.checker.regex.qual.Wild extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String param ()
}
afu/org/checkerframework/checker/signature/
afu/org/checkerframework/checker/signature/qual/
afu/org/checkerframework/checker/signature/qual/BinaryName.classBinaryName.java
package afu.org.checkerframework.checker.signature.qual
public abstract afu.org.checkerframework.checker.signature.qual.BinaryName extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/signature/qual/BinaryNameForNonArray.classBinaryNameForNonArray.java
package afu.org.checkerframework.checker.signature.qual
public abstract afu.org.checkerframework.checker.signature.qual.BinaryNameForNonArray extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/signature/qual/ClassGetName.classClassGetName.java
package afu.org.checkerframework.checker.signature.qual
public abstract afu.org.checkerframework.checker.signature.qual.ClassGetName extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/signature/qual/FieldDescriptor.classFieldDescriptor.java
package afu.org.checkerframework.checker.signature.qual
public abstract afu.org.checkerframework.checker.signature.qual.FieldDescriptor extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/signature/qual/FieldDescriptorForArray.classFieldDescriptorForArray.java
package afu.org.checkerframework.checker.signature.qual
public abstract afu.org.checkerframework.checker.signature.qual.FieldDescriptorForArray extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/signature/qual/FullyQualifiedName.classFullyQualifiedName.java
package afu.org.checkerframework.checker.signature.qual
public abstract afu.org.checkerframework.checker.signature.qual.FullyQualifiedName extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/signature/qual/MethodDescriptor.classMethodDescriptor.java
package afu.org.checkerframework.checker.signature.qual
public abstract afu.org.checkerframework.checker.signature.qual.MethodDescriptor extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/signature/qual/PolySignature.classPolySignature.java
package afu.org.checkerframework.checker.signature.qual
public abstract afu.org.checkerframework.checker.signature.qual.PolySignature extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/signature/qual/SignatureBottom.classSignatureBottom.java
package afu.org.checkerframework.checker.signature.qual
public abstract afu.org.checkerframework.checker.signature.qual.SignatureBottom extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/signature/qual/SourceName.classSourceName.java
package afu.org.checkerframework.checker.signature.qual
public abstract afu.org.checkerframework.checker.signature.qual.SourceName extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/signature/qual/SourceNameForNonArray.classSourceNameForNonArray.java
package afu.org.checkerframework.checker.signature.qual
public abstract afu.org.checkerframework.checker.signature.qual.SourceNameForNonArray extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/signature/qual/UnannotatedString.classUnannotatedString.java
package afu.org.checkerframework.checker.signature.qual
public abstract afu.org.checkerframework.checker.signature.qual.UnannotatedString extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/tainting/
afu/org/checkerframework/checker/tainting/classic/
afu/org/checkerframework/checker/tainting/classic/qual/
afu/org/checkerframework/checker/tainting/classic/qual/PolyTainted.classPolyTainted.java
package afu.org.checkerframework.checker.tainting.classic.qual
public abstract afu.org.checkerframework.checker.tainting.classic.qual.PolyTainted extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/tainting/classic/qual/Tainted.classTainted.java
package afu.org.checkerframework.checker.tainting.classic.qual
public abstract afu.org.checkerframework.checker.tainting.classic.qual.Tainted extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/tainting/classic/qual/Untainted.classUntainted.java
package afu.org.checkerframework.checker.tainting.classic.qual
public abstract afu.org.checkerframework.checker.tainting.classic.qual.Untainted extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/tainting/qual/
afu/org/checkerframework/checker/tainting/qual/ClassTaintingParam.classClassTaintingParam.java
package afu.org.checkerframework.checker.tainting.qual
public abstract afu.org.checkerframework.checker.tainting.qual.ClassTaintingParam extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String value ()
}
afu/org/checkerframework/checker/tainting/qual/MethodTaintingParam.classMethodTaintingParam.java
package afu.org.checkerframework.checker.tainting.qual
public abstract afu.org.checkerframework.checker.tainting.qual.MethodTaintingParam extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String value ()
}
afu/org/checkerframework/checker/tainting/qual/MultiClassTaintingParam.classMultiClassTaintingParam.java
package afu.org.checkerframework.checker.tainting.qual
public abstract afu.org.checkerframework.checker.tainting.qual.MultiClassTaintingParam extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract afu.org.checkerframework.checker.tainting.qual.ClassTaintingParam[] value ()
}
afu/org/checkerframework/checker/tainting/qual/MultiMethodTaintingParam.classMultiMethodTaintingParam.java
package afu.org.checkerframework.checker.tainting.qual
public abstract afu.org.checkerframework.checker.tainting.qual.MultiMethodTaintingParam extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract afu.org.checkerframework.checker.tainting.qual.MethodTaintingParam[] value ()
}
afu/org/checkerframework/checker/tainting/qual/MultiPolyTainted.classMultiPolyTainted.java
package afu.org.checkerframework.checker.tainting.qual
public abstract afu.org.checkerframework.checker.tainting.qual.MultiPolyTainted extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract afu.org.checkerframework.checker.tainting.qual.PolyTainted[] value ()
}
afu/org/checkerframework/checker/tainting/qual/MultiTainted.classMultiTainted.java
package afu.org.checkerframework.checker.tainting.qual
public abstract afu.org.checkerframework.checker.tainting.qual.MultiTainted extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract afu.org.checkerframework.checker.tainting.qual.Tainted[] value ()
}
afu/org/checkerframework/checker/tainting/qual/MultiUntainted.classMultiUntainted.java
package afu.org.checkerframework.checker.tainting.qual
public abstract afu.org.checkerframework.checker.tainting.qual.MultiUntainted extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract afu.org.checkerframework.checker.tainting.qual.Untainted[] value ()
}
afu/org/checkerframework/checker/tainting/qual/MultiVar.classMultiVar.java
package afu.org.checkerframework.checker.tainting.qual
public abstract afu.org.checkerframework.checker.tainting.qual.MultiVar extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract afu.org.checkerframework.checker.tainting.qual.Var[] value ()
}
afu/org/checkerframework/checker/tainting/qual/MultiWild.classMultiWild.java
package afu.org.checkerframework.checker.tainting.qual
public abstract afu.org.checkerframework.checker.tainting.qual.MultiWild extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract afu.org.checkerframework.checker.tainting.qual.Wild[] value ()
}
afu/org/checkerframework/checker/tainting/qual/PolyTainted.classPolyTainted.java
package afu.org.checkerframework.checker.tainting.qual
public abstract afu.org.checkerframework.checker.tainting.qual.PolyTainted extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String param ()
}
afu/org/checkerframework/checker/tainting/qual/Tainted.classTainted.java
package afu.org.checkerframework.checker.tainting.qual
public abstract afu.org.checkerframework.checker.tainting.qual.Tainted extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String param ()
public abstract afu.org.checkerframework.qualframework.poly.qual.Wildcard wildcard ()
}
afu/org/checkerframework/checker/tainting/qual/Untainted.classUntainted.java
package afu.org.checkerframework.checker.tainting.qual
public abstract afu.org.checkerframework.checker.tainting.qual.Untainted extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String param ()
public abstract afu.org.checkerframework.qualframework.poly.qual.Wildcard wildcard ()
}
afu/org/checkerframework/checker/tainting/qual/Var.classVar.java
package afu.org.checkerframework.checker.tainting.qual
public abstract afu.org.checkerframework.checker.tainting.qual.Var extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String arg ()
public abstract java.lang.String param ()
public abstract afu.org.checkerframework.qualframework.poly.qual.Wildcard wildcard ()
}
afu/org/checkerframework/checker/tainting/qual/Wild.classWild.java
package afu.org.checkerframework.checker.tainting.qual
public abstract afu.org.checkerframework.checker.tainting.qual.Wild extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String param ()
}
afu/org/checkerframework/checker/units/
afu/org/checkerframework/checker/units/UnitsTools.classUnitsTools.java
package afu.org.checkerframework.checker.units
public afu.org.checkerframework.checker.units.UnitsTools extends java.lang.Object {
public static final int mPERs2
public static final double rad
public static final double deg
public static final int mm2
public static final int m2
public static final int km2
public static final int A
public static final int cd
public static final int mm
public static final int m
public static final int km
public static final int g
public static final int kg
public static final int mPERs
public static final int kmPERh
public static final int mol
public static final int K
public static final int C
public static final int s
public static final int min
public static final int h
public void ()
public static double toRadians (double)
double angdeg
public static double toDegrees (double)
double angrad
public static int fromMilliMeterToMeter (int)
int mm
public static int fromMeterToMilliMeter (int)
int m
public static int fromMeterToKiloMeter (int)
int m
public static int fromKiloMeterToMeter (int)
int km
public static int fromGramToKiloGram (int)
int g
public static int fromKiloGramToGram (int)
int kg
public static double fromMeterPerSecondToKiloMeterPerHour (double)
double mps
public static double fromKiloMeterPerHourToMeterPerSecond (double)
double kmph
public static int fromKelvinToCelsius (int)
int k
public static int fromCelsiusToKelvin (int)
int c
public static int fromSecondToMinute (int)
int s
public static int fromMinuteToSecond (int)
int min
public static int fromMinuteToHour (int)
int min
public static int fromHourToMinute (int)
int h
}
afu/org/checkerframework/checker/units/qual/
afu/org/checkerframework/checker/units/qual/A.classA.java
package afu.org.checkerframework.checker.units.qual
public abstract afu.org.checkerframework.checker.units.qual.A extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract afu.org.checkerframework.checker.units.qual.Prefix value ()
}
afu/org/checkerframework/checker/units/qual/Acceleration.classAcceleration.java
package afu.org.checkerframework.checker.units.qual
public abstract afu.org.checkerframework.checker.units.qual.Acceleration extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/units/qual/Angle.classAngle.java
package afu.org.checkerframework.checker.units.qual
public abstract afu.org.checkerframework.checker.units.qual.Angle extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/units/qual/Area.classArea.java
package afu.org.checkerframework.checker.units.qual
public abstract afu.org.checkerframework.checker.units.qual.Area extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/units/qual/C.classC.java
package afu.org.checkerframework.checker.units.qual
public abstract afu.org.checkerframework.checker.units.qual.C extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/units/qual/Current.classCurrent.java
package afu.org.checkerframework.checker.units.qual
public abstract afu.org.checkerframework.checker.units.qual.Current extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/units/qual/K.classK.java
package afu.org.checkerframework.checker.units.qual
public abstract afu.org.checkerframework.checker.units.qual.K extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract afu.org.checkerframework.checker.units.qual.Prefix value ()
}
afu/org/checkerframework/checker/units/qual/Length.classLength.java
package afu.org.checkerframework.checker.units.qual
public abstract afu.org.checkerframework.checker.units.qual.Length extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/units/qual/Luminance.classLuminance.java
package afu.org.checkerframework.checker.units.qual
public abstract afu.org.checkerframework.checker.units.qual.Luminance extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/units/qual/Mass.classMass.java
package afu.org.checkerframework.checker.units.qual
public abstract afu.org.checkerframework.checker.units.qual.Mass extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/units/qual/MixedUnits.classMixedUnits.java
package afu.org.checkerframework.checker.units.qual
public abstract afu.org.checkerframework.checker.units.qual.MixedUnits extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/units/qual/PolyUnit.classPolyUnit.java
package afu.org.checkerframework.checker.units.qual
public abstract afu.org.checkerframework.checker.units.qual.PolyUnit extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/units/qual/Prefix.classPrefix.java
package afu.org.checkerframework.checker.units.qual
public final afu.org.checkerframework.checker.units.qual.Prefix extends java.lang.Enum {
public static final afu.org.checkerframework.checker.units.qual.Prefix yotta
public static final afu.org.checkerframework.checker.units.qual.Prefix zetta
public static final afu.org.checkerframework.checker.units.qual.Prefix exa
public static final afu.org.checkerframework.checker.units.qual.Prefix peta
public static final afu.org.checkerframework.checker.units.qual.Prefix tera
public static final afu.org.checkerframework.checker.units.qual.Prefix giga
public static final afu.org.checkerframework.checker.units.qual.Prefix mega
public static final afu.org.checkerframework.checker.units.qual.Prefix kilo
public static final afu.org.checkerframework.checker.units.qual.Prefix hecto
public static final afu.org.checkerframework.checker.units.qual.Prefix deca
public static final afu.org.checkerframework.checker.units.qual.Prefix one
public static final afu.org.checkerframework.checker.units.qual.Prefix deci
public static final afu.org.checkerframework.checker.units.qual.Prefix centi
public static final afu.org.checkerframework.checker.units.qual.Prefix milli
public static final afu.org.checkerframework.checker.units.qual.Prefix micro
public static final afu.org.checkerframework.checker.units.qual.Prefix nano
public static final afu.org.checkerframework.checker.units.qual.Prefix pico
public static final afu.org.checkerframework.checker.units.qual.Prefix femto
public static final afu.org.checkerframework.checker.units.qual.Prefix atto
public static final afu.org.checkerframework.checker.units.qual.Prefix zepto
public static final afu.org.checkerframework.checker.units.qual.Prefix yocto
private static final afu.org.checkerframework.checker.units.qual.Prefix[] $VALUES
public static afu.org.checkerframework.checker.units.qual.Prefix[] values ()
public static afu.org.checkerframework.checker.units.qual.Prefix valueOf (java.lang.String)
String name
private void (java.lang.String, int)
static void ()
}
afu/org/checkerframework/checker/units/qual/Speed.classSpeed.java
package afu.org.checkerframework.checker.units.qual
public abstract afu.org.checkerframework.checker.units.qual.Speed extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/units/qual/Substance.classSubstance.java
package afu.org.checkerframework.checker.units.qual
public abstract afu.org.checkerframework.checker.units.qual.Substance extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/units/qual/Temperature.classTemperature.java
package afu.org.checkerframework.checker.units.qual
public abstract afu.org.checkerframework.checker.units.qual.Temperature extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/units/qual/Time.classTime.java
package afu.org.checkerframework.checker.units.qual
public abstract afu.org.checkerframework.checker.units.qual.Time extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/units/qual/UnitsBottom.classUnitsBottom.java
package afu.org.checkerframework.checker.units.qual
public abstract afu.org.checkerframework.checker.units.qual.UnitsBottom extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/units/qual/UnitsMultiple.classUnitsMultiple.java
package afu.org.checkerframework.checker.units.qual
public abstract afu.org.checkerframework.checker.units.qual.UnitsMultiple extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.Class quantity ()
public abstract afu.org.checkerframework.checker.units.qual.Prefix prefix ()
}
afu/org/checkerframework/checker/units/qual/UnitsRelations.classUnitsRelations.java
package afu.org.checkerframework.checker.units.qual
public abstract afu.org.checkerframework.checker.units.qual.UnitsRelations extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.Class value ()
}
afu/org/checkerframework/checker/units/qual/UnknownUnits.classUnknownUnits.java
package afu.org.checkerframework.checker.units.qual
public abstract afu.org.checkerframework.checker.units.qual.UnknownUnits extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/units/qual/cd.classcd.java
package afu.org.checkerframework.checker.units.qual
public abstract afu.org.checkerframework.checker.units.qual.cd extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract afu.org.checkerframework.checker.units.qual.Prefix value ()
}
afu/org/checkerframework/checker/units/qual/degrees.classdegrees.java
package afu.org.checkerframework.checker.units.qual
public abstract afu.org.checkerframework.checker.units.qual.degrees extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/units/qual/g.classg.java
package afu.org.checkerframework.checker.units.qual
public abstract afu.org.checkerframework.checker.units.qual.g extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract afu.org.checkerframework.checker.units.qual.Prefix value ()
}
afu/org/checkerframework/checker/units/qual/h.classh.java
package afu.org.checkerframework.checker.units.qual
public abstract afu.org.checkerframework.checker.units.qual.h extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/units/qual/kg.classkg.java
package afu.org.checkerframework.checker.units.qual
public abstract afu.org.checkerframework.checker.units.qual.kg extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/units/qual/km.classkm.java
package afu.org.checkerframework.checker.units.qual
public abstract afu.org.checkerframework.checker.units.qual.km extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/units/qual/km2.classkm2.java
package afu.org.checkerframework.checker.units.qual
public abstract afu.org.checkerframework.checker.units.qual.km2 extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/units/qual/kmPERh.classkmPERh.java
package afu.org.checkerframework.checker.units.qual
public abstract afu.org.checkerframework.checker.units.qual.kmPERh extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/units/qual/m.classm.java
package afu.org.checkerframework.checker.units.qual
public abstract afu.org.checkerframework.checker.units.qual.m extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract afu.org.checkerframework.checker.units.qual.Prefix value ()
}
afu/org/checkerframework/checker/units/qual/m2.classm2.java
package afu.org.checkerframework.checker.units.qual
public abstract afu.org.checkerframework.checker.units.qual.m2 extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract afu.org.checkerframework.checker.units.qual.Prefix value ()
}
afu/org/checkerframework/checker/units/qual/mPERs.classmPERs.java
package afu.org.checkerframework.checker.units.qual
public abstract afu.org.checkerframework.checker.units.qual.mPERs extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract afu.org.checkerframework.checker.units.qual.Prefix value ()
}
afu/org/checkerframework/checker/units/qual/mPERs2.classmPERs2.java
package afu.org.checkerframework.checker.units.qual
public abstract afu.org.checkerframework.checker.units.qual.mPERs2 extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract afu.org.checkerframework.checker.units.qual.Prefix value ()
}
afu/org/checkerframework/checker/units/qual/min.classmin.java
package afu.org.checkerframework.checker.units.qual
public abstract afu.org.checkerframework.checker.units.qual.min extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/units/qual/mm.classmm.java
package afu.org.checkerframework.checker.units.qual
public abstract afu.org.checkerframework.checker.units.qual.mm extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/units/qual/mm2.classmm2.java
package afu.org.checkerframework.checker.units.qual
public abstract afu.org.checkerframework.checker.units.qual.mm2 extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/checker/units/qual/mol.classmol.java
package afu.org.checkerframework.checker.units.qual
public abstract afu.org.checkerframework.checker.units.qual.mol extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract afu.org.checkerframework.checker.units.qual.Prefix value ()
}
afu/org/checkerframework/checker/units/qual/radians.classradians.java
package afu.org.checkerframework.checker.units.qual
public abstract afu.org.checkerframework.checker.units.qual.radians extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract afu.org.checkerframework.checker.units.qual.Prefix value ()
}
afu/org/checkerframework/checker/units/qual/s.classs.java
package afu.org.checkerframework.checker.units.qual
public abstract afu.org.checkerframework.checker.units.qual.s extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract afu.org.checkerframework.checker.units.qual.Prefix value ()
}
afu/org/checkerframework/common/
afu/org/checkerframework/common/aliasing/
afu/org/checkerframework/common/aliasing/qual/
afu/org/checkerframework/common/aliasing/qual/LeakedToResult.classLeakedToResult.java
package afu.org.checkerframework.common.aliasing.qual
public abstract afu.org.checkerframework.common.aliasing.qual.LeakedToResult extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/common/aliasing/qual/MaybeAliased.classMaybeAliased.java
package afu.org.checkerframework.common.aliasing.qual
public abstract afu.org.checkerframework.common.aliasing.qual.MaybeAliased extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/common/aliasing/qual/MaybeLeaked.classMaybeLeaked.java
package afu.org.checkerframework.common.aliasing.qual
public abstract afu.org.checkerframework.common.aliasing.qual.MaybeLeaked extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/common/aliasing/qual/NonLeaked.classNonLeaked.java
package afu.org.checkerframework.common.aliasing.qual
public abstract afu.org.checkerframework.common.aliasing.qual.NonLeaked extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/common/aliasing/qual/Unique.classUnique.java
package afu.org.checkerframework.common.aliasing.qual
public abstract afu.org.checkerframework.common.aliasing.qual.Unique extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/common/reflection/
afu/org/checkerframework/common/reflection/qual/
afu/org/checkerframework/common/reflection/qual/ClassBound.classClassBound.java
package afu.org.checkerframework.common.reflection.qual
public abstract afu.org.checkerframework.common.reflection.qual.ClassBound extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String[] value ()
}
afu/org/checkerframework/common/reflection/qual/ClassVal.classClassVal.java
package afu.org.checkerframework.common.reflection.qual
public abstract afu.org.checkerframework.common.reflection.qual.ClassVal extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String[] value ()
}
afu/org/checkerframework/common/reflection/qual/ClassValBottom.classClassValBottom.java
package afu.org.checkerframework.common.reflection.qual
public abstract afu.org.checkerframework.common.reflection.qual.ClassValBottom extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/common/reflection/qual/ForName.classForName.java
package afu.org.checkerframework.common.reflection.qual
public abstract afu.org.checkerframework.common.reflection.qual.ForName extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/common/reflection/qual/GetClass.classGetClass.java
package afu.org.checkerframework.common.reflection.qual
public abstract afu.org.checkerframework.common.reflection.qual.GetClass extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/common/reflection/qual/GetConstructor.classGetConstructor.java
package afu.org.checkerframework.common.reflection.qual
public abstract afu.org.checkerframework.common.reflection.qual.GetConstructor extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/common/reflection/qual/GetMethod.classGetMethod.java
package afu.org.checkerframework.common.reflection.qual
public abstract afu.org.checkerframework.common.reflection.qual.GetMethod extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/common/reflection/qual/Invoke.classInvoke.java
package afu.org.checkerframework.common.reflection.qual
public abstract afu.org.checkerframework.common.reflection.qual.Invoke extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/common/reflection/qual/MethodVal.classMethodVal.java
package afu.org.checkerframework.common.reflection.qual
public abstract afu.org.checkerframework.common.reflection.qual.MethodVal extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String[] className ()
public abstract java.lang.String[] methodName ()
public abstract int[] params ()
}
afu/org/checkerframework/common/reflection/qual/MethodValBottom.classMethodValBottom.java
package afu.org.checkerframework.common.reflection.qual
public abstract afu.org.checkerframework.common.reflection.qual.MethodValBottom extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/common/reflection/qual/NewInstance.classNewInstance.java
package afu.org.checkerframework.common.reflection.qual
public abstract afu.org.checkerframework.common.reflection.qual.NewInstance extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/common/reflection/qual/UnknownClass.classUnknownClass.java
package afu.org.checkerframework.common.reflection.qual
public abstract afu.org.checkerframework.common.reflection.qual.UnknownClass extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/common/reflection/qual/UnknownMethod.classUnknownMethod.java
package afu.org.checkerframework.common.reflection.qual
public abstract afu.org.checkerframework.common.reflection.qual.UnknownMethod extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/common/util/
afu/org/checkerframework/common/util/report/
afu/org/checkerframework/common/util/report/qual/
afu/org/checkerframework/common/util/report/qual/ReportCall.classReportCall.java
package afu.org.checkerframework.common.util.report.qual
public abstract afu.org.checkerframework.common.util.report.qual.ReportCall extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/common/util/report/qual/ReportCreation.classReportCreation.java
package afu.org.checkerframework.common.util.report.qual
public abstract afu.org.checkerframework.common.util.report.qual.ReportCreation extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/common/util/report/qual/ReportInherit.classReportInherit.java
package afu.org.checkerframework.common.util.report.qual
public abstract afu.org.checkerframework.common.util.report.qual.ReportInherit extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/common/util/report/qual/ReportOverride.classReportOverride.java
package afu.org.checkerframework.common.util.report.qual
public abstract afu.org.checkerframework.common.util.report.qual.ReportOverride extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/common/util/report/qual/ReportReadWrite.classReportReadWrite.java
package afu.org.checkerframework.common.util.report.qual
public abstract afu.org.checkerframework.common.util.report.qual.ReportReadWrite extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/common/util/report/qual/ReportUnqualified.classReportUnqualified.java
package afu.org.checkerframework.common.util.report.qual
public abstract afu.org.checkerframework.common.util.report.qual.ReportUnqualified extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/common/util/report/qual/ReportUse.classReportUse.java
package afu.org.checkerframework.common.util.report.qual
public abstract afu.org.checkerframework.common.util.report.qual.ReportUse extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/common/util/report/qual/ReportWrite.classReportWrite.java
package afu.org.checkerframework.common.util.report.qual
public abstract afu.org.checkerframework.common.util.report.qual.ReportWrite extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/common/value/
afu/org/checkerframework/common/value/qual/
afu/org/checkerframework/common/value/qual/ArrayLen.classArrayLen.java
package afu.org.checkerframework.common.value.qual
public abstract afu.org.checkerframework.common.value.qual.ArrayLen extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract int[] value ()
}
afu/org/checkerframework/common/value/qual/BoolVal.classBoolVal.java
package afu.org.checkerframework.common.value.qual
public abstract afu.org.checkerframework.common.value.qual.BoolVal extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract boolean[] value ()
}
afu/org/checkerframework/common/value/qual/BottomVal.classBottomVal.java
package afu.org.checkerframework.common.value.qual
public abstract afu.org.checkerframework.common.value.qual.BottomVal extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/common/value/qual/DoubleVal.classDoubleVal.java
package afu.org.checkerframework.common.value.qual
public abstract afu.org.checkerframework.common.value.qual.DoubleVal extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract double[] value ()
}
afu/org/checkerframework/common/value/qual/IntVal.classIntVal.java
package afu.org.checkerframework.common.value.qual
public abstract afu.org.checkerframework.common.value.qual.IntVal extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract long[] value ()
}
afu/org/checkerframework/common/value/qual/StaticallyExecutable.classStaticallyExecutable.java
package afu.org.checkerframework.common.value.qual
public abstract afu.org.checkerframework.common.value.qual.StaticallyExecutable extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/common/value/qual/StringVal.classStringVal.java
package afu.org.checkerframework.common.value.qual
public abstract afu.org.checkerframework.common.value.qual.StringVal extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String[] value ()
}
afu/org/checkerframework/common/value/qual/UnknownVal.classUnknownVal.java
package afu.org.checkerframework.common.value.qual
public abstract afu.org.checkerframework.common.value.qual.UnknownVal extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/dataflow/
afu/org/checkerframework/dataflow/qual/
afu/org/checkerframework/dataflow/qual/Deterministic.classDeterministic.java
package afu.org.checkerframework.dataflow.qual
public abstract afu.org.checkerframework.dataflow.qual.Deterministic extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/dataflow/qual/LockingFree.classLockingFree.java
package afu.org.checkerframework.dataflow.qual
public abstract afu.org.checkerframework.dataflow.qual.LockingFree extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/dataflow/qual/Pure$Kind.classPure.java
package afu.org.checkerframework.dataflow.qual
public final afu.org.checkerframework.dataflow.qual.Pure$Kind extends java.lang.Enum {
public static final afu.org.checkerframework.dataflow.qual.Pure$Kind SIDE_EFFECT_FREE
public static final afu.org.checkerframework.dataflow.qual.Pure$Kind DETERMINISTIC
private static final afu.org.checkerframework.dataflow.qual.Pure$Kind[] $VALUES
public static afu.org.checkerframework.dataflow.qual.Pure$Kind[] values ()
public static afu.org.checkerframework.dataflow.qual.Pure$Kind valueOf (java.lang.String)
String name
private void (java.lang.String, int)
static void ()
}
afu/org/checkerframework/dataflow/qual/Pure.classPure.java
package afu.org.checkerframework.dataflow.qual
public abstract afu.org.checkerframework.dataflow.qual.Pure extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/dataflow/qual/SideEffectFree.classSideEffectFree.java
package afu.org.checkerframework.dataflow.qual
public abstract afu.org.checkerframework.dataflow.qual.SideEffectFree extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/dataflow/qual/TerminatesExecution.classTerminatesExecution.java
package afu.org.checkerframework.dataflow.qual
public abstract afu.org.checkerframework.dataflow.qual.TerminatesExecution extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/framework/
afu/org/checkerframework/framework/qual/
afu/org/checkerframework/framework/qual/AnnotatedFor.classAnnotatedFor.java
package afu.org.checkerframework.framework.qual
public abstract afu.org.checkerframework.framework.qual.AnnotatedFor extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String[] value ()
}
afu/org/checkerframework/framework/qual/Bottom.classBottom.java
package afu.org.checkerframework.framework.qual
public abstract afu.org.checkerframework.framework.qual.Bottom extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/framework/qual/ConditionalPostconditionAnnotation.classConditionalPostconditionAnnotation.java
package afu.org.checkerframework.framework.qual
public abstract afu.org.checkerframework.framework.qual.ConditionalPostconditionAnnotation extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.Class qualifier ()
}
afu/org/checkerframework/framework/qual/DefaultFor.classDefaultFor.java
package afu.org.checkerframework.framework.qual
public abstract afu.org.checkerframework.framework.qual.DefaultFor extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract afu.org.checkerframework.framework.qual.DefaultLocation[] value ()
}
afu/org/checkerframework/framework/qual/DefaultInUncheckedCodeFor.classDefaultInUncheckedCodeFor.java
package afu.org.checkerframework.framework.qual
public abstract afu.org.checkerframework.framework.qual.DefaultInUncheckedCodeFor extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract afu.org.checkerframework.framework.qual.DefaultLocation[] value ()
}
afu/org/checkerframework/framework/qual/DefaultLocation.classDefaultLocation.java
package afu.org.checkerframework.framework.qual
public final afu.org.checkerframework.framework.qual.DefaultLocation extends java.lang.Enum {
public static final afu.org.checkerframework.framework.qual.DefaultLocation FIELD
public static final afu.org.checkerframework.framework.qual.DefaultLocation LOCAL_VARIABLE
public static final afu.org.checkerframework.framework.qual.DefaultLocation RESOURCE_VARIABLE
public static final afu.org.checkerframework.framework.qual.DefaultLocation EXCEPTION_PARAMETER
public static final afu.org.checkerframework.framework.qual.DefaultLocation RECEIVERS
public static final afu.org.checkerframework.framework.qual.DefaultLocation PARAMETERS
public static final afu.org.checkerframework.framework.qual.DefaultLocation RETURNS
public static final afu.org.checkerframework.framework.qual.DefaultLocation LOWER_BOUNDS
public static final afu.org.checkerframework.framework.qual.DefaultLocation EXPLICIT_LOWER_BOUNDS
public static final afu.org.checkerframework.framework.qual.DefaultLocation IMPLICIT_LOWER_BOUNDS
public static final afu.org.checkerframework.framework.qual.DefaultLocation UPPER_BOUNDS
public static final afu.org.checkerframework.framework.qual.DefaultLocation EXPLICIT_UPPER_BOUNDS
public static final afu.org.checkerframework.framework.qual.DefaultLocation IMPLICIT_UPPER_BOUNDS
public static final afu.org.checkerframework.framework.qual.DefaultLocation OTHERWISE
public static final afu.org.checkerframework.framework.qual.DefaultLocation ALL
private static final afu.org.checkerframework.framework.qual.DefaultLocation[] $VALUES
public static afu.org.checkerframework.framework.qual.DefaultLocation[] values ()
public static afu.org.checkerframework.framework.qual.DefaultLocation valueOf (java.lang.String)
String name
private void (java.lang.String, int)
static void ()
}
afu/org/checkerframework/framework/qual/DefaultQualifier.classDefaultQualifier.java
package afu.org.checkerframework.framework.qual
public abstract afu.org.checkerframework.framework.qual.DefaultQualifier extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.Class value ()
public abstract afu.org.checkerframework.framework.qual.DefaultLocation[] locations ()
}
afu/org/checkerframework/framework/qual/DefaultQualifierInHierarchy.classDefaultQualifierInHierarchy.java
package afu.org.checkerframework.framework.qual
public abstract afu.org.checkerframework.framework.qual.DefaultQualifierInHierarchy extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/framework/qual/DefaultQualifierInHierarchyInUncheckedCode.classDefaultQualifierInHierarchyInUncheckedCode.java
package afu.org.checkerframework.framework.qual
public abstract afu.org.checkerframework.framework.qual.DefaultQualifierInHierarchyInUncheckedCode extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/framework/qual/DefaultQualifiers.classDefaultQualifiers.java
package afu.org.checkerframework.framework.qual
public abstract afu.org.checkerframework.framework.qual.DefaultQualifiers extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract afu.org.checkerframework.framework.qual.DefaultQualifier[] value ()
}
afu/org/checkerframework/framework/qual/Dependent.classDependent.java
package afu.org.checkerframework.framework.qual
public abstract afu.org.checkerframework.framework.qual.Dependent extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.Class result ()
public abstract java.lang.Class when ()
}
afu/org/checkerframework/framework/qual/EnsuresQualifier.classEnsuresQualifier.java
package afu.org.checkerframework.framework.qual
public abstract afu.org.checkerframework.framework.qual.EnsuresQualifier extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String[] expression ()
public abstract java.lang.Class qualifier ()
}
afu/org/checkerframework/framework/qual/EnsuresQualifierIf.classEnsuresQualifierIf.java
package afu.org.checkerframework.framework.qual
public abstract afu.org.checkerframework.framework.qual.EnsuresQualifierIf extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String[] expression ()
public abstract java.lang.Class qualifier ()
public abstract boolean result ()
}
afu/org/checkerframework/framework/qual/EnsuresQualifiers.classEnsuresQualifiers.java
package afu.org.checkerframework.framework.qual
public abstract afu.org.checkerframework.framework.qual.EnsuresQualifiers extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract afu.org.checkerframework.framework.qual.EnsuresQualifier[] value ()
}
afu/org/checkerframework/framework/qual/EnsuresQualifiersIf.classEnsuresQualifiersIf.java
package afu.org.checkerframework.framework.qual
public abstract afu.org.checkerframework.framework.qual.EnsuresQualifiersIf extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract afu.org.checkerframework.framework.qual.EnsuresQualifierIf[] value ()
}
afu/org/checkerframework/framework/qual/FieldIsExpression.classFieldIsExpression.java
package afu.org.checkerframework.framework.qual
public abstract afu.org.checkerframework.framework.qual.FieldIsExpression extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/framework/qual/FromByteCode.classFromByteCode.java
package afu.org.checkerframework.framework.qual
public abstract afu.org.checkerframework.framework.qual.FromByteCode extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/framework/qual/FromStubFile.classFromStubFile.java
package afu.org.checkerframework.framework.qual
public abstract afu.org.checkerframework.framework.qual.FromStubFile extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/framework/qual/ImplicitFor.classImplicitFor.java
package afu.org.checkerframework.framework.qual
public abstract afu.org.checkerframework.framework.qual.ImplicitFor extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract afu.com.sun.source.tree.Tree$Kind[] trees ()
public abstract java.lang.Class[] treeClasses ()
public abstract javax.lang.model.type.TypeKind[] types ()
public abstract java.lang.Class[] typeClasses ()
public abstract java.lang.Class[] typeNames ()
public abstract java.lang.String[] stringPatterns ()
}
afu/org/checkerframework/framework/qual/InheritedAnnotation.classInheritedAnnotation.java
package afu.org.checkerframework.framework.qual
public abstract afu.org.checkerframework.framework.qual.InheritedAnnotation extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/framework/qual/InvisibleQualifier.classInvisibleQualifier.java
package afu.org.checkerframework.framework.qual
public abstract afu.org.checkerframework.framework.qual.InvisibleQualifier extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/framework/qual/MonotonicQualifier.classMonotonicQualifier.java
package afu.org.checkerframework.framework.qual
public abstract afu.org.checkerframework.framework.qual.MonotonicQualifier extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.Class value ()
}
afu/org/checkerframework/framework/qual/PolyAll.classPolyAll.java
package afu.org.checkerframework.framework.qual
public abstract afu.org.checkerframework.framework.qual.PolyAll extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/framework/qual/PolymorphicQualifier.classPolymorphicQualifier.java
package afu.org.checkerframework.framework.qual
public abstract afu.org.checkerframework.framework.qual.PolymorphicQualifier extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.Class value ()
}
afu/org/checkerframework/framework/qual/PostconditionAnnotation.classPostconditionAnnotation.java
package afu.org.checkerframework.framework.qual
public abstract afu.org.checkerframework.framework.qual.PostconditionAnnotation extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.Class qualifier ()
}
afu/org/checkerframework/framework/qual/PreconditionAnnotation.classPreconditionAnnotation.java
package afu.org.checkerframework.framework.qual
public abstract afu.org.checkerframework.framework.qual.PreconditionAnnotation extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.Class qualifier ()
}
afu/org/checkerframework/framework/qual/RequiresQualifier.classRequiresQualifier.java
package afu.org.checkerframework.framework.qual
public abstract afu.org.checkerframework.framework.qual.RequiresQualifier extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String[] expression ()
public abstract java.lang.Class qualifier ()
}
afu/org/checkerframework/framework/qual/RequiresQualifiers.classRequiresQualifiers.java
package afu.org.checkerframework.framework.qual
public abstract afu.org.checkerframework.framework.qual.RequiresQualifiers extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract afu.org.checkerframework.framework.qual.RequiresQualifier[] value ()
}
afu/org/checkerframework/framework/qual/StubFiles.classStubFiles.java
package afu.org.checkerframework.framework.qual
public abstract afu.org.checkerframework.framework.qual.StubFiles extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String[] value ()
}
afu/org/checkerframework/framework/qual/SubtypeOf.classSubtypeOf.java
package afu.org.checkerframework.framework.qual
public abstract afu.org.checkerframework.framework.qual.SubtypeOf extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.Class[] value ()
}
afu/org/checkerframework/framework/qual/TargetLocations.classTargetLocations.java
package afu.org.checkerframework.framework.qual
public abstract afu.org.checkerframework.framework.qual.TargetLocations extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract afu.org.checkerframework.framework.qual.DefaultLocation[] value ()
}
afu/org/checkerframework/framework/qual/Unqualified.classUnqualified.java
package afu.org.checkerframework.framework.qual
public abstract afu.org.checkerframework.framework.qual.Unqualified extends java.lang.Object implements java.lang.annotation.Annotation {
}
afu/org/checkerframework/framework/qual/Unused.classUnused.java
package afu.org.checkerframework.framework.qual
public abstract afu.org.checkerframework.framework.qual.Unused extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.Class when ()
}
afu/org/checkerframework/qualframework/
afu/org/checkerframework/qualframework/poly/
afu/org/checkerframework/qualframework/poly/qual/
afu/org/checkerframework/qualframework/poly/qual/Wildcard.classWildcard.java
package afu.org.checkerframework.qualframework.poly.qual
public final afu.org.checkerframework.qualframework.poly.qual.Wildcard extends java.lang.Enum {
public static final afu.org.checkerframework.qualframework.poly.qual.Wildcard NONE
public static final afu.org.checkerframework.qualframework.poly.qual.Wildcard EXTENDS
public static final afu.org.checkerframework.qualframework.poly.qual.Wildcard SUPER
private static final afu.org.checkerframework.qualframework.poly.qual.Wildcard[] $VALUES
public static afu.org.checkerframework.qualframework.poly.qual.Wildcard[] values ()
public static afu.org.checkerframework.qualframework.poly.qual.Wildcard valueOf (java.lang.String)
String name
private void (java.lang.String, int)
static void ()
}
afu/plume/
afu/plume/RegexUtil$CheckedPatternSyntaxException.classRegexUtil.java
package afu.plume
public afu.plume.RegexUtil$CheckedPatternSyntaxException extends java.lang.Exception {
private static final long serialVersionUID
private final java.util.regex.PatternSyntaxException pse
public void (java.util.regex.PatternSyntaxException)
java.util.regex.PatternSyntaxException pse
public void (java.lang.String, java.lang.String, int)
String desc
String regex
int index
public java.lang.String getDescription ()
public int getIndex ()
public java.lang.String getMessage ()
public java.lang.String getPattern ()
}
afu/plume/RegexUtil.classRegexUtil.java
package afu.plume
public final afu.plume.RegexUtil extends java.lang.Object {
private void ()
public static boolean isRegex (java.lang.String)
String s
public static boolean isRegex (java.lang.String, int)
java.util.regex.Pattern p
java.util.regex.PatternSyntaxException e
String s
int groups
java.util.regex.Pattern p
public static boolean isRegex (char)
char c
public static java.lang.String regexError (java.lang.String)
String s
public static java.lang.String regexError (java.lang.String, int)
java.util.regex.Pattern p
int actualGroups
java.util.regex.PatternSyntaxException e
String s
int groups
public static java.util.regex.PatternSyntaxException regexException (java.lang.String)
String s
public static java.util.regex.PatternSyntaxException regexException (java.lang.String, int)
java.util.regex.Pattern p
int actualGroups
java.util.regex.PatternSyntaxException pse
String s
int groups
public static java.lang.String asRegex (java.lang.String)
String s
public static java.lang.String asRegex (java.lang.String, int)
java.util.regex.Pattern p
int actualGroups
java.util.regex.PatternSyntaxException e
String s
int groups
private static java.lang.String regexErrorMessage (java.lang.String, int, int)
String s
int expectedGroups
int actualGroups
private static int getGroupCount (java.util.regex.Pattern)
java.util.regex.Pattern p
}
org/
org/checkerframework/
org/checkerframework/checker/
org/checkerframework/checker/compilermsgs/
org/checkerframework/checker/compilermsgs/qual/
org/checkerframework/checker/compilermsgs/qual/CompilerMessageKey.classCompilerMessageKey.java
package org.checkerframework.checker.compilermsgs.qual
public abstract org.checkerframework.checker.compilermsgs.qual.CompilerMessageKey extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/experimental/
org/checkerframework/checker/experimental/tainting_qual/
org/checkerframework/checker/experimental/tainting_qual/qual/
org/checkerframework/checker/experimental/tainting_qual/qual/PolyTainted.classPolyTainted.java
package org.checkerframework.checker.experimental.tainting_qual.qual
public abstract org.checkerframework.checker.experimental.tainting_qual.qual.PolyTainted extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/experimental/tainting_qual/qual/Tainted.classTainted.java
package org.checkerframework.checker.experimental.tainting_qual.qual
public abstract org.checkerframework.checker.experimental.tainting_qual.qual.Tainted extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/experimental/tainting_qual/qual/Untainted.classUntainted.java
package org.checkerframework.checker.experimental.tainting_qual.qual
public abstract org.checkerframework.checker.experimental.tainting_qual.qual.Untainted extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/fenum/
org/checkerframework/checker/fenum/qual/
org/checkerframework/checker/fenum/qual/AwtAlphaCompositingRule.classAwtAlphaCompositingRule.java
package org.checkerframework.checker.fenum.qual
public abstract org.checkerframework.checker.fenum.qual.AwtAlphaCompositingRule extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/fenum/qual/AwtColorSpace.classAwtColorSpace.java
package org.checkerframework.checker.fenum.qual
public abstract org.checkerframework.checker.fenum.qual.AwtColorSpace extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/fenum/qual/AwtCursorType.classAwtCursorType.java
package org.checkerframework.checker.fenum.qual
public abstract org.checkerframework.checker.fenum.qual.AwtCursorType extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/fenum/qual/AwtFlowLayout.classAwtFlowLayout.java
package org.checkerframework.checker.fenum.qual
public abstract org.checkerframework.checker.fenum.qual.AwtFlowLayout extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/fenum/qual/Fenum.classFenum.java
package org.checkerframework.checker.fenum.qual
public abstract org.checkerframework.checker.fenum.qual.Fenum extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String value ()
}
org/checkerframework/checker/fenum/qual/FenumBottom.classFenumBottom.java
package org.checkerframework.checker.fenum.qual
public abstract org.checkerframework.checker.fenum.qual.FenumBottom extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/fenum/qual/FenumTop.classFenumTop.java
package org.checkerframework.checker.fenum.qual
public abstract org.checkerframework.checker.fenum.qual.FenumTop extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/fenum/qual/FenumUnqualified.classFenumUnqualified.java
package org.checkerframework.checker.fenum.qual
public abstract org.checkerframework.checker.fenum.qual.FenumUnqualified extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/fenum/qual/SwingBoxOrientation.classSwingBoxOrientation.java
package org.checkerframework.checker.fenum.qual
public abstract org.checkerframework.checker.fenum.qual.SwingBoxOrientation extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/fenum/qual/SwingCompassDirection.classSwingCompassDirection.java
package org.checkerframework.checker.fenum.qual
public abstract org.checkerframework.checker.fenum.qual.SwingCompassDirection extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/fenum/qual/SwingElementOrientation.classSwingElementOrientation.java
package org.checkerframework.checker.fenum.qual
public abstract org.checkerframework.checker.fenum.qual.SwingElementOrientation extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/fenum/qual/SwingHorizontalOrientation.classSwingHorizontalOrientation.java
package org.checkerframework.checker.fenum.qual
public abstract org.checkerframework.checker.fenum.qual.SwingHorizontalOrientation extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/fenum/qual/SwingSplitPaneOrientation.classSwingSplitPaneOrientation.java
package org.checkerframework.checker.fenum.qual
public abstract org.checkerframework.checker.fenum.qual.SwingSplitPaneOrientation extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/fenum/qual/SwingTextOrientation.classSwingTextOrientation.java
package org.checkerframework.checker.fenum.qual
public abstract org.checkerframework.checker.fenum.qual.SwingTextOrientation extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/fenum/qual/SwingTitleJustification.classSwingTitleJustification.java
package org.checkerframework.checker.fenum.qual
public abstract org.checkerframework.checker.fenum.qual.SwingTitleJustification extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/fenum/qual/SwingTitlePosition.classSwingTitlePosition.java
package org.checkerframework.checker.fenum.qual
public abstract org.checkerframework.checker.fenum.qual.SwingTitlePosition extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/fenum/qual/SwingVerticalOrientation.classSwingVerticalOrientation.java
package org.checkerframework.checker.fenum.qual
public abstract org.checkerframework.checker.fenum.qual.SwingVerticalOrientation extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/formatter/
org/checkerframework/checker/formatter/FormatUtil$Conversion.classFormatUtil.java
package org.checkerframework.checker.formatter
org.checkerframework.checker.formatter.FormatUtil$Conversion extends java.lang.Object {
private final int index
private final org.checkerframework.checker.formatter.qual.ConversionCategory cath
public void (char, int)
char c
int index
int index ()
org.checkerframework.checker.formatter.qual.ConversionCategory category ()
}
org/checkerframework/checker/formatter/FormatUtil$ExcessiveOrMissingFormatArgumentException.classFormatUtil.java
package org.checkerframework.checker.formatter
public org.checkerframework.checker.formatter.FormatUtil$ExcessiveOrMissingFormatArgumentException extends java.util.MissingFormatArgumentException {
private static final long serialVersionUID
private final int expected
private final int found
public void (int, int)
int expected
int found
public int getExpected ()
public int getFound ()
public java.lang.String getMessage ()
}
org/checkerframework/checker/formatter/FormatUtil$IllegalFormatConversionCategoryException.classFormatUtil.java
package org.checkerframework.checker.formatter
public org.checkerframework.checker.formatter.FormatUtil$IllegalFormatConversionCategoryException extends java.util.IllegalFormatConversionException {
private static final long serialVersionUID
private final org.checkerframework.checker.formatter.qual.ConversionCategory expected
private final org.checkerframework.checker.formatter.qual.ConversionCategory found
public void (org.checkerframework.checker.formatter.qual.ConversionCategory, org.checkerframework.checker.formatter.qual.ConversionCategory)
org.checkerframework.checker.formatter.qual.ConversionCategory expected
org.checkerframework.checker.formatter.qual.ConversionCategory found
public org.checkerframework.checker.formatter.qual.ConversionCategory getExpected ()
public org.checkerframework.checker.formatter.qual.ConversionCategory getFound ()
public java.lang.String getMessage ()
}
org/checkerframework/checker/formatter/FormatUtil.classFormatUtil.java
package org.checkerframework.checker.formatter
public org.checkerframework.checker.formatter.FormatUtil extends java.lang.Object {
private static final String formatSpecifier
private static java.util.regex.Pattern fsPattern
public void ()
public static transient java.lang.String asFormat (java.lang.String, org.checkerframework.checker.formatter.qual.ConversionCategory[]) throws java.util.IllegalFormatException
int i
String format
org.checkerframework.checker.formatter.qual.ConversionCategory[] cc
org.checkerframework.checker.formatter.qual.ConversionCategory[] fcc
public static void tryFormatSatisfiability (java.lang.String) throws java.util.IllegalFormatException
String format
public static org.checkerframework.checker.formatter.qual.ConversionCategory[] formatParameterCategories (java.lang.String) throws java.util.IllegalFormatException
int index
org.checkerframework.checker.formatter.FormatUtil$Conversion c
int i
String format
int last
int lasto
int maxindex
org.checkerframework.checker.formatter.FormatUtil$Conversion[] cs
java.util.Map conv
org.checkerframework.checker.formatter.qual.ConversionCategory[] res
private static int indexFromFormat (java.util.regex.Matcher)
int index
int index
java.util.regex.Matcher m
int index
String s
private static char conversionCharFromFormat (java.util.regex.Matcher)
java.util.regex.Matcher m
String dt
private static org.checkerframework.checker.formatter.FormatUtil$Conversion[] parse (java.lang.String)
char c
String format
java.util.ArrayList cs
java.util.regex.Matcher m
static void ()
}
org/checkerframework/checker/formatter/qual/
org/checkerframework/checker/formatter/qual/ConversionCategory.classConversionCategory.java
package org.checkerframework.checker.formatter.qual
public final org.checkerframework.checker.formatter.qual.ConversionCategory extends java.lang.Enum {
public static final org.checkerframework.checker.formatter.qual.ConversionCategory GENERAL
public static final org.checkerframework.checker.formatter.qual.ConversionCategory CHAR
public static final org.checkerframework.checker.formatter.qual.ConversionCategory INT
public static final org.checkerframework.checker.formatter.qual.ConversionCategory FLOAT
public static final org.checkerframework.checker.formatter.qual.ConversionCategory TIME
public static final org.checkerframework.checker.formatter.qual.ConversionCategory CHAR_AND_INT
public static final org.checkerframework.checker.formatter.qual.ConversionCategory INT_AND_TIME
public static final org.checkerframework.checker.formatter.qual.ConversionCategory NULL
public static final org.checkerframework.checker.formatter.qual.ConversionCategory UNUSED
public final Class[] types
public final String chars
private static final org.checkerframework.checker.formatter.qual.ConversionCategory[] $VALUES
public static org.checkerframework.checker.formatter.qual.ConversionCategory[] values ()
public static org.checkerframework.checker.formatter.qual.ConversionCategory valueOf (java.lang.String)
String name
private void (java.lang.String, int, java.lang.Class[], java.lang.String)
Class[] types
String chars
public static org.checkerframework.checker.formatter.qual.ConversionCategory fromConversionChar (char)
org.checkerframework.checker.formatter.qual.ConversionCategory v
char c
private static java.util.Set arrayToSet (java.lang.Object[])
Object[] a
public static boolean isSubsetOf (org.checkerframework.checker.formatter.qual.ConversionCategory, org.checkerframework.checker.formatter.qual.ConversionCategory)
org.checkerframework.checker.formatter.qual.ConversionCategory a
org.checkerframework.checker.formatter.qual.ConversionCategory b
public static org.checkerframework.checker.formatter.qual.ConversionCategory intersect (org.checkerframework.checker.formatter.qual.ConversionCategory, org.checkerframework.checker.formatter.qual.ConversionCategory)
java.util.Set vs
org.checkerframework.checker.formatter.qual.ConversionCategory v
org.checkerframework.checker.formatter.qual.ConversionCategory a
org.checkerframework.checker.formatter.qual.ConversionCategory b
java.util.Set as
java.util.Set bs
private java.lang.String className (java.lang.Class)
Class cls
public java.lang.String toString ()
Class cls
StringBuilder sb
boolean first
static void ()
}
org/checkerframework/checker/formatter/qual/Format.classFormat.java
package org.checkerframework.checker.formatter.qual
public abstract org.checkerframework.checker.formatter.qual.Format extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract org.checkerframework.checker.formatter.qual.ConversionCategory[] value ()
}
org/checkerframework/checker/formatter/qual/FormatBottom.classFormatBottom.java
package org.checkerframework.checker.formatter.qual
public abstract org.checkerframework.checker.formatter.qual.FormatBottom extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/formatter/qual/FormatMethod.classFormatMethod.java
package org.checkerframework.checker.formatter.qual
public abstract org.checkerframework.checker.formatter.qual.FormatMethod extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/formatter/qual/InvalidFormat.classInvalidFormat.java
package org.checkerframework.checker.formatter.qual
public abstract org.checkerframework.checker.formatter.qual.InvalidFormat extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String value ()
}
org/checkerframework/checker/formatter/qual/ReturnsFormat.classReturnsFormat.java
package org.checkerframework.checker.formatter.qual
public abstract org.checkerframework.checker.formatter.qual.ReturnsFormat extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/formatter/qual/UnknownFormat.classUnknownFormat.java
package org.checkerframework.checker.formatter.qual
public abstract org.checkerframework.checker.formatter.qual.UnknownFormat extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/guieffect/
org/checkerframework/checker/guieffect/qual/
org/checkerframework/checker/guieffect/qual/AlwaysSafe.classAlwaysSafe.java
package org.checkerframework.checker.guieffect.qual
public abstract org.checkerframework.checker.guieffect.qual.AlwaysSafe extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/guieffect/qual/PolyUI.classPolyUI.java
package org.checkerframework.checker.guieffect.qual
public abstract org.checkerframework.checker.guieffect.qual.PolyUI extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/guieffect/qual/PolyUIEffect.classPolyUIEffect.java
package org.checkerframework.checker.guieffect.qual
public abstract org.checkerframework.checker.guieffect.qual.PolyUIEffect extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/guieffect/qual/PolyUIType.classPolyUIType.java
package org.checkerframework.checker.guieffect.qual
public abstract org.checkerframework.checker.guieffect.qual.PolyUIType extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/guieffect/qual/SafeEffect.classSafeEffect.java
package org.checkerframework.checker.guieffect.qual
public abstract org.checkerframework.checker.guieffect.qual.SafeEffect extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/guieffect/qual/SafeType.classSafeType.java
package org.checkerframework.checker.guieffect.qual
public abstract org.checkerframework.checker.guieffect.qual.SafeType extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/guieffect/qual/UI.classUI.java
package org.checkerframework.checker.guieffect.qual
public abstract org.checkerframework.checker.guieffect.qual.UI extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/guieffect/qual/UIEffect.classUIEffect.java
package org.checkerframework.checker.guieffect.qual
public abstract org.checkerframework.checker.guieffect.qual.UIEffect extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/guieffect/qual/UIPackage.classUIPackage.java
package org.checkerframework.checker.guieffect.qual
public abstract org.checkerframework.checker.guieffect.qual.UIPackage extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/guieffect/qual/UIType.classUIType.java
package org.checkerframework.checker.guieffect.qual
public abstract org.checkerframework.checker.guieffect.qual.UIType extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/i18n/
org/checkerframework/checker/i18n/qual/
org/checkerframework/checker/i18n/qual/LocalizableKey.classLocalizableKey.java
package org.checkerframework.checker.i18n.qual
public abstract org.checkerframework.checker.i18n.qual.LocalizableKey extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/i18n/qual/Localized.classLocalized.java
package org.checkerframework.checker.i18n.qual
public abstract org.checkerframework.checker.i18n.qual.Localized extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/i18n/qual/UnknownLocalized.classUnknownLocalized.java
package org.checkerframework.checker.i18n.qual
public abstract org.checkerframework.checker.i18n.qual.UnknownLocalized extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/i18nformatter/
org/checkerframework/checker/i18nformatter/qual/
org/checkerframework/checker/i18nformatter/qual/I18nChecksFormat.classI18nChecksFormat.java
package org.checkerframework.checker.i18nformatter.qual
public abstract org.checkerframework.checker.i18nformatter.qual.I18nChecksFormat extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/i18nformatter/qual/I18nConversionCategory.classI18nConversionCategory.java
package org.checkerframework.checker.i18nformatter.qual
public final org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory extends java.lang.Enum {
public static final org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory UNUSED
public static final org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory GENERAL
public static final org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory DATE
public static final org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory NUMBER
public final Class[] types
public final String[] strings
private static final org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory[] $VALUES
public static org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory[] values ()
public static org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory valueOf (java.lang.String)
String name
private void (java.lang.String, int, java.lang.Class[], java.lang.String[])
Class[] types
String[] strings
public static org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory stringToI18nConversionCategory (java.lang.String)
String s
org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory v
String string
private static java.util.Set arrayToSet (java.lang.Object[])
Object[] a
public static boolean isSubsetOf (org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory, org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory)
org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory a
org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory b
public static org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory intersect (org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory, org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory)
java.util.Set vs
org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory v
org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory a
org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory b
java.util.Set as
java.util.Set bs
public java.lang.String toString ()
Class cls
boolean first
StringBuilder sb
static void ()
}
org/checkerframework/checker/i18nformatter/qual/I18nFormat.classI18nFormat.java
package org.checkerframework.checker.i18nformatter.qual
public abstract org.checkerframework.checker.i18nformatter.qual.I18nFormat extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory[] value ()
}
org/checkerframework/checker/i18nformatter/qual/I18nFormatBottom.classI18nFormatBottom.java
package org.checkerframework.checker.i18nformatter.qual
public abstract org.checkerframework.checker.i18nformatter.qual.I18nFormatBottom extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/i18nformatter/qual/I18nFormatFor.classI18nFormatFor.java
package org.checkerframework.checker.i18nformatter.qual
public abstract org.checkerframework.checker.i18nformatter.qual.I18nFormatFor extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String value ()
}
org/checkerframework/checker/i18nformatter/qual/I18nInvalidFormat.classI18nInvalidFormat.java
package org.checkerframework.checker.i18nformatter.qual
public abstract org.checkerframework.checker.i18nformatter.qual.I18nInvalidFormat extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String value ()
}
org/checkerframework/checker/i18nformatter/qual/I18nMakeFormat.classI18nMakeFormat.java
package org.checkerframework.checker.i18nformatter.qual
public abstract org.checkerframework.checker.i18nformatter.qual.I18nMakeFormat extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/i18nformatter/qual/I18nUnknownFormat.classI18nUnknownFormat.java
package org.checkerframework.checker.i18nformatter.qual
public abstract org.checkerframework.checker.i18nformatter.qual.I18nUnknownFormat extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/i18nformatter/qual/I18nValidFormat.classI18nValidFormat.java
package org.checkerframework.checker.i18nformatter.qual
public abstract org.checkerframework.checker.i18nformatter.qual.I18nValidFormat extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/initialization/
org/checkerframework/checker/initialization/qual/
org/checkerframework/checker/initialization/qual/FBCBottom.classFBCBottom.java
package org.checkerframework.checker.initialization.qual
public abstract org.checkerframework.checker.initialization.qual.FBCBottom extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/initialization/qual/Initialized.classInitialized.java
package org.checkerframework.checker.initialization.qual
public abstract org.checkerframework.checker.initialization.qual.Initialized extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/initialization/qual/NotOnlyInitialized.classNotOnlyInitialized.java
package org.checkerframework.checker.initialization.qual
public abstract org.checkerframework.checker.initialization.qual.NotOnlyInitialized extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/initialization/qual/UnderInitialization.classUnderInitialization.java
package org.checkerframework.checker.initialization.qual
public abstract org.checkerframework.checker.initialization.qual.UnderInitialization extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.Class value ()
}
org/checkerframework/checker/initialization/qual/UnknownInitialization.classUnknownInitialization.java
package org.checkerframework.checker.initialization.qual
public abstract org.checkerframework.checker.initialization.qual.UnknownInitialization extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.Class value ()
}
org/checkerframework/checker/interning/
org/checkerframework/checker/interning/qual/
org/checkerframework/checker/interning/qual/Interned.classInterned.java
package org.checkerframework.checker.interning.qual
public abstract org.checkerframework.checker.interning.qual.Interned extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/interning/qual/PolyInterned.classPolyInterned.java
package org.checkerframework.checker.interning.qual
public abstract org.checkerframework.checker.interning.qual.PolyInterned extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/interning/qual/UnknownInterned.classUnknownInterned.java
package org.checkerframework.checker.interning.qual
public abstract org.checkerframework.checker.interning.qual.UnknownInterned extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/interning/qual/UsesObjectEquals.classUsesObjectEquals.java
package org.checkerframework.checker.interning.qual
public abstract org.checkerframework.checker.interning.qual.UsesObjectEquals extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/linear/
org/checkerframework/checker/linear/qual/
org/checkerframework/checker/linear/qual/Linear.classLinear.java
package org.checkerframework.checker.linear.qual
public abstract org.checkerframework.checker.linear.qual.Linear extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/linear/qual/Normal.classNormal.java
package org.checkerframework.checker.linear.qual
public abstract org.checkerframework.checker.linear.qual.Normal extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/linear/qual/Unusable.classUnusable.java
package org.checkerframework.checker.linear.qual
public abstract org.checkerframework.checker.linear.qual.Unusable extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/lock/
org/checkerframework/checker/lock/qual/
org/checkerframework/checker/lock/qual/EnsuresLockHeld.classEnsuresLockHeld.java
package org.checkerframework.checker.lock.qual
public abstract org.checkerframework.checker.lock.qual.EnsuresLockHeld extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String[] value ()
}
org/checkerframework/checker/lock/qual/EnsuresLockHeldIf.classEnsuresLockHeldIf.java
package org.checkerframework.checker.lock.qual
public abstract org.checkerframework.checker.lock.qual.EnsuresLockHeldIf extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String[] expression ()
public abstract boolean result ()
}
org/checkerframework/checker/lock/qual/GuardSatisfied.classGuardSatisfied.java
package org.checkerframework.checker.lock.qual
public abstract org.checkerframework.checker.lock.qual.GuardSatisfied extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract int value ()
}
org/checkerframework/checker/lock/qual/GuardedBy.classGuardedBy.java
package org.checkerframework.checker.lock.qual
public abstract org.checkerframework.checker.lock.qual.GuardedBy extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String[] value ()
}
org/checkerframework/checker/lock/qual/GuardedByBottom.classGuardedByBottom.java
package org.checkerframework.checker.lock.qual
public abstract org.checkerframework.checker.lock.qual.GuardedByBottom extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/lock/qual/GuardedByUnknown.classGuardedByUnknown.java
package org.checkerframework.checker.lock.qual
public abstract org.checkerframework.checker.lock.qual.GuardedByUnknown extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/lock/qual/Holding.classHolding.java
package org.checkerframework.checker.lock.qual
public abstract org.checkerframework.checker.lock.qual.Holding extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String[] value ()
}
org/checkerframework/checker/lock/qual/LockHeld.classLockHeld.java
package org.checkerframework.checker.lock.qual
public abstract org.checkerframework.checker.lock.qual.LockHeld extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/lock/qual/LockPossiblyHeld.classLockPossiblyHeld.java
package org.checkerframework.checker.lock.qual
public abstract org.checkerframework.checker.lock.qual.LockPossiblyHeld extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/lock/qual/LockingFree.classLockingFree.java
package org.checkerframework.checker.lock.qual
public abstract org.checkerframework.checker.lock.qual.LockingFree extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/lock/qual/MayReleaseLocks.classMayReleaseLocks.java
package org.checkerframework.checker.lock.qual
public abstract org.checkerframework.checker.lock.qual.MayReleaseLocks extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/lock/qual/ReleasesNoLocks.classReleasesNoLocks.java
package org.checkerframework.checker.lock.qual
public abstract org.checkerframework.checker.lock.qual.ReleasesNoLocks extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/nullness/
org/checkerframework/checker/nullness/NullnessUtils.classNullnessUtils.java
package org.checkerframework.checker.nullness
public final org.checkerframework.checker.nullness.NullnessUtils extends java.lang.Object {
static final boolean $assertionsDisabled
private void ()
public static java.lang.Object castNonNull (java.lang.Object)
Object ref
public static java.lang.Object[] castNonNullDeep (java.lang.Object[])
Object[] arr
public static java.lang.Object[][] castNonNullDeep (java.lang.Object[][])
Object[][] arr
public static java.lang.Object[][][] castNonNullDeep (java.lang.Object[][][])
Object[][][] arr
public static java.lang.Object[][][][] castNonNullDeep (java.lang.Object[][][][])
Object[][][][] arr
public static java.lang.Object[][][][][] castNonNullDeep (java.lang.Object[][][][][])
Object[][][][][] arr
private static java.lang.Object[] castNonNullArray (java.lang.Object[])
int i
Object[] arr
private static void checkIfArray (java.lang.Object)
Object ref
Class comp
static void ()
}
org/checkerframework/checker/nullness/qual/
org/checkerframework/checker/nullness/qual/AssertNonNullIfNonNull.classAssertNonNullIfNonNull.java
package org.checkerframework.checker.nullness.qual
public abstract org.checkerframework.checker.nullness.qual.AssertNonNullIfNonNull extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String[] value ()
}
org/checkerframework/checker/nullness/qual/Covariant.classCovariant.java
package org.checkerframework.checker.nullness.qual
public abstract org.checkerframework.checker.nullness.qual.Covariant extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract int[] value ()
}
org/checkerframework/checker/nullness/qual/EnsuresNonNull.classEnsuresNonNull.java
package org.checkerframework.checker.nullness.qual
public abstract org.checkerframework.checker.nullness.qual.EnsuresNonNull extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String[] value ()
}
org/checkerframework/checker/nullness/qual/EnsuresNonNullIf.classEnsuresNonNullIf.java
package org.checkerframework.checker.nullness.qual
public abstract org.checkerframework.checker.nullness.qual.EnsuresNonNullIf extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String[] expression ()
public abstract boolean result ()
}
org/checkerframework/checker/nullness/qual/KeyFor.classKeyFor.java
package org.checkerframework.checker.nullness.qual
public abstract org.checkerframework.checker.nullness.qual.KeyFor extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String[] value ()
}
org/checkerframework/checker/nullness/qual/KeyForBottom.classKeyForBottom.java
package org.checkerframework.checker.nullness.qual
public abstract org.checkerframework.checker.nullness.qual.KeyForBottom extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/nullness/qual/LazyNonNull.classLazyNonNull.java
package org.checkerframework.checker.nullness.qual
public abstract org.checkerframework.checker.nullness.qual.LazyNonNull extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/nullness/qual/MonotonicNonNull.classMonotonicNonNull.java
package org.checkerframework.checker.nullness.qual
public abstract org.checkerframework.checker.nullness.qual.MonotonicNonNull extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/nullness/qual/NonNull.classNonNull.java
package org.checkerframework.checker.nullness.qual
public abstract org.checkerframework.checker.nullness.qual.NonNull extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/nullness/qual/NonRaw.classNonRaw.java
package org.checkerframework.checker.nullness.qual
public abstract org.checkerframework.checker.nullness.qual.NonRaw extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/nullness/qual/Nullable.classNullable.java
package org.checkerframework.checker.nullness.qual
public abstract org.checkerframework.checker.nullness.qual.Nullable extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/nullness/qual/PolyKeyFor.classPolyKeyFor.java
package org.checkerframework.checker.nullness.qual
public abstract org.checkerframework.checker.nullness.qual.PolyKeyFor extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/nullness/qual/PolyNull.classPolyNull.java
package org.checkerframework.checker.nullness.qual
public abstract org.checkerframework.checker.nullness.qual.PolyNull extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/nullness/qual/PolyRaw.classPolyRaw.java
package org.checkerframework.checker.nullness.qual
public abstract org.checkerframework.checker.nullness.qual.PolyRaw extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/nullness/qual/Raw.classRaw.java
package org.checkerframework.checker.nullness.qual
public abstract org.checkerframework.checker.nullness.qual.Raw extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.Class value ()
}
org/checkerframework/checker/nullness/qual/RequiresNonNull.classRequiresNonNull.java
package org.checkerframework.checker.nullness.qual
public abstract org.checkerframework.checker.nullness.qual.RequiresNonNull extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String[] value ()
}
org/checkerframework/checker/nullness/qual/UnknownKeyFor.classUnknownKeyFor.java
package org.checkerframework.checker.nullness.qual
public abstract org.checkerframework.checker.nullness.qual.UnknownKeyFor extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/propkey/
org/checkerframework/checker/propkey/qual/
org/checkerframework/checker/propkey/qual/PropertyKey.classPropertyKey.java
package org.checkerframework.checker.propkey.qual
public abstract org.checkerframework.checker.propkey.qual.PropertyKey extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/propkey/qual/PropertyKeyBottom.classPropertyKeyBottom.java
package org.checkerframework.checker.propkey.qual
public abstract org.checkerframework.checker.propkey.qual.PropertyKeyBottom extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/propkey/qual/UnknownPropertyKey.classUnknownPropertyKey.java
package org.checkerframework.checker.propkey.qual
public abstract org.checkerframework.checker.propkey.qual.UnknownPropertyKey extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/regex/
org/checkerframework/checker/regex/RegexUtil$CheckedPatternSyntaxException.classRegexUtil.java
package org.checkerframework.checker.regex
public org.checkerframework.checker.regex.RegexUtil$CheckedPatternSyntaxException extends java.lang.Exception {
private static final long serialVersionUID
private final java.util.regex.PatternSyntaxException pse
public void (java.util.regex.PatternSyntaxException)
java.util.regex.PatternSyntaxException pse
public void (java.lang.String, java.lang.String, int)
String desc
String regex
int index
public java.lang.String getDescription ()
public int getIndex ()
public java.lang.String getMessage ()
public java.lang.String getPattern ()
}
org/checkerframework/checker/regex/RegexUtil.classRegexUtil.java
package org.checkerframework.checker.regex
public final org.checkerframework.checker.regex.RegexUtil extends java.lang.Object {
private void ()
public static boolean isRegex (java.lang.String)
String s
public static boolean isRegex (java.lang.String, int)
java.util.regex.Pattern p
java.util.regex.PatternSyntaxException e
String s
int groups
java.util.regex.Pattern p
public static boolean isRegex (char)
char c
public static java.lang.String regexError (java.lang.String)
String s
public static java.lang.String regexError (java.lang.String, int)
java.util.regex.Pattern p
int actualGroups
java.util.regex.PatternSyntaxException e
String s
int groups
public static java.util.regex.PatternSyntaxException regexException (java.lang.String)
String s
public static java.util.regex.PatternSyntaxException regexException (java.lang.String, int)
java.util.regex.Pattern p
int actualGroups
java.util.regex.PatternSyntaxException pse
String s
int groups
public static java.lang.String asRegex (java.lang.String)
String s
public static java.lang.String asRegex (java.lang.String, int)
java.util.regex.Pattern p
int actualGroups
java.util.regex.PatternSyntaxException e
String s
int groups
private static java.lang.String regexErrorMessage (java.lang.String, int, int)
String s
int expectedGroups
int actualGroups
private static int getGroupCount (java.util.regex.Pattern)
java.util.regex.Pattern p
}
org/checkerframework/checker/regex/classic/
org/checkerframework/checker/regex/classic/qual/
org/checkerframework/checker/regex/classic/qual/PartialRegex.classPartialRegex.java
package org.checkerframework.checker.regex.classic.qual
public abstract org.checkerframework.checker.regex.classic.qual.PartialRegex extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String value ()
}
org/checkerframework/checker/regex/classic/qual/PolyRegex.classPolyRegex.java
package org.checkerframework.checker.regex.classic.qual
public abstract org.checkerframework.checker.regex.classic.qual.PolyRegex extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/regex/classic/qual/RegexBottom.classRegexBottom.java
package org.checkerframework.checker.regex.classic.qual
public abstract org.checkerframework.checker.regex.classic.qual.RegexBottom extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/regex/classic/qual/UnknownRegex.classUnknownRegex.java
package org.checkerframework.checker.regex.classic.qual
public abstract org.checkerframework.checker.regex.classic.qual.UnknownRegex extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/regex/qual/
org/checkerframework/checker/regex/qual/ClassRegexParam.classClassRegexParam.java
package org.checkerframework.checker.regex.qual
public abstract org.checkerframework.checker.regex.qual.ClassRegexParam extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String value ()
}
org/checkerframework/checker/regex/qual/MethodRegexParam.classMethodRegexParam.java
package org.checkerframework.checker.regex.qual
public abstract org.checkerframework.checker.regex.qual.MethodRegexParam extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String value ()
}
org/checkerframework/checker/regex/qual/MultiClassRegexParam.classMultiClassRegexParam.java
package org.checkerframework.checker.regex.qual
public abstract org.checkerframework.checker.regex.qual.MultiClassRegexParam extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract org.checkerframework.checker.regex.qual.ClassRegexParam[] value ()
}
org/checkerframework/checker/regex/qual/MultiMethodRegexParam.classMultiMethodRegexParam.java
package org.checkerframework.checker.regex.qual
public abstract org.checkerframework.checker.regex.qual.MultiMethodRegexParam extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract org.checkerframework.checker.regex.qual.MethodRegexParam[] value ()
}
org/checkerframework/checker/regex/qual/MultiPolyRegex.classMultiPolyRegex.java
package org.checkerframework.checker.regex.qual
public abstract org.checkerframework.checker.regex.qual.MultiPolyRegex extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract org.checkerframework.checker.regex.qual.PolyRegex[] value ()
}
org/checkerframework/checker/regex/qual/MultiRegex.classMultiRegex.java
package org.checkerframework.checker.regex.qual
public abstract org.checkerframework.checker.regex.qual.MultiRegex extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract org.checkerframework.checker.regex.qual.Regex[] value ()
}
org/checkerframework/checker/regex/qual/MultiVar.classMultiVar.java
package org.checkerframework.checker.regex.qual
public abstract org.checkerframework.checker.regex.qual.MultiVar extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract org.checkerframework.checker.regex.qual.Var[] value ()
}
org/checkerframework/checker/regex/qual/MultiWild.classMultiWild.java
package org.checkerframework.checker.regex.qual
public abstract org.checkerframework.checker.regex.qual.MultiWild extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract org.checkerframework.checker.regex.qual.Wild[] value ()
}
org/checkerframework/checker/regex/qual/PolyRegex.classPolyRegex.java
package org.checkerframework.checker.regex.qual
public abstract org.checkerframework.checker.regex.qual.PolyRegex extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String param ()
}
org/checkerframework/checker/regex/qual/Regex.classRegex.java
package org.checkerframework.checker.regex.qual
public abstract org.checkerframework.checker.regex.qual.Regex extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract int value ()
public abstract java.lang.String param ()
public abstract org.checkerframework.qualframework.poly.qual.Wildcard wildcard ()
}
org/checkerframework/checker/regex/qual/Var.classVar.java
package org.checkerframework.checker.regex.qual
public abstract org.checkerframework.checker.regex.qual.Var extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String arg ()
public abstract java.lang.String param ()
public abstract org.checkerframework.qualframework.poly.qual.Wildcard wildcard ()
}
org/checkerframework/checker/regex/qual/Wild.classWild.java
package org.checkerframework.checker.regex.qual
public abstract org.checkerframework.checker.regex.qual.Wild extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String param ()
}
org/checkerframework/checker/signature/
org/checkerframework/checker/signature/qual/
org/checkerframework/checker/signature/qual/BinaryName.classBinaryName.java
package org.checkerframework.checker.signature.qual
public abstract org.checkerframework.checker.signature.qual.BinaryName extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/signature/qual/BinaryNameForNonArray.classBinaryNameForNonArray.java
package org.checkerframework.checker.signature.qual
public abstract org.checkerframework.checker.signature.qual.BinaryNameForNonArray extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/signature/qual/BinaryNameForNonArrayInUnnamedPackage.classBinaryNameForNonArrayInUnnamedPackage.java
package org.checkerframework.checker.signature.qual
public abstract org.checkerframework.checker.signature.qual.BinaryNameForNonArrayInUnnamedPackage extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/signature/qual/BinaryNameInUnnamedPackage.classBinaryNameInUnnamedPackage.java
package org.checkerframework.checker.signature.qual
public abstract org.checkerframework.checker.signature.qual.BinaryNameInUnnamedPackage extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/signature/qual/ClassGetName.classClassGetName.java
package org.checkerframework.checker.signature.qual
public abstract org.checkerframework.checker.signature.qual.ClassGetName extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/signature/qual/ClassGetSimpleName.classClassGetSimpleName.java
package org.checkerframework.checker.signature.qual
public abstract org.checkerframework.checker.signature.qual.ClassGetSimpleName extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/signature/qual/FieldDescriptor.classFieldDescriptor.java
package org.checkerframework.checker.signature.qual
public abstract org.checkerframework.checker.signature.qual.FieldDescriptor extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/signature/qual/FieldDescriptorForArray.classFieldDescriptorForArray.java
package org.checkerframework.checker.signature.qual
public abstract org.checkerframework.checker.signature.qual.FieldDescriptorForArray extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/signature/qual/FullyQualifiedName.classFullyQualifiedName.java
package org.checkerframework.checker.signature.qual
public abstract org.checkerframework.checker.signature.qual.FullyQualifiedName extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/signature/qual/Identifier.classIdentifier.java
package org.checkerframework.checker.signature.qual
public abstract org.checkerframework.checker.signature.qual.Identifier extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/signature/qual/IdentifierOrArray.classIdentifierOrArray.java
package org.checkerframework.checker.signature.qual
public abstract org.checkerframework.checker.signature.qual.IdentifierOrArray extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/signature/qual/InternalForm.classInternalForm.java
package org.checkerframework.checker.signature.qual
public abstract org.checkerframework.checker.signature.qual.InternalForm extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/signature/qual/MethodDescriptor.classMethodDescriptor.java
package org.checkerframework.checker.signature.qual
public abstract org.checkerframework.checker.signature.qual.MethodDescriptor extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/signature/qual/PolySignature.classPolySignature.java
package org.checkerframework.checker.signature.qual
public abstract org.checkerframework.checker.signature.qual.PolySignature extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/signature/qual/SignatureBottom.classSignatureBottom.java
package org.checkerframework.checker.signature.qual
public abstract org.checkerframework.checker.signature.qual.SignatureBottom extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/signature/qual/SignatureUnknown.classSignatureUnknown.java
package org.checkerframework.checker.signature.qual
public abstract org.checkerframework.checker.signature.qual.SignatureUnknown extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/signature/qual/SourceNameForNonArrayNonInner.classSourceNameForNonArrayNonInner.java
package org.checkerframework.checker.signature.qual
public abstract org.checkerframework.checker.signature.qual.SourceNameForNonArrayNonInner extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/signature/qual/SourceNameForNonInner.classSourceNameForNonInner.java
package org.checkerframework.checker.signature.qual
public abstract org.checkerframework.checker.signature.qual.SourceNameForNonInner extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/tainting/
org/checkerframework/checker/tainting/classic/
org/checkerframework/checker/tainting/classic/qual/
org/checkerframework/checker/tainting/classic/qual/PolyTainted.classPolyTainted.java
package org.checkerframework.checker.tainting.classic.qual
public abstract org.checkerframework.checker.tainting.classic.qual.PolyTainted extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/tainting/classic/qual/Tainted.classTainted.java
package org.checkerframework.checker.tainting.classic.qual
public abstract org.checkerframework.checker.tainting.classic.qual.Tainted extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/tainting/classic/qual/Untainted.classUntainted.java
package org.checkerframework.checker.tainting.classic.qual
public abstract org.checkerframework.checker.tainting.classic.qual.Untainted extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/tainting/qual/
org/checkerframework/checker/tainting/qual/ClassTaintingParam.classClassTaintingParam.java
package org.checkerframework.checker.tainting.qual
public abstract org.checkerframework.checker.tainting.qual.ClassTaintingParam extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String value ()
}
org/checkerframework/checker/tainting/qual/MethodTaintingParam.classMethodTaintingParam.java
package org.checkerframework.checker.tainting.qual
public abstract org.checkerframework.checker.tainting.qual.MethodTaintingParam extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String value ()
}
org/checkerframework/checker/tainting/qual/MultiClassTaintingParam.classMultiClassTaintingParam.java
package org.checkerframework.checker.tainting.qual
public abstract org.checkerframework.checker.tainting.qual.MultiClassTaintingParam extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract org.checkerframework.checker.tainting.qual.ClassTaintingParam[] value ()
}
org/checkerframework/checker/tainting/qual/MultiMethodTaintingParam.classMultiMethodTaintingParam.java
package org.checkerframework.checker.tainting.qual
public abstract org.checkerframework.checker.tainting.qual.MultiMethodTaintingParam extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract org.checkerframework.checker.tainting.qual.MethodTaintingParam[] value ()
}
org/checkerframework/checker/tainting/qual/MultiPolyTainted.classMultiPolyTainted.java
package org.checkerframework.checker.tainting.qual
public abstract org.checkerframework.checker.tainting.qual.MultiPolyTainted extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract org.checkerframework.checker.tainting.qual.PolyTainted[] value ()
}
org/checkerframework/checker/tainting/qual/MultiTainted.classMultiTainted.java
package org.checkerframework.checker.tainting.qual
public abstract org.checkerframework.checker.tainting.qual.MultiTainted extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract org.checkerframework.checker.tainting.qual.Tainted[] value ()
}
org/checkerframework/checker/tainting/qual/MultiUntainted.classMultiUntainted.java
package org.checkerframework.checker.tainting.qual
public abstract org.checkerframework.checker.tainting.qual.MultiUntainted extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract org.checkerframework.checker.tainting.qual.Untainted[] value ()
}
org/checkerframework/checker/tainting/qual/MultiVar.classMultiVar.java
package org.checkerframework.checker.tainting.qual
public abstract org.checkerframework.checker.tainting.qual.MultiVar extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract org.checkerframework.checker.tainting.qual.Var[] value ()
}
org/checkerframework/checker/tainting/qual/MultiWild.classMultiWild.java
package org.checkerframework.checker.tainting.qual
public abstract org.checkerframework.checker.tainting.qual.MultiWild extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract org.checkerframework.checker.tainting.qual.Wild[] value ()
}
org/checkerframework/checker/tainting/qual/PolyTainted.classPolyTainted.java
package org.checkerframework.checker.tainting.qual
public abstract org.checkerframework.checker.tainting.qual.PolyTainted extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String param ()
}
org/checkerframework/checker/tainting/qual/Tainted.classTainted.java
package org.checkerframework.checker.tainting.qual
public abstract org.checkerframework.checker.tainting.qual.Tainted extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String param ()
public abstract org.checkerframework.qualframework.poly.qual.Wildcard wildcard ()
}
org/checkerframework/checker/tainting/qual/Untainted.classUntainted.java
package org.checkerframework.checker.tainting.qual
public abstract org.checkerframework.checker.tainting.qual.Untainted extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String param ()
public abstract org.checkerframework.qualframework.poly.qual.Wildcard wildcard ()
}
org/checkerframework/checker/tainting/qual/Var.classVar.java
package org.checkerframework.checker.tainting.qual
public abstract org.checkerframework.checker.tainting.qual.Var extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String arg ()
public abstract java.lang.String param ()
public abstract org.checkerframework.qualframework.poly.qual.Wildcard wildcard ()
}
org/checkerframework/checker/tainting/qual/Wild.classWild.java
package org.checkerframework.checker.tainting.qual
public abstract org.checkerframework.checker.tainting.qual.Wild extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String param ()
}
org/checkerframework/checker/units/
org/checkerframework/checker/units/UnitsTools.classUnitsTools.java
package org.checkerframework.checker.units
public org.checkerframework.checker.units.UnitsTools extends java.lang.Object {
public static final int mPERs2
public static final double rad
public static final double deg
public static final int mm2
public static final int m2
public static final int km2
public static final int A
public static final int cd
public static final int mm
public static final int m
public static final int km
public static final int g
public static final int kg
public static final int mPERs
public static final int kmPERh
public static final int mol
public static final int K
public static final int C
public static final int s
public static final int min
public static final int h
public void ()
public static double toRadians (double)
double angdeg
public static double toDegrees (double)
double angrad
public static int fromMilliMeterToMeter (int)
int mm
public static int fromMeterToMilliMeter (int)
int m
public static int fromMeterToKiloMeter (int)
int m
public static int fromKiloMeterToMeter (int)
int km
public static int fromGramToKiloGram (int)
int g
public static int fromKiloGramToGram (int)
int kg
public static double fromMeterPerSecondToKiloMeterPerHour (double)
double mps
public static double fromKiloMeterPerHourToMeterPerSecond (double)
double kmph
public static int fromKelvinToCelsius (int)
int k
public static int fromCelsiusToKelvin (int)
int c
public static int fromSecondToMinute (int)
int s
public static int fromMinuteToSecond (int)
int min
public static int fromMinuteToHour (int)
int min
public static int fromHourToMinute (int)
int h
}
org/checkerframework/checker/units/qual/
org/checkerframework/checker/units/qual/A.classA.java
package org.checkerframework.checker.units.qual
public abstract org.checkerframework.checker.units.qual.A extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract org.checkerframework.checker.units.qual.Prefix value ()
}
org/checkerframework/checker/units/qual/Acceleration.classAcceleration.java
package org.checkerframework.checker.units.qual
public abstract org.checkerframework.checker.units.qual.Acceleration extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/units/qual/Angle.classAngle.java
package org.checkerframework.checker.units.qual
public abstract org.checkerframework.checker.units.qual.Angle extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/units/qual/Area.classArea.java
package org.checkerframework.checker.units.qual
public abstract org.checkerframework.checker.units.qual.Area extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/units/qual/C.classC.java
package org.checkerframework.checker.units.qual
public abstract org.checkerframework.checker.units.qual.C extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/units/qual/Current.classCurrent.java
package org.checkerframework.checker.units.qual
public abstract org.checkerframework.checker.units.qual.Current extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/units/qual/K.classK.java
package org.checkerframework.checker.units.qual
public abstract org.checkerframework.checker.units.qual.K extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract org.checkerframework.checker.units.qual.Prefix value ()
}
org/checkerframework/checker/units/qual/Length.classLength.java
package org.checkerframework.checker.units.qual
public abstract org.checkerframework.checker.units.qual.Length extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/units/qual/Luminance.classLuminance.java
package org.checkerframework.checker.units.qual
public abstract org.checkerframework.checker.units.qual.Luminance extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/units/qual/Mass.classMass.java
package org.checkerframework.checker.units.qual
public abstract org.checkerframework.checker.units.qual.Mass extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/units/qual/MixedUnits.classMixedUnits.java
package org.checkerframework.checker.units.qual
public abstract org.checkerframework.checker.units.qual.MixedUnits extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/units/qual/PolyUnit.classPolyUnit.java
package org.checkerframework.checker.units.qual
public abstract org.checkerframework.checker.units.qual.PolyUnit extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/units/qual/Prefix.classPrefix.java
package org.checkerframework.checker.units.qual
public final org.checkerframework.checker.units.qual.Prefix extends java.lang.Enum {
public static final org.checkerframework.checker.units.qual.Prefix yotta
public static final org.checkerframework.checker.units.qual.Prefix zetta
public static final org.checkerframework.checker.units.qual.Prefix exa
public static final org.checkerframework.checker.units.qual.Prefix peta
public static final org.checkerframework.checker.units.qual.Prefix tera
public static final org.checkerframework.checker.units.qual.Prefix giga
public static final org.checkerframework.checker.units.qual.Prefix mega
public static final org.checkerframework.checker.units.qual.Prefix kilo
public static final org.checkerframework.checker.units.qual.Prefix hecto
public static final org.checkerframework.checker.units.qual.Prefix deca
public static final org.checkerframework.checker.units.qual.Prefix one
public static final org.checkerframework.checker.units.qual.Prefix deci
public static final org.checkerframework.checker.units.qual.Prefix centi
public static final org.checkerframework.checker.units.qual.Prefix milli
public static final org.checkerframework.checker.units.qual.Prefix micro
public static final org.checkerframework.checker.units.qual.Prefix nano
public static final org.checkerframework.checker.units.qual.Prefix pico
public static final org.checkerframework.checker.units.qual.Prefix femto
public static final org.checkerframework.checker.units.qual.Prefix atto
public static final org.checkerframework.checker.units.qual.Prefix zepto
public static final org.checkerframework.checker.units.qual.Prefix yocto
private static final org.checkerframework.checker.units.qual.Prefix[] $VALUES
public static org.checkerframework.checker.units.qual.Prefix[] values ()
public static org.checkerframework.checker.units.qual.Prefix valueOf (java.lang.String)
String name
private void (java.lang.String, int)
static void ()
}
org/checkerframework/checker/units/qual/Speed.classSpeed.java
package org.checkerframework.checker.units.qual
public abstract org.checkerframework.checker.units.qual.Speed extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/units/qual/Substance.classSubstance.java
package org.checkerframework.checker.units.qual
public abstract org.checkerframework.checker.units.qual.Substance extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/units/qual/Temperature.classTemperature.java
package org.checkerframework.checker.units.qual
public abstract org.checkerframework.checker.units.qual.Temperature extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/units/qual/Time.classTime.java
package org.checkerframework.checker.units.qual
public abstract org.checkerframework.checker.units.qual.Time extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/units/qual/UnitsBottom.classUnitsBottom.java
package org.checkerframework.checker.units.qual
public abstract org.checkerframework.checker.units.qual.UnitsBottom extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/units/qual/UnitsMultiple.classUnitsMultiple.java
package org.checkerframework.checker.units.qual
public abstract org.checkerframework.checker.units.qual.UnitsMultiple extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.Class quantity ()
public abstract org.checkerframework.checker.units.qual.Prefix prefix ()
}
org/checkerframework/checker/units/qual/UnitsRelations.classUnitsRelations.java
package org.checkerframework.checker.units.qual
public abstract org.checkerframework.checker.units.qual.UnitsRelations extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.Class value ()
}
org/checkerframework/checker/units/qual/UnknownUnits.classUnknownUnits.java
package org.checkerframework.checker.units.qual
public abstract org.checkerframework.checker.units.qual.UnknownUnits extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/units/qual/cd.classcd.java
package org.checkerframework.checker.units.qual
public abstract org.checkerframework.checker.units.qual.cd extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract org.checkerframework.checker.units.qual.Prefix value ()
}
org/checkerframework/checker/units/qual/degrees.classdegrees.java
package org.checkerframework.checker.units.qual
public abstract org.checkerframework.checker.units.qual.degrees extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/units/qual/g.classg.java
package org.checkerframework.checker.units.qual
public abstract org.checkerframework.checker.units.qual.g extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract org.checkerframework.checker.units.qual.Prefix value ()
}
org/checkerframework/checker/units/qual/h.classh.java
package org.checkerframework.checker.units.qual
public abstract org.checkerframework.checker.units.qual.h extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/units/qual/kg.classkg.java
package org.checkerframework.checker.units.qual
public abstract org.checkerframework.checker.units.qual.kg extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/units/qual/km.classkm.java
package org.checkerframework.checker.units.qual
public abstract org.checkerframework.checker.units.qual.km extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/units/qual/km2.classkm2.java
package org.checkerframework.checker.units.qual
public abstract org.checkerframework.checker.units.qual.km2 extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/units/qual/kmPERh.classkmPERh.java
package org.checkerframework.checker.units.qual
public abstract org.checkerframework.checker.units.qual.kmPERh extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/units/qual/m.classm.java
package org.checkerframework.checker.units.qual
public abstract org.checkerframework.checker.units.qual.m extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract org.checkerframework.checker.units.qual.Prefix value ()
}
org/checkerframework/checker/units/qual/m2.classm2.java
package org.checkerframework.checker.units.qual
public abstract org.checkerframework.checker.units.qual.m2 extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract org.checkerframework.checker.units.qual.Prefix value ()
}
org/checkerframework/checker/units/qual/mPERs.classmPERs.java
package org.checkerframework.checker.units.qual
public abstract org.checkerframework.checker.units.qual.mPERs extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract org.checkerframework.checker.units.qual.Prefix value ()
}
org/checkerframework/checker/units/qual/mPERs2.classmPERs2.java
package org.checkerframework.checker.units.qual
public abstract org.checkerframework.checker.units.qual.mPERs2 extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract org.checkerframework.checker.units.qual.Prefix value ()
}
org/checkerframework/checker/units/qual/min.classmin.java
package org.checkerframework.checker.units.qual
public abstract org.checkerframework.checker.units.qual.min extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/units/qual/mm.classmm.java
package org.checkerframework.checker.units.qual
public abstract org.checkerframework.checker.units.qual.mm extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/units/qual/mm2.classmm2.java
package org.checkerframework.checker.units.qual
public abstract org.checkerframework.checker.units.qual.mm2 extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/checker/units/qual/mol.classmol.java
package org.checkerframework.checker.units.qual
public abstract org.checkerframework.checker.units.qual.mol extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract org.checkerframework.checker.units.qual.Prefix value ()
}
org/checkerframework/checker/units/qual/radians.classradians.java
package org.checkerframework.checker.units.qual
public abstract org.checkerframework.checker.units.qual.radians extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract org.checkerframework.checker.units.qual.Prefix value ()
}
org/checkerframework/checker/units/qual/s.classs.java
package org.checkerframework.checker.units.qual
public abstract org.checkerframework.checker.units.qual.s extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract org.checkerframework.checker.units.qual.Prefix value ()
}
org/checkerframework/common/
org/checkerframework/common/aliasing/
org/checkerframework/common/aliasing/qual/
org/checkerframework/common/aliasing/qual/LeakedToResult.classLeakedToResult.java
package org.checkerframework.common.aliasing.qual
public abstract org.checkerframework.common.aliasing.qual.LeakedToResult extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/common/aliasing/qual/MaybeAliased.classMaybeAliased.java
package org.checkerframework.common.aliasing.qual
public abstract org.checkerframework.common.aliasing.qual.MaybeAliased extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/common/aliasing/qual/MaybeLeaked.classMaybeLeaked.java
package org.checkerframework.common.aliasing.qual
public abstract org.checkerframework.common.aliasing.qual.MaybeLeaked extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/common/aliasing/qual/NonLeaked.classNonLeaked.java
package org.checkerframework.common.aliasing.qual
public abstract org.checkerframework.common.aliasing.qual.NonLeaked extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/common/aliasing/qual/Unique.classUnique.java
package org.checkerframework.common.aliasing.qual
public abstract org.checkerframework.common.aliasing.qual.Unique extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/common/reflection/
org/checkerframework/common/reflection/qual/
org/checkerframework/common/reflection/qual/ClassBound.classClassBound.java
package org.checkerframework.common.reflection.qual
public abstract org.checkerframework.common.reflection.qual.ClassBound extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String[] value ()
}
org/checkerframework/common/reflection/qual/ClassVal.classClassVal.java
package org.checkerframework.common.reflection.qual
public abstract org.checkerframework.common.reflection.qual.ClassVal extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String[] value ()
}
org/checkerframework/common/reflection/qual/ClassValBottom.classClassValBottom.java
package org.checkerframework.common.reflection.qual
public abstract org.checkerframework.common.reflection.qual.ClassValBottom extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/common/reflection/qual/ForName.classForName.java
package org.checkerframework.common.reflection.qual
public abstract org.checkerframework.common.reflection.qual.ForName extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/common/reflection/qual/GetClass.classGetClass.java
package org.checkerframework.common.reflection.qual
public abstract org.checkerframework.common.reflection.qual.GetClass extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/common/reflection/qual/GetConstructor.classGetConstructor.java
package org.checkerframework.common.reflection.qual
public abstract org.checkerframework.common.reflection.qual.GetConstructor extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/common/reflection/qual/GetMethod.classGetMethod.java
package org.checkerframework.common.reflection.qual
public abstract org.checkerframework.common.reflection.qual.GetMethod extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/common/reflection/qual/Invoke.classInvoke.java
package org.checkerframework.common.reflection.qual
public abstract org.checkerframework.common.reflection.qual.Invoke extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/common/reflection/qual/MethodVal.classMethodVal.java
package org.checkerframework.common.reflection.qual
public abstract org.checkerframework.common.reflection.qual.MethodVal extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String[] className ()
public abstract java.lang.String[] methodName ()
public abstract int[] params ()
}
org/checkerframework/common/reflection/qual/MethodValBottom.classMethodValBottom.java
package org.checkerframework.common.reflection.qual
public abstract org.checkerframework.common.reflection.qual.MethodValBottom extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/common/reflection/qual/NewInstance.classNewInstance.java
package org.checkerframework.common.reflection.qual
public abstract org.checkerframework.common.reflection.qual.NewInstance extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/common/reflection/qual/UnknownClass.classUnknownClass.java
package org.checkerframework.common.reflection.qual
public abstract org.checkerframework.common.reflection.qual.UnknownClass extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/common/reflection/qual/UnknownMethod.classUnknownMethod.java
package org.checkerframework.common.reflection.qual
public abstract org.checkerframework.common.reflection.qual.UnknownMethod extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/common/util/
org/checkerframework/common/util/report/
org/checkerframework/common/util/report/qual/
org/checkerframework/common/util/report/qual/ReportCall.classReportCall.java
package org.checkerframework.common.util.report.qual
public abstract org.checkerframework.common.util.report.qual.ReportCall extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/common/util/report/qual/ReportCreation.classReportCreation.java
package org.checkerframework.common.util.report.qual
public abstract org.checkerframework.common.util.report.qual.ReportCreation extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/common/util/report/qual/ReportInherit.classReportInherit.java
package org.checkerframework.common.util.report.qual
public abstract org.checkerframework.common.util.report.qual.ReportInherit extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/common/util/report/qual/ReportOverride.classReportOverride.java
package org.checkerframework.common.util.report.qual
public abstract org.checkerframework.common.util.report.qual.ReportOverride extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/common/util/report/qual/ReportReadWrite.classReportReadWrite.java
package org.checkerframework.common.util.report.qual
public abstract org.checkerframework.common.util.report.qual.ReportReadWrite extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/common/util/report/qual/ReportUnqualified.classReportUnqualified.java
package org.checkerframework.common.util.report.qual
public abstract org.checkerframework.common.util.report.qual.ReportUnqualified extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/common/util/report/qual/ReportUse.classReportUse.java
package org.checkerframework.common.util.report.qual
public abstract org.checkerframework.common.util.report.qual.ReportUse extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/common/util/report/qual/ReportWrite.classReportWrite.java
package org.checkerframework.common.util.report.qual
public abstract org.checkerframework.common.util.report.qual.ReportWrite extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/common/value/
org/checkerframework/common/value/qual/
org/checkerframework/common/value/qual/ArrayLen.classArrayLen.java
package org.checkerframework.common.value.qual
public abstract org.checkerframework.common.value.qual.ArrayLen extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract int[] value ()
}
org/checkerframework/common/value/qual/BoolVal.classBoolVal.java
package org.checkerframework.common.value.qual
public abstract org.checkerframework.common.value.qual.BoolVal extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract boolean[] value ()
}
org/checkerframework/common/value/qual/BottomVal.classBottomVal.java
package org.checkerframework.common.value.qual
public abstract org.checkerframework.common.value.qual.BottomVal extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/common/value/qual/DoubleVal.classDoubleVal.java
package org.checkerframework.common.value.qual
public abstract org.checkerframework.common.value.qual.DoubleVal extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract double[] value ()
}
org/checkerframework/common/value/qual/IntVal.classIntVal.java
package org.checkerframework.common.value.qual
public abstract org.checkerframework.common.value.qual.IntVal extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract long[] value ()
}
org/checkerframework/common/value/qual/StaticallyExecutable.classStaticallyExecutable.java
package org.checkerframework.common.value.qual
public abstract org.checkerframework.common.value.qual.StaticallyExecutable extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/common/value/qual/StringVal.classStringVal.java
package org.checkerframework.common.value.qual
public abstract org.checkerframework.common.value.qual.StringVal extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String[] value ()
}
org/checkerframework/common/value/qual/UnknownVal.classUnknownVal.java
package org.checkerframework.common.value.qual
public abstract org.checkerframework.common.value.qual.UnknownVal extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/dataflow/
org/checkerframework/dataflow/qual/
org/checkerframework/dataflow/qual/Deterministic.classDeterministic.java
package org.checkerframework.dataflow.qual
public abstract org.checkerframework.dataflow.qual.Deterministic extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/dataflow/qual/Pure$Kind.classPure.java
package org.checkerframework.dataflow.qual
public final org.checkerframework.dataflow.qual.Pure$Kind extends java.lang.Enum {
public static final org.checkerframework.dataflow.qual.Pure$Kind SIDE_EFFECT_FREE
public static final org.checkerframework.dataflow.qual.Pure$Kind DETERMINISTIC
private static final org.checkerframework.dataflow.qual.Pure$Kind[] $VALUES
public static org.checkerframework.dataflow.qual.Pure$Kind[] values ()
public static org.checkerframework.dataflow.qual.Pure$Kind valueOf (java.lang.String)
String name
private void (java.lang.String, int)
static void ()
}
org/checkerframework/dataflow/qual/Pure.classPure.java
package org.checkerframework.dataflow.qual
public abstract org.checkerframework.dataflow.qual.Pure extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/dataflow/qual/SideEffectFree.classSideEffectFree.java
package org.checkerframework.dataflow.qual
public abstract org.checkerframework.dataflow.qual.SideEffectFree extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/dataflow/qual/TerminatesExecution.classTerminatesExecution.java
package org.checkerframework.dataflow.qual
public abstract org.checkerframework.dataflow.qual.TerminatesExecution extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/framework/
org/checkerframework/framework/qual/
org/checkerframework/framework/qual/AnnotatedFor.classAnnotatedFor.java
package org.checkerframework.framework.qual
public abstract org.checkerframework.framework.qual.AnnotatedFor extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String[] value ()
}
org/checkerframework/framework/qual/Bottom.classBottom.java
package org.checkerframework.framework.qual
public abstract org.checkerframework.framework.qual.Bottom extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/framework/qual/ConditionalPostconditionAnnotation.classConditionalPostconditionAnnotation.java
package org.checkerframework.framework.qual
public abstract org.checkerframework.framework.qual.ConditionalPostconditionAnnotation extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.Class qualifier ()
}
org/checkerframework/framework/qual/DefaultFor.classDefaultFor.java
package org.checkerframework.framework.qual
public abstract org.checkerframework.framework.qual.DefaultFor extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract org.checkerframework.framework.qual.TypeUseLocation[] value ()
}
org/checkerframework/framework/qual/DefaultInUncheckedCodeFor.classDefaultInUncheckedCodeFor.java
package org.checkerframework.framework.qual
public abstract org.checkerframework.framework.qual.DefaultInUncheckedCodeFor extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract org.checkerframework.framework.qual.TypeUseLocation[] value ()
}
org/checkerframework/framework/qual/DefaultQualifier.classDefaultQualifier.java
package org.checkerframework.framework.qual
public abstract org.checkerframework.framework.qual.DefaultQualifier extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.Class value ()
public abstract org.checkerframework.framework.qual.TypeUseLocation[] locations ()
}
org/checkerframework/framework/qual/DefaultQualifierInHierarchy.classDefaultQualifierInHierarchy.java
package org.checkerframework.framework.qual
public abstract org.checkerframework.framework.qual.DefaultQualifierInHierarchy extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/framework/qual/DefaultQualifierInHierarchyInUncheckedCode.classDefaultQualifierInHierarchyInUncheckedCode.java
package org.checkerframework.framework.qual
public abstract org.checkerframework.framework.qual.DefaultQualifierInHierarchyInUncheckedCode extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/framework/qual/DefaultQualifiers.classDefaultQualifiers.java
package org.checkerframework.framework.qual
public abstract org.checkerframework.framework.qual.DefaultQualifiers extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract org.checkerframework.framework.qual.DefaultQualifier[] value ()
}
org/checkerframework/framework/qual/Dependent.classDependent.java
package org.checkerframework.framework.qual
public abstract org.checkerframework.framework.qual.Dependent extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.Class result ()
public abstract java.lang.Class when ()
}
org/checkerframework/framework/qual/EnsuresQualifier.classEnsuresQualifier.java
package org.checkerframework.framework.qual
public abstract org.checkerframework.framework.qual.EnsuresQualifier extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String[] expression ()
public abstract java.lang.Class qualifier ()
}
org/checkerframework/framework/qual/EnsuresQualifierIf.classEnsuresQualifierIf.java
package org.checkerframework.framework.qual
public abstract org.checkerframework.framework.qual.EnsuresQualifierIf extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String[] expression ()
public abstract java.lang.Class qualifier ()
public abstract boolean result ()
}
org/checkerframework/framework/qual/EnsuresQualifiers.classEnsuresQualifiers.java
package org.checkerframework.framework.qual
public abstract org.checkerframework.framework.qual.EnsuresQualifiers extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract org.checkerframework.framework.qual.EnsuresQualifier[] value ()
}
org/checkerframework/framework/qual/EnsuresQualifiersIf.classEnsuresQualifiersIf.java
package org.checkerframework.framework.qual
public abstract org.checkerframework.framework.qual.EnsuresQualifiersIf extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract org.checkerframework.framework.qual.EnsuresQualifierIf[] value ()
}
org/checkerframework/framework/qual/FieldIsExpression.classFieldIsExpression.java
package org.checkerframework.framework.qual
public abstract org.checkerframework.framework.qual.FieldIsExpression extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/framework/qual/FromByteCode.classFromByteCode.java
package org.checkerframework.framework.qual
public abstract org.checkerframework.framework.qual.FromByteCode extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/framework/qual/FromStubFile.classFromStubFile.java
package org.checkerframework.framework.qual
public abstract org.checkerframework.framework.qual.FromStubFile extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/framework/qual/IgnoreInWholeProgramInference.classIgnoreInWholeProgramInference.java
package org.checkerframework.framework.qual
public abstract org.checkerframework.framework.qual.IgnoreInWholeProgramInference extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/framework/qual/ImplicitFor.classImplicitFor.java
package org.checkerframework.framework.qual
public abstract org.checkerframework.framework.qual.ImplicitFor extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract org.checkerframework.framework.qual.LiteralKind[] literals ()
public abstract javax.lang.model.type.TypeKind[] types ()
public abstract java.lang.Class[] typeNames ()
public abstract java.lang.String[] stringPatterns ()
}
org/checkerframework/framework/qual/InheritedAnnotation.classInheritedAnnotation.java
package org.checkerframework.framework.qual
public abstract org.checkerframework.framework.qual.InheritedAnnotation extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/framework/qual/InvisibleQualifier.classInvisibleQualifier.java
package org.checkerframework.framework.qual
public abstract org.checkerframework.framework.qual.InvisibleQualifier extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/framework/qual/LiteralKind.classLiteralKind.java
package org.checkerframework.framework.qual
public final org.checkerframework.framework.qual.LiteralKind extends java.lang.Enum {
public static final org.checkerframework.framework.qual.LiteralKind NULL
public static final org.checkerframework.framework.qual.LiteralKind INT
public static final org.checkerframework.framework.qual.LiteralKind LONG
public static final org.checkerframework.framework.qual.LiteralKind FLOAT
public static final org.checkerframework.framework.qual.LiteralKind DOUBLE
public static final org.checkerframework.framework.qual.LiteralKind BOOLEAN
public static final org.checkerframework.framework.qual.LiteralKind CHAR
public static final org.checkerframework.framework.qual.LiteralKind STRING
public static final org.checkerframework.framework.qual.LiteralKind ALL
public static final org.checkerframework.framework.qual.LiteralKind PRIMITIVE
private static final org.checkerframework.framework.qual.LiteralKind[] $VALUES
public static org.checkerframework.framework.qual.LiteralKind[] values ()
public static org.checkerframework.framework.qual.LiteralKind valueOf (java.lang.String)
String name
private void (java.lang.String, int)
public static java.util.List allLiteralKinds ()
java.util.List list
public static java.util.List primitiveLiteralKinds ()
static void ()
}
org/checkerframework/framework/qual/MonotonicQualifier.classMonotonicQualifier.java
package org.checkerframework.framework.qual
public abstract org.checkerframework.framework.qual.MonotonicQualifier extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.Class value ()
}
org/checkerframework/framework/qual/PolyAll.classPolyAll.java
package org.checkerframework.framework.qual
public abstract org.checkerframework.framework.qual.PolyAll extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/framework/qual/PolymorphicQualifier.classPolymorphicQualifier.java
package org.checkerframework.framework.qual
public abstract org.checkerframework.framework.qual.PolymorphicQualifier extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.Class value ()
}
org/checkerframework/framework/qual/PostconditionAnnotation.classPostconditionAnnotation.java
package org.checkerframework.framework.qual
public abstract org.checkerframework.framework.qual.PostconditionAnnotation extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.Class qualifier ()
}
org/checkerframework/framework/qual/PreconditionAnnotation.classPreconditionAnnotation.java
package org.checkerframework.framework.qual
public abstract org.checkerframework.framework.qual.PreconditionAnnotation extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.Class qualifier ()
}
org/checkerframework/framework/qual/RequiresQualifier.classRequiresQualifier.java
package org.checkerframework.framework.qual
public abstract org.checkerframework.framework.qual.RequiresQualifier extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String[] expression ()
public abstract java.lang.Class qualifier ()
}
org/checkerframework/framework/qual/RequiresQualifiers.classRequiresQualifiers.java
package org.checkerframework.framework.qual
public abstract org.checkerframework.framework.qual.RequiresQualifiers extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract org.checkerframework.framework.qual.RequiresQualifier[] value ()
}
org/checkerframework/framework/qual/StubFiles.classStubFiles.java
package org.checkerframework.framework.qual
public abstract org.checkerframework.framework.qual.StubFiles extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.String[] value ()
}
org/checkerframework/framework/qual/SubtypeOf.classSubtypeOf.java
package org.checkerframework.framework.qual
public abstract org.checkerframework.framework.qual.SubtypeOf extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.Class[] value ()
}
org/checkerframework/framework/qual/TargetLocations.classTargetLocations.java
package org.checkerframework.framework.qual
public abstract org.checkerframework.framework.qual.TargetLocations extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract org.checkerframework.framework.qual.TypeUseLocation[] value ()
}
org/checkerframework/framework/qual/TypeUseLocation.classTypeUseLocation.java
package org.checkerframework.framework.qual
public final org.checkerframework.framework.qual.TypeUseLocation extends java.lang.Enum {
public static final org.checkerframework.framework.qual.TypeUseLocation FIELD
public static final org.checkerframework.framework.qual.TypeUseLocation LOCAL_VARIABLE
public static final org.checkerframework.framework.qual.TypeUseLocation RESOURCE_VARIABLE
public static final org.checkerframework.framework.qual.TypeUseLocation EXCEPTION_PARAMETER
public static final org.checkerframework.framework.qual.TypeUseLocation RECEIVER
public static final org.checkerframework.framework.qual.TypeUseLocation PARAMETER
public static final org.checkerframework.framework.qual.TypeUseLocation RETURN
public static final org.checkerframework.framework.qual.TypeUseLocation LOWER_BOUND
public static final org.checkerframework.framework.qual.TypeUseLocation EXPLICIT_LOWER_BOUND
public static final org.checkerframework.framework.qual.TypeUseLocation IMPLICIT_LOWER_BOUND
public static final org.checkerframework.framework.qual.TypeUseLocation UPPER_BOUND
public static final org.checkerframework.framework.qual.TypeUseLocation EXPLICIT_UPPER_BOUND
public static final org.checkerframework.framework.qual.TypeUseLocation IMPLICIT_UPPER_BOUND
public static final org.checkerframework.framework.qual.TypeUseLocation OTHERWISE
public static final org.checkerframework.framework.qual.TypeUseLocation ALL
private static final org.checkerframework.framework.qual.TypeUseLocation[] $VALUES
public static org.checkerframework.framework.qual.TypeUseLocation[] values ()
public static org.checkerframework.framework.qual.TypeUseLocation valueOf (java.lang.String)
String name
private void (java.lang.String, int)
static void ()
}
org/checkerframework/framework/qual/Unqualified.classUnqualified.java
package org.checkerframework.framework.qual
public abstract org.checkerframework.framework.qual.Unqualified extends java.lang.Object implements java.lang.annotation.Annotation {
}
org/checkerframework/framework/qual/Unused.classUnused.java
package org.checkerframework.framework.qual
public abstract org.checkerframework.framework.qual.Unused extends java.lang.Object implements java.lang.annotation.Annotation {
public abstract java.lang.Class when ()
}
org/checkerframework/qualframework/
org/checkerframework/qualframework/poly/
org/checkerframework/qualframework/poly/qual/
org/checkerframework/qualframework/poly/qual/Wildcard.classWildcard.java
package org.checkerframework.qualframework.poly.qual
public final org.checkerframework.qualframework.poly.qual.Wildcard extends java.lang.Enum {
public static final org.checkerframework.qualframework.poly.qual.Wildcard NONE
public static final org.checkerframework.qualframework.poly.qual.Wildcard EXTENDS
public static final org.checkerframework.qualframework.poly.qual.Wildcard SUPER
private static final org.checkerframework.qualframework.poly.qual.Wildcard[] $VALUES
public static org.checkerframework.qualframework.poly.qual.Wildcard[] values ()
public static org.checkerframework.qualframework.poly.qual.Wildcard valueOf (java.lang.String)
String name
private void (java.lang.String, int)
static void ()
}