uk.ac.manchester.cs.jfact.datatypes

Class DatatypeEntry

java.lang.Object

uk.ac.manchester.cs.jfact.kernel.NamedEntry

uk.ac.manchester.cs.jfact.datatypes.DatatypeEntry

public class DatatypeEntry
extends NamedEntry

Field Summary

Fields inherited from class uk.ac.manchester.cs.jfact.kernel.NamedEntry

entity, extId, extName

Constructor Summary

Constructors

Constructor and Description
DatatypeEntry(Datatype<?> type) create data entry with given name

Method Summary

Methods

Modifier and Type	Method and Description
Datatype<?>	getDatatype()
Collection<Facet>	getFacet() get RW access to constraints of the DE
int	getIndex() get pointer to DAG entry corresponding to the data entry
boolean	isBasicDataType() check if data entry represents basic data type
void	setIndex(int p) set DAG index of the data entry
String	toString()

Methods inherited from class uk.ac.manchester.cs.jfact.kernel.NamedEntry

equals, getEntity, getId, getName, hashCode, isBottom, isSystem, isTop, setBottom, setEntity, setId, setSystem, setTop

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

DatatypeEntry

public DatatypeEntry(Datatype<?> type)

create data entry with given name

Method Detail

isBasicDataType

public boolean isBasicDataType()

check if data entry represents basic data type

getDatatype

public Datatype<?> getDatatype()

getFacet

public Collection<Facet> getFacet()

get RW access to constraints of the DE

getIndex

@PortedFrom(file="taxNamEntry.h",
            name="getIndex")
public int getIndex()

get pointer to DAG entry corresponding to the data entry

Specified by:

getIndex in class NamedEntry

setIndex

@PortedFrom(file="taxNamEntry.h",
            name="setIndex")
public void setIndex(int p)

set DAG index of the data entry

Specified by:

setIndex in class NamedEntry

toString

public String toString()

Overrides:

toString in class NamedEntry