|
||||||||||
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)
RestrictedDatatype
values
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
RestrictedDatatype
public Datatype<? extends T> getDatatype()
RestrictedDatatype
getDatatype
in interface RestrictedDatatype<T extends java.lang.Number & java.lang.Comparable<T>>
public T getValue(int i)
DataRange
LiteralValueBranch
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)
RestrictedDatatype
getDatatype().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 other
public 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()
DataRange
LiteralValueBranch
constructor
size
in interface DataRange<T extends java.lang.Number & java.lang.Comparable<T>>
public java.lang.String toString()
toString
in class java.lang.Object
public RestrictedDatatype<T> union(RestrictedDatatype<?> other)
RestrictedDatatype
getDatatype().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 other
public 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 |