Class BasicRangeValueFactory

  • All Implemented Interfaces:
    ValueFactory
    Direct Known Subclasses:
    RangeValueFactory

    public class BasicRangeValueFactory
    extends ParticularValueFactory
    implements ValueFactory
    This ValueFactory provides methods to create and reuse IntegerValue instances that have known ranges.

    This basic implementation only creates RangeIntegerValue instances if they start out with a known range. Otherwise, it still creates ParticularIntegerValue instances or UnknownIntegerValue instances, which by themselves never generalize to RangeIntegerValue instances.

    • Constructor Detail

      • BasicRangeValueFactory

        public BasicRangeValueFactory()
        Creates a new BasicRangeValueFactory.
      • BasicRangeValueFactory

        public BasicRangeValueFactory​(ValueFactory arrayReferenceValueFactory,
                                      ValueFactory referenceValueFactory)
        Creates a new BasicRangeValueFactory that delegates to the given value factories for creating reference values.