Package org.checkerframework.framework.testchecker.defaulting

Class UpperBoundQual

java.lang.Object

org.checkerframework.framework.testchecker.defaulting.UpperBoundQual

public class UpperBoundQual
extends Object

Created by jburke on 9/29/14.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static @interface	UpperBoundQual.UbBottom
static @interface	UpperBoundQual.UbExplicit
static @interface	UpperBoundQual.UbImplicit
static @interface	UpperBoundQual.UbTop

Constructor Summary

Constructors

Constructor	Description
UpperBoundQual()

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Details

UpperBoundQual

public UpperBoundQual()