jif.visit
Class IntegerBoundsChecker.Bound
java.lang.Object
jif.visit.IntegerBoundsChecker.Bound
- Direct Known Subclasses:
- IntegerBoundsChecker.ArrayLengthBound, IntegerBoundsChecker.LocalBound
- Enclosing class:
- IntegerBoundsChecker
protected abstract static class IntegerBoundsChecker.Bound
- extends java.lang.Object
Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
LT
public static final IntegerBoundsChecker.Bound.Type LT
LE
public static final IntegerBoundsChecker.Bound.Type LE
GT
public static final IntegerBoundsChecker.Bound.Type GT
GE
public static final IntegerBoundsChecker.Bound.Type GE
type
protected final IntegerBoundsChecker.Bound.Type type
IntegerBoundsChecker.Bound
public IntegerBoundsChecker.Bound(IntegerBoundsChecker.Bound.Type type)
lower
public static IntegerBoundsChecker.Bound.Type lower(boolean strict)
upper
public static IntegerBoundsChecker.Bound.Type upper(boolean strict)
isLower
public boolean isLower()
isUpper
public boolean isUpper()
isStrict
public boolean isStrict()
equals
public boolean equals(java.lang.Object o)
- Overrides:
equals
in class java.lang.Object
hashCode
public int hashCode()
- Overrides:
hashCode
in class java.lang.Object
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object
strict
public abstract IntegerBoundsChecker.Bound strict(boolean strict)