org.mindswap.pellet.datatypes

Class EmptyDatatype

java.lang.Object

org.mindswap.pellet.datatypes.EmptyDatatype

All Implemented Interfaces:

AtomicDatatype, Datatype

public class EmptyDatatype
extends Object
implements AtomicDatatype

Represents an unsatisfiable datatype, that is, a datatype that does not accept any value.

Author:

Evren Sirin

Field Summary

Fields

Modifier and Type	Field and Description
static EmptyDatatype	instance

Constructor Summary

Constructors

Constructor and Description
EmptyDatatype()

Method Summary

Methods

Modifier and Type	Method and Description
boolean	contains(Object value)
boolean	contains(Object value, AtomicDatatype datatype)
AtomicDatatype	difference(AtomicDatatype dt)
AtomicDatatype	enumeration(Set values)
aterm.ATermAppl	getName()
AtomicDatatype	getPrimitiveType()
String	getURI()
aterm.ATermAppl	getValue(int i)
Object	getValue(String value, String datatypeURI)
AtomicDatatype	intersection(AtomicDatatype dt)
boolean	isDerived()
boolean	isEmpty()
AtomicDatatype	not()
Datatype	singleton(Object value)
int	size()
String	toString()
AtomicDatatype	union(AtomicDatatype dt)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

instance

public static final EmptyDatatype instance

Constructor Detail

EmptyDatatype

public EmptyDatatype()

Method Detail

size

public int size()

Specified by:

size in interface Datatype

contains

public boolean contains(Object value)

Specified by:

contains in interface Datatype

contains

public boolean contains(Object value,
               AtomicDatatype datatype)

Specified by:

contains in interface Datatype

not

public AtomicDatatype not()

Specified by:

not in interface AtomicDatatype

intersection

public AtomicDatatype intersection(AtomicDatatype dt)

Specified by:

intersection in interface AtomicDatatype

union

public AtomicDatatype union(AtomicDatatype dt)

Specified by:

union in interface AtomicDatatype

difference

public AtomicDatatype difference(AtomicDatatype dt)

Specified by:

difference in interface AtomicDatatype

getValue

public Object getValue(String value,
              String datatypeURI)

Specified by:

getValue in interface Datatype

singleton

public Datatype singleton(Object value)

Specified by:

singleton in interface Datatype

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface Datatype

enumeration

public AtomicDatatype enumeration(Set values)

Specified by:

enumeration in interface AtomicDatatype

getPrimitiveType

public AtomicDatatype getPrimitiveType()

Specified by:

getPrimitiveType in interface AtomicDatatype

isDerived

public boolean isDerived()

getName

public aterm.ATermAppl getName()

Specified by:

getName in interface Datatype

getURI

public String getURI()

Specified by:

getURI in interface Datatype

getValue

public aterm.ATermAppl getValue(int i)

Specified by:

getValue in interface Datatype

toString

public String toString()

Overrides:

toString in class Object