Home | History | Annotate | Download | only in value

Lines Matching defs:arrayLength

34     protected final IntegerValue arrayLength;
42                                IntegerValue arrayLength)
46         this.arrayLength = arrayLength;
52     public IntegerValue arrayLength(ValueFactory valueFactory)
54         return arrayLength;
98                                                                                     this.arrayLength.generalize(other.arrayLength)) :
105         if (this.arrayLength.equal(other.arrayLength) == NEVER)
150                this.arrayLength.equals(((ArrayReferenceValue)object).arrayLength);
157                arrayLength.hashCode();
163         return super.toString() + '['+arrayLength+']';