Skip to content

Commit 045ce40

Browse files
authored
[java] JSpecify annotations for wrappers (#14396)
Co-authored-by: Puja Jagani <[email protected]> Co-authored-by: Diego Molina <[email protected]> [skip ci]
1 parent b60fb8e commit 045ce40

File tree

2 files changed

+6
-0
lines changed

2 files changed

+6
-0
lines changed

java/src/org/openqa/selenium/WrapsDriver.java

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -17,10 +17,13 @@
1717

1818
package org.openqa.selenium;
1919

20+
import org.jspecify.annotations.NullMarked;
21+
2022
/**
2123
* This interface indicates that the implementing class knows about the driver that contains it and
2224
* can export it.
2325
*/
26+
@NullMarked
2427
@FunctionalInterface
2528
public interface WrapsDriver {
2629
/**

java/src/org/openqa/selenium/WrapsElement.java

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -17,7 +17,10 @@
1717

1818
package org.openqa.selenium;
1919

20+
import org.jspecify.annotations.NullMarked;
21+
2022
/** Indicates that there is an underlying element that can be used */
23+
@NullMarked
2124
@FunctionalInterface
2225
public interface WrapsElement {
2326
WebElement getWrappedElement();

0 commit comments

Comments
 (0)