Home
Java
JSTL
Struts
Spring
Hibernate
Webservice
Eclipse
API
Guest Post
Menu
Explorer
checker-framework-master
checker
jdk
index
src
java
io
Bits.java
BufferedInputStream.java
BufferedOutputStream.java
BufferedReader.java
BufferedWriter.java
ByteArrayInputStream.java
ByteArrayOutputStream.java
CharArrayReader.java
CharArrayWriter.java
Console.java
DataInput.java
DataInputStream.java
DataOutput.java
DataOutputStream.java
ExpiringCache.java
File.java
FileDescriptor.java
FileInputStream.java
FileOutputStream.java
FilePermission.java
FileSystem.java
FilterInputStream.java
FilterOutputStream.java
FilterReader.java
FilterWriter.java
InputStream.java
InputStreamReader.java
LineNumberInputStream.java
LineNumberReader.java
ObjectInput.java
ObjectInputStream.java
ObjectOutput.java
ObjectOutputStream.java
ObjectStreamClass.java
OutputStream.java
OutputStreamWriter.java
PipedInputStream.java
PipedOutputStream.java
PipedReader.java
PipedWriter.java
PrintStream.java
PrintWriter.java
PushbackInputStream.java
PushbackReader.java
RandomAccessFile.java
Reader.java
SequenceInputStream.java
StreamTokenizer.java
StringBufferInputStream.java
StringReader.java
StringWriter.java
Writer.java
lang
Byte.java
CharSequence.java
Character.java
CharacterData.java
CharacterName.java
Class.java
ClassLoader.java
Comparable.java
Double.java
Integer.java
Long.java
Math.java
Object.java
Short.java
String.java
StringBuffer.java
StringBuilder.java
StringCoding.java
System.java
nio
channels
FileChannel.java
sun
misc
FloatingDecimal.java
FormattedFloatingDecimal.java
JavaLangAccess.java
JavaUtilZipAccess.java
JavaxSecurityAuthKerberosAccess.java
SharedSecrets.java
nio
ch
FileChannelImpl.java
FileDispatcher.java
IOUtil.java
NativeDispatcher.java
Util.java
security
action
LoadLibraryAction.java
util
LocaleDataMetaInfo.java
LocaleServiceProviderPool.java
TimeZoneNameUtility.java
resources
LocaleData.java
OpenListResourceBundle.java
util
AbstractCollection.java
AbstractList.java
AbstractMap.java
ArrayDeque.java
ArrayList.java
Arrays.java
BitSet.java
Collection.java
Collections.java
ComparableTimSort.java
Comparator.java
Date.java
Deque.java
Dictionary.java
DualPivotQuicksort.java
EnumMap.java
EnumSet.java
EventListenerProxy.java
EventObject.java
Formatter.java
GregorianCalendar.java
HashMap.java
HashSet.java
Hashtable.java
IdentityHashMap.java
IllformedLocaleException.java
JumboEnumSet.java
LinkedHashMap.java
LinkedList.java
List.java
ListResourceBundle.java
Locale.java
Objects.java
Observable.java
PriorityQueue.java
Properties.java
PropertyPermission.java
Random.java
RegularEnumSet.java
ResourceBundle.java
Scanner.java
ServiceLoader.java
Set.java
SimpleTimeZone.java
StringTokenizer.java
TimSort.java
Timer.java
TreeMap.java
TreeSet.java
UUID.java
Vector.java
WeakHashMap.java
XMLUtils.java
logging
Formatter.java
LogManager.java
LogRecord.java
Logger.java
SimpleFormatter.java
XMLFormatter.java
regex
ASCII.java
Matcher.java
Pattern.java
UnicodeProp.java
zip
Adler32.java
CRC32.java
CheckedInputStream.java
CheckedOutputStream.java
Checksum.java
Deflater.java
DeflaterInputStream.java
DeflaterOutputStream.java
GZIPInputStream.java
GZIPOutputStream.java
Inflater.java
InflaterInputStream.java
InflaterOutputStream.java
ZipCoder.java
ZipEntry.java
ZipFile.java
ZipInputStream.java
ZipOutputStream.java
lock
src
com
sun
javadoc
ClassDoc.java
Doc.java
FieldDoc.java
MemberDoc.java
ProgramElementDoc.java
java
io
BufferedReader.java
ByteArrayOutputStream.java
CharArrayWriter.java
Closeable.java
DataOutputStream.java
File.java
FilePermission.java
FilterOutputStream.java
ObjectStreamClass.java
ObjectStreamField.java
PrintStream.java
Reader.java
StreamTokenizer.java
StringWriter.java
lang
AbstractStringBuilder.java
AutoCloseable.java
CharSequence.java
Class.java
ClassLoader.java
Comparable.java
Enum.java
Error.java
Iterable.java
Math.java
Number.java
Object.java
Package.java
StackTraceElement.java
String.java
StringBuffer.java
StringBuilder.java
System.java
Thread.java
ThreadGroup.java
Throwable.java
ref
PhantomReference.java
Reference.java
SoftReference.java
reflect
AnnotatedElement.java
Constructor.java
Field.java
Method.java
util
AbstractCollection.java
AbstractList.java
AbstractMap.java
AbstractQueue.java
AbstractSequentialList.java
AbstractSet.java
ArrayDeque.java
ArrayList.java
Arrays.java
BitSet.java
Calendar.java
Collection.java
Collections.java
Comparator.java
Currency.java
Date.java
Deque.java
Dictionary.java
DoubleSummaryStatistics.java
Enumeration.java
EventListener.java
EventListenerProxy.java
EventObject.java
Formattable.java
FormattableFlags.java
Formatter.java
GregorianCalendar.java
HashMap.java
HashSet.java
Hashtable.java
IdentityHashMap.java
IntSummaryStatistics.java
Iterator.java
LinkedHashMap.java
LinkedHashSet.java
LinkedList.java
List.java
ListIterator.java
ListResourceBundle.java
Locale.java
LongSummaryStatistics.java
Map.java
NavigableMap.java
NavigableSet.java
Objects.java
Observable.java
Observer.java
Optional.java
OptionalDouble.java
OptionalInt.java
OptionalLong.java
PrimitiveIterator.java
PriorityQueue.java
Properties.java
PropertyPermission.java
PropertyResourceBundle.java
Queue.java
Random.java
RandomAccess.java
ResourceBundle.java
Scanner.java
ServiceLoader.java
Set.java
SimpleTimeZone.java
SortedMap.java
SortedSet.java
Spliterator.java
Stack.java
StringTokenizer.java
TimeZone.java
Timer.java
TimerTask.java
TreeMap.java
TreeSet.java
UUID.java
Vector.java
WeakHashMap.java
concurrent
TimeUnit.java
locks
Lock.java
ReentrantLock.java
ReentrantReadWriteLock.java
function
BiConsumer.java
BiFunction.java
BinaryOperator.java
Consumer.java
DoubleBinaryOperator.java
DoubleConsumer.java
DoubleFunction.java
DoublePredicate.java
DoubleSupplier.java
DoubleToIntFunction.java
DoubleToLongFunction.java
DoubleUnaryOperator.java
Function.java
IntBinaryOperator.java
IntConsumer.java
IntFunction.java
IntPredicate.java
IntSupplier.java
IntToDoubleFunction.java
IntToLongFunction.java
IntUnaryOperator.java
LongBinaryOperator.java
LongConsumer.java
LongFunction.java
LongPredicate.java
LongSupplier.java
LongToDoubleFunction.java
LongToIntFunction.java
LongUnaryOperator.java
ObjDoubleConsumer.java
ObjIntConsumer.java
ObjLongConsumer.java
Predicate.java
Supplier.java
ToDoubleFunction.java
ToIntFunction.java
ToLongFunction.java
UnaryOperator.java
logging
Logger.java
regex
Matcher.java
Pattern.java
PatternSyntaxException.java
stream
BaseStream.java
Collector.java
Collectors.java
DoubleStream.java
IntStream.java
LongStream.java
Stream.java
nullness
src
com
sun
javadoc
ClassDoc.java
Doc.java
FieldDoc.java
MemberDoc.java
ProgramElementDoc.java
RootDoc.java
java
beans
FeatureDescriptor.java
MethodRef.java
PropertyDescriptor.java
io
BufferedInputStream.java
BufferedOutputStream.java
BufferedReader.java
BufferedWriter.java
ByteArrayInputStream.java
ByteArrayOutputStream.java
CharArrayReader.java
CharArrayWriter.java
Closeable.java
Console.java
DataInput.java
DataInputStream.java
DataOutput.java
DataOutputStream.java
Externalizable.java
File.java
FileDescriptor.java
FileFilter.java
FileInputStream.java
FileOutputStream.java
FilePermission.java
FileReader.java
FileWriter.java
FilenameFilter.java
FilterInputStream.java
FilterOutputStream.java
FilterReader.java
FilterWriter.java
Flushable.java
IOException.java
InputStream.java
InputStreamReader.java
LineNumberInputStream.java
LineNumberReader.java
ObjectInput.java
ObjectInputStream.java
ObjectInputValidation.java
ObjectOutput.java
ObjectOutputStream.java
ObjectStreamClass.java
ObjectStreamConstants.java
ObjectStreamField.java
OutputStream.java
OutputStreamWriter.java
PipedInputStream.java
PipedOutputStream.java
PipedReader.java
PipedWriter.java
PrintStream.java
PrintWriter.java
PushbackInputStream.java
PushbackReader.java
RandomAccessFile.java
Reader.java
SequenceInputStream.java
Serializable.java
SerializablePermission.java
StreamTokenizer.java
StringBufferInputStream.java
StringReader.java
StringWriter.java
Writer.java
lang
AbstractMethodError.java
AbstractStringBuilder.java
Appendable.java
ArithmeticException.java
ArrayIndexOutOfBoundsException.java
ArrayStoreException.java
AssertionError.java
AssertionStatusDirectives.java
Boolean.java
Byte.java
CharSequence.java
Character.java
Class.java
ClassCastException.java
ClassCircularityError.java
ClassFormatError.java
ClassLoader.java
ClassNotFoundException.java
CloneNotSupportedException.java
Cloneable.java
Comparable.java
Compiler.java
Deprecated.java
Double.java
Enum.java
EnumConstantNotPresentException.java
Error.java
Exception.java
ExceptionInInitializerError.java
Float.java
IllegalAccessError.java
IllegalAccessException.java
IllegalArgumentException.java
IllegalMonitorStateException.java
IllegalStateException.java
IllegalThreadStateException.java
IncompatibleClassChangeError.java
IndexOutOfBoundsException.java
InheritableThreadLocal.java
InstantiationError.java
InstantiationException.java
Integer.java
InternalError.java
InterruptedException.java
Iterable.java
LinkageError.java
Long.java
Math.java
NegativeArraySizeException.java
NoClassDefFoundError.java
NoSuchFieldError.java
NoSuchFieldException.java
NoSuchMethodError.java
NoSuchMethodException.java
NullPointerException.java
Number.java
NumberFormatException.java
Object.java
OutOfMemoryError.java
Override.java
Package.java
Process.java
ProcessBuilder.java
Readable.java
Runnable.java
Runtime.java
RuntimeException.java
RuntimePermission.java
SecurityException.java
SecurityManager.java
Short.java
Shutdown.java
StackOverflowError.java
StackTraceElement.java
StrictMath.java
String.java
StringBuffer.java
StringBuilder.java
StringIndexOutOfBoundsException.java
SuppressWarnings.java
System.java
Thread.java
ThreadDeath.java
ThreadGroup.java
ThreadLocal.java
Throwable.java
TypeNotPresentException.java
UnknownError.java
UnsatisfiedLinkError.java
UnsupportedClassVersionError.java
UnsupportedOperationException.java
VerifyError.java
VirtualMachineError.java
Void.java
instrument
ClassFileTransformer.java
ref
FinalReference.java
Finalizer.java
PhantomReference.java
Reference.java
ReferenceQueue.java
SoftReference.java
WeakReference.java
reflect
AnnotatedElement.java
Constructor.java
Field.java
InvocationTargetException.java
Method.java
ParameterizedType.java
net
HttpConnectSocketImpl.java
Socket.java
security
MessageDigest.java
ProtectionDomain.java
sql
DatabaseMetaData.java
PreparedStatement.java
ResultSet.java
SQLType.java
text
MessageFormat.java
util
AbstractCollection.java
AbstractList.java
AbstractMap.java
AbstractQueue.java
AbstractSequentialList.java
AbstractSet.java
ArrayDeque.java
ArrayList.java
Arrays.java
BitSet.java
Calendar.java
Collection.java
Collections.java
Comparator.java
Currency.java
Date.java
Deque.java
Dictionary.java
DoubleSummaryStatistics.java
Enumeration.java
EventListener.java
EventListenerProxy.java
EventObject.java
Formattable.java
FormattableFlags.java
Formatter.java
GregorianCalendar.java
HashMap.java
HashSet.java
Hashtable.java
IdentityHashMap.java
IntSummaryStatistics.java
Iterator.java
LinkedHashMap.java
LinkedHashSet.java
LinkedList.java
List.java
ListIterator.java
ListResourceBundle.java
Locale.java
LongSummaryStatistics.java
Map.java
NavigableMap.java
NavigableSet.java
Objects.java
Observable.java
Observer.java
Optional.java
OptionalDouble.java
OptionalInt.java
OptionalLong.java
PrimitiveIterator.java
PriorityQueue.java
Properties.java
PropertyPermission.java
PropertyResourceBundle.java
Queue.java
Random.java
RandomAccess.java
ResourceBundle.java
Scanner.java
ServiceLoader.java
Set.java
SimpleTimeZone.java
SortedMap.java
SortedSet.java
Spliterator.java
Stack.java
StringJoiner.java
StringTokenizer.java
TimeZone.java
Timer.java
TimerTask.java
TreeMap.java
TreeSet.java
UUID.java
Vector.java
WeakHashMap.java
concurrent
BlockingQueue.java
Callable.java
ConcurrentHashMap.java
ConcurrentMap.java
ExecutorService.java
Future.java
function
BiConsumer.java
BiFunction.java
BinaryOperator.java
Consumer.java
DoubleBinaryOperator.java
DoubleConsumer.java
DoubleFunction.java
DoublePredicate.java
DoubleSupplier.java
DoubleToIntFunction.java
DoubleToLongFunction.java
DoubleUnaryOperator.java
Function.java
IntBinaryOperator.java
IntConsumer.java
IntFunction.java
IntPredicate.java
IntSupplier.java
IntToDoubleFunction.java
IntToLongFunction.java
IntUnaryOperator.java
LongBinaryOperator.java
LongConsumer.java
LongFunction.java
LongPredicate.java
LongSupplier.java
LongToDoubleFunction.java
LongToIntFunction.java
LongUnaryOperator.java
ObjDoubleConsumer.java
ObjIntConsumer.java
ObjLongConsumer.java
Predicate.java
Supplier.java
ToDoubleFunction.java
ToIntFunction.java
ToLongFunction.java
UnaryOperator.java
jar
JarEntry.java
JarFile.java
logging
Logger.java
regex
Matcher.java
Pattern.java
PatternSyntaxException.java
stream
BaseStream.java
Collector.java
Collectors.java
DoubleStream.java
IntStream.java
LongStream.java
Stream.java
zip
InflaterInputStream.java
ZipEntry.java
ZipFile.java
javax
management
MBeanServer.java
NotificationBroadcaster.java
naming
directory
Attributes.java
ldap
InitialLdapContext.java
net
ssl
SSLContext.java
TrustManagerFactory.java
X509ExtendedKeyManager.java
X509KeyManager.java
xml
namespace
NamespaceContext.java
stream
XMLResolver.java
XMLStreamException.java
transform
URIResolver.java
xpath
XPathVariableResolver.java
org
w3c
dom
Document.java
Element.java
NamedNodeMap.java
Node.java
NodeList.java
ls
LSInput.java
LSResourceResolver.java
xml
sax
EntityResolver.java
InputSource.java
ext
EntityResolver2.java
jtreg
SymbolNotFoundErrors.java
multiplecheckers
NullnessInterning.java
multipleexecutions
Main.java
Test.java
nullness
DefaultNonPublicClass.java
Issue347.java
Issue373.java
PersistUtil.java
UncheckedWarning.java
annotationsOnExtends
Other.java
Test.java
Test2.java
constructor-initialization
DefaultConstructor.java
NonDefaultConstructor.java
defaultsPersist
Classes.java
Constructors.java
Driver.java
Fields.java
Methods.java
ReferenceInfoUtil.java
inheritDeclAnnoPersist
AbstractClass.java
Driver.java
Extends.java
Implements.java
ReferenceInfoUtil.java
Super.java
issue12
BinaryDefaultTest.java
BinaryDefaultTestBinary.java
BinaryDefaultTestInterface.java
BinaryDefaultTestWithStub.java
issue141
Appendable.java
CharStreams.java
Closeable.java
Driver.java
Files.java
InputStreamReader.java
InputSupplier.java
OutputStreamWriter.java
OutputSupplier.java
Readable.java
issue257
ClientBuilder.java
Module.java
Small.java
issue380
DA.java
DB.java
Decl.java
Driver.java
issue767
Class1.java
Class2.java
issue790
Class1.java
Class2.java
issue820
AnonymousClass.java
Class1.java
Class1Min.java
Class2.java
Class2Min.java
Error.java
issue824
Class2.java
NoStubFirst.java
NoStubSecond.java
Second.java
issue824lib
Class1.java
First.java
preciseErrorMsg
Class1.java
rawtypes
RawTypeFail.java
sortwarnings
ErrorOrders.java
Main.java
OrderOfCheckers.java
stubs
sample
Sample.java
wildcards
NonN.java
Wildcards.java
tainting
classes
Issue919.java
Issue919B.java
test
Issue919.java
src
android
annotation
NonNull.java
Nullable.java
support
annotation
NonNull.java
Nullable.java
com
sun
istack
internal
Interned.java
NotNull.java
Nullable.java
edu
umd
cs
findbugs
annotations
CheckForNull.java
NonNull.java
Nullable.java
UnknownNullness.java
javax
annotation
CheckForNull.java
Nonnull.java
Nullable.java
concurrent
GuardedBy.java
meta
When.java
validation
constraints
NotNull.java
lombok
NonNull.java
net
jcip
annotations
GuardedBy.java
org
checkerframework
checker
compilermsgs
CompilerMessagesAnnotatedTypeFactory.java
CompilerMessagesChecker.java
qual
CompilerMessageKey.java
CompilerMessageKeyBottom.java
UnknownCompilerMessageKey.java
fenum
FenumAnnotatedTypeFactory.java
FenumChecker.java
FenumVisitor.java
qual
AwtAlphaCompositingRule.java
AwtColorSpace.java
AwtCursorType.java
AwtFlowLayout.java
Fenum.java
FenumBottom.java
FenumTop.java
FenumUnqualified.java
PolyFenum.java
SwingBoxOrientation.java
SwingCompassDirection.java
SwingElementOrientation.java
SwingHorizontalOrientation.java
SwingSplitPaneOrientation.java
SwingTextOrientation.java
SwingTitleJustification.java
SwingTitlePosition.java
SwingVerticalOrientation.java
formatter
FormatUtil.java
FormatterAnnotatedTypeFactory.java
FormatterChecker.java
FormatterTransfer.java
FormatterTreeUtil.java
FormatterVisitor.java
qual
ConversionCategory.java
Format.java
FormatBottom.java
FormatMethod.java
InvalidFormat.java
ReturnsFormat.java
UnknownFormat.java
guieffect
Effect.java
GuiEffectChecker.java
GuiEffectTypeFactory.java
GuiEffectVisitor.java
qual
AlwaysSafe.java
PolyUI.java
PolyUIEffect.java
PolyUIType.java
SafeEffect.java
SafeType.java
UI.java
UIEffect.java
UIPackage.java
UIType.java
i18n
I18nAnnotatedTypeFactory.java
I18nChecker.java
I18nSubchecker.java
LocalizableKeyAnnotatedTypeFactory.java
LocalizableKeyChecker.java
qual
LocalizableKey.java
LocalizableKeyBottom.java
Localized.java
UnknownLocalizableKey.java
UnknownLocalized.java
i18nformatter
I18nFormatUtil.java
I18nFormatterAnnotatedTypeFactory.java
I18nFormatterChecker.java
I18nFormatterTransfer.java
I18nFormatterTreeUtil.java
I18nFormatterVisitor.java
qual
I18nChecksFormat.java
I18nConversionCategory.java
I18nFormat.java
I18nFormatBottom.java
I18nFormatFor.java
I18nInvalidFormat.java
I18nMakeFormat.java
I18nUnknownFormat.java
I18nValidFormat.java
unittests
I18nConversionCategoryTest.java
I18nHasFormatTest.java
index
IndexAbstractTransfer.java
IndexChecker.java
IndexMethodIdentifier.java
IndexRefinementInfo.java
IndexUtil.java
lowerbound
LowerBoundAnnotatedTypeFactory.java
LowerBoundChecker.java
LowerBoundTransfer.java
LowerBoundVisitor.java
qual
GTENegativeOne.java
IndexFor.java
IndexOrHigh.java
IndexOrLow.java
LTEqLengthOf.java
LTLengthOf.java
LTOMLengthOf.java
LengthOf.java
LowerBoundUnknown.java
NegativeIndexFor.java
NonNegative.java
PolyIndex.java
PolyLowerBound.java
PolySameLen.java
PolyUpperBound.java
Positive.java
SameLen.java
SameLenBottom.java
SameLenUnknown.java
SearchIndexBottom.java
SearchIndexFor.java
SearchIndexUnknown.java
UpperBoundBottom.java
UpperBoundUnknown.java
samelen
SameLenAnnotatedTypeFactory.java
SameLenChecker.java
SameLenTransfer.java
SameLenVisitor.java
searchindex
SearchIndexAnnotatedTypeFactory.java
SearchIndexChecker.java
SearchIndexTransfer.java
upperbound
OffsetEquation.java
UBQualifier.java
UpperBoundAnnotatedTypeFactory.java
UpperBoundChecker.java
UpperBoundTransfer.java
UpperBoundVisitor.java
initialization
InitializationAnnotatedTypeFactory.java
InitializationChecker.java
InitializationStore.java
InitializationTransfer.java
InitializationVisitor.java
qual
FBCBottom.java
Initialized.java
NotOnlyInitialized.java
UnderInitialization.java
UnknownInitialization.java
interning
InterningAnnotatedTypeFactory.java
InterningChecker.java
InterningVisitor.java
package-info.java
qual
Interned.java
PolyInterned.java
UnknownInterned.java
UsesObjectEquals.java
linear
LinearAnnotatedTypeFactory.java
LinearChecker.java
LinearVisitor.java
qual
Linear.java
Normal.java
Unusable.java
lock
LockAnalysis.java
LockAnnotatedTypeFactory.java
LockChecker.java
LockStore.java
LockTransfer.java
LockTreeAnnotator.java
LockVisitor.java
qual
EnsuresLockHeld.java
EnsuresLockHeldIf.java
GuardSatisfied.java
GuardedBy.java
GuardedByBottom.java
GuardedByUnknown.java
Holding.java
LockHeld.java
LockPossiblyHeld.java
LockingFree.java
MayReleaseLocks.java
PolyGuardedBy.java
ReleasesNoLocks.java
nullness
AbstractNullnessChecker.java
CollectionToArrayHeuristics.java
KeyForAnnotatedTypeFactory.java
KeyForPropagationTreeAnnotator.java
KeyForPropagator.java
KeyForSubchecker.java
KeyForTransfer.java
NullnessAnalysis.java
NullnessAnnotatedTypeFactory.java
NullnessAnnotatedTypeFormatter.java
NullnessChecker.java
NullnessRawnessChecker.java
NullnessStore.java
NullnessTransfer.java
NullnessUtil.java
NullnessValue.java
NullnessVisitor.java
Opt.java
SystemGetPropertyHandler.java
compatqual
KeyForDecl.java
KeyForType.java
MonotonicNonNullDecl.java
MonotonicNonNullType.java
NonNullDecl.java
NonNullType.java
NullableDecl.java
NullableType.java
PolyNullDecl.java
PolyNullType.java
qual
AssertNonNullIfNonNull.java
Covariant.java
EnsuresNonNull.java
EnsuresNonNullIf.java
KeyFor.java
KeyForBottom.java
LazyNonNull.java
MonotonicNonNull.java
NonNull.java
NonRaw.java
Nullable.java
PolyKeyFor.java
PolyNull.java
PolyRaw.java
Raw.java
RequiresNonNull.java
UnknownKeyFor.java
propkey
PropertyKeyAnnotatedTypeFactory.java
PropertyKeyChecker.java
qual
PropertyKey.java
PropertyKeyBottom.java
UnknownPropertyKey.java
regex
RegexAnnotatedTypeFactory.java
RegexChecker.java
RegexTransfer.java
RegexUtil.java
RegexVisitor.java
qual
PartialRegex.java
PolyRegex.java
Regex.java
RegexBottom.java
UnknownRegex.java
signature
SignatureAnnotatedTypeFactory.java
SignatureChecker.java
qual
BinaryName.java
BinaryNameForNonArray.java
BinaryNameForNonArrayInUnnamedPackage.java
BinaryNameInUnnamedPackage.java
ClassGetName.java
ClassGetSimpleName.java
FieldDescriptor.java
FieldDescriptorForArray.java
FullyQualifiedName.java
Identifier.java
IdentifierOrArray.java
InternalForm.java
MethodDescriptor.java
PolySignature.java
SignatureBottom.java
SignatureUnknown.java
SourceNameForNonArrayNonInner.java
SourceNameForNonInner.java
signedness
SignednessAnnotatedTypeFactory.java
SignednessChecker.java
SignednessUtil.java
SignednessVisitor.java
qual
Constant.java
PolySignedness.java
Signed.java
SignednessBottom.java
UnknownSignedness.java
Unsigned.java
tainting
TaintingChecker.java
qual
PolyTainted.java
Tainted.java
Untainted.java
units
UnitsAnnotatedTypeFactory.java
UnitsAnnotatedTypeFormatter.java
UnitsAnnotationClassLoader.java
UnitsChecker.java
UnitsRelations.java
UnitsRelationsDefault.java
UnitsRelationsTools.java
UnitsTools.java
UnitsVisitor.java
qual
A.java
Acceleration.java
Angle.java
Area.java
C.java
Current.java
K.java
Length.java
Luminance.java
Mass.java
MixedUnits.java
PolyUnit.java
Prefix.java
Speed.java
Substance.java
Temperature.java
Time.java
UnitsBottom.java
UnitsMultiple.java
UnitsRelations.java
UnknownUnits.java
cd.java
degrees.java
g.java
h.java
kg.java
km.java
km2.java
kmPERh.java
m.java
m2.java
mPERs.java
mPERs2.java
min.java
mm.java
mm2.java
mol.java
radians.java
s.java
eclipse
jdt
annotation
NonNull.java
Nullable.java
jgit
annotations
NonNull.java
Nullable.java
jetbrains
annotations
NotNull.java
Nullable.java
jmlspecs
annotation
NonNull.java
Nullable.java
netbeans
api
annotations
common
CheckForNull.java
NonNull.java
NullAllowed.java
NullUnknown.java
tests
aggregate
NullnessAndRegex.java
Placeholder.java
command-line
issue618
TwoCheckers.java
compilermsg
Basic.java
fenum
Casts.java
CatchFenumUnqualified.java
TestFlow.java
TestInstance.java
TestPrimitive.java
TestStatic.java
TestSwitch.java
TypeVariable.java
UpperBoundsInByteCode.java
fenumswing
FlowBreak.java
IdentityArrayList.java
PolyTest.java
SwingTest.java
TypeVariable.java
formatter
ConversionBasic.java
ConversionNull.java
Flow.java
FormatBasic.java
FormatIndexing.java
FormatMethods.java
Issue285.java
ManualExample.java
Varargs.java
formatter-lubglb
Placeholder.java
formatter-unchecked-defaults
TestUncheckedByteCode.java
guieffect
AnonInnerDefaults.java
AssignmentTests.java
BadUIOverrideChild.java
BasicTest.java
FooConflict.java
GenericSubTask.java
GenericTaskSafeConsumer.java
GenericTaskUIConsumer.java
IAsyncUITask.java
IFooSafe.java
IFooUI.java
IGenericTask.java
MouseTest.java
SafeParent.java
TestProgram.java
ThrowCatchTest.java
UIChild.java
UIElement.java
UIParent.java
WeakeningChild.java
packagetests
SafeByDecl.java
UIByPackageDecl.java
package-info.java
i18n
LocalizedMessage.java
i18n-formatter
ConversionCategoryTest.java
HasFormat.java
I18nFormat.java
I18nFormatForTest.java
IsFormat.java
ManualExample.java
Syntax.java
i18n-formatter-lubglb
Placeholder.java
i18n-formatter-unchecked-defaults
TestUncheckedByteCode.java
i18n-unchecked-defaults
TestUncheckedByteCode.java
index
AndExample.java
AnnotatedJDKTest.java
ArrayAsList.java
ArrayAssignmentSameLen.java
ArrayAssignmentSameLenComplex.java
ArrayConstructionPositiveLength.java
ArrayCopy.java
ArrayCreation.java
ArrayCreationChecks.java
ArrayCreationParam.java
ArrayIntro.java
ArrayIntroWithCast.java
ArrayLenTest.java
ArrayLength.java
ArrayLength2.java
ArrayLength3.java
ArrayLengthEquality.java
ArrayLengthLBC.java
ArrayNull.java
BigBinaryExpr.java
BinarySearchTest.java
Boilerplate.java
BottomValTest.java
Cast.java
CheckAgainstNegativeOne.java
CheckNotNull1.java
CheckNotNull2.java
CombineFacts.java
CompareBySubtraction.java
CompoundAssignmentCheck.java
ConstantArrays.java
ConstantOffsets.java
Constants.java
Dimension.java
EndsWith.java
EnumValues.java
EqualTo.java
EqualToTransfer.java
Errors.java
ExampleUsage.java
GreaterThanOrEqualTransfer.java
GreaterThanTransfer.java
HexEncode.java
Index115.java
Index132.java
IndexForAverage.java
IndexForTest.java
IndexForTestLBC.java
IndexForTwoArrays.java
IndexForTwoArrays2.java
IndexOrLowTests.java
IndexSameLen.java
IntroAdd.java
IntroAnd.java
IntroRules.java
IntroShift.java
IntroSub.java
Issue20.java
Issue21.java
Issue58Minimization.java
Issue60.java
IteratorVoid.java
LBCSubtyping.java
LTLDivide.java
LUB.java
LengthOfArrayMinusOne.java
LengthOfTest.java
LengthTransfer.java
LengthTransfer2.java
LengthTransferForMinLen.java
LessThanLen.java
LessThanOrEqualTransfer.java
LessThanTransfer.java
ListAdd.java
ListAddAll.java
ListAddInfiniteLoop.java
ListGet.java
ListIterator.java
ListRemove.java
ListSet.java
ListSupport.java
ListSupportLBC.java
ListSupportML.java
LiteralArray.java
LiteralString.java
Loops.java
MLEqualTo.java
MinLenFieldInvar.java
MinLenFourShenanigans.java
MinLenIndexFor.java
MinLenOneAndLength.java
MinMax.java
NegativeArray.java
NonNegArrayLength.java
NotEqualTransfer.java
Offset97.java
OffsetExample.java
OneLTL.java
OneOrTwo.java
ParserOffsetTest.java
ParsingBug.java
Pilot2HalfLength.java
Pilot3ArrayCreation.java
Pilot4Subtraction.java
PlusPlusBug.java
Polymorphic.java
Polymorphic2.java
Polymorphic3.java
PreAndPostDec.java
PrimitiveWrappers.java
RandomTest.java
RandomTestLBC.java
Reassignment.java
RefineEq.java
RefineGT.java
RefineGTE.java
RefineLT.java
RefineLTE.java
RefineLTE2.java
RefineNeq.java
RefinementEq.java
RefinementGT.java
RefinementGTE.java
RefinementLT.java
RefinementLTE.java
RefinementNEq.java
Return.java
SLSubtyping.java
SameLenAssignmentTransfer.java
SameLenEqualsRefinement.java
SameLenFormalParameter2.java
SameLenManyArrays.java
SameLenNewArrayWithSameLength.java
SameLenSimpleCase.java
SameLenTripleThreat.java
SameLenWithObjects.java
SearchIndexTests.java
SimpleCollection.java
SimpleTransferAdd.java
SimpleTransferSub.java
SpecialTransfersForEquality.java
Stopwatch.java
SubtractingNonNegatives.java
Subtraction.java
SwitchDataflowRefinement.java
SwitchTest.java
TestAgainstLength.java
ToArray.java
TransferAdd.java
TransferDivide.java
TransferMod.java
TransferSub.java
TransferTimes.java
TypeArrayLengthWithSameLen.java
UBSubtyping.java
UpperBoundRefinement.java
ValueCheckerProblem.java
VarArgsIncompatible.java
ViewpointAdaptTest.java
VoidType.java
ZeroMinLen.java
divisionTest.java
initialization
fbc
Cast.java
ChainedInitialization.java
Commitment.java
Commitment2.java
CommitmentFlow.java
FieldSuppressWarnings.java
Flow.java
Issue556a.java
Issue556b.java
Issue574.java
Issue813.java
Issue905.java
List.java
NotOnlyInitializedTest.java
Simple.java
Subtyping.java
Suppression.java
TryFinally.java
TryFinallyBreak.java
TypeFrames.java
TypeFrames2.java
interning
ArrayInitializers.java
Arrays.java
ArraysMDETest.java
Autoboxing.java
Boxing.java
ClassDefaults.java
Comparison.java
CompileTimeConstants.java
CompileTimeConstants2.java
ComplexComparison.java
Conditional.java
Constants.java
Creation.java
DontCrash.java
Enumerations.java
Expressions.java
FieldsImplicits.java
Flow.java
FlowInterning.java
Generics.java
Heuristics.java
InternMethod.java
InternedClass.java
IterableGenerics.java
MapEntryLubError.java
MethodInvocation.java
NestedGenerics.java
Options.java
OverrideInterned.java
Polymorphism.java
Primitives.java
Raw3.java
SequenceAndIndices.java
StaticInternMethod.java
StringIntern.java
Subclass.java
SuppressWarningsClass.java
SuppressWarningsVar.java
TVWCSuper.java
TestExtSup.java
TestInfer.java
TestPolyAll.java
TypeVarPrimitives.java
UnboxUninterned.java
UsesObjectEqualsTest.java
lock
ChapterExamples.java
ClassLiterals.java
Constructors.java
Fields.java
FlowExpressions.java
GuardSatisfiedArray.java
GuardSatisfiedTest.java
GuardedByLocalVariable.java
Issue152.java
Issue523.java
Issue524.java
Issue753.java
Issue804.java
Issue805.java
ItselfExpressionCases.java
JCIPAnnotations.java
LockEffectAnnotations.java
LockExpressionIsFinal.java
LockInterfaceTest.java
Methods.java
NestedSynchronizedBlocks.java
Overriding.java
Primitives.java
Simple.java
Strings.java
TestAnon.java
TestConcurrentSemantics1.java
TestConcurrentSemantics2.java
TestTreeKinds.java
ThisPostCondition.java
ThisSuper.java
TypeVarNull.java
Update.java
ViewpointAdaptation.java
ViewpointAdaptation2.java
ViewpointAdaptation3.java
lock-safedefaults
BasicTest.java
nullness
AliasedAnnotations.java
Aliasing.java
AnnotatedJdkEqualsTest.java
AnnotatedJdkTest.java
AnonymousSkipDefs.java
ArrayArgs.java
ArrayAssignmentFlow.java
ArrayCreationNullable.java
ArrayCreationSubArray.java
ArrayInitBug.java
ArrayLazyNN.java
ArrayNew.java
ArrayRefs.java
AssertAfter.java
AssertAfter2.java
AssertAfterChecked.java
AssertIfChecked.java
AssertIfClient.java
AssertIfFalseTest.java
AssertIfFalseTest2.java
AssertIfNonNullTest.java
AssertIfTrueTest.java
AssertIfTrueTest2.java
AssertIfTrueTestSimple.java
AssertInStatic.java
AssertNonNullIfNonNullTest.java
AssertNonNullTest.java
AssertNullable.java
AssertParameterNullness.java
AssertTwice.java
AssertWithStatic.java
Asserts.java
AssignmentDuringInitialization.java
AssignmentPerformanceTest.java
BinaryOp.java
BinarySearch.java
Boxing.java
Bug102.java
Bug103.java
CallSuper.java
CastTypeVariable.java
Casts.java
ChainAssignment.java
ChicoryPremain.java
CompoundAssign.java
ConditionalNullness.java
ConditionalOr.java
Conditions.java
ControlFlow.java
CopyOfArray.java
DaikonTests.java
DefaultAnnotation.java
DefaultFlow.java
DefaultInterface.java
DefaultLoops.java
Defaults.java
DependentCrash.java
DependentNull.java
DependentTypes.java
DotClass.java
EmptyConstructor.java
EnsuresNonNullIfInheritedTest.java
EnsuresNonNullIfTest.java
EnsuresNonNullIfTest2.java
EnsuresNonNullIfTest3.java
EnsuresNonNullIfTest4.java
EnumStaticBlock.java
Enums.java
EqualTo.java
ExceptionParam.java
Exceptions.java
Expressions.java
ExtendsArrayList.java
FieldInit.java
FinalFields.java
FinalVar.java
FinalVar2.java
FinalVar3.java
FindBugs.java
Flow.java
FlowAssignment.java
FlowCompound.java
FlowCompoundConcatenation.java
FlowConditions.java
FlowConstructor.java
FlowConstructor2.java
FlowExpressionParsingBug.java
FlowField.java
FlowInitialization.java
FlowLoop.java
FlowNegation.java
FlowNonThis.java
FlowSelf.java
ForEachMin.java
FullyQualifiedAnnotation.java
GeneralATFStore.java
GenericCast.java
GetConstantStr.java
GetProperty.java
GetRefArg.java
HasInnerClass.java
HierarchicalInit.java
ImplementInterface.java
Imports1.java
Imports2.java
InferListParam.java
InferNullType.java
InferTypeArgsCondtionalExpression.java
InitSuppressWarnings.java
InitThrows.java
InitializationAssertionFailure.java
InitializedField.java
Initializer.java
InvariantTypes.java
Issue1027.java
Issue1046.java
Issue1059.java
Issue1096.java
Issue1102.java
Issue1147.java
Issue160.java
Issue261.java
Issue266.java
Issue266a.java
Issue273.java
Issue289.java
Issue293.java
Issue295.java
Issue296.java
Issue306.java
Issue308.java
Issue328.java
Issue331.java
Issue338.java
Issue345.java
Issue355.java
Issue369.java
Issue370.java
Issue372.java
Issue376.java
Issue388.java
Issue391.java
Issue400.java
Issue408.java
Issue411.java
Issue414.java
Issue415.java
Issue419.java
Issue427.java
Issue471.java
Issue500.java
Issue520.java
Issue531.java
Issue554.java
Issue563.java
Issue577.java
Issue578.java
Issue579Error.java
Issue580.java
Issue602.java
Issue653.java
Issue67.java
Issue672.java
Issue679.java
Issue738.java
Issue741.java
Issue752.java
Issue759.java
Issue764.java
Issue765.java
Issue811.java
Issue829.java
Issue868.java
Issue887.java
Issue906.java
Issue961.java
Issue986.java
Issue989.java
IteratorEarlyExit.java
JPanelTest.java
Java7Aliases.java
JavaCopExplosion.java
JavaCopFlow.java
JavaCopRandomTests.java
JavaExprContext.java
KeyForAutoboxing.java
KeyForChecked.java
KeyForFlow.java
KeyForIssue328.java
KeyForLocalVariable.java
KeyForPolymorphism.java
KeyForPropagation.java
KeyForShadowing.java
KeyForStaticField.java
KeyForSubst.java
KeyForSubtyping.java
KeyForValidation.java
KeyFor_DirectionsFinder.java
KeyFors.java
Lazy.java
LazyInitialization.java
Listener.java
LogicOperations.java
LubTest.java
Marino.java
MethodInvocation.java
MethodTypeVars4.java
MissingBoundAnnotations.java
MisuseProperties.java
MonotonicNonNullTest.java
MultiAnnotations.java
MultiConstructorInit.java
MultipleErrors.java
MyException.java
NNOEMoreTests.java
NNOEStaticFields.java
NegatingConditionalNullness.java
NewNullable.java
NewObjectNonNull.java
NonEmptyCollection.java
NonNullInitialization.java
NullableArrays.java
NullnessFieldInvar.java
OverrideANNA.java
OverrideANNA2.java
OverrideANNA3.java
OverrideGenerics.java
OverrideNNOE.java
OverrideNNOE2.java
PackageDecl.java
ParameterExpression.java
Polymorphism.java
PolymorphismArrays.java
PostconditionBug.java
Primitives.java
PrivateMethodUnknownInit.java
PureTest.java
Raw2.java
RawAndPrimitive.java
RawField.java
RawInt.java
RawInt2.java
RawMethodInvocation.java
RawParameter.java
RawSuper.java
RawTypes.java
RawTypesAssignment.java
RawTypesBounded.java
RawTypesUses.java
ReadyReadLine.java
ReferencesDefaults.java
RefineArray.java
RefineOverride.java
RequiresNonNullTest.java
RequiresPrivateField.java
SAMLineParser.java
SamFileValidator.java
SelfAssignment.java
SequenceAndIndices.java
Simple2.java
SortingCollection.java
StaticInLoop.java
StaticInitialization.java
StaticInitializer.java
StaticInitializer2.java
Stats.java
StringTernaryConcat.java
SuperCall.java
SuperConstructorInit.java
SuppressDeprecation.java
SuppressWarningsTest.java
SwitchTest.java
Synchronization.java
Ternary.java
TernaryNested.java
Test.java
TestFromPullRequest880.java
TestInfer.java
TestPolyAll.java
TestPolyAll2.java
TestPolyNull.java
TestValOf.java
ThisIsNN.java
ThisLiteral.java
ThisTest.java
ThreadLocalTest.java
Throwing.java
ToArray.java
TryCatch.java
TryWithResources.java
TwoStaticInitBlocks.java
TypeVarPrimitives.java
UnannoPrimitives.java
UnannoPrimitivesDefaults.java
UnboxConditions.java
Unboxing.java
UnexpectedRaw.java
Uninit.java
Uninit11.java
Uninit12.java
Uninit2.java
Uninit3.java
Uninit4.java
Uninit5.java
Uninit6.java
Uninit7.java
Uninit8.java
Uninit9.java
UnusedNullness.java
UnusedOnClass.java
ValidType.java
VarInfoName.java
Varargs.java
VoidUse.java
WeakHasherMap.java
WeakIdentityPair.java
WeakRef.java
Wellformed.java
WhileTest.java
Widening.java
Wildcards.java
flow
Issue341.java
Issue818.java
MapGet.java
PathJoins.java
PureAndFlow.java
TestNullnessUtil.java
TestOpt.java
generics
AnnonymousClass.java
AnnotatedGenerics.java
AnnotatedGenerics2.java
AnnotatedGenerics3.java
AnnotatedTypeParams.java
AnnotatedTypeParams2.java
AnnotatedTypeParams4.java
BoundedWildcardTest.java
Boxing.java
CollectionsAnnotations.java
CollectionsAnnotationsMin.java
GenericArgs.java
GenericArgs2.java
GenericArgs3.java
GenericBoundsExplicit.java
GenericReturnField.java
GenericTest11.java
GenericsBounds1.java
GenericsBounds2.java
GenericsBounds3.java
GenericsBounds4.java
GenericsBounds5.java
GenericsConstructor.java
GenericsExample.java
GenericsExampleMin.java
InferMethod.java
InferedPrimitive.java
Issue134.java
Issue240.java
Issue269.java
Issue270.java
Issue282.java
Issue282Min.java
Issue312.java
Issue313.java
Issue314.java
Issue319.java
Issue326.java
Issue329.java
Issue335.java
Issue337.java
Issue339.java
Issue421.java
Issue422.java
Issue428.java
Issue459.java
Issue783a.java
Issue783b.java
Issue783c.java
KeyForPolyAll.java
MapLoop.java
MethodTypeVars.java
MethodTypeVars2.java
MethodTypeVars3.java
MethodTypeVars5.java
MethodTypeVars6.java
MethodTypeVars7.java
MyMap.java
NullableGeneric.java
NullableLUB.java
NullnessBound.java
OptionsTest.java
RawTypes.java
SourceVsJdk.java
SuperRawness.java
Ternary.java
VarArgs.java
WellformedBounds.java
WildcardAnnos.java
WildcardBoundDefault.java
WildcardOverride.java
WildcardSubtyping.java
WildcardSubtyping2.java
WildcardSubtypingTypeArray.java
WildcardSuper.java
init
FieldWithInit.java
GenericTest12b.java
InstanceOf.java
Issue1044.java
Issue1120.java
Issue408.java
Issue409.java
Issue779.java
Issue904.java
RawMethodInvocation.java
RawTypes.java
StaticInit.java
Uninit.java
Uninit10.java
Uninit11.java
Uninit12.java
Uninit13.java
Uninit14.java
Uninit2.java
Uninit3.java
Uninit4.java
Uninit5.java
Uninit6.java
Uninit7.java
Uninit8.java
Uninit9.java
java8
DefaultMethods.java
Issue1000.java
Issue1046.java
Issue363.java
Issue366.java
Issue448.java
Issue448Ext.java
Issue496.java
Issue529.java
Issue557.java
Issue579.java
Issue596.java
Issue704.java
Issue720.java
StreamMap.java
UnionTypeBug.java
lambda
Dataflow.java
FinalLocalVariables.java
Initialization.java
Issue367.java
Issue403.java
Issue436.java
Issue572.java
Issue870.java
Issue953b.java
LambdaNullness.java
Parameters.java
ParametersInBody.java
Receivers.java
RefinedLocalInLambda.java
Returns.java
Shadowed.java
TypeVarAssign.java
methodref
AssignmentContext.java
FromByteCode.java
GenericArity.java
GroundTargetTypeLub.java
MemberReferences.java
PolyNullness.java
Postconditions.java
Receivers.java
java8inference
Inference.java
InferenceSimpler.java
Issue1084.java
Issue402.java
Issue953b.java
Issue980.java
OneOf.java
jdkannotations
Issue1142.java
TreeSetTest.java
rawness
Constructors.java
FieldWithSomeInit.java
RawAssertNonNull.java
RawCheckRep.java
RawPartial.java
nullness-asserts
NonNullMapValue.java
TestAssumeAssertionsAreEnabled.java
nullness-assumeassertions
TestAssumeAssertionsAreDisabled.java
nullness-concurrent-semantics
Issue350.java
nullness-extra
Bug109_A.java
Bug109_B.java
compat
Test.java
javax
annotation
Nullable.java
lib
Lib.java
issue265
Delta.java
ImmutableList.java
issue309
Test.java
lib
Anno.java
Lib.java
issue348
Test.java
lib
Anno.java
Lib.java
LibSuper.java
issue502
Issue502.java
issue559
Issue559.java
issue594
Issue594.java
issue607
Issue607.java
Issue607Interface.java
Issue607SuperClass.java
multiple-errors
C1.java
C2.java
C3.java
C4.java
package-anno
test
Test.java
package-info.java
shorthand
NullnessRegexWithErrors.java
nullness-genericwildcard
GenericWildcardInheritance.java
Issue511.java
nullness-genericwildcardlib
GwiParent.java
nullness-invariantarrays
TwoDimensionalArray.java
nullness-javac-errors
BadCast1.java
BadCast2.java
nullness-reflection
NullnessReflectionExampleTest.java
NullnessReflectionTest.java
nullness-safedefaultsbytecode
ArraysMDE.java
BasicTest.java
nullness-safedefaultssourcecode
BasicTest.java
nullness-safedefaultssourcecodelib
Lib.java
nullness-skipdefs
SkipDefs1.java
SkipDefs2.java
nullness-skipuses
SkipUses1.java
SkipUses2.java
nullness-stubfile
NullnessStubfileMerge.java
regex
AnnotatedTypeParams3.java
Annotation.java
Continue.java
ForEach.java
GenericsBoundsRange.java
GenericsEnclosing.java
GroupCounts.java
InvariantTypes.java
Issue809.java
LUB.java
MatcherGroupCount.java
PartialRegex.java
RawTypeTest.java
RegexUtilTest.java
Simple.java
TestIsRegex.java
TestRegex.java
TypeParamSubtype.java
TypeVarMemberSelect.java
WildcardInvoke.java
regex_poly
PolyRegexTests.java
signature
ArraysAsList.java
DiamondTest.java
PolySignatureTest.java
RefinedReturnTest.java
SignatureConcatenation.java
SignatureTypeFactoryTest.java
StubLibraryTest.java
signedness
CastedShifts.java
Comparisons.java
CompoundAssignments.java
Defaults.java
LowerUpperBound.java
MaskedShifts.java
Operations.java
PolymorphicReturnType.java
Utils.java
UtilsJava8.java
signedness-unchecked-defaults
TestUncheckedByteCode.java
src
testlib
NestedAggregateChecker.java
lubglb
FormatterLubGlbChecker.java
I18nFormatterLubGlbChecker.java
tests
CompilerMessagesTest.java
FenumSwingTest.java
FenumTest.java
FormatterLubGlbCheckerTest.java
FormatterTest.java
FormatterUncheckedDefaultsTest.java
GuiEffectTest.java
I18nFormatterLubGlbCheckerTest.java
I18nFormatterTest.java
I18nFormatterUncheckedDefaultsTest.java
I18nTest.java
I18nUncheckedDefaultsTest.java
IndexTest.java
InterningTest.java
LockSafeDefaultsTest.java
LockTest.java
NestedAggregateCheckerTest.java
NullnessAssumeAssertionsAreDisabled.java
NullnessConcurrentTest.java
NullnessFbcJavacErrorsTest.java
NullnessFbcTest.java
NullnessFbcTestWithAsserts.java
NullnessGenericWildcardLibTest.java
NullnessGenericWildcardTest.java
NullnessInvariantArraysTest.java
NullnessRawnessTest.java
NullnessRawnessTestWithAsserts.java
NullnessReflectionTest.java
NullnessSafeDefaultsBytecodeTest.java
NullnessSafeDefaultsSourceCodeLibTest.java
NullnessSafeDefaultsSourceCodeTest.java
NullnessSkipDefsTest.java
NullnessSkipUsesTest.java
NullnessStubfileTest.java
NullnessTempTest.java
RegexTest.java
SignatureTest.java
SignednessTest.java
SignednessUncheckedDefaultsTest.java
TaintingTest.java
UnitsTest.java
tainting
ExtendsAndAnnotation.java
GenericsEnclosing.java
Issue1111.java
Issue352.java
NestedTypeConstructor.java
Simple.java
SimplePrims.java
TaintingDiamondInference.java
TypeInvalid.java
units
Addition.java
BasicUnits.java
Consistency.java
Division.java
Manual.java
Multiples.java
PolyUnitTest.java
Subtraction.java
TypeVarsArrays.java
Units.java
UnqualTest.java
dataflow
manual
examples
CFGAssert.java
CFGConditionalOr.java
CFGConditionalOr2.java
CFGFieldAssignment.java
CFGIfStatement.java
CFGSimple.java
ConstSimple.java
src
org
checkerframework
dataflow
analysis
AbstractValue.java
Analysis.java
AnalysisResult.java
ConditionalTransferResult.java
FlowExpressions.java
RegularTransferResult.java
Store.java
TransferFunction.java
TransferInput.java
TransferResult.java
cfg
CFGBuilder.java
CFGVisualizer.java
ControlFlowGraph.java
DOTCFGVisualizer.java
JavaSource2CFGDOT.java
UnderlyingAST.java
block
Block.java
BlockImpl.java
ConditionalBlock.java
ConditionalBlockImpl.java
ExceptionBlock.java
ExceptionBlockImpl.java
RegularBlock.java
RegularBlockImpl.java
SingleSuccessorBlock.java
SingleSuccessorBlockImpl.java
SpecialBlock.java
SpecialBlockImpl.java
node
AbstractNodeVisitor.java
ArrayAccessNode.java
ArrayCreationNode.java
ArrayTypeNode.java
AssertionErrorNode.java
AssignmentContext.java
AssignmentNode.java
BinaryOperationNode.java
BitwiseAndNode.java
BitwiseComplementNode.java
BitwiseOrNode.java
BitwiseXorNode.java
BooleanLiteralNode.java
CaseNode.java
CharacterLiteralNode.java
ClassNameNode.java
ConditionalAndNode.java
ConditionalNotNode.java
ConditionalOrNode.java
DoubleLiteralNode.java
EqualToNode.java
ExplicitThisLiteralNode.java
FieldAccessNode.java
FloatLiteralNode.java
FloatingDivisionNode.java
FloatingRemainderNode.java
FunctionalInterfaceNode.java
GreaterThanNode.java
GreaterThanOrEqualNode.java
ImplicitThisLiteralNode.java
InstanceOfNode.java
IntegerDivisionNode.java
IntegerLiteralNode.java
IntegerRemainderNode.java
LeftShiftNode.java
LessThanNode.java
LessThanOrEqualNode.java
LocalVariableNode.java
LongLiteralNode.java
MarkerNode.java
MethodAccessNode.java
MethodInvocationNode.java
NarrowingConversionNode.java
Node.java
NodeVisitor.java
NotEqualNode.java
NullChkNode.java
NullLiteralNode.java
NumericalAdditionNode.java
NumericalMinusNode.java
NumericalMultiplicationNode.java
NumericalPlusNode.java
NumericalSubtractionNode.java
ObjectCreationNode.java
PackageNameNode.java
ParameterizedTypeNode.java
PrimitiveTypeNode.java
ReturnNode.java
ShortLiteralNode.java
SignedRightShiftNode.java
StringConcatenateAssignmentNode.java
StringConcatenateNode.java
StringConversionNode.java
StringLiteralNode.java
SuperNode.java
SynchronizedNode.java
TernaryExpressionNode.java
ThisLiteralNode.java
ThrowNode.java
TypeCastNode.java
UnaryOperationNode.java
UnsignedRightShiftNode.java
ValueLiteralNode.java
VariableDeclarationNode.java
WideningConversionNode.java
playground
ConstantPropagationPlayground.java
constantpropagation
Constant.java
ConstantPropagationStore.java
ConstantPropagationTransfer.java
qual
Deterministic.java
Pure.java
SideEffectFree.java
TerminatesExecution.java
util
HashCodeUtils.java
MostlySingleton.java
NodeUtils.java
PurityChecker.java
PurityUtils.java
docs
examples
GradleExamples
GradleJava7Example
src
main
java
org
checkerframework
example
GradleExample.java
GradleJava8Example
src
main
java
org
checkerframework
example
GradleExample.java
InterningExample.java
InterningExampleWithWarnings.java
LockExample.java
MavenExample
src
main
java
org
checkerframework
example
MavenExample.java
NullnessExample.java
NullnessExampleWithWarnings.java
NullnessReleaseTests.java
fenum-extension
Demo.java
qual
MyFenum.java
subtyping-extension
Demo.java
qual
Encrypted.java
PossiblyUnencrypted.java
units-extension
Demo.java
qual
Frequency.java
FrequencyRelations.java
Hz.java
kHz.java
tutorial
eclipse-projects
checker-framework-tutorial
src
NullnessExample.java
RegexExample.java
encryption-checker
src
encrypted
EncryptionDemo.java
myqual
Encrypted.java
PolyEncrypted.java
PossiblyUnencrypted.java
personalblog-demo
src
net
eyde
personalblog
service
PersonalBlogService.java
struts
action
ReadAction.java
eclipse
checker-framework-eclipse-plugin
src
org
checkerframework
eclipse
CheckerPlugin.java
actions
AddCheckersHandler.java
CheckerActions.java
CheckerHandler.java
CheckerInfo.java
CheckerManager.java
CheckerWorker.java
ClearMarkersAction.java
DisableNatureHandler.java
EnableNatureHandler.java
ProjectNatureHandler.java
RunCheckerAction.java
builder
CheckerBuilder.java
CheckerResourceVisitor.java
error
CheckerErrorStatus.java
javac
CheckersRunner.java
CommandlineJavacRunner.java
JavacError.java
JavacRunner.java
tests
ErrorParserTest.java
marker
CheckerResolutionGenerator.java
MarkerReporter.java
TypeResolution.java
natures
CheckerBuildNature.java
prefs
CheckerPreferences.java
OptionLine.java
PreferenceInitializer.java
ui
CheckerPreferencePage.java
CustomCheckersMenu.java
CustomPreferencesPage.java
util
Command.java
JavaUtils.java
MarkerUtil.java
MutexSchedulingRule.java
Paths.java
PluginUtil.java
ResourceUtils.java
Util.java
framework
jtreg
BinaryDefaultTest.java
BinaryDefaultTestBinary.java
BinaryDefaultTestInterface.java
issue845
checker
NotInPackageChecker.java
qual
NotInPackageTop.java
test
Test.java
src
android
support
annotation
IntRange.java
org
checkerframework
common
aliasing
AliasingAnnotatedTypeFactory.java
AliasingChecker.java
AliasingTransfer.java
AliasingVisitor.java
qual
LeakedToResult.java
MaybeAliased.java
MaybeLeaked.java
NonLeaked.java
Unique.java
basetype
BaseAnnotatedTypeFactory.java
BaseTypeChecker.java
BaseTypeContext.java
BaseTypeValidator.java
BaseTypeVisitor.java
TypeValidator.java
package-info.java
reflection
ClassValAnnotatedTypeFactory.java
ClassValChecker.java
ClassValVisitor.java
DefaultReflectionResolver.java
MethodValAnnotatedTypeFactory.java
MethodValChecker.java
MethodValVisitor.java
ReflectionResolver.java
qual
ClassBound.java
ClassVal.java
ClassValBottom.java
ForName.java
GetClass.java
GetConstructor.java
GetMethod.java
Invoke.java
MethodVal.java
MethodValBottom.java
NewInstance.java
UnknownClass.java
UnknownMethod.java
subtyping
SubtypingAnnotatedTypeFactory.java
SubtypingChecker.java
util
TypeVisualizer.java
count
AnnotationsCounter.java
Locations.java
debug
EmptyProcessor.java
SignaturePrinter.java
TreeDebug.java
TreePrinter.java
TypeOutputtingChecker.java
report
ReportChecker.java
ReportVisitor.java
qual
ReportCall.java
ReportCreation.java
ReportInherit.java
ReportOverride.java
ReportReadWrite.java
ReportUnqualified.java
ReportUse.java
ReportWrite.java
value
RangeOrListOfValues.java
ReflectiveEvaluator.java
ValueAnnotatedTypeFactory.java
ValueChecker.java
ValueCheckerUtils.java
ValueTransfer.java
ValueVisitor.java
qual
ArrayLen.java
ArrayLenRange.java
BoolVal.java
BottomVal.java
DoubleVal.java
IntRange.java
IntVal.java
MinLen.java
MinLenFieldInvariant.java
PolyValue.java
StaticallyExecutable.java
StringVal.java
UnknownVal.java
util
ByteMath.java
DoubleMath.java
FloatMath.java
IntegerMath.java
LongMath.java
NumberMath.java
NumberUtils.java
Range.java
ShortMath.java
wholeprograminference
AnnotationConverter.java
WholeProgramInference.java
WholeProgramInferenceScenes.java
WholeProgramInferenceScenesHelper.java
framework
flow
CFAbstractAnalysis.java
CFAbstractStore.java
CFAbstractTransfer.java
CFAbstractValue.java
CFAnalysis.java
CFCFGBuilder.java
CFStore.java
CFTransfer.java
CFTreeBuilder.java
CFValue.java
package-info.java
qual
AnnotatedFor.java
Bottom.java
ConditionalPostconditionAnnotation.java
DefaultFor.java
DefaultInUncheckedCodeFor.java
DefaultQualifier.java
DefaultQualifierInHierarchy.java
DefaultQualifierInHierarchyInUncheckedCode.java
DefaultQualifiers.java
Dependent.java
EnsuresQualifier.java
EnsuresQualifierIf.java
EnsuresQualifiers.java
EnsuresQualifiersIf.java
FieldInvariant.java
FromByteCode.java
FromStubFile.java
IgnoreInWholeProgramInference.java
ImplicitFor.java
InheritedAnnotation.java
InvisibleQualifier.java
JavaExpression.java
LiteralKind.java
MonotonicQualifier.java
PolyAll.java
PolymorphicQualifier.java
PostconditionAnnotation.java
PreconditionAnnotation.java
RelevantJavaTypes.java
RequiresQualifier.java
RequiresQualifiers.java
StubFiles.java
SubtypeOf.java
TargetLocations.java
TypeUseLocation.java
Unqualified.java
Unused.java
package-info.java
source
AggregateChecker.java
Result.java
SourceChecker.java
SourceVisitor.java
SupportedLintOptions.java
SupportedOptions.java
SuppressWarningsKeys.java
package-info.java
stub
AddAnnotatedFor.java
FileStubResource.java
JarEntryStubResource.java
StubGenerator.java
StubParser.java
StubResource.java
StubUtil.java
ToIndexFileConverter.java
test
CheckerFrameworkPerDirectoryTest.java
CheckerFrameworkPerFileTest.java
CompilationResult.java
ImmutableTestConfiguration.java
PerDirectorySuite.java
PerFileSuite.java
SimpleOptionMap.java
TestConfiguration.java
TestConfigurationBuilder.java
TestUtilities.java
TypecheckExecutor.java
TypecheckResult.java
diagnostics
DiagnosticKind.java
JavaDiagnosticReader.java
TestDiagnostic.java
TestDiagnosticLine.java
TestDiagnosticUtils.java
type
AnnotatedTypeCopier.java
AnnotatedTypeFactory.java
AnnotatedTypeFormatter.java
AnnotatedTypeMirror.java
AnnotatedTypeParameterBounds.java
AnnotatedTypeReplacer.java
AnnotationClassLoader.java
AsSuperVisitor.java
BoundsInitializer.java
DeclarationsIntoElements.java
DefaultAnnotatedTypeFormatter.java
DefaultInferredTypesApplier.java
DefaultRawnessComparer.java
DefaultTypeHierarchy.java
ElementAnnotationApplier.java
EqualityAtmComparer.java
GeneralAnnotatedTypeFactory.java
GenericAnnotatedTypeFactory.java
HashcodeAtmVisitor.java
QualifierHierarchy.java
StructuralEqualityComparer.java
SupertypeFinder.java
SyntheticArrays.java
TypeFromClassVisitor.java
TypeFromExpressionVisitor.java
TypeFromMemberVisitor.java
TypeFromTree.java
TypeFromTreeVisitor.java
TypeFromTypeTreeVisitor.java
TypeHierarchy.java
TypeVariableSubstitutor.java
TypesIntoElements.java
VisitorState.java
package-info.java
treeannotator
DebugListTreeAnnotator.java
ImplicitsTreeAnnotator.java
ListTreeAnnotator.java
PropagationTreeAnnotator.java
TreeAnnotator.java
typeannotator
ImplicitsTypeAnnotator.java
IrrelevantTypeAnnotator.java
ListTypeAnnotator.java
PropagationTypeAnnotator.java
TypeAnnotator.java
visitor
AbstractAtmComboVisitor.java
AnnotatedTypeComparer.java
AnnotatedTypeMerger.java
AnnotatedTypeScanner.java
AnnotatedTypeVisitor.java
AtmComboVisitor.java
EquivalentAtmComboScanner.java
SimpleAnnotatedTypeScanner.java
SimpleAnnotatedTypeVisitor.java
VisitHistory.java
util
AnnotatedTypes.java
AnnotationBuilder.java
AnnotationFormatter.java
AnnotationMirrorMap.java
AnnotationMirrorSet.java
AtmCombo.java
AtmLubVisitor.java
BaseContext.java
CFContext.java
CheckerDevelMain.java
CheckerMain.java
ComboLog.java
ContractsUtils.java
DefaultAnnotationFormatter.java
DependentTypes.java
ExecUtil.java
FieldInvariants.java
FlowExpressionParseUtil.java
GraphQualifierHierarchy.java
Heuristics.java
MultiGraphQualifierHierarchy.java
OptionConfiguration.java
PluginUtil.java
PurityAnnotatedTypeFactory.java
PurityChecker.java
PurityUnqualified.java
QualifierPolymorphism.java
TreePathCacher.java
TypeArgumentMapper.java
defaults
Default.java
DefaultSet.java
QualifierDefaults.java
dependenttypes
DependentTypesError.java
DependentTypesHelper.java
DependentTypesTreeAnnotator.java
element
ClassTypeParamApplier.java
ElementAnnotationUtil.java
IndexedElementAnnotationApplier.java
MethodApplier.java
MethodTypeParamApplier.java
ParamApplier.java
SuperTypeApplier.java
TargetedElementAnnotationApplier.java
TypeDeclarationApplier.java
TypeParamElementAnnotationApplier.java
TypeVarUseApplier.java
VariableApplier.java
typeinference
DefaultTypeArgumentInference.java
GlbUtil.java
TypeArgInferenceUtil.java
TypeArgumentInference.java
constraint
A2F.java
A2FReducer.java
AFConstraint.java
AFReducer.java
AFReducingVisitor.java
F2A.java
F2AReducer.java
FIsA.java
FIsAReducer.java
TIsU.java
TSubU.java
TSuperU.java
TUConstraint.java
solver
ConstraintMap.java
ConstraintMapBuilder.java
EqualitiesSolver.java
InferenceResult.java
InferredValue.java
SubtypesSolver.java
SupertypesSolver.java
TargetConstraints.java
jmlspecs
annotation
Pure.java
tests
aggregate
BasicTest.java
JavaErrorTest.java
MultiError.java
aliasing
ArrayInitializerTest.java
CatchTest.java
ConstructorTest.java
EnumTest.java
ForbiddenUniqueTest.java
ReceiverParameterTest.java
SuperTest.java
ThrowTest.java
TypeRefinement.java
UniqueAnnotation.java
all-systems
Annotations.java
AnonymousClasses.java
Arrays.java
AsSuperCrashes.java
AssertWithSideEffect.java
AssignmentContext.java
BigBinaryTrees.java
Catch.java
CompoundAssignments.java
ConditionalExpressions.java
DeepEquals.java
Enums.java
EqualityTests.java
FieldAccess.java
FieldWithInit.java
ForEach.java
GenericCrazyBounds.java
GenericExtendsTypeVars.java
GenericNull.java
GenericTest11full.java
GenericTest12.java
GenericTest12b.java
GenericTest13.java
GenericsBounds.java
GenericsBounds2.java
GenericsCasts.java
GenericsEnclosing.java
GetClassTest.java
InferAndIntersection.java
InferAndWildcards.java
InferNullType.java
InferTypeArgs.java
InferTypeArgs2.java
InferTypeArgs3.java
InferTypeArgsCondtionalExpression.java
InstanceOf.java
IntersectionTypes.java
IsSubarrayEq.java
Issue1003.java
Issue1006.java
Issue1039.java
Issue1043.java
Issue1049.java
Issue1102.java
Issue1111.java
Issue263.java
Issue301.java
Issue392.java
Issue393.java
Issue395.java
Issue396.java
Issue437.java
Issue438.java
Issue457.java
Issue478.java
Issue577.java
Issue671.java
Issue689.java
Issue691.java
Issue692.java
Issue696.java
Issue717.java
Issue738.java
Issue759.java
Issue807.java
Issue808.java
Issue810.java
Issue887.java
Issue888.java
Issue913.java
Issue953.java
Issue953b.java
Issue988.java
LubRawTypes.java
MethodTypeVars.java
MissingBoundAnnotations.java
MultipleUnions.java
NodeEdgeGraph.java
Options.java
PolyAllTypeVar.java
PolyCollectorTypeVars.java
PrintArray.java
RawTypeAssignment.java
RawTypes.java
ResourceVariables.java
SimpleLog.java
StateMatch.java
SuperThis.java
Ternary.java
Throw.java
TypeVarAndArrayRefinement.java
TypeVarInstanceOf.java
TypeVarPrimitives.java
TypeVars.java
UnionCrash.java
UnionTypes.java
Unions.java
WildCardCrash.java
WildcardBounds.java
WildcardCharPrimitive.java
WildcardCon.java
WildcardIterable.java
WildcardSuper.java
WildcardSuper2.java
java8
DefaultMethods.java
lambda
Issue450.java
Issue573.java
Lambda.java
memberref
AssignmentContext.java
FromByteCode.java
Issue871.java
Issue946.java
MemberReferences.java
Purity.java
Receivers.java
VarArgs.java
java8inference
CollectorsToList.java
Issue404.java
Issue953.java
annotationclassloader
LoaderTest.java
classval
ClassNameTest.java
ClassValInferenceTest.java
ClassValSubtypingTest.java
GLBTest.java
compound-checker
BasicTest.java
MultiError.java
javac-error
JavaErrorTest.java
conservative-defaults
annotatedfor
AnnotatedForTest.java
defaulting
lowerbound
LowerBoundDefaulting.java
upperbound
UpperBoundDefaulting.java
flow
Basic.java
Fields.java
MoreFields.java
Values.java
flow2
AnnotationAliasing.java
ArrayFlow.java
Basic2.java
ContractsOverriding.java
Equal.java
FieldShadowing.java
Issue951.java
MetaPostcondition.java
MetaPrecondition.java
MethodCallFlowExpr.java
Monotonic.java
NonMethodCode.java
ParamFlowExpr.java
Postcondition.java
Precondition.java
Purity.java
StorePure.java
Termination.java
flowexpression-scope
Class1.java
Class2.java
Issue862.java
flowexpression
Canonicalization.java
Complex.java
Private.java
SimpleVPA.java
Standardize.java
TestParsing.java
ThisSuper.java
UsePrivate.java
ValueLiterals.java
ViewPointAdaptMethods.java
ViewpointAdaptation.java
ViewpointAdaptation2.java
framework
AnnotatedAnnotation.java
AnnotatedGenerics.java
AnnotatedVoidMethod.java
AnnotationWithComponents.java
AnonymousClasses.java
ArraySubtyping.java
Arrays.java
Assignments.java
AssignmentsGeneric.java
BridgeMethods.java
ClassAnnotations.java
Compound.java
Constructors.java
DeepOverride.java
DeepOverrideAbstract.java
DeepOverrideBug.java
DeepOverrideInterface.java
ExtendsDefault.java
GenericAlias.java
GenericAliasInvalid.java
GenericAliasInvalidCall.java
GenericEnum.java
GenericTest1.java
GenericTest10.java
GenericTest11.java
GenericTest12.java
GenericTest2.java
GenericTest3.java
GenericTest4.java
GenericTest5.java
GenericTest6.java
GenericTest7.java
GenericTest8.java
GenericTest9.java
GetReceiverLoop.java
InnerGenerics.java
Issue346.java
MatrixBug.java
MethodOverrideBadParam.java
MethodOverrideBadReceiver.java
MethodOverrideBadReturn.java
MethodOverrides.java
MissingSymbolCrash.java
MoreVarargs.java
MultiBoundTypeVar.java
OverrideCrash.java
PrimitiveDotClass.java
RandomTests.java
RecursiveDef.java
ResolveError.java
Supertypes.java
SymbolError.java
TypeInference.java
Unboxing.java
UnimportedExtends1.java
UnimportedExtends2.java
Varargs.java
WildcardSuper.java
Wildcards.java
lubglb
Dummy.java
IntersectionTypes.java
methodval
MethodNameTest.java
MethodValInferenceTest.java
MethodValLUBTest.java
MethodValSubtypingTest.java
nontopdefault
NTDTest.java
polyall
AnonymousClasses.java
Catch.java
CompoundStringAssignment.java
Constructors.java
Defaulting.java
ForEach.java
Generics.java
GetClassStubTest.java
IncompatibleBounds.java
InferTypeArgsPolyChecker.java
Inheritance.java
Issue681.java
Issue798.java
Primitive.java
TestPolyAll.java
TypeRefinement.java
purity-suggestions
Test.java
reflection
AnonymousClassTest.java
ConstructorTest.java
MethodTest.java
report
Accesses.java
CallOverrides.java
Creation.java
Inherit.java
Interface.java
Overrides.java
Package.java
TestStub.java
reportmodifiers
TestModifiers.java
reporttreekinds
TestTreeKinds.java
simple
Simple.java
src
testlib
aggregate
AggregateOfCompoundChecker.java
TestAggregateChecker.java
compound
AnotherCompoundChecker.java
AnotherCompoundCheckerAnnotatedTypeFactory.java
CompoundChecker.java
CompoundCheckerAnnotatedTypeFactory.java
qual
ACCBottom.java
ACCTop.java
CCBottom.java
CCTop.java
defaulting
DefaultingLowerBoundAnnotatedTypeFactory.java
DefaultingLowerBoundChecker.java
DefaultingUpperBoundAnnotatedTypeFactory.java
DefaultingUpperBoundChecker.java
LowerBoundQual.java
UpperBoundQual.java
flowexpression
FlowExpressionAnnotatedTypeFactory.java
FlowExpressionChecker.java
qual
FEBot.java
FETop.java
FlowExp.java
lib
UncheckedByteCode.java
VarArgMethods.java
nontopdefault
NTDAnnotatedTypeFactory.java
NTDChecker.java
NTDVisitor.java
qual
NTDBottom.java
NTDMiddle.java
NTDSide.java
NTDTop.java
reflection
ReflectionTestAnnotatedTypeFactory.java
ReflectionTestChecker.java
ReflectionTestVisitor.java
qual
PolyReflection.java
ReflectBottom.java
Sibling1.java
Sibling2.java
Top.java
supportedquals
SupportedQualsChecker.java
qual
BottomQualifier.java
NotQualifier.java
Qualifier.java
util
AnnoWithStringArg.java
Critical.java
Encrypted.java
EnsuresOdd.java
EnsuresOddIf.java
Even.java
FactoryTestChecker.java
FlowTestAnnotatedTypeFactory.java
FlowTestChecker.java
MonotonicOdd.java
Odd.java
PatternA.java
PatternAB.java
PatternAC.java
PatternB.java
PatternBC.java
PatternBottomFull.java
PatternBottomPartial.java
PatternC.java
PatternUnknown.java
PolyEncrypted.java
RequiresOdd.java
SubQual.java
SuperQual.java
TestChecker.java
Value.java
package-info.java
wholeprograminference
WholeProgramInferenceTestAnnotatedTypeFactory.java
WholeProgramInferenceTestChecker.java
WholeProgramInferenceTestVisitor.java
qual
DefaultType.java
ImplicitAnno.java
Parent.java
Sibling1.java
Sibling2.java
SiblingWithFields.java
ToIgnore.java
Top.java
WholeProgramInferenceBottom.java
tests
AggregateTest.java
AliasingTest.java
AnnotatedForTest.java
AnnotationBuilderTest.java
ClassValTest.java
CompoundCheckerTest.java
DefaultingLowerBoundTest.java
DefaultingUpperBoundTest.java
Flow2Test.java
FlowExpressionCheckerTest.java
FlowTest.java
FrameworkTest.java
LubGlbTest.java
MethodValTest.java
NonTopDefaultTest.java
PolyAllTest.java
PuritySuggestionsTest.java
RangeTest.java
ReflectionTest.java
ReportModifiersTest.java
ReportTest.java
ReportTreeKindsTest.java
SubtypingEncryptedTest.java
SubtypingStringPatternsFullTest.java
SubtypingStringPatternsPartialTest.java
SupportedQualsTest.java
TreeParserTest.java
ValueTest.java
WholeProgramInferenceTest.java
WholeProgramInferenceValidationTest.java
stringpatterns
stringpatterns-full
StringPatternsUsage.java
stringpatterns-partial
StringPatternsUsage.java
subtyping
InvariantArrays.java
Poly.java
PrimArrayNewError.java
Simple.java
ThisType.java
ThrowCatch.java
UnusedTypes.java
test-lubglb
lubglb
LubGlbAnnotatedTypeFactory.java
LubGlbChecker.java
quals
A.java
B.java
C.java
D.java
E.java
F.java
Poly.java
test-polyall
polyall
PolyAllAnnotatedTypeFactory.java
PolyAllChecker.java
PolyAllVisitor.java
quals
H1Bot.java
H1Invalid.java
H1Poly.java
H1S1.java
H1S2.java
H1Top.java
H2Bot.java
H2Poly.java
H2S1.java
H2S2.java
H2Top.java
value
ArrayInit.java
ArrayIntro.java
Basics.java
Binaries.java
Boxing.java
ClassNotFound.java
CompoundAssignment.java
DivideByZero.java
EmptyAnnotationArgument.java
EnumValue.java
ExceptionTest.java
Fields.java
GTETransferBug.java
Issue1229.java
LengthTransferForMinLen.java
LiteralArray.java
LubToRange.java
MLEqualTo.java
Methods.java
MinLenConstants.java
MinLenEqTransfer.java
MinLenFieldInvar.java
MinLenGTETransfer.java
MinLenGTTransfer.java
MinLenLTETransfer.java
MinLenLTTransfer.java
MinLenLUB.java
MinLenNEqTransfer.java
MinLenVarargs.java
MultipleBinaryExpressions.java
NegativeArrayLen.java
Overflows.java
Polymorphic.java
Polymorphic2.java
RefineUnknownToIntRange.java
Refinement.java
Refinement2.java
Repo.java
SplitAssignments.java
StaticExTest.java
StringConcats.java
StringValCrash.java
StringValOfArrays.java
Switch.java
TypeCast.java
TypeVars.java
Unaries.java
Underflows.java
VarArgRe.java
WildcardIn.java
whole-program-inference
non-annotated
AnnotationWithFieldTest.java
CompoundTypeTest.java
ConstructorTest.java
DefaultsTest.java
ExpectedErrors.java
IgnoreMetaAnnotationTest1.java
ImplicitAnnosTest.java
InheritanceTest.java
LUBAssignmentTest.java
MethodParameterInferenceTest.java
MethodReturnTest.java
OverriddenMethodsTest.java
ParameterInferenceTest.java
PublicFieldTest.java
StringConcatenationTest.java
TypeVariablesTest.java
TypeVariablesTest2.java
TypeVariablesTest3.java
javacutil
src
org
checkerframework
javacutil
AbstractTypeProcessor.java
AnnotationProvider.java
AnnotationUtils.java
BasicAnnotationProvider.java
BasicTypeProcessor.java
CollectionUtils.java
ElementUtils.java
ErrorHandler.java
ErrorReporter.java
InternalUtils.java
Pair.java
Resolver.java
TreeUtils.java
TypeAnnotationUtils.java
TypesUtils.java
dist
ManualTaglet.java
trees
DetachedVarSymbol.java
TreeBuilder.java
TreeParser.java
stubparser
src
org
checkerframework
stubparser
ASTHelper.java
ASTParser.java
ASTParserConstants.java
ASTParserTokenManager.java
JavaCharStream.java
JavaParser.java
ParseException.java
Token.java
TokenMgrError.java
ast
BlockComment.java
Comment.java
CompilationUnit.java
ImportDeclaration.java
IndexUnit.java
LineComment.java
Node.java
PackageDeclaration.java
TypeParameter.java
body
AnnotationDeclaration.java
AnnotationMemberDeclaration.java
BodyDeclaration.java
ClassOrInterfaceDeclaration.java
ConstructorDeclaration.java
EmptyMemberDeclaration.java
EmptyTypeDeclaration.java
EnumConstantDeclaration.java
EnumDeclaration.java
FieldDeclaration.java
InitializerDeclaration.java
JavadocComment.java
MethodDeclaration.java
ModifierSet.java
Parameter.java
TypeDeclaration.java
VariableDeclarator.java
VariableDeclaratorId.java
expr
AnnotationExpr.java
ArrayAccessExpr.java
ArrayCreationExpr.java
ArrayInitializerExpr.java
AssignExpr.java
BinaryExpr.java
BooleanLiteralExpr.java
CastExpr.java
CharLiteralExpr.java
ClassExpr.java
ConditionalExpr.java
DoubleLiteralExpr.java
EnclosedExpr.java
Expression.java
FieldAccessExpr.java
InstanceOfExpr.java
IntegerLiteralExpr.java
IntegerLiteralMinValueExpr.java
LiteralExpr.java
LongLiteralExpr.java
LongLiteralMinValueExpr.java
MarkerAnnotationExpr.java
MemberValuePair.java
MethodCallExpr.java
NameExpr.java
NormalAnnotationExpr.java
NullLiteralExpr.java
ObjectCreationExpr.java
QualifiedNameExpr.java
SingleMemberAnnotationExpr.java
StringLiteralExpr.java
SuperExpr.java
ThisExpr.java
UnaryExpr.java
VariableDeclarationExpr.java
stmt
AssertStmt.java
BlockStmt.java
BreakStmt.java
CatchClause.java
ContinueStmt.java
DoStmt.java
EmptyStmt.java
ExplicitConstructorInvocationStmt.java
ExpressionStmt.java
ForStmt.java
ForeachStmt.java
IfStmt.java
LabeledStmt.java
ReturnStmt.java
Statement.java
SwitchEntryStmt.java
SwitchStmt.java
SynchronizedStmt.java
ThrowStmt.java
TryStmt.java
TypeDeclarationStmt.java
WhileStmt.java
type
ClassOrInterfaceType.java
PrimitiveType.java
ReferenceType.java
Type.java
VoidType.java
WildcardType.java
visitor
DumpVisitor.java
EqualsVisitor.java
GenericVisitor.java
GenericVisitorAdapter.java
ModifierVisitorAdapter.java
SimpleVoidVisitor.java
VoidVisitor.java
VoidVisitorAdapter.java
test
japa
parser
ast
test
AllTests.java
Helper.java
TestAdapters.java
TestDumper.java
TestHashCodeEquals.java
TestNodePositions.java
classes
DumperTestClass.java
JavadocTestClass.java
public class BasicTest { public boolean b; }