org.mindswap.pellet.datatypes
Class EmptyDatatype
java.lang.Object
org.mindswap.pellet.datatypes.EmptyDatatype
- All Implemented Interfaces:
- AtomicDatatype, Datatype
public class EmptyDatatype
- extends java.lang.Object
- implements AtomicDatatype
Represents an unsatisfiable datatype, that is, a datatype that does not accept any value.
- Author:
- Evren Sirin
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
instance
public static final EmptyDatatype instance
EmptyDatatype
public EmptyDatatype()
size
public int size()
- Specified by:
size
in interface Datatype
contains
public boolean contains(java.lang.Object value)
- Specified by:
contains
in interface Datatype
contains
public boolean contains(java.lang.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 java.lang.Object getValue(java.lang.String value,
java.lang.String datatypeURI)
- Specified by:
getValue
in interface Datatype
singleton
public Datatype singleton(java.lang.Object value)
- Specified by:
singleton
in interface Datatype
isEmpty
public boolean isEmpty()
- Specified by:
isEmpty
in interface Datatype
enumeration
public AtomicDatatype enumeration(java.util.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 java.lang.String getURI()
- Specified by:
getURI
in interface Datatype
getValue
public aterm.ATermAppl getValue(int i)
- Specified by:
getValue
in interface Datatype
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object
Copyright © 2004 Evren Sirin. All Rights Reserved.