jif.visit
Class IntegerBoundsChecker.ArrayLengthBound

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

Enclosing class:

IntegerBoundsChecker

protected static class IntegerBoundsChecker.ArrayLengthBound
extends IntegerBoundsChecker.Bound

Nested Class Summary

Nested classes/interfaces inherited from class jif.visit.IntegerBoundsChecker.Bound

IntegerBoundsChecker.Bound.Type

Field Summary

protected polyglot.types.LocalInstance

array A local instance of array type.

Fields inherited from class jif.visit.IntegerBoundsChecker.Bound

GE, GT, LE, LT, type

Constructor Summary

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

Method Summary

boolean	equals(java.lang.Object o)
int	hashCode()
IntegerBoundsChecker.Bound	strict(boolean strict)
java.lang.String	toString()

Methods inherited from class jif.visit.IntegerBoundsChecker.Bound

isLower, isStrict, isUpper, lower, upper

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

array

protected final polyglot.types.LocalInstance array

A local instance of array type.

Constructor Detail

IntegerBoundsChecker.ArrayLengthBound

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

Method Detail

strict

public IntegerBoundsChecker.Bound strict(boolean strict)

Specified by:

strict in class IntegerBoundsChecker.Bound

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class IntegerBoundsChecker.Bound

hashCode

public int hashCode()

Overrides:

hashCode in class IntegerBoundsChecker.Bound

toString

public java.lang.String toString()

Overrides:

toString in class IntegerBoundsChecker.Bound