org.semanticweb.HermiT.datatypes.rdfplainliteral

Class RDFPlainLiteralPatternValueSpaceSubset

java.lang.Object

org.semanticweb.HermiT.datatypes.rdfplainliteral.RDFPlainLiteralPatternValueSpaceSubset

All Implemented Interfaces:

ValueSpaceSubset

public class RDFPlainLiteralPatternValueSpaceSubset
extends Object
implements ValueSpaceSubset

Pattern vlue subset.

Constructor Summary

Constructors

Constructor and Description
RDFPlainLiteralPatternValueSpaceSubset(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	getDatatypeAutomaton(String datatypeURI)
static dk.brics.automaton.Automaton	getLanguageRangeAutomaton(String languageRange)
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)
static dk.brics.automaton.Automaton	toAutomaton(RDFPlainLiteralLengthValueSpaceSubset valueSpaceSubset)
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

RDFPlainLiteralPatternValueSpaceSubset

public RDFPlainLiteralPatternValueSpaceSubset(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(RDFPlainLiteralLengthValueSpaceSubset valueSpaceSubset)

Parameters:

valueSpaceSubset - value space

Returns:

automaton

toAutomaton

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

Parameters:

minLength - min length

maxLength - max length

Returns:

automaton

isValidPattern

public static boolean isValidPattern(String pattern)

Parameters:

pattern - pattern

Returns:

true if valid

getPatternAutomaton

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

Parameters:

pattern - pattern

Returns:

automaton

getLanguageRangeAutomaton

public static dk.brics.automaton.Automaton getLanguageRangeAutomaton(String languageRange)

Parameters:

languageRange - language range

Returns:

automaton

getDatatypeAutomaton

public static dk.brics.automaton.Automaton getDatatypeAutomaton(String datatypeURI)

Parameters:

datatypeURI - datatype uri

Returns:

automaton