org.semanticweb.HermiT.datatypes.binarydata
Class BinaryDataLengthInterval
java.lang.Object
org.semanticweb.HermiT.datatypes.binarydata.BinaryDataLengthInterval
public class BinaryDataLengthInterval
- extends java.lang.Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
m_binaryDataType
protected final BinaryDataType m_binaryDataType
m_minLength
protected final int m_minLength
m_maxLength
protected final int m_maxLength
BinaryDataLengthInterval
public BinaryDataLengthInterval(BinaryDataType binaryDataType,
int minLength,
int maxLength)
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)