DatatypeEnumeration (JFact 5.0.3 API)

java.lang.Object
- uk.ac.manchester.cs.jfact.datatypes.DatatypeEnumeration<R>

Type Parameters:

R - type

All Implemented Interfaces:

Serializable, org.semanticweb.owlapi.model.HasIRI, Datatype<R>, DatatypeCombination<DatatypeEnumeration<R>,Literal<R>>, DatatypeExpression<R>, DataExpression, Entity, Expression

Direct Known Subclasses:

DatatypeNumericEnumeration
```
public class DatatypeEnumeration<R extends Comparable<R>>
extends Object
implements DatatypeCombination<DatatypeEnumeration<R>,Literal<R>>, DatatypeExpression<R>
```
Author:

ignazio

See Also:

Serialized Form

Constructor Summary

Constructors
Constructor and Description
`DatatypeEnumeration(Datatype<R> d)`
`DatatypeEnumeration(Datatype<R> d, Collection<Literal<R>> c)`
`DatatypeEnumeration(Datatype<R> d, Literal<R> l)`

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`void`	`accept(DLExpressionVisitor visitor)` accept method for the visitor pattern
`<O> O`	`accept(DLExpressionVisitorEx<O> visitor)`
`DatatypeEnumeration<R>`	`add(Literal<R> d)`
`DatatypeExpression<R>`	`addNonNumericFacet(Facet f, Comparable<?> value)` add a new facet value for this datatype expression
`DatatypeExpression<R>`	`addNumericFacet(Facet f, Comparable<?> value)`
`DatatypeExpression<R>`	`asExpression()`
`NumericDatatype<R>`	`asNumericDatatype()`
`OrderedDatatype<R>`	`asOrderedDatatype()`
`Literal<R>`	`buildLiteral(String s)`
`boolean`	`emptyValueSpace()`
`boolean`	`equals(Object obj)`
`Collection<Datatype<?>>`	`getAncestors()`
`boolean`	`getBounded()`
`cardinality`	`getCardinality()`
`org.semanticweb.owlapi.model.IRI`	`getDatatypeIRI()`
`Set<Facet>`	`getFacets()`
`Comparable`	`getFacetValue(Facet f)`
`Datatype<?>`	`getHost()`
`Datatype<R>`	`getHostType()`
`org.semanticweb.owlapi.model.IRI`	`getIRI()`
`Map<Facet,Comparable>`	`getKnownNonNumericFacetValues()`
`Map<Facet,Comparable>`	`getKnownNumericFacetValues()`
`Iterable<Literal<R>>`	`getList()`
`boolean`	`getNumeric()`
`Comparable`	`getNumericFacetValue(Facet f)`
`ordered`	`getOrdered()`
`int`	`hashCode()`
`boolean`	`isCompatible(Datatype<?> type)`
`boolean`	`isCompatible(Literal<?> l)`
`boolean`	`isContradictory(Datatype<?> type)`
`boolean`	`isExpression()`
`boolean`	`isInValueSpace(R l)`
`boolean`	`isNumericDatatype()`
`boolean`	`isOrderedDatatype()`
`boolean`	`isSubType(Datatype<?> type)`
`Collection<Literal<R>>`	`listValues()`
`R`	`parseValue(String s)`
`String`	`toString()`

Methods inherited from class java.lang.Object
getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface uk.ac.manchester.cs.jfact.datatypes.Datatype
host, wrapAsDatatypeExpression, wrapAsNumericExpression, wrapAsOrderedExpression

- Constructor Detail
  - DatatypeEnumeration
```
public DatatypeEnumeration(Datatype<R> d)
```
    Parameters:
    
    d - d
  - DatatypeEnumeration
```
public DatatypeEnumeration(Datatype<R> d,
                           Literal<R> l)
```
    Parameters:
    
    d - d
    
    l - l
  - DatatypeEnumeration
```
public DatatypeEnumeration(Datatype<R> d,
                           Collection<Literal<R>> c)
```
    Parameters:
    
    d - d
    
    c - c
- Method Detail
  - getHost
```
public Datatype<?> getHost()
```
    Specified by:
    
    getHost in interface DatatypeCombination<DatatypeEnumeration<R extends Comparable<R>>,Literal<R extends Comparable<R>>>
    
    Returns:
    
    the host datatype
  - add
```
public DatatypeEnumeration<R> add(Literal<R> d)
```
    Specified by:
    
    add in interface DatatypeCombination<DatatypeEnumeration<R extends Comparable<R>>,Literal<R extends Comparable<R>>>
    
    Parameters:
    
    d - d
    
    Returns:
    
    the type
  - listValues
```
public Collection<Literal<R>> listValues()
```
    Specified by:
    
    listValues in interface Datatype<R extends Comparable<R>>
    
    Returns:
    
    the list of possible values for this datatype which are compatible with the listed datatypes.
  - isExpression
```
public boolean isExpression()
```
    Specified by:
    
    isExpression in interface Datatype<R extends Comparable<R>>
    
    Returns:
    
    true if this datatype is an expression
  - asExpression
