org.semanticweb.HermiT.datatypes.binarydata
Class BinaryDataLengthInterval

java.lang.Object
  extended by org.semanticweb.HermiT.datatypes.binarydata.BinaryDataLengthInterval

public class BinaryDataLengthInterval
extends java.lang.Object


Field Summary
protected  BinaryDataType m_binaryDataType
           
protected  int m_maxLength
           
protected  int m_minLength
           
 
Constructor Summary
BinaryDataLengthInterval(BinaryDataType binaryDataType, int minLength, int maxLength)
           
 
Method Summary
 boolean contains(BinaryData value)
           
 void enumerateValues(java.util.Collection<java.lang.Object> values)
           
protected  long getNumberOfValuesOfLength(int length)
           
 BinaryDataLengthInterval intersectWith(BinaryDataLengthInterval that)
          Computes the intersection of this interval with the supplied one.
protected  boolean isEqual(BinaryDataType binaryDataType, int minLength, int maxLength)
           
protected static boolean isIntervalEmpty(BinaryDataType binaryDataType, int minLength, int maxLength)
           
protected  void processPosition(byte[] temp, java.util.Collection<java.lang.Object> values, int position)
           
 int subtractSizeFrom(int argument)
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

m_binaryDataType

protected final BinaryDataType m_binaryDataType

m_minLength

protected final int m_minLength

m_maxLength

protected final int m_maxLength
Constructor Detail

BinaryDataLengthInterval

public BinaryDataLengthInterval(BinaryDataType binaryDataType,
                                int minLength,
                                int maxLength)
Method Detail

intersectWith

public BinaryDataLengthInterval intersectWith(BinaryDataLengthInterval that)
Computes the intersection of this interval with the supplied one. If the two intervals do not intersect, the result is null.


isEqual

protected boolean isEqual(BinaryDataType binaryDataType,
                          int minLength,
                          int maxLength)

subtractSizeFrom

public int subtractSizeFrom(int argument)

getNumberOfValuesOfLength

protected long getNumberOfValuesOfLength(int length)

contains

public boolean contains(BinaryData value)

enumerateValues

public void enumerateValues(java.util.Collection<java.lang.Object> values)

processPosition

protected void processPosition(byte[] temp,
                               java.util.Collection<java.lang.Object> values,
                               int position)

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

isIntervalEmpty

protected static boolean isIntervalEmpty(BinaryDataType binaryDataType,
                                         int minLength,
                                         int maxLength)