Package org.checkerframework.checker.optional.util

Class OptionalUtilTest

java.lang.Object

org.checkerframework.checker.optional.util.OptionalUtilTest

public final class OptionalUtilTest
extends Object

Constructor Summary

Constructors

Constructor	Description
OptionalUtilTest()

Method Summary

Modifier and Type	Method	Description
void	test_castPresent()

Methods inherited from class java.lang.Object

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

Constructor Details

OptionalUtilTest

public OptionalUtilTest()

Method Details

test_castPresent

public void test_castPresent()