org.semanticweb.HermiT.datatypes.anyuri

Class AnyURIValueSpaceSubset

java.lang.Object

org.semanticweb.HermiT.datatypes.anyuri.AnyURIValueSpaceSubset

All Implemented Interfaces:

ValueSpaceSubset

public class AnyURIValueSpaceSubset
extends Object
implements ValueSpaceSubset

AnyURI value subset.

Constructor Summary

Constructors

Constructor and Description
AnyURIValueSpaceSubset(dk.brics.automaton.Automaton automaton)

Method Summary

Modifier and Type	Method and Description
boolean	containsDataValue(Object dataValue)
void	enumerateDataValues(Collection<Object> dataValues)
static dk.brics.automaton.Automaton	getPatternAutomaton(String pattern)
boolean	hasCardinalityAtLeast(int number)
static boolean	isValidPattern(String pattern)
static dk.brics.automaton.Automaton	toAutomaton(int minLength, int maxLength)
String	toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

AnyURIValueSpaceSubset

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

Parameters:

automaton - automaton

Method Detail

hasCardinalityAtLeast

public boolean hasCardinalityAtLeast(int number)

Specified by:

hasCardinalityAtLeast in interface ValueSpaceSubset

Parameters:

number - number

Returns:

true if has cardinality at least

containsDataValue

public boolean containsDataValue(Object dataValue)

Specified by:

containsDataValue in interface ValueSpaceSubset

Parameters:

dataValue - dataValue

Returns:

true if it has data value

enumerateDataValues

public void enumerateDataValues(Collection<Object> dataValues)

Specified by:

enumerateDataValues in interface ValueSpaceSubset

Parameters:

dataValues - dataValues

toString

public String toString()

Overrides:

toString in class Object

toAutomaton

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

isValidPattern

public static boolean isValidPattern(String pattern)

getPatternAutomaton

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