forked from lastnpe/eclipse-null-eea-augments
-
-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Add more annotations to CompletableFuture (lastnpe#30)
The change of the existing mapping of "supplyAsync" was motived by the fact that the result never is null and thus the return value should be annotated with 'L1' instead of just 'L'.
- Loading branch information
Showing
1 changed file
with
143 additions
and
2 deletions.
There are no files selected for viewing
145 changes: 143 additions & 2 deletions
145
libraries/java/java/util/concurrent/CompletableFuture.eea
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,7 +1,148 @@ | ||
| class java/util/concurrent/CompletableFuture | ||
| acceptEither | ||
| (Ljava/util/concurrent/CompletionStage<+TT;>;Ljava/util/function/Consumer<-TT;>;)Ljava/util/concurrent/CompletableFuture<Ljava/lang/Void;>; | ||
| (L1java/util/concurrent/CompletionStage<+TT;>;L1java/util/function/Consumer<-TT;>;)L1java/util/concurrent/CompletableFuture<Ljava/lang/Void;>; | ||
| acceptEitherAsync | ||
| (Ljava/util/concurrent/CompletionStage<+TT;>;Ljava/util/function/Consumer<-TT;>;)Ljava/util/concurrent/CompletableFuture<Ljava/lang/Void;>; | ||
| (L1java/util/concurrent/CompletionStage<+TT;>;L1java/util/function/Consumer<-TT;>;)L1java/util/concurrent/CompletableFuture<Ljava/lang/Void;>; | ||
| acceptEitherAsync | ||
| (Ljava/util/concurrent/CompletionStage<+TT;>;Ljava/util/function/Consumer<-TT;>;Ljava/util/concurrent/Executor;)Ljava/util/concurrent/CompletableFuture<Ljava/lang/Void;>; | ||
| (L1java/util/concurrent/CompletionStage<+TT;>;L1java/util/function/Consumer<-TT;>;L1java/util/concurrent/Executor;)L1java/util/concurrent/CompletableFuture<Ljava/lang/Void;>; | ||
| allOf | ||
| ([Ljava/util/concurrent/CompletableFuture<*>;)Ljava/util/concurrent/CompletableFuture<Ljava/lang/Void;>; | ||
| ([L1java/util/concurrent/CompletableFuture<*>;)L1java/util/concurrent/CompletableFuture<Ljava/lang/Void;>; | ||
| anyOf | ||
| ([Ljava/util/concurrent/CompletableFuture<*>;)Ljava/util/concurrent/CompletableFuture<Ljava/lang/Object;>; | ||
| ([L1java/util/concurrent/CompletableFuture<*>;)L1java/util/concurrent/CompletableFuture<Ljava/lang/Object;>; | ||
| applyToEither | ||
| <U:Ljava/lang/Object;>(Ljava/util/concurrent/CompletionStage<+TT;>;Ljava/util/function/Function<-TT;TU;>;)Ljava/util/concurrent/CompletableFuture<TU;>; | ||
| <U:Ljava/lang/Object;>(L1java/util/concurrent/CompletionStage<+TT;>;L1java/util/function/Function<-TT;TU;>;)L1java/util/concurrent/CompletableFuture<TU;>; | ||
| applyToEitherAsync | ||
| <U:Ljava/lang/Object;>(Ljava/util/concurrent/CompletionStage<+TT;>;Ljava/util/function/Function<-TT;TU;>;)Ljava/util/concurrent/CompletableFuture<TU;>; | ||
| <U:Ljava/lang/Object;>(L1java/util/concurrent/CompletionStage<+TT;>;L1java/util/function/Function<-TT;TU;>;)L1java/util/concurrent/CompletableFuture<TU;>; | ||
| applyToEitherAsync | ||
| <U:Ljava/lang/Object;>(Ljava/util/concurrent/CompletionStage<+TT;>;Ljava/util/function/Function<-TT;TU;>;Ljava/util/concurrent/Executor;)Ljava/util/concurrent/CompletableFuture<TU;>; | ||
| <U:Ljava/lang/Object;>(L1java/util/concurrent/CompletionStage<+TT;>;L1java/util/function/Function<-TT;TU;>;L1java/util/concurrent/Executor;)L1java/util/concurrent/CompletableFuture<TU;>; | ||
| completeExceptionally | ||
| (Ljava/lang/Throwable;)Z | ||
| (L1java/lang/Throwable;)Z | ||
| completedFuture | ||
| <U:Ljava/lang/Object;>(TU;)Ljava/util/concurrent/CompletableFuture<TU;>; | ||
| <U:Ljava/lang/Object;>(T0U;)L1java/util/concurrent/CompletableFuture<TU;>; | ||
| exceptionally | ||
| (Ljava/util/function/Function<Ljava/lang/Throwable;+TT;>;)Ljava/util/concurrent/CompletableFuture<TT;>; | ||
| (L1java/util/function/Function<Ljava/lang/Throwable;+TT;>;)L1java/util/concurrent/CompletableFuture<TT;>; | ||
| get | ||
| (JLjava/util/concurrent/TimeUnit;)TT; | ||
| (JL1java/util/concurrent/TimeUnit;)TT; | ||
| handle | ||
| <U:Ljava/lang/Object;>(Ljava/util/function/BiFunction<-TT;Ljava/lang/Throwable;+TU;>;)Ljava/util/concurrent/CompletableFuture<TU;>; | ||
| <U:Ljava/lang/Object;>(L1java/util/function/BiFunction<-TT;Ljava/lang/Throwable;+TU;>;)L1java/util/concurrent/CompletableFuture<TU;>; | ||
| handleAsync | ||
| <U:Ljava/lang/Object;>(Ljava/util/function/BiFunction<-TT;Ljava/lang/Throwable;+TU;>;)Ljava/util/concurrent/CompletableFuture<TU;>; | ||
| <U:Ljava/lang/Object;>(L1java/util/function/BiFunction<-TT;Ljava/lang/Throwable;+TU;>;)L1java/util/concurrent/CompletableFuture<TU;>; | ||
| handleAsync | ||
| <U:Ljava/lang/Object;>(Ljava/util/function/BiFunction<-TT;Ljava/lang/Throwable;+TU;>;Ljava/util/concurrent/Executor;)Ljava/util/concurrent/CompletableFuture<TU;>; | ||
| <U:Ljava/lang/Object;>(Ljava/util/function/BiFunction<-TT;Ljava/lang/Throwable;+TU;>;Ljava/util/concurrent/Executor;)L1java/util/concurrent/CompletableFuture<TU;>; | ||
| obtrudeException | ||
| (Ljava/lang/Throwable;)V | ||
| (L1java/lang/Throwable;)V | ||
| runAfterBoth | ||
| (Ljava/util/concurrent/CompletionStage<*>;Ljava/lang/Runnable;)Ljava/util/concurrent/CompletableFuture<Ljava/lang/Void;>; | ||
| (L1java/util/concurrent/CompletionStage<*>;L1java/lang/Runnable;)L1java/util/concurrent/CompletableFuture<Ljava/lang/Void;>; | ||
| runAfterBothAsync | ||
| (Ljava/util/concurrent/CompletionStage<*>;Ljava/lang/Runnable;)Ljava/util/concurrent/CompletableFuture<Ljava/lang/Void;>; | ||
| (L1java/util/concurrent/CompletionStage<*>;L1java/lang/Runnable;)L1java/util/concurrent/CompletableFuture<Ljava/lang/Void;>; | ||
| runAfterBothAsync | ||
| (Ljava/util/concurrent/CompletionStage<*>;Ljava/lang/Runnable;Ljava/util/concurrent/Executor;)Ljava/util/concurrent/CompletableFuture<Ljava/lang/Void;>; | ||
| (L1java/util/concurrent/CompletionStage<*>;L1java/lang/Runnable;L1java/util/concurrent/Executor;)L1java/util/concurrent/CompletableFuture<Ljava/lang/Void;>; | ||
| runAfterEither | ||
| (Ljava/util/concurrent/CompletionStage<*>;Ljava/lang/Runnable;)Ljava/util/concurrent/CompletableFuture<Ljava/lang/Void;>; | ||
| (L1java/util/concurrent/CompletionStage<*>;L1java/lang/Runnable;)L1java/util/concurrent/CompletableFuture<Ljava/lang/Void;>; | ||
| runAfterEitherAsync | ||
| (Ljava/util/concurrent/CompletionStage<*>;Ljava/lang/Runnable;)Ljava/util/concurrent/CompletableFuture<Ljava/lang/Void;>; | ||
| (L1java/util/concurrent/CompletionStage<*>;L1java/lang/Runnable;)L1java/util/concurrent/CompletableFuture<Ljava/lang/Void;>; | ||
| runAfterEitherAsync | ||
| (Ljava/util/concurrent/CompletionStage<*>;Ljava/lang/Runnable;Ljava/util/concurrent/Executor;)Ljava/util/concurrent/CompletableFuture<Ljava/lang/Void;>; | ||
| (L1java/util/concurrent/CompletionStage<*>;L1java/lang/Runnable;L1java/util/concurrent/Executor;)L1java/util/concurrent/CompletableFuture<Ljava/lang/Void;>; | ||
| runAsync | ||
| (Ljava/lang/Runnable;)Ljava/util/concurrent/CompletableFuture<Ljava/lang/Void;>; | ||
| (L1java/lang/Runnable;)L1java/util/concurrent/CompletableFuture<Ljava/lang/Void;>; | ||
| runAsync | ||
| (Ljava/lang/Runnable;Ljava/util/concurrent/Executor;)Ljava/util/concurrent/CompletableFuture<Ljava/lang/Void;>; | ||
| (L1java/lang/Runnable;L1java/util/concurrent/Executor;)L1java/util/concurrent/CompletableFuture<Ljava/lang/Void;>; | ||
| supplyAsync | ||
| <U:Ljava/lang/Object;>(Ljava/util/function/Supplier<TU;>;)Ljava/util/concurrent/CompletableFuture<TU;>; | ||
| <U:Ljava/lang/Object;>(Ljava/util/function/Supplier<TU;>;)L1java/util/concurrent/CompletableFuture<TU;>; | ||
| <U:Ljava/lang/Object;>(L1java/util/function/Supplier<TU;>;)L1java/util/concurrent/CompletableFuture<TU;>; | ||
| supplyAsync | ||
| <U:Ljava/lang/Object;>(Ljava/util/function/Supplier<TU;>;Ljava/util/concurrent/Executor;)Ljava/util/concurrent/CompletableFuture<TU;>; | ||
| <U:Ljava/lang/Object;>(Ljava/util/function/Supplier<TU;>;Ljava/util/concurrent/Executor;)L1java/util/concurrent/CompletableFuture<TU;>; | ||
| <U:Ljava/lang/Object;>(L1java/util/function/Supplier<TU;>;L1java/util/concurrent/Executor;)L1java/util/concurrent/CompletableFuture<TU;>; | ||
| thenAccept | ||
| (Ljava/util/function/Consumer<-TT;>;)Ljava/util/concurrent/CompletableFuture<Ljava/lang/Void;>; | ||
| (L1java/util/function/Consumer<-TT;>;)L1java/util/concurrent/CompletableFuture<Ljava/lang/Void;>; | ||
| thenAcceptAsync | ||
| (Ljava/util/function/Consumer<-TT;>;)Ljava/util/concurrent/CompletableFuture<Ljava/lang/Void;>; | ||
| (L1java/util/function/Consumer<-TT;>;)L1java/util/concurrent/CompletableFuture<Ljava/lang/Void;>; | ||
| thenAcceptAsync | ||
| (Ljava/util/function/Consumer<-TT;>;Ljava/util/concurrent/Executor;)Ljava/util/concurrent/CompletableFuture<Ljava/lang/Void;>; | ||
| (L1java/util/function/Consumer<-TT;>;L1java/util/concurrent/Executor;)L1java/util/concurrent/CompletableFuture<Ljava/lang/Void;>; | ||
| thenAcceptBoth | ||
| <U:Ljava/lang/Object;>(Ljava/util/concurrent/CompletionStage<+TU;>;Ljava/util/function/BiConsumer<-TT;-TU;>;)Ljava/util/concurrent/CompletableFuture<Ljava/lang/Void;>; | ||
| <U:Ljava/lang/Object;>(L1java/util/concurrent/CompletionStage<+TU;>;L1java/util/function/BiConsumer<-TT;-TU;>;)L1java/util/concurrent/CompletableFuture<Ljava/lang/Void;>; | ||
| thenAcceptBothAsync | ||
| <U:Ljava/lang/Object;>(Ljava/util/concurrent/CompletionStage<+TU;>;Ljava/util/function/BiConsumer<-TT;-TU;>;)Ljava/util/concurrent/CompletableFuture<Ljava/lang/Void;>; | ||
| <U:Ljava/lang/Object;>(L1java/util/concurrent/CompletionStage<+TU;>;L1java/util/function/BiConsumer<-TT;-TU;>;)L1java/util/concurrent/CompletableFuture<Ljava/lang/Void;>; | ||
| thenAcceptBothAsync | ||
| <U:Ljava/lang/Object;>(Ljava/util/concurrent/CompletionStage<+TU;>;Ljava/util/function/BiConsumer<-TT;-TU;>;Ljava/util/concurrent/Executor;)Ljava/util/concurrent/CompletableFuture<Ljava/lang/Void;>; | ||
| <U:Ljava/lang/Object;>(L1java/util/concurrent/CompletionStage<+TU;>;L1java/util/function/BiConsumer<-TT;-TU;>;L1java/util/concurrent/Executor;)L1java/util/concurrent/CompletableFuture<Ljava/lang/Void;>; | ||
| thenApply | ||
| <U:Ljava/lang/Object;>(Ljava/util/function/Function<-TT;+TU;>;)Ljava/util/concurrent/CompletableFuture<TU;>; | ||
| <U:Ljava/lang/Object;>(L1java/util/function/Function<-TT;+TU;>;)L1java/util/concurrent/CompletableFuture<TU;>; | ||
| thenApplyAsync | ||
| <U:Ljava/lang/Object;>(Ljava/util/function/Function<-TT;+TU;>;)Ljava/util/concurrent/CompletableFuture<TU;>; | ||
| <U:Ljava/lang/Object;>(L1java/util/function/Function<-TT;+TU;>;)L1java/util/concurrent/CompletableFuture<TU;>; | ||
| thenApplyAsync | ||
| <U:Ljava/lang/Object;>(Ljava/util/function/Function<-TT;+TU;>;Ljava/util/concurrent/Executor;)Ljava/util/concurrent/CompletableFuture<TU;>; | ||
| <U:Ljava/lang/Object;>(L1java/util/function/Function<-TT;+TU;>;L1java/util/concurrent/Executor;)L1java/util/concurrent/CompletableFuture<TU;>; | ||
| thenCombine | ||
| <U:Ljava/lang/Object;V:Ljava/lang/Object;>(Ljava/util/concurrent/CompletionStage<+TU;>;Ljava/util/function/BiFunction<-TT;-TU;+TV;>;)Ljava/util/concurrent/CompletableFuture<TV;>; | ||
| <U:Ljava/lang/Object;V:Ljava/lang/Object;>(L1java/util/concurrent/CompletionStage<+TU;>;L1java/util/function/BiFunction<-TT;-TU;+TV;>;)L1java/util/concurrent/CompletableFuture<TV;>; | ||
| thenCombineAsync | ||
| <U:Ljava/lang/Object;V:Ljava/lang/Object;>(Ljava/util/concurrent/CompletionStage<+TU;>;Ljava/util/function/BiFunction<-TT;-TU;+TV;>;)Ljava/util/concurrent/CompletableFuture<TV;>; | ||
| <U:Ljava/lang/Object;V:Ljava/lang/Object;>(L1java/util/concurrent/CompletionStage<+TU;>;L1java/util/function/BiFunction<-TT;-TU;+TV;>;)L1java/util/concurrent/CompletableFuture<TV;>; | ||
| thenCombineAsync | ||
| <U:Ljava/lang/Object;V:Ljava/lang/Object;>(Ljava/util/concurrent/CompletionStage<+TU;>;Ljava/util/function/BiFunction<-TT;-TU;+TV;>;Ljava/util/concurrent/Executor;)Ljava/util/concurrent/CompletableFuture<TV;>; | ||
| <U:Ljava/lang/Object;V:Ljava/lang/Object;>(L1java/util/concurrent/CompletionStage<+TU;>;L1java/util/function/BiFunction<-TT;-TU;+TV;>;L1java/util/concurrent/Executor;)L1java/util/concurrent/CompletableFuture<TV;>; | ||
| thenCompose | ||
| <U:Ljava/lang/Object;>(Ljava/util/function/Function<-TT;+Ljava/util/concurrent/CompletionStage<TU;>;>;)Ljava/util/concurrent/CompletableFuture<TU;>; | ||
| <U:Ljava/lang/Object;>(L1java/util/function/Function<-TT;+Ljava/util/concurrent/CompletionStage<TU;>;>;)L1java/util/concurrent/CompletableFuture<TU;>; | ||
| thenComposeAsync | ||
| <U:Ljava/lang/Object;>(Ljava/util/function/Function<-TT;+Ljava/util/concurrent/CompletionStage<TU;>;>;)Ljava/util/concurrent/CompletableFuture<TU;>; | ||
| <U:Ljava/lang/Object;>(L1java/util/function/Function<-TT;+Ljava/util/concurrent/CompletionStage<TU;>;>;)L1java/util/concurrent/CompletableFuture<TU;>; | ||
| thenComposeAsync | ||
| <U:Ljava/lang/Object;>(Ljava/util/function/Function<-TT;+Ljava/util/concurrent/CompletionStage<TU;>;>;Ljava/util/concurrent/Executor;)Ljava/util/concurrent/CompletableFuture<TU;>; | ||
| <U:Ljava/lang/Object;>(L1java/util/function/Function<-TT;+Ljava/util/concurrent/CompletionStage<TU;>;>;L1java/util/concurrent/Executor;)L1java/util/concurrent/CompletableFuture<TU;>; | ||
| thenRun | ||
| (Ljava/lang/Runnable;)Ljava/util/concurrent/CompletableFuture<Ljava/lang/Void;>; | ||
| (L1java/lang/Runnable;)L1java/util/concurrent/CompletableFuture<Ljava/lang/Void;>; | ||
| thenRunAsync | ||
| (Ljava/lang/Runnable;)Ljava/util/concurrent/CompletableFuture<Ljava/lang/Void;>; | ||
| (L1java/lang/Runnable;)L1java/util/concurrent/CompletableFuture<Ljava/lang/Void;>; | ||
| thenRunAsync | ||
| (Ljava/lang/Runnable;Ljava/util/concurrent/Executor;)Ljava/util/concurrent/CompletableFuture<Ljava/lang/Void;>; | ||
| (L1java/lang/Runnable;L1java/util/concurrent/Executor;)L1java/util/concurrent/CompletableFuture<Ljava/lang/Void;>; | ||
| toCompletableFuture | ||
| ()Ljava/util/concurrent/CompletableFuture<TT;>; | ||
| ()L1java/util/concurrent/CompletableFuture<TT;>; | ||
| toString | ||
| ()Ljava/lang/String; | ||
| ()L1java/lang/String; | ||
| whenComplete | ||
| (Ljava/util/function/BiConsumer<-TT;-Ljava/lang/Throwable;>;)Ljava/util/concurrent/CompletableFuture<TT;>; | ||
| (L1java/util/function/BiConsumer<-TT;-Ljava/lang/Throwable;>;)L1java/util/concurrent/CompletableFuture<TT;>; | ||
| whenCompleteAsync | ||
| (Ljava/util/function/BiConsumer<-TT;-Ljava/lang/Throwable;>;)Ljava/util/concurrent/CompletableFuture<TT;>; | ||
| (L1java/util/function/BiConsumer<-TT;-Ljava/lang/Throwable;>;)L1java/util/concurrent/CompletableFuture<TT;>; | ||
| whenCompleteAsync | ||
| (Ljava/util/function/BiConsumer<-TT;-Ljava/lang/Throwable;>;Ljava/util/concurrent/Executor;)Ljava/util/concurrent/CompletableFuture<TT;>; | ||
| (L1java/util/function/BiConsumer<-TT;-Ljava/lang/Throwable;>;Ljava/util/concurrent/Executor;)L1java/util/concurrent/CompletableFuture<TT;>; |