org.sosy_lab.java_smt.test

Class JavaOptionalSubject

java.lang.Object

com.google.common.truth.Subject<JavaOptionalSubject,Optional<?>>

org.sosy_lab.java_smt.test.JavaOptionalSubject

public class JavaOptionalSubject
extends Subject<JavaOptionalSubject,Optional<?>>

Optional subject for Java8 Optional. Mirrors GuavaOptionalSubject, yet works for another kind of optional.

Field Summary

Fields inherited from class com.google.common.truth.Subject

failureStrategy

Method Summary

Modifier and Type	Method and Description
void	hasValue(Object expected)
void	isAbsent()
void	isPresent()

Methods inherited from class com.google.common.truth.Subject

check, equals, fail, fail, fail, failWithBadResults, failWithCustomSubject, failWithoutSubject, failWithRawMessage, getDisplaySubject, getSubject, hashCode, internalCustomName, isAnyOf, isEqualTo, isIn, isInstanceOf, isNoneOf, isNotEqualTo, isNotIn, isNotInstanceOf, isNotNull, isNotSameAs, isNull, isSameAs, named

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Method Detail

isPresent

public void isPresent()

isAbsent

public void isAbsent()

hasValue

public void hasValue(Object expected)