org.semanticweb.HermiT.model
Class Constant

java.lang.Object
  extended by org.semanticweb.HermiT.model.Term
      extended by org.semanticweb.HermiT.model.Constant
All Implemented Interfaces:
java.io.Serializable

public class Constant
extends Term

Represents a constants.

See Also:
Serialized Form

Field Summary
protected  java.lang.String m_datatypeURI
           
protected  java.lang.Object m_dataValue
           
protected  java.lang.String m_lexicalForm
           
protected static InterningManager<Constant> s_interningManager
           
 
Constructor Summary
protected Constant(java.lang.String lexicalForm, java.lang.String datatypeURI, java.lang.Object dataValue)
           
 
Method Summary
static Constant create(java.lang.String lexicalForm, java.lang.String datatypeURI)
           
static Constant createAnonymous(java.lang.String id)
           
 java.lang.String getDatatypeURI()
           
 java.lang.Object getDataValue()
           
 java.lang.String getLexicalForm()
           
 boolean isAnonymous()
           
protected  java.lang.Object readResolve()
           
 java.lang.String toString()
           
 java.lang.String toString(Prefixes prefixes)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

m_lexicalForm

protected final java.lang.String m_lexicalForm

m_datatypeURI

protected final java.lang.String m_datatypeURI

m_dataValue

protected final java.lang.Object m_dataValue

s_interningManager

protected static InterningManager<Constant> s_interningManager
Constructor Detail

Constant

protected Constant(java.lang.String lexicalForm,
                   java.lang.String datatypeURI,
                   java.lang.Object dataValue)
Method Detail

getLexicalForm

public java.lang.String getLexicalForm()

getDatatypeURI

public java.lang.String getDatatypeURI()

getDataValue

public java.lang.Object getDataValue()

isAnonymous

public boolean isAnonymous()

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

toString

public java.lang.String toString(Prefixes prefixes)
Specified by:
toString in class Term

readResolve

protected java.lang.Object readResolve()

create

public static Constant create(java.lang.String lexicalForm,
                              java.lang.String datatypeURI)
                       throws MalformedLiteralException
Throws:
MalformedLiteralException

createAnonymous

public static Constant createAnonymous(java.lang.String id)