org.semanticweb.HermiT.datatypes.rdfplainliteral
Class RDFPlainLiteralLengthInterval

java.lang.Object
  extended by org.semanticweb.HermiT.datatypes.rdfplainliteral.RDFPlainLiteralLengthInterval

public class RDFPlainLiteralLengthInterval
extends java.lang.Object


Nested Class Summary
static class RDFPlainLiteralLengthInterval.LanguageTagMode
           
 
Field Summary
static int CHARACTER_COUNT
           
protected  RDFPlainLiteralLengthInterval.LanguageTagMode m_languageTagMode
           
protected  int m_maxLength
           
protected  int m_minLength
           
 
Constructor Summary
RDFPlainLiteralLengthInterval(RDFPlainLiteralLengthInterval.LanguageTagMode languageTagMode, int minLength, int maxLength)
           
 
Method Summary
 boolean contains(RDFPlainLiteralDataValue value)
           
 boolean contains(java.lang.String value)
           
 void enumerateValues(java.util.Collection<java.lang.Object> values)
           
protected  long getNumberOfValuesOfLength(int length)
           
 RDFPlainLiteralLengthInterval intersectWith(RDFPlainLiteralLengthInterval that)
          Computes the intersection of this interval with the supplied one.
protected  boolean isEqual(RDFPlainLiteralLengthInterval.LanguageTagMode languageTagMode, int minLength, int maxLength)
           
protected static boolean isIntervalEmpty(RDFPlainLiteralLengthInterval.LanguageTagMode languageTagMode, int minLength, int maxLength)
           
protected static boolean isRDFPlainLiteralCharacter(char c)
           
protected  void processPosition(char[] 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

CHARACTER_COUNT

public static final int CHARACTER_COUNT
See Also:
Constant Field Values

m_languageTagMode

protected final RDFPlainLiteralLengthInterval.LanguageTagMode m_languageTagMode

m_minLength

protected final int m_minLength

m_maxLength

protected final int m_maxLength
Constructor Detail

RDFPlainLiteralLengthInterval

public RDFPlainLiteralLengthInterval(RDFPlainLiteralLengthInterval.LanguageTagMode languageTagMode,
                                     int minLength,
                                     int maxLength)
Method Detail

intersectWith

public RDFPlainLiteralLengthInterval intersectWith(RDFPlainLiteralLengthInterval 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(RDFPlainLiteralLengthInterval.LanguageTagMode languageTagMode,
                          int minLength,
                          int maxLength)

subtractSizeFrom

public int subtractSizeFrom(int argument)

getNumberOfValuesOfLength

protected long getNumberOfValuesOfLength(int length)

contains

public boolean contains(java.lang.String value)

contains

public boolean contains(RDFPlainLiteralDataValue value)

enumerateValues

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

processPosition

protected void processPosition(char[] 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(RDFPlainLiteralLengthInterval.LanguageTagMode languageTagMode,
                                         int minLength,
                                         int maxLength)

isRDFPlainLiteralCharacter

protected static boolean isRDFPlainLiteralCharacter(char c)