Package org.checkerframework.framework.testchecker.defaulting

Class LowerBoundQual

java.lang.Object

org.checkerframework.framework.testchecker.defaulting.LowerBoundQual

public class LowerBoundQual
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static @interface	LowerBoundQual.LbBottom
static @interface	LowerBoundQual.LbExplicit
static @interface	LowerBoundQual.LbImplicit
static @interface	LowerBoundQual.LbTop

Constructor Summary

Constructors

Constructor	Description
LowerBoundQual()

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Details

LowerBoundQual

public LowerBoundQual()