Class BoundDomainValueEnumeration


  • public class BoundDomainValueEnumeration
    extends ValueEnumeration
    Defines a methods for enumerating values contained in the BoundDomain.
    Version:
    4.8
    • Field Summary

      Fields 
      Modifier and Type Field Description
      (package private) int current  
      (package private) BoundDomain domain  
      (package private) int max  
      (package private) int min  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void domainHasChanged()
      This function is called to inform enumeration of the change of the domain it enumerates over.
      boolean hasMoreElements()
      It checks if the value enumeration has more elements.
      int nextElement()
      It returns the next element in the enumeration.
      • Methods inherited from class java.lang.Object

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

      • current

        int current
      • min

        int min
      • max

        int max
    • Constructor Detail

      • BoundDomainValueEnumeration

        public BoundDomainValueEnumeration​(BoundDomain dom)
        Parameters:
        dom - It specifies the BoundDomain for which enumeration of values is performed.
    • Method Detail

      • hasMoreElements

        public boolean hasMoreElements()
        Description copied from class: ValueEnumeration
        It checks if the value enumeration has more elements.
        Specified by:
        hasMoreElements in class ValueEnumeration
        Returns:
        true if more elements can be enumerated, false otherwise.
      • nextElement

        public int nextElement()
        Description copied from class: ValueEnumeration
        It returns the next element in the enumeration.
        Specified by:
        nextElement in class ValueEnumeration
        Returns:
        the next element.
      • domainHasChanged

        public void domainHasChanged()
        Description copied from class: ValueEnumeration
        This function is called to inform enumeration of the change of the domain it enumerates over. The enumeration will update its private data structure and if possible adapt next element to the closest (on the right) which is still in the domain.
        Specified by:
        domainHasChanged in class ValueEnumeration