Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
checker
/
src
/
main
/
java
/
org
/
checkerframework
/
checker
/
nullness
/
map-assumeKeyFor.astub
blob: cbbcc074d3adb6f17554a23e497e09dd3cd317e1 [
file
] [
log
] [
blame
] [
edit
]
// This stub file is used by the Nullness Checker when
// the user supplies the `-AassumeKeyFor` command-line option.
package
java
.
util
;
public
interface
Map
<
K
,
V
>
{
// No `@Nullable` on the return type.
V
get
(
Map
<
K
,
V
>
this
,
Object
key
);
}