```
public DatatypeExpression<R> asExpression()
```
    Specified by:
    
    asExpression in interface Datatype<R extends Comparable<R>>
    
    Returns:
    
    this datatype as a datatype expression, if it is an expression.
  - getAncestors
```
public Collection<Datatype<?>> getAncestors()
```
    Specified by:
    
    getAncestors in interface Datatype<R extends Comparable<R>>
    
    Returns:
    
    the known ancestors of this datatype
  - getBounded
```
public boolean getBounded()
```
    Specified by:
    
    getBounded in interface Datatype<R extends Comparable<R>>
    
    Returns:
    
    true if this datatype value space is bounded
  - getCardinality
```
public cardinality getCardinality()
```
    Specified by:
    
    getCardinality in interface Datatype<R extends Comparable<R>>
    
    Returns:
    
    the cardinality of the value space: finite or countably infinite
  - getFacets
```
public Set<Facet> getFacets()
```
    Specified by:
    
    getFacets in interface Datatype<R extends Comparable<R>>
    
    Returns:
    
    the available facets for this datatype. The collection is immutable - only specs sanctioned facets allowed
  - getKnownNonNumericFacetValues
```
public Map<Facet,Comparable> getKnownNonNumericFacetValues()
```
    Specified by:
    
    getKnownNonNumericFacetValues in interface Datatype<R extends Comparable<R>>
    
    Returns:
    
    the known values for a subset of the available facets
  - getKnownNumericFacetValues
```
public Map<Facet,Comparable> getKnownNumericFacetValues()
```
    Specified by:
    
    getKnownNumericFacetValues in interface Datatype<R extends Comparable<R>>
    
    Returns:
    
    the known values for a subset of the available facets
  - getFacetValue
```
@Nullable
public Comparable getFacetValue(Facet f)
```
    Specified by:
    
    getFacetValue in interface Datatype<R extends Comparable<R>>
    
    Parameters:
    
    f - facet
    
    Returns:
    
    known value for f, or null if there is no known value for the facet
  - getNumericFacetValue
```
@Nullable
public Comparable getNumericFacetValue(Facet f)
```
    Specified by:
    
    getNumericFacetValue in interface Datatype<R extends Comparable<R>>
    
    Parameters:
    
    f - facet
    
    Returns:
    
    numeric value
  - getNumeric
```
public boolean getNumeric()
```
    Specified by:
    
    getNumeric in interface Datatype<R extends Comparable<R>>
    
    Returns:
    
    true if this datatype is numeric
  - getOrdered
```
public ordered getOrdered()
```
    Specified by:
    
    getOrdered in interface Datatype<R extends Comparable<R>>
    
    Returns:
    
    the kind of ordering: false, partial or total
  - isCompatible
```
public boolean isCompatible(Literal<?> l)
```
    Specified by:
    
    isCompatible in interface Datatype<R extends Comparable<R>>
    
    Specified by:
    
    isCompatible in interface DatatypeCombination<DatatypeEnumeration<R extends Comparable<R>>,Literal<R extends Comparable<R>>>
    
    Parameters:
    
    l - literal
    
    Returns:
    
    true if l is a literal with compatible datatype and value included in this datatype value space
  - isInValueSpace
```
public boolean isInValueSpace(R l)
```
    Specified by:
    
    isInValueSpace in interface Datatype<R extends Comparable<R>>
    
    Parameters:
    
    l - literal
    
    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
  - parseValue
```
public R parseValue(String s)
```
    Specified by:
    
    parseValue in interface Datatype<R extends Comparable<R>>
    
    Parameters:
    
    s - parses a literal form to a value in the datatype value space; for use when building Literals
    
    Returns:
    
    value
  - buildLiteral
```
public Literal<R> buildLiteral(String s)
```
    Specified by:
    
    buildLiteral in interface Datatype<R extends Comparable<R>>
    
    Parameters:
    
    s - literal
    
    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
```
public boolean isSubType(Datatype<?> type)
```
    Specified by:
    
    isSubType in interface Datatype<R extends Comparable<R>>
    
    Parameters:
    
    type - type
    
    Returns:
    
    true if this datatype has type as an ancestor
  - getDatatypeIRI
```
public org.semanticweb.owlapi.model.IRI getDatatypeIRI()
```
    Specified by:
    
    getDatatypeIRI in interface Datatype<R extends Comparable<R>>
    
    Specified by:
    
    getDatatypeIRI in interface DatatypeCombination<DatatypeEnumeration<R extends Comparable<R>>,Literal<R extends Comparable<R>>>
    
    Returns:
    
    the datatype uri
  - isCompatible
```
public boolean isCompatible(Datatype<?> type)
```
    Specified by:
    
    isCompatible in interface Datatype<R extends Comparable<R>>
    
    Specified by:
    
    isCompatible in interface DatatypeCombination<DatatypeEnumeration<R extends Comparable<R>>,Literal<R extends Comparable<R>>>
    
    Parameters:
    
    type - 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
  - isContradictory
```
public boolean isContradictory(Datatype<?> type)
```
    Specified by:
    
    isContradictory in interface Datatype<R extends Comparable<R>>
    
    Specified by:
    
    isContradictory in interface DatatypeCombination<DatatypeEnumeration<R extends Comparable<R>>,Literal<R extends Comparable<R>>>
    
    Parameters:
    
    type - type
    
    Returns:
    
    true if the datatype is contradictory, e.g., the two appearing together in a datatype situation cause a clash. e.g., +{"6"} and +{"4"} are not compatible and not contradictory, +{"6"} and -{"6"} are compatible and contradictory
  - accept
```
public void accept(DLExpressionVisitor visitor)
```
    Description copied from interface: Expression
    
    accept method for the visitor pattern
    
    Specified by:
    
    accept in interface Expression
    
    Parameters:
    
    visitor - visitor
  - accept
```
public <O> O accept(DLExpressionVisitorEx<O> visitor)
```
    Specified by:
    
    accept in interface Expression
    
    Type Parameters:
    
    O - visitor type
    
    Parameters:
    
    visitor - visitor
    
    Returns:
    
    visitor value
  - getList
```
public Iterable<Literal<R>> getList()
```
    Specified by:
    
    getList in interface DatatypeCombination<DatatypeEnumeration<R extends Comparable<R>>,Literal<R extends Comparable<R>>>
    
    Returns:
    
    list of elements
  - emptyValueSpace
```
public boolean emptyValueSpace()
```
    Specified by:
    
    emptyValueSpace in interface Datatype<R extends Comparable<R>>
    
    Specified by:
    
    emptyValueSpace in interface DatatypeCombination<DatatypeEnumeration<R extends Comparable<R>>,Literal<R extends Comparable<R>>>
    
    Returns:
    
    true if the value space is empty
  - isNumericDatatype
```
public boolean isNumericDatatype()
```
    Specified by:
    
    isNumericDatatype in interface Datatype<R extends Comparable<R>>
    
    Returns:
    
    true if the datatype is numeric
  - asNumericDatatype
```
public NumericDatatype<R> asNumericDatatype()
```
    Specified by:
    
    asNumericDatatype in interface Datatype<R extends Comparable<R>>
    
    Returns:
    
    cast as numeric datatype
  - isOrderedDatatype
```
public boolean isOrderedDatatype()
```
    Specified by:
    
    isOrderedDatatype in interface Datatype<R extends Comparable<R>>
    
    Returns:
    
    true if ordered
  - asOrderedDatatype
```
public OrderedDatatype<R> asOrderedDatatype()
```
    Specified by:
    
    asOrderedDatatype in interface Datatype<R extends Comparable<R>>
    
    Returns:
    
    cast as ordered datatype
  - toString
```
@Nonnull
public String toString()
```
    Overrides:
    
    toString in class Object
  - equals
```
public boolean equals(@Nullable
                      Object obj)
```
    Overrides:
    
    equals in class Object
  - hashCode
```
public int hashCode()
```
    Overrides:
    
    hashCode in class Object
  - getHostType
```
public Datatype<R> getHostType()
```
    Specified by:
    
    getHostType in interface DatatypeExpression<R extends Comparable<R>>
    
    Returns:
    
    the predefined datatype which is host for this expression
  - addNumericFacet
```
public DatatypeExpression<R> addNumericFacet(Facet f,
                                             @Nullable
                                             Comparable<?> value)
```
    Specified by:
    
    addNumericFacet in interface DatatypeExpression<R extends Comparable<R>>
    
    Parameters:
    
    f - facet
    
    value - value
    
    Returns:
    
    modified expression
  - addNonNumericFacet
```
public DatatypeExpression<R> addNonNumericFacet(Facet f,
                                                @Nullable
                                                Comparable<?> value)
```
    Description copied from interface: DatatypeExpression
    
    add a new facet value for this datatype expression
    
    Specified by:
    
    addNonNumericFacet in interface DatatypeExpression<R extends Comparable<R>>
    
    Parameters:
    
    f - a valid facet for the host datatype
    
    value - the value for the facet
    
    Returns:
    
    modified expression
  - getIRI
```
public org.semanticweb.owlapi.model.IRI getIRI()
```
    Specified by:
    
    getIRI in interface org.semanticweb.owlapi.model.HasIRI
    
    Specified by:
    
    getIRI in interface Expression

Class DatatypeEnumeration<R extends Comparable<R>>

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Methods inherited from interface uk.ac.manchester.cs.jfact.datatypes.Datatype

Constructor Detail

DatatypeEnumeration

DatatypeEnumeration

DatatypeEnumeration

Method Detail

getHost

add

listValues

isExpression

asExpression

getAncestors

getBounded

getCardinality

getFacets

getKnownNonNumericFacetValues

getKnownNumericFacetValues

getFacetValue

getNumericFacetValue

getNumeric

getOrdered

isCompatible

isInValueSpace

parseValue

buildLiteral

isSubType

getDatatypeIRI

isCompatible

isContradictory

accept

accept

getList

emptyValueSpace

isNumericDatatype

asNumericDatatype

isOrderedDatatype

asOrderedDatatype

toString

equals

hashCode

getHostType

addNumericFacet

addNonNumericFacet

getIRI