org.semanticweb.HermiT.datatypes.anyuri
Class AnyURIValueSpaceSubset

java.lang.Object
  extended by org.semanticweb.HermiT.datatypes.anyuri.AnyURIValueSpaceSubset
All Implemented Interfaces:
ValueSpaceSubset

public class AnyURIValueSpaceSubset
extends java.lang.Object
implements ValueSpaceSubset


Field Summary
protected  dk.brics.automaton.Automaton m_automaton
           
protected static dk.brics.automaton.Automaton s_anyChar
           
protected static dk.brics.automaton.Automaton s_anyString
           
protected static dk.brics.automaton.Automaton s_anyURI
           
protected static dk.brics.automaton.Automaton s_empty
           
 
Constructor Summary
AnyURIValueSpaceSubset(dk.brics.automaton.Automaton automaton)
           
 
Method Summary
 boolean containsDataValue(java.lang.Object dataValue)
           
 void enumerateDataValues(java.util.Collection<java.lang.Object> dataValues)
           
static dk.brics.automaton.Automaton getPatternAutomaton(java.lang.String pattern)
           
 boolean hasCardinalityAtLeast(int number)
           
static boolean isValidPattern(java.lang.String pattern)
           
static dk.brics.automaton.Automaton toAutomaton(int minLength, int maxLength)
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

s_anyChar

protected static final dk.brics.automaton.Automaton s_anyChar

s_anyString

protected static final dk.brics.automaton.Automaton s_anyString

s_anyURI

protected static final dk.brics.automaton.Automaton s_anyURI

s_empty

protected static final dk.brics.automaton.Automaton s_empty

m_automaton

protected final dk.brics.automaton.Automaton m_automaton
Constructor Detail

AnyURIValueSpaceSubset

public AnyURIValueSpaceSubset(dk.brics.automaton.Automaton automaton)
Method Detail

hasCardinalityAtLeast

public boolean hasCardinalityAtLeast(int number)
Specified by:
hasCardinalityAtLeast in interface ValueSpaceSubset

containsDataValue

public boolean containsDataValue(java.lang.Object dataValue)
Specified by:
containsDataValue in interface ValueSpaceSubset

enumerateDataValues

public void enumerateDataValues(java.util.Collection<java.lang.Object> dataValues)
Specified by:
enumerateDataValues in interface ValueSpaceSubset

toString

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

toAutomaton

public static dk.brics.automaton.Automaton toAutomaton(int minLength,
                                                       int maxLength)

isValidPattern

public static boolean isValidPattern(java.lang.String pattern)

getPatternAutomaton

public static dk.brics.automaton.Automaton getPatternAutomaton(java.lang.String pattern)