Package org.checkerframework.framework.testchecker.aggregate

package org.checkerframework.framework.testchecker.aggregate

Classes

Class	Description
AggregateOfCompoundChecker	An aggregate checker where one of the checkers is a compound checker.
TestAggregateChecker	Basic aggregate checker.