Java源代码

No results found
  • com
    • android
      • installreferrer
        • api
          • InstallReferrerClient.java
          • InstallReferrerClientImpl.java
          • InstallReferrerStateListener.java
          • ReferrerDetails.java
        • BuildConfig.java
        • commons
          • InstallReferrerCommons.java
        • R.java
    • dicelink
      • freemonopolygorolls
        • stickers
          • BuildConfig.java
          • MainActivity.java
          • R.java
    • facebook
      • AccessToken.java
      • AccessTokenCache.java
      • AccessTokenManager.java
      • AccessTokenSource.java
      • AccessTokenTracker.java
      • all
        • All.java
      • appevents
        • aam
          • MetadataIndexer.java
          • MetadataMatcher.java
          • MetadataRule.java
          • MetadataViewObserver.java
        • AccessTokenAppIdPair.java
        • AnalyticsUserIDStore.java
        • AppEvent.java
        • AppEventCollection.java
        • AppEventDiskStore.java
        • AppEventQueue.java
        • AppEventsConstants.java
        • AppEventsLogger.java
        • AppEventsLoggerImpl.java
        • AppEventsManager$start$1.java
        • AppEventsManager.java
        • AppEventStore.java
        • cloudbridge
          • AppEventsCAPIManager.java
          • AppEventsConversionsAPITransformer.java
          • AppEventsConversionsAPITransformerWebRequests$transformGraphRequestAndSendToCAPIGEndPoint$1$1.java
          • AppEventsConversionsAPITransformerWebRequests.java
          • AppEventType.java
          • AppEventUserAndAppDataField.java
          • ConversionsAPICustomEventField.java
          • ConversionsAPIEventName.java
          • ConversionsAPISection.java
          • ConversionsAPIUserAndAppDataField.java
          • CustomEventField.java
          • OtherEventConstants.java
          • SettingsAPIFields.java
        • codeless
          • CodelessLoggingEventListener.java
          • CodelessManager.java
          • CodelessMatcher.java
          • internal
            • Constants.java
            • EventBinding.java
            • ParameterComponent.java
            • PathComponent.java
            • SensitiveUserDataUtils.java
            • UnityReflection.java
            • ViewHierarchy.java
          • RCTCodelessLoggingEventListener.java
          • ViewIndexer.java
          • ViewIndexingTrigger.java
        • eventdeactivation
          • EventDeactivationManager.java
        • FacebookSDKJSInterface.java
        • FlushReason.java
        • FlushResult.java
        • FlushStatistics.java
        • iap
          • InAppPurchaseActivityLifecycleTracker$initializeIfNotInitialized$2.java
          • InAppPurchaseActivityLifecycleTracker.java
          • InAppPurchaseAutoLogger.java
          • InAppPurchaseBillingClientWrapper.java
          • InAppPurchaseEventManager.java
          • InAppPurchaseLoggerManager.java
          • InAppPurchaseManager.java
          • InAppPurchaseSkuDetailsWrapper.java
          • InAppPurchaseUtils.java
        • integrity
          • BlocklistEventsManager.java
          • IntegrityManager.java
          • MACARuleMatchingManager.java
          • ProtectedModeManager.java
          • RedactedEventsManager.java
          • SensitiveParamsManager.java
        • internal
          • ActivityLifecycleTracker.java
          • AppEventsLoggerUtility.java
          • AppEventUtility.java
          • AutomaticAnalyticsLogger.java
          • Constants.java
          • FileDownloadTask.java
          • HashUtils.java
          • SessionInfo.java
          • SessionLogger.java
          • SourceApplicationInfo.java
          • ViewHierarchyConstants.java
        • InternalAppEventsLogger.java
        • ml
          • Model.java
          • ModelManager.java
          • MTensor.java
          • Operator.java
          • Utils.java
        • ondeviceprocessing
          • OnDeviceProcessingManager.java
          • RemoteServiceParametersHelper.java
          • RemoteServiceWrapper.java
        • PersistedEvents.java
        • restrictivedatafilter
          • RestrictiveDataManager.java
        • SessionEventsState.java
        • suggestedevents
          • FeatureExtractor.java
          • PredictionHistoryManager.java
          • SuggestedEventsManager.java
          • SuggestedEventViewHierarchy.java
          • ViewObserver.java
          • ViewOnClickListener.java
        • UserDataStore.java
      • applinks
        • AppLinkData.java
        • AppLinks.java
        • BuildConfig.java
        • FacebookAppLinkResolver.java
        • R.java
      • AuthenticationToken.java
      • AuthenticationTokenCache.java
      • AuthenticationTokenClaims.java
      • AuthenticationTokenHeader.java
      • AuthenticationTokenManager.java
      • AuthenticationTokenTracker.java
      • bolts
        • AggregateException.java
        • AndroidExecutors.java
        • AppLink.java
        • AppLinkResolver.java
        • AppLinks.java
        • BoltsExecutors.java
        • BuildConfig.java
        • CancellationToken.java
        • CancellationTokenRegistration.java
        • CancellationTokenSource.java
        • Continuation.java
        • ExecutorException.java
        • R.java
        • Task.java
        • TaskCompletionSource.java
        • UnobservedErrorNotifier.java
        • UnobservedTaskException.java
      • BuildConfig.java
      • CallbackManager.java
      • core
        • BuildConfig.java
        • Core.java
        • R.java
      • CurrentAccessTokenExpirationBroadcastReceiver.java
      • CustomTabActivity.java
      • CustomTabMainActivity.java
      • devicerequests
        • internal
          • DeviceRequestsHelper.java
      • FacebookActivity.java
      • FacebookAuthorizationException.java
      • FacebookBroadcastReceiver.java
      • FacebookButtonBase.java
      • FacebookCallback.java
      • FacebookContentProvider.java
      • FacebookDialog.java
      • FacebookDialogException.java
      • FacebookException.java
      • FacebookGraphResponseException.java
      • FacebookOperationCanceledException.java
      • FacebookRequestError.java
      • FacebookSdk.java
      • FacebookSdkNotInitializedException.java
      • FacebookSdkVersion.java
      • FacebookServiceException.java
      • gamingservices
        • BuildConfig.java
        • cloudgaming
          • AppToUserNotificationSender.java
          • CloudGameLoginHandler.java
          • DaemonReceiver.java
          • DaemonRequest.java
          • GameFeaturesLibrary.java
          • InAppAdLibrary.java
          • InAppPurchaseLibrary.java
          • internal
            • SDKAnalyticsEvents.java
            • SDKConstants.java
            • SDKLogger.java
            • SDKMessageEnum.java
            • SDKShareIntentEnum.java
          • MediaUploadCallback.java
          • PlayableAdsLibrary.java
        • ContextChooseDialog.java
        • ContextCreateDialog.java
        • ContextSwitchDialog.java
        • CustomUpdate.java
        • FriendFinderDialog.java
        • GameRequestDialog.java
        • GamingContext.java
        • GamingGroupIntegration.java
        • GamingImageUploader.java
        • GamingPayload.java
        • GamingServices.java
        • GamingVideoUploader.java
        • GraphAPIException.java
        • internal
          • DateFormatter.java
          • GamingMediaUploader.java
          • TournamentJoinDialogURIBuilder.java
          • TournamentScoreType.java
          • TournamentShareDialogURIBuilder.java
          • TournamentSortOrder.java
        • InvalidExpirationDateException.java
        • InvalidScoreTypeException.java
        • model
          • ContextChooseContent.java
          • ContextCreateContent.java
          • ContextSwitchContent.java
          • CustomUpdateContent.java
          • CustomUpdateContentKt.java
          • CustomUpdateLocalizedText.java
          • CustomUpdateMedia.java
          • CustomUpdateMediaInfo.java
        • OpenGamingMediaDialog.java
        • R.java
        • Tournament.java
        • TournamentConfig.java
        • TournamentFetcher.java
        • TournamentFetcherKt.java
        • TournamentJoinDialog.java
        • TournamentShareDialog.java
        • TournamentUpdater.java
        • TournamentUpdaterKt.java
      • GraphRequest.java
      • GraphRequestAsyncTask.java
      • GraphRequestBatch.java
      • GraphResponse.java
      • HttpMethod.java
      • internal
        • AnalyticsEvents.java
        • AppCall.java
        • AttributionIdentifiers.java
        • BoltsMeasurementEventListener.java
        • BundleJSONConverter.java
        • CallbackManagerImpl.java
        • CollectionMapper.java
        • CustomTab.java
        • CustomTabUtils.java
        • DialogFeature.java
        • DialogPresenter.java
        • FacebookDialogBase.java
        • FacebookDialogFragment.java
        • FacebookInitProvider.java
        • FacebookRequestErrorClassification.java
        • FacebookSignatureValidator.java
        • FacebookWebFallbackDialog.java
        • FeatureManager.java
        • FetchedAppGateKeepersManager.java
        • FetchedAppSettings.java
        • FetchedAppSettingsManager.java
        • FileLruCache.java
        • FragmentWrapper.java
        • GamingAction.java
        • gatekeeper
          • GateKeeper.java
          • GateKeeperRuntimeCache.java
          • GateKeeperRuntimeCacheKt.java
        • ImageDownloader.java
        • ImageRequest.java
        • ImageResponse.java
        • ImageResponseCache.java
        • InstagramCustomTab.java
        • InstallReferrerUtil.java
        • instrument
          • anrreport
            • ANRDetector.java
            • ANRHandler.java
          • crashreport
            • CrashHandler.java
          • crashshield
            • AutoHandleExceptions.java
            • CrashShieldHandler.java
            • NoAutoExceptionHandling.java
          • errorreport
            • ErrorReportData.java
            • ErrorReportHandler.java
          • ExceptionAnalyzer.java
          • InstrumentData.java
          • InstrumentManager.java
          • InstrumentUtility.java
          • threadcheck
            • ThreadCheckHandler.java
        • InternalSettings.java
        • LockOnGetVariable.java
        • Logger.java
        • logging
          • dumpsys
            • EndToEndDumper.java
        • Mutable.java
        • NativeAppCallAttachmentStore.java
        • NativeProtocol.java
        • PlatformServiceClient.java
        • ProfileInformationCache.java
        • qualityvalidation
          • Excuse.java
          • ExcusesForDesignViolations.java
        • security
          • CertificateUtil.java
          • OidcSecurityUtil.java
        • ServerProtocol.java
        • SmartLoginOption.java
        • UrlRedirectCache.java
        • Utility.java
        • Validate.java
        • WebDialog.java
        • WorkQueue.java
      • LegacyTokenHelper.java
      • LoggingBehavior.java
      • login
        • BuildConfig.java
        • CodeChallengeMethod.java
        • CustomTabLoginMethodHandler.java
        • CustomTabPrefetchHelper.java
        • DefaultAudience.java
        • DeviceAuthDialog.java
        • DeviceAuthMethodHandler.java
        • DeviceLoginManager.java
        • GetTokenClient.java
        • GetTokenLoginMethodHandler.java
        • InstagramAppLoginMethodHandler.java
        • KatanaProxyLoginMethodHandler.java
        • Login.java
        • LoginBehavior.java
        • LoginClient.java
        • LoginConfiguration.java
        • LoginFragment.java
        • LoginLogger.java
        • LoginManager$AndroidxActivityResultRegistryOwnerStartActivityDelegate$startActivityForResult$LauncherHolder.java
        • LoginManager.java
        • LoginMethodHandler.java
        • LoginResult.java
        • LoginStatusClient.java
        • LoginTargetApp.java
        • NativeAppLoginMethodHandler.java
        • NonceUtil.java
        • PKCEUtil.java
        • R.java
        • StartActivityDelegate.java
        • WebLoginMethodHandler.java
        • WebViewLoginMethodHandler.java
        • widget
          • DeviceLoginButton.java
          • LoginButton.java
          • ProfilePictureView.java
          • ToolTipPopup.java
      • LoginStatusCallback.java
      • messenger
        • BuildConfig.java
        • Messenger.java
        • MessengerThreadParams.java
        • MessengerUtils.java
        • R.java
        • ShareToMessengerParams.java
        • ShareToMessengerParamsBuilder.java
      • ppml
        • receiver
          • IReceiverService.java
      • Profile.java
      • ProfileCache.java
      • ProfileManager.java
      • ProfileTracker.java
      • ProgressNoopOutputStream.java
      • ProgressOutputStream.java
      • R.java
      • RequestOutputStream.java
      • RequestProgress.java
      • share
        • BuildConfig.java
        • internal
          • CameraEffectFeature.java
          • CameraEffectJSONUtility.java
          • GameRequestValidation.java
          • LegacyNativeDialogParameters.java
          • MessageDialogFeature.java
          • NativeDialogParameters.java
          • ResultProcessor.java
          • ShareConstants.java
          • ShareContentValidation.java
          • ShareDialogFeature.java
          • ShareFeedContent.java
          • ShareInternalUtility.java
          • ShareStoryFeature.java
          • VideoUploader.java
          • WebDialogParameters.java
        • model
          • AppGroupCreationContent.java
          • CameraEffectArguments.java
          • CameraEffectTextures.java
          • GameRequestContent.java
          • ShareCameraEffectContent.java
          • ShareContent.java
          • ShareHashtag.java
          • ShareLinkContent.java
          • ShareMedia.java
          • ShareMediaContent.java
          • ShareMessengerActionButton.java
          • ShareMessengerURLActionButton.java
          • ShareModel.java
          • ShareModelBuilder.java
          • SharePhoto.java
          • SharePhotoContent.java
          • ShareStoryContent.java
          • ShareVideo.java
          • ShareVideoContent.java
        • R.java
        • Share.java
        • ShareApi.java
        • ShareBuilder.java
        • Sharer.java
        • widget
          • GameRequestDialog.java
          • MessageDialog.java
          • SendButton.java
          • ShareButton.java
          • ShareButtonBase.java
          • ShareDialog.java
      • UserSettingsManager.java
      • WebDialog.java
    • google
      • android
        • finsky
          • externalreferrer
            • IGetInstallReferrerService.java
        • ump
          • ConsentDebugSettings.java
          • ConsentForm.java
          • ConsentInformation.java
          • ConsentRequestParameters.java
          • FormError.java
          • UserMessagingPlatform.java
      • errorprone
        • annotations
          • CanIgnoreReturnValue.java
          • CheckReturnValue.java
          • CompatibleWith.java
          • CompileTimeConstant.java
          • concurrent
            • GuardedBy.java
            • LazyInit.java
            • LockMethod.java
            • UnlockMethod.java
          • DoNotCall.java
          • DoNotMock.java
          • FormatMethod.java
          • FormatString.java
          • ForOverride.java
          • Immutable.java
          • IncompatibleModifiers.java
          • InlineMe.java
          • InlineMeValidationDisabled.java
          • Keep.java
          • Modifier.java
          • MustBeClosed.java
          • NoAllocation.java
          • OverridingMethodsMustInvokeSuper.java
          • RequiredModifiers.java
          • RestrictedApi.java
          • SuppressPackageLocation.java
          • Var.java
      • j2objc
        • annotations
          • AutoreleasePool.java
          • J2ObjCIncompatible.java
          • LoopTranslation.java
          • ObjectiveCName.java
          • Property.java
          • ReflectionSupport.java
          • RetainedLocalRef.java
          • RetainedWith.java
          • Weak.java
          • WeakOuter.java
      • thirdparty
        • publicsuffix
          • PublicSuffixPatterns.java
          • PublicSuffixType.java
          • TrieParser.java
  • dev
    • fluttercommunity
      • plus
        • share
          • BuildConfig.java
          • MethodCallHandler.java
          • R.java
          • Share.java
          • ShareFileProvider.java
          • SharePlusPendingIntent.java
          • SharePlusPlugin.java
          • ShareSuccessManager.java
  • io
  • javax
    • annotation
      • CheckForNull.java
      • CheckForSigned.java
      • CheckReturnValue.java
      • concurrent
        • GuardedBy.java
        • Immutable.java
        • NotThreadSafe.java
        • ThreadSafe.java
      • Detainted.java
      • MatchesPattern.java
      • meta
        • Exclusive.java
        • Exhaustive.java
        • TypeQualifier.java
        • TypeQualifierDefault.java
        • TypeQualifierNickname.java
        • TypeQualifierValidator.java
        • When.java
      • Nonnegative.java
      • Nonnull.java
      • Nullable.java
      • OverridingMethodsMustInvokeSuper.java
      • ParametersAreNonnullByDefault.java
      • ParametersAreNullableByDefault.java
      • PropertyKey.java
      • RegEx.java
      • Signed.java
      • Syntax.java
      • Tainted.java
      • Untainted.java
      • WillClose.java
      • WillCloseWhenClosed.java
      • WillNotClose.java
    • inject
      • Inject.java
      • Named.java
      • Provider.java
      • Qualifier.java
      • Scope.java
      • Singleton.java
  • org
    • checkerframework
      • checker
        • builder
          • qual
            • CalledMethods.java
            • NotCalledMethods.java
            • ReturnsReceiver.java
        • calledmethods
          • qual
            • CalledMethods.java
            • CalledMethodsBottom.java
            • CalledMethodsPredicate.java
            • EnsuresCalledMethods.java
            • EnsuresCalledMethodsIf.java
        • compilermsgs
          • qual
            • CompilerMessageKey.java
            • CompilerMessageKeyBottom.java
            • UnknownCompilerMessageKey.java
        • fenum
          • 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
          • qual
            • ConversionCategory.java
            • Format.java
            • FormatBottom.java
            • FormatMethod.java
            • InvalidFormat.java
            • ReturnsFormat.java
            • UnknownFormat.java
        • guieffect
          • qual
            • AlwaysSafe.java
            • PolyUI.java
            • PolyUIEffect.java
            • PolyUIType.java
            • SafeEffect.java
            • SafeType.java
            • UI.java
            • UIEffect.java
            • UIPackage.java
            • UIType.java
        • i18n
          • qual
            • LocalizableKey.java
            • LocalizableKeyBottom.java
            • Localized.java
            • UnknownLocalizableKey.java
            • UnknownLocalized.java
        • i18nformatter
          • qual
            • I18nChecksFormat.java
            • I18nConversionCategory.java
            • I18nFormat.java
            • I18nFormatBottom.java
            • I18nFormatFor.java
            • I18nInvalidFormat.java
            • I18nMakeFormat.java
            • I18nUnknownFormat.java
            • I18nValidFormat.java
        • index
          • qual
            • EnsuresLTLengthOf.java
            • EnsuresLTLengthOfIf.java
            • GTENegativeOne.java
            • HasSubsequence.java
            • IndexFor.java
            • IndexOrHigh.java
            • IndexOrLow.java
            • LengthOf.java
            • LessThan.java
            • LessThanBottom.java
            • LessThanUnknown.java
            • LowerBoundBottom.java
            • LowerBoundUnknown.java
            • LTEqLengthOf.java
            • LTLengthOf.java
            • LTOMLengthOf.java
            • NegativeIndexFor.java
            • NonNegative.java
            • PolyIndex.java
            • PolyLength.java
            • PolyLowerBound.java
            • PolySameLen.java
            • PolyUpperBound.java
            • Positive.java
            • SameLen.java
            • SameLenBottom.java
            • SameLenUnknown.java
            • SearchIndexBottom.java
            • SearchIndexFor.java
            • SearchIndexUnknown.java
            • SubstringIndexBottom.java
            • SubstringIndexFor.java
            • SubstringIndexUnknown.java
            • UpperBoundBottom.java
            • UpperBoundUnknown.java
        • initialization
          • qual
            • FBCBottom.java
            • Initialized.java
            • NotOnlyInitialized.java
            • UnderInitialization.java
            • UnknownInitialization.java
        • interning
          • qual
            • CompareToMethod.java
            • EqualsMethod.java
            • FindDistinct.java
            • Interned.java
            • InternedDistinct.java
            • InternMethod.java
            • PolyInterned.java
            • UnknownInterned.java
            • UsesObjectEquals.java
        • lock
          • qual
            • EnsuresLockHeld.java
            • EnsuresLockHeldIf.java
            • GuardedBy.java
            • GuardedByBottom.java
            • GuardedByUnknown.java
            • GuardSatisfied.java
            • Holding.java
            • LockHeld.java
            • LockingFree.java
            • LockPossiblyHeld.java
            • MayReleaseLocks.java
            • ReleasesNoLocks.java
        • nullness
          • qual
            • AssertNonNullIfNonNull.java
            • EnsuresKeyFor.java
            • EnsuresKeyForIf.java
            • EnsuresNonNull.java
            • EnsuresNonNullIf.java
            • KeyFor.java
            • KeyForBottom.java
            • MonotonicNonNull.java
            • NonNull.java
            • Nullable.java
            • PolyKeyFor.java
            • PolyNull.java
            • RequiresNonNull.java
            • UnknownKeyFor.java
        • optional
          • qual
            • MaybePresent.java
            • OptionalBottom.java
            • PolyPresent.java
            • Present.java
        • propkey
          • qual
            • PropertyKey.java
            • PropertyKeyBottom.java
            • UnknownPropertyKey.java
        • regex
          • qual
            • PartialRegex.java
            • PolyRegex.java
            • Regex.java
            • RegexBottom.java
            • UnknownRegex.java
        • signature
          • qual
            • ArrayWithoutPackage.java
            • BinaryName.java
            • BinaryNameOrPrimitiveType.java
            • BinaryNameWithoutPackage.java
            • CanonicalName.java
            • CanonicalNameAndBinaryName.java
            • CanonicalNameOrEmpty.java
            • CanonicalNameOrPrimitiveType.java
            • ClassGetName.java
            • ClassGetSimpleName.java
            • DotSeparatedIdentifiers.java
            • DotSeparatedIdentifiersOrPrimitiveType.java
            • FieldDescriptor.java
            • FieldDescriptorForPrimitive.java
            • FieldDescriptorWithoutPackage.java
            • FqBinaryName.java
            • FullyQualifiedName.java
            • Identifier.java
            • IdentifierOrPrimitiveType.java
            • InternalForm.java
            • MethodDescriptor.java
            • PolySignature.java
            • PrimitiveType.java
            • SignatureBottom.java
            • SignatureUnknown.java
        • signedness
          • qual
            • PolySigned.java
            • Signed.java
            • SignednessBottom.java
            • SignednessGlb.java
            • SignedPositive.java
            • SignedPositiveFromUnsigned.java
            • UnknownSignedness.java
            • Unsigned.java
        • tainting
          • qual
            • PolyTainted.java
            • Tainted.java
            • Untainted.java
        • units
          • qual
            • A.java
            • Acceleration.java
            • Angle.java
            • Area.java
            • C.java
            • cd.java
            • Current.java
            • degrees.java
            • g.java
            • h.java
            • K.java
            • kg.java
            • km.java
            • km2.java
            • kmPERh.java
            • Length.java
            • Luminance.java
            • m.java
            • m2.java
            • Mass.java
            • min.java
            • MixedUnits.java
            • mm.java
            • mm2.java
            • mol.java
            • mPERs.java
            • mPERs2.java
            • PolyUnit.java
            • Prefix.java
            • radians.java
            • s.java
            • Speed.java
            • Substance.java
            • Temperature.java
            • Time.java
            • UnitsBottom.java
            • UnitsMultiple.java
            • UnitsRelations.java
            • UnknownUnits.java
      • common
        • aliasing
          • qual
            • LeakedToResult.java
            • MaybeAliased.java
            • MaybeLeaked.java
            • NonLeaked.java
            • Unique.java
        • initializedfields
          • qual
            • EnsuresInitializedFields.java
            • InitializedFields.java
            • InitializedFieldsBottom.java
            • PolyInitializedFields.java
        • reflection
          • 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
        • returnsreceiver
          • qual
            • BottomThis.java
            • This.java
            • UnknownThis.java
        • subtyping
          • qual
            • Bottom.java
            • Unqualified.java
        • util
          • report
            • qual
              • ReportCall.java
              • ReportCreation.java
              • ReportInherit.java
              • ReportOverride.java
              • ReportReadWrite.java
              • ReportUnqualified.java
              • ReportUse.java
              • ReportWrite.java
        • value
          • qual
            • ArrayLen.java
            • ArrayLenRange.java
            • BoolVal.java
            • BottomVal.java
            • DoubleVal.java
            • EnsuresMinLenIf.java
            • EnumVal.java
            • IntRange.java
            • IntRangeFromGTENegativeOne.java
            • IntRangeFromNonNegative.java
            • IntRangeFromPositive.java
            • IntVal.java
            • MatchesRegex.java
            • MinLen.java
            • MinLenFieldInvariant.java
            • PolyValue.java
            • StaticallyExecutable.java
            • StringVal.java
            • UnknownVal.java
      • dataflow
        • qual
          • Deterministic.java
          • Pure.java
          • SideEffectFree.java
          • TerminatesExecution.java
      • framework
        • qual
          • AnnotatedFor.java
          • CFComment.java
          • ConditionalPostconditionAnnotation.java
          • Covariant.java
          • DefaultFor.java
          • DefaultQualifier.java
          • DefaultQualifierForUse.java
          • DefaultQualifierInHierarchy.java
          • EnsuresQualifier.java
          • EnsuresQualifierIf.java
          • FieldInvariant.java
          • FromByteCode.java
          • FromStubFile.java
          • HasQualifierParameter.java
          • IgnoreInWholeProgramInference.java
          • InheritedAnnotation.java
          • InvisibleQualifier.java
          • JavaExpression.java
          • LiteralKind.java
          • MonotonicQualifier.java
          • NoDefaultQualifierForUse.java
          • NoQualifierParameter.java
          • PolymorphicQualifier.java
          • PostconditionAnnotation.java
          • PreconditionAnnotation.java
          • PurityUnqualified.java
          • QualifierArgument.java
          • QualifierForLiterals.java
          • RelevantJavaTypes.java
          • RequiresQualifier.java
          • StubFiles.java
          • SubtypeOf.java
          • TargetLocations.java
          • TypeKind.java
          • TypeUseLocation.java
          • Unused.java
          • UpperBoundFor.java
    • intellij
  • _COROUTINE
    • ArtificialStackFrames.java
    • CoroutineDebuggingKt.java
    • _BOUNDARY.java
    • _CREATION.java

File: