HHH-16515 - Add @nullable annotations to org.hibernate.action.spi
Signed-off-by: Jan Schatteman <jschatte@redhat.com>
This commit is contained in:
parent
0d9ef5444a
commit
924e3883d7
|
@ -524,7 +524,7 @@ checkerFramework {
|
||||||
extraJavacArgs = [
|
extraJavacArgs = [
|
||||||
'-AsuppressWarnings=initialization',
|
'-AsuppressWarnings=initialization',
|
||||||
"-Astubs=${project.rootDir}/checkerstubs",
|
"-Astubs=${project.rootDir}/checkerstubs",
|
||||||
'-AonlyDefs=^org\\.hibernate\\.(jpamodelgen|spi|pretty)\\.'
|
'-AonlyDefs=^org\\.hibernate\\.(jpamodelgen|spi|pretty|action\\.spi)\\.'
|
||||||
]
|
]
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
@ -11,6 +11,8 @@ import java.io.Serializable;
|
||||||
import org.hibernate.HibernateException;
|
import org.hibernate.HibernateException;
|
||||||
import org.hibernate.event.spi.EventSource;
|
import org.hibernate.event.spi.EventSource;
|
||||||
|
|
||||||
|
import org.checkerframework.checker.nullness.qual.Nullable;
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* An operation which may be scheduled for later execution. Usually, the
|
* An operation which may be scheduled for later execution. Usually, the
|
||||||
* operation is a database insert/update/delete, together with required
|
* operation is a database insert/update/delete, together with required
|
||||||
|
@ -47,7 +49,7 @@ public interface Executable {
|
||||||
* @return The after-transaction-completion process, or null if we have no
|
* @return The after-transaction-completion process, or null if we have no
|
||||||
* after-transaction-completion process
|
* after-transaction-completion process
|
||||||
*/
|
*/
|
||||||
AfterTransactionCompletionProcess getAfterTransactionCompletionProcess();
|
@Nullable AfterTransactionCompletionProcess getAfterTransactionCompletionProcess();
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* Get the before-transaction-completion process, if any, for this action.
|
* Get the before-transaction-completion process, if any, for this action.
|
||||||
|
@ -55,7 +57,7 @@ public interface Executable {
|
||||||
* @return The before-transaction-completion process, or null if we have no
|
* @return The before-transaction-completion process, or null if we have no
|
||||||
* before-transaction-completion process
|
* before-transaction-completion process
|
||||||
*/
|
*/
|
||||||
BeforeTransactionCompletionProcess getBeforeTransactionCompletionProcess();
|
@Nullable BeforeTransactionCompletionProcess getBeforeTransactionCompletionProcess();
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* Reconnect to session after deserialization
|
* Reconnect to session after deserialization
|
||||||
|
|
Loading…
Reference in New Issue