IntegerBoundsChecker.ArrayLengthBound

java.lang.Object
- jif.visit.IntegerBoundsChecker.Bound
- - jif.visit.IntegerBoundsChecker.ArrayLengthBound

protected static class IntegerBoundsChecker.ArrayLengthBound
extends IntegerBoundsChecker.Bound

Nested Class Summary
- Nested classes/interfaces inherited from class jif.visit.IntegerBoundsChecker.Bound
  IntegerBoundsChecker.Bound.Type

Fields
Modifier and Type	Field and Description
`protected polyglot.types.LocalInstance`	`array` A local instance of array type.

Constructors
Constructor and Description
`ArrayLengthBound(IntegerBoundsChecker.Bound.Type type, polyglot.types.LocalInstance array)`

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`boolean`	`equals(java.lang.Object o)`
`int`	`hashCode()`
`IntegerBoundsChecker.Bound`	`strict(boolean strict)`
`java.lang.String`	`toString()`

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

protected final polyglot.types.LocalInstance array

A local instance of array type.

public ArrayLengthBound(IntegerBoundsChecker.Bound.Type type,
                        polyglot.types.LocalInstance array)

Class IntegerBoundsChecker.ArrayLengthBound