org.semanticweb.HermiT.datatypes.anyuri
Class AnyURIValueSpaceSubset
java.lang.Object
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
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
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
AnyURIValueSpaceSubset
public AnyURIValueSpaceSubset(dk.brics.automaton.Automaton automaton)
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)