/* BSD 2-Clause License - see OPAL/LICENSE for details. */ package org.opalj package ai /** * Defines a factory method to create `IntegerRange` values. * * @author Michael Eichberg * @author David Becker */ trait IntegerRangeValuesFactory extends IntegerValuesFactory { domain => /** * Factory method to create a `DomainValue` that was created (explicitly or implicitly) * by the instruction with the specified program counter and represents * an integer value runtime value which is known to be in the range * `[lowerBound,upperBound]`. */ def IntegerRange(origin: ValueOrigin, lowerBound: Int, upperBound: Int): DomainValue }