Class ReflectionTest

java.lang.Object
org.checkerframework.framework.test.CheckerFrameworkPerDirectoryTest
org.checkerframework.framework.test.junit.ReflectionTest

public class ReflectionTest extends CheckerFrameworkPerDirectoryTest
Tests the reflection resolution using a simple type system.