|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectcom.clarkparsia.pellet.datatypes.types.floating.RestrictedFloatingPointDatatype<T>
public class RestrictedFloatingPointDatatype<T extends java.lang.Number & java.lang.Comparable<T>>
Title: Restricted Float Datatype
Description: A subset of the value space of xsd:float.
Copyright: Copyright (c) 2009
Company: Clark & Parsia, LLC.
| Constructor Summary | |
|---|---|
RestrictedFloatingPointDatatype(Datatype<? extends T> datatype,
FloatingPointType<T> type)
|
|
| Method Summary | |
|---|---|
RestrictedDatatype<T> |
applyConstrainingFacet(aterm.ATermAppl facet,
java.lang.Object value)
Apply a constraining facet to further restrict the value space |
boolean |
contains(java.lang.Object value)
Check if a data range contains a particular value |
boolean |
containsAtLeast(int n)
Check that a data range contains a minimum number of elements |
RestrictedDatatype<T> |
exclude(java.util.Collection<?> values)
Exclude specific elements from the data range. |
Datatype<? extends T> |
getDatatype()
Query for the base datatype of a restricted datatype. |
T |
getValue(int i)
Return a value from an enumerable data range. |
RestrictedDatatype<T> |
intersect(RestrictedDatatype<?> other,
boolean negated)
Intersect this range with another range. |
boolean |
isEmpty()
Convenience method equivalent to !containsAtLeast(0) |
boolean |
isEnumerable()
Query if values in the data range can be enumerated. |
boolean |
isFinite()
Query if there are a finite number of values in the data range. |
int |
size()
Return the size of the data range. |
java.lang.String |
toString()
|
RestrictedDatatype<T> |
union(RestrictedDatatype<?> other)
Union this range with another range. |
java.util.Iterator<T> |
valueIterator()
Get a (possibly infinite) iterator over values in the data range. |
| Methods inherited from class java.lang.Object |
|---|
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Constructor Detail |
|---|
public RestrictedFloatingPointDatatype(Datatype<? extends T> datatype,
FloatingPointType<T> type)
| Method Detail |
|---|
public RestrictedDatatype<T> applyConstrainingFacet(aterm.ATermAppl facet,
java.lang.Object value)
RestrictedDatatype
applyConstrainingFacet in interface RestrictedDatatype<T extends java.lang.Number & java.lang.Comparable<T>>facet - the constraining facet name (typically a URI)value - the value for the constraining facet. This is not necessarily
in the value space of the base datatype (e.g., length facet
values on string types are not)
public boolean contains(java.lang.Object value)
DataRange
contains in interface DataRange<T extends java.lang.Number & java.lang.Comparable<T>>value - the value to check
true if the data range contains value,
false elsepublic boolean containsAtLeast(int n)
DataRange
containsAtLeast in interface DataRange<T extends java.lang.Number & java.lang.Comparable<T>>n - the number of elements
true if the data range contains n or
more elements, false otherwisepublic RestrictedDatatype<T> exclude(java.util.Collection<?> values)
RestrictedDatatypevalues that are not contained in the restriction are
ignored.
exclude in interface RestrictedDatatype<T extends java.lang.Number & java.lang.Comparable<T>>values - The values to exclude
RestrictedDatatypepublic Datatype<? extends T> getDatatype()
RestrictedDatatype
getDatatype in interface RestrictedDatatype<T extends java.lang.Number & java.lang.Comparable<T>>public T getValue(int i)
DataRangeLiteralValueBranch shiftTryNext
getValue in interface DataRange<T extends java.lang.Number & java.lang.Comparable<T>>i - the index of the value in the data range
public RestrictedDatatype<T> intersect(RestrictedDatatype<?> other,
boolean negated)
RestrictedDatatypegetDatatype().getPrimitiveDatatype().equals( other.getDatatype.getPrimiveDatatype()
intersect in interface RestrictedDatatype<T extends java.lang.Number & java.lang.Comparable<T>>other - restricted datatype to merge into thisnegated - true if other is negated,
false else
RestrictedDatatype, representing the intersection
of this and otherpublic boolean isEmpty()
DataRange!containsAtLeast(0)
isEmpty in interface DataRange<T extends java.lang.Number & java.lang.Comparable<T>>true if the data range contains no elements,
false otherwisepublic boolean isEnumerable()
DataRange
isEnumerable in interface DataRange<T extends java.lang.Number & java.lang.Comparable<T>>true if the data range is enumerable,
false otherwisepublic boolean isFinite()
DataRange
isFinite in interface DataRange<T extends java.lang.Number & java.lang.Comparable<T>>true if the data range is finite, false
otherwisepublic int size()
DataRangeLiteralValueBranch constructor
size in interface DataRange<T extends java.lang.Number & java.lang.Comparable<T>>public java.lang.String toString()
toString in class java.lang.Objectpublic RestrictedDatatype<T> union(RestrictedDatatype<?> other)
RestrictedDatatypegetDatatype().getPrimitiveDatatype().equals( other.getDatatype.getPrimiveDatatype()
union in interface RestrictedDatatype<T extends java.lang.Number & java.lang.Comparable<T>>other - restricted datatype to merge with this
RestrictedDatatype, representing the intersection
of this and otherpublic java.util.Iterator<T> valueIterator()
DataRange
valueIterator in interface DataRange<T extends java.lang.Number & java.lang.Comparable<T>>Iterator
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||