Kaladaran/briar
0
0
Fork 0
mirror of https://code.briarproject.org/briar/briar.git synced 2026-02-17 21:29:54 +01:00
Code Issues Projects Releases Wiki Activity

Add safety annotations.

Browse Source
This commit is contained in:
akwizgran
2019-07-01 14:38:28 +01:00
parent 909e946e58
commit be76c5b7db
1 changed files with 6 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
briar-android/src/main/java/org/briarproject/briar/android/LevelRaisingHandler.java
View File

@@ -1,13 +1,19 @@
package org.briarproject.briar.android; package org.briarproject.briar.android;
import org.briarproject.bramble.api.nullsafety.NotNullByDefault;
import java.util.logging.Handler; import java.util.logging.Handler;
import java.util.logging.Level; import java.util.logging.Level;
import java.util.logging.LogRecord; import java.util.logging.LogRecord;
import javax.annotation.concurrent.Immutable;
/** /**
* Log handler that raises all records at or above a given source level to a * Log handler that raises all records at or above a given source level to a
* given destination level. This affects the level seen by subsequent handlers. * given destination level. This affects the level seen by subsequent handlers.
*/ */
@Immutable
@NotNullByDefault
class LevelRaisingHandler extends Handler { class LevelRaisingHandler extends Handler {
private final Level dest; private final Level dest;