Created
January 30, 2018 03:16
-
-
Save zhgqthomas/0790a21d8d7bb2198347e5b5a4b86754 to your computer and use it in GitHub Desktop.
Assert class from Facebook infer
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
/* | |
* Copyright (c) 2004 - present Facebook, Inc. | |
* All rights reserved. | |
* | |
* This source code is licensed under the BSD style license found in the | |
* LICENSE file in the root directory of this source tree. An additional grant | |
* of patent rights can be found in the PATENTS file in the same directory. | |
*/ | |
package com.facebook.infer.annotation; | |
import javax.annotation.Nullable; | |
import java.util.List; | |
import java.util.Map; | |
public class Assertions { | |
public static <T> T assumeNotNull(@Nullable T object) { | |
return object; | |
} | |
public static <T> T assumeNotNull(@Nullable T object, String explanation) { | |
return object; | |
} | |
public static <T> T assertNotNull(@Nullable T object) { | |
if (object == null) { | |
throw new AssertionError(); | |
} | |
return object; | |
} | |
public static <T> T assertNotNull(@Nullable T object, String explanation) { | |
if (object == null) { | |
throw new AssertionError(explanation); | |
} | |
return object; | |
} | |
public static <T> T getAssumingNotNull(List<T> list, int index) { | |
return list.get(index); | |
} | |
public static <T> T getAssertingNotNull(List<T> list, int index) { | |
assertCondition(0 <= index && index < list.size()); | |
return assertNotNull(list.get(index)); | |
} | |
public static <K, V> V getAssumingNotNull(Map<K, V> map, K key) { | |
return map.get(key); | |
} | |
public static <K, V> V getAssertingNotNull(Map<K, V> map, K key) { | |
assertCondition(map.containsKey(key)); | |
return assertNotNull(map.get(key)); | |
} | |
public static void assumeCondition(boolean condition) { | |
} | |
public static void assumeCondition(boolean condition, String explanation) { | |
} | |
public static void assertCondition(boolean condition) { | |
if (!condition) { | |
throw new AssertionError(); | |
} | |
} | |
public static void assertCondition(boolean condition, String explanation) { | |
if (!condition) { | |
throw new AssertionError(explanation); | |
} | |
} | |
public static AssertionError assertUnreachable() { | |
throw new AssertionError(); | |
} | |
public static AssertionError assertUnreachable(String explanation) { | |
throw new AssertionError(explanation); | |
} | |
public static AssertionError assertUnreachable(Exception exception) { | |
throw new AssertionError(exception); | |
} | |
} |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment