Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## 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

Nested Class Summary
`protected static class` | `IntegerBoundsChecker.Bound.Type`

Field Summary
`static IntegerBoundsChecker.Bound.Type` | `GE`
`static IntegerBoundsChecker.Bound.Type` | `GT`
`static IntegerBoundsChecker.Bound.Type` | `LE`
`static IntegerBoundsChecker.Bound.Type` | `LT`
`protected IntegerBoundsChecker.Bound.Type` | `type`

Constructor Summary
`IntegerBoundsChecker.Bound(IntegerBoundsChecker.Bound.Type type)`

Method Summary
`boolean` | `equals(java.lang.Object o)`
`int` | `hashCode()`
`boolean` | `isLower()`
`boolean` | `isStrict()`
`boolean` | `isUpper()`
`static IntegerBoundsChecker.Bound.Type` | `lower(boolean strict)`
`abstract IntegerBoundsChecker.Bound` | `strict(boolean strict)`
`java.lang.String` | `toString()`
`static IntegerBoundsChecker.Bound.Type` | `upper(boolean strict)`

Methods inherited from class java.lang.Object
`clone, finalize, getClass, notify, notifyAll, wait, wait, wait`

Field Detail

### 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

Constructor Detail

### IntegerBoundsChecker.Bound

    public IntegerBoundsChecker.Bound(IntegerBoundsChecker.Bound.Type type)

Method Detail

### 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)

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD