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.