public FloatValue floatArrayLoad(IntegerValue indexValue, ValueFactory valueFactory) { Value value = arrayLoad(indexValue, valueFactory); return value != null ? value.floatValue() : super.floatArrayLoad(indexValue, valueFactory); }
public DoubleValue doubleArrayLoad(IntegerValue indexValue, ValueFactory valueFactory) { Value value = arrayLoad(indexValue, valueFactory); return value != null ? value.doubleValue() : super.doubleArrayLoad(indexValue, valueFactory); }
public ReferenceValue generalize(TracedReferenceValue other) { if (this.equals(other)) { return this; } return new TracedReferenceValue(this.referenceValue.generalize(other.referenceValue), this.traceValue .generalize(other.traceValue)); }
public IntegerValue integerArrayLoad(IntegerValue indexValue, ValueFactory valueFactory) { Value value = arrayLoad(indexValue, valueFactory); return value != null ? value.integerValue() : super.integerArrayLoad(indexValue, valueFactory); }
public void branchConditionally(Clazz clazz, CodeAttribute codeAttribute, int offset, int branchTarget, int conditional) { // Accumulate the branch targets. traceBranchTargets = traceBranchTargets.generalize(new InstructionOffsetValue(branchTarget)).instructionOffsetValue(); wasCalled = true; }
public LongValue longArrayLoad(IntegerValue indexValue, ValueFactory valueFactory) { Value value = arrayLoad(indexValue, valueFactory); return value != null ? value.longValue() : super.longArrayLoad(indexValue, valueFactory); }
public ReferenceValue referenceArrayLoad(IntegerValue indexValue, ValueFactory valueFactory) { Value value = arrayLoad(indexValue, valueFactory); return value != null ? value.referenceValue() : super.referenceArrayLoad(indexValue, valueFactory); }
public IntegerValue or(SpecificIntegerValue other) { return this.equals(other) ? this : new CompositeIntegerValue(other, CompositeIntegerValue.OR, this); }
public FloatValue floatArrayLoad(IntegerValue indexValue, ValueFactory valueFactory) { Value value = arrayLoad(indexValue, valueFactory); return value != null ? value.floatValue() : super.floatArrayLoad(indexValue, valueFactory); }
public DoubleValue doubleArrayLoad(IntegerValue indexValue, ValueFactory valueFactory) { Value value = arrayLoad(indexValue, valueFactory); return value != null ? value.doubleValue() : super.doubleArrayLoad(indexValue, valueFactory); }
public IntegerValue integerArrayLoad(IntegerValue indexValue, ValueFactory valueFactory) { Value value = arrayLoad(indexValue, valueFactory); return value != null ? value.integerValue() : super.integerArrayLoad(indexValue, valueFactory); }
public LongValue longArrayLoad(IntegerValue indexValue, ValueFactory valueFactory) { Value value = arrayLoad(indexValue, valueFactory); return value != null ? value.longValue() : super.longArrayLoad(indexValue, valueFactory); }
public ReferenceValue referenceArrayLoad(IntegerValue indexValue, ValueFactory valueFactory) { Value value = arrayLoad(indexValue, valueFactory); return value != null ? value.referenceValue() : super.referenceArrayLoad(indexValue, valueFactory); }
public FloatValue floatArrayLoad(IntegerValue indexValue, ValueFactory valueFactory) { Value value = arrayLoad(indexValue, valueFactory); return value != null ? value.floatValue() : super.floatArrayLoad(indexValue, valueFactory); }
public DoubleValue doubleArrayLoad(IntegerValue indexValue, ValueFactory valueFactory) { Value value = arrayLoad(indexValue, valueFactory); return value != null ? value.doubleValue() : super.doubleArrayLoad(indexValue, valueFactory); }
public IntegerValue integerArrayLoad(IntegerValue indexValue, ValueFactory valueFactory) { Value value = arrayLoad(indexValue, valueFactory); return value != null ? value.integerValue() : super.integerArrayLoad(indexValue, valueFactory); }