uk.ac.manchester.cs.jfact.datatypes

Interface Datatype<Representation extends Comparable<Representation>>

Type Parameters:

Representation -

All Superinterfaces:

DataExpression, Entity, Expression

All Known Subinterfaces:

DatatypeExpression<Representation>, NumericDatatype<R>

All Known Implementing Classes:

DatatypeEnumeration, DatatypeNegation, DatatypeNumericEnumeration

@Original
public interface Datatype<Representation extends Comparable<Representation>>
extends DataExpression

Author:

ignazio

Method Summary

Methods

Modifier and Type	Method and Description
DatatypeExpression<Representation>	asExpression()
NumericDatatype<Representation>	asNumericDatatype()
OrderedDatatype<Representation>	asOrderedDatatype()
Literal<Representation>	buildLiteral(String s)
boolean	emptyValueSpace()
Collection<Datatype<?>>	getAncestors()
boolean	getBounded()
cardinality	getCardinality()
String	getDatatypeURI()
Set<Facet>	getFacets()
<O extends Comparable<O>> O	getFacetValue(Facet f)
Map<Facet,Comparable>	getKnownNonNumericFacetValues()
Map<Facet,Comparable>	getKnownNumericFacetValues()
boolean	getNumeric()
Comparable	getNumericFacetValue(Facet f)
ordered	getOrdered()
boolean	isCompatible(Datatype<?> type)
boolean	isCompatible(Literal<?> l)
boolean	isExpression()
boolean	isInValueSpace(Representation l)
boolean	isNumericDatatype()
boolean	isOrderedDatatype()
boolean	isSubType(Datatype<?> type)
Collection<Literal<Representation>>	listValues()
Representation	parseValue(String s)

Methods inherited from interface uk.ac.manchester.cs.jfact.kernel.dl.interfaces.Expression

accept, accept

Method Detail

isExpression

boolean isExpression()

Returns:

true if this datatype is an expression

asExpression

DatatypeExpression<Representation> asExpression()

Returns:

this datatype as a datatype expression, if it is an expression.

Throws:

UnsupportedOperationException - if this datatype is not an expression (isExpression() returns false)

getAncestors

Collection<Datatype<?>> getAncestors()

Returns:

the known ancestors of this datatype

getBounded

boolean getBounded()

Returns:

true if this datatype value space is bounded

getCardinality

cardinality getCardinality()

Returns:

the cardinality of the value space: finite or countably infinite

getFacets

Set<Facet> getFacets()

Returns:

the available facets for this datatype. The collection is immutable - only specs sanctioned facets allowed

getKnownNumericFacetValues

Map<Facet,Comparable> getKnownNumericFacetValues()

Returns:

the known values for a subset of the available facets

getKnownNonNumericFacetValues

Map<Facet,Comparable> getKnownNonNumericFacetValues()

Returns:

the known values for a subset of the available facets

getFacetValue

<O extends Comparable<O>> O getFacetValue(Facet f)

Parameters:

f -

Returns:

known value for f, or null if there is no known value for the facet

getNumericFacetValue

Comparable getNumericFacetValue(Facet f)

Parameters:

f -

Returns:

numeric value

getNumeric

boolean getNumeric()

Returns:

true if this datatype is numeric

getOrdered

ordered getOrdered()

Returns:

the kind of ordering: false, partial or total

isCompatible

boolean isCompatible(Datatype<?> type)

Parameters:

type -

Returns:

true if type\s value space and this datatype's value space have an intersection, e.g., non negative integers and non positive integers intersect at 0

isCompatible

boolean isCompatible(Literal<?> l)

Parameters:

l -

Returns:

true if l is a literal with compatible datatype and value included in this datatype value space

isInValueSpace

boolean isInValueSpace(Representation l)

Parameters:

l -

Returns:

false if this literal representation does not represent a value included in the value space of this datatype; its datatype must be this datatype

emptyValueSpace

boolean emptyValueSpace()

Returns:

true if this datatype expression is limited in such a way that there are no valid values

parseValue

Representation parseValue(String s)

Parameters:

s - parses a literal form to a value in the datatype value space; for use when building Literals

Returns:

value

buildLiteral

Literal<Representation> buildLiteral(String s)

Parameters:

s -

Returns:

a literal with parseValue(s) as typed value, generic type O equal to the internal class representing the type, and datatype this datatype.

isSubType

boolean isSubType(Datatype<?> type)

Parameters:

type -

Returns:

true if this datatype has type as an ancestor

getDatatypeURI

String getDatatypeURI()

Returns:

the datatype uri as a string (there does seem to be no need for a more complex representation)

listValues

Collection<Literal<Representation>> listValues()

Returns:

the list of possible values for this datatype which are compatible with the listed datatypes.

isNumericDatatype

boolean isNumericDatatype()

Returns:

true if the datatype is numeric

asNumericDatatype

NumericDatatype<Representation> asNumericDatatype()

Returns:

cast as numeric datatype

isOrderedDatatype

boolean isOrderedDatatype()

Returns:

true if ordered

asOrderedDatatype

OrderedDatatype<Representation> asOrderedDatatype()

Returns:

cast as ordered datatype