Class Intervals


  • public class Intervals
    extends java.lang.Object
    A class providing static methods and objects that do useful things with intervals.
    See Also:
    Interval
    • Field Summary

      Fields 
      Modifier and Type Field Description
      static Interval[] EMPTY_ARRAY  
      static Interval EMPTY_INTERVAL
      An empty (singleton) interval.
      static java.util.Comparator<Interval> ENDS_AFTER
      A comparator between intervals defined as follows: [a..b] is less than [a'..b'] iff the first interval ends after the second one, that is, iff b' < b.
      static java.util.Comparator<Interval> ENDS_BEFORE
      A comparator between intervals defined as follows: [a..b] is less than [a'..b'] iff the first interval ends before the second one, that is, iff b < b'.
      static java.util.Comparator<Interval> ENDS_BEFORE_OR_IS_SUFFIX
      A comparator between intervals defined as follows: [a..b] is less than [a'..b'] iff the first interval ends before or is a suffix of the second one, that is, iff b < b' or b=b' and a' < a.
      static java.util.Comparator<Interval> LENGTH_COMPARATOR
      A comparator between intervals based on their length.
      static Interval MINUS_INFINITY
      A singleton located at −∞.
      static java.util.Comparator<Interval> STARTS_AFTER
      A comparator between intervals defined as follows: [a..b] is less than [a'..b'] iff the first interval starts after the second one, that is, iff a' < a.
      static java.util.Comparator<Interval> STARTS_BEFORE
      A comparator between intervals defined as follows: [a..b] is less than [a'..b'] iff the first interval starts before the second one, that is, iff a < a'.
      static java.util.Comparator<Interval> STARTS_BEFORE_OR_PROLONGS
      A comparator between intervals defined as follows: [a..b] is less than [a'..b'] iff the first interval starts before or prolongs the second one, that is, iff a < a' or a=a' and b' < b.
    • Method Summary

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Field Detail

      • EMPTY_ARRAY

        public static final Interval[] EMPTY_ARRAY
      • EMPTY_INTERVAL

        public static final Interval EMPTY_INTERVAL
        An empty (singleton) interval.
      • MINUS_INFINITY

        public static final Interval MINUS_INFINITY
        A singleton located at −∞.
      • STARTS_BEFORE_OR_PROLONGS

        public static final java.util.Comparator<Interval> STARTS_BEFORE_OR_PROLONGS
        A comparator between intervals defined as follows: [a..b] is less than [a'..b'] iff the first interval starts before or prolongs the second one, that is, iff a < a' or a=a' and b' < b.
      • ENDS_BEFORE_OR_IS_SUFFIX

        public static final java.util.Comparator<Interval> ENDS_BEFORE_OR_IS_SUFFIX
        A comparator between intervals defined as follows: [a..b] is less than [a'..b'] iff the first interval ends before or is a suffix of the second one, that is, iff b < b' or b=b' and a' < a.
      • STARTS_AFTER

        public static final java.util.Comparator<Interval> STARTS_AFTER
        A comparator between intervals defined as follows: [a..b] is less than [a'..b'] iff the first interval starts after the second one, that is, iff a' < a.
      • STARTS_BEFORE

        public static final java.util.Comparator<Interval> STARTS_BEFORE
        A comparator between intervals defined as follows: [a..b] is less than [a'..b'] iff the first interval starts before the second one, that is, iff a < a'.
      • ENDS_AFTER

        public static final java.util.Comparator<Interval> ENDS_AFTER
        A comparator between intervals defined as follows: [a..b] is less than [a'..b'] iff the first interval ends after the second one, that is, iff b' < b.
      • ENDS_BEFORE

        public static final java.util.Comparator<Interval> ENDS_BEFORE
        A comparator between intervals defined as follows: [a..b] is less than [a'..b'] iff the first interval ends before the second one, that is, iff b < b'.
      • LENGTH_COMPARATOR

        public static final java.util.Comparator<Interval> LENGTH_COMPARATOR
        A comparator between intervals based on their length.