Class RestrictedBooleanDatatype
- java.lang.Object
-
- openllet.core.datatypes.types.bool.RestrictedBooleanDatatype
-
- All Implemented Interfaces:
DataRange<java.lang.Boolean>
,RestrictedDatatype<java.lang.Boolean>
public class RestrictedBooleanDatatype extends java.lang.Object implements RestrictedDatatype<java.lang.Boolean>
Title: Restricted Boolean Datatype
Description: A subset of the value space of xsd:boolean.
Copyright: Copyright (c) 2009
Company: Clark & Parsia, LLC.
- Author:
- Mike Smith
-
-
Field Summary
-
Fields inherited from interface openllet.core.datatypes.RestrictedDatatype
UNSUPPORTED_FORMAT, UNSUPPORTED_VALUE
-
-
Constructor Summary
Constructors Constructor Description RestrictedBooleanDatatype(Datatype<java.lang.Boolean> dt)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description RestrictedDatatype<java.lang.Boolean>
applyConstrainingFacet(openllet.aterm.ATermAppl facet, java.lang.Object value)
Apply a constraining facet to further restrict the value spaceboolean
contains(java.lang.Object value)
Check if a data range contains a particular valueboolean
containsAtLeast(int n)
Check that a data range contains a minimum number of elementsRestrictedDatatype<java.lang.Boolean>
exclude(java.util.Collection<?> values)
Exclude specific elements from the _data range.Datatype<? extends java.lang.Boolean>
getDatatype()
Query for the base datatype of a restricted datatype.RestrictedDatatype<java.lang.Boolean>
intersect(RestrictedDatatype<?> other, boolean negated)
Intersect this range with another range.boolean
isEmpty()
Convenience method equivalent to!
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.RestrictedDatatype<java.lang.Boolean>
union(RestrictedDatatype<?> other)
Union this range with another range.java.util.Iterator<java.lang.Boolean>
valueIterator()
Get a (possibly infinite) iterator over values in the _data range.
-
-
-
Constructor Detail
-
RestrictedBooleanDatatype
public RestrictedBooleanDatatype(Datatype<java.lang.Boolean> dt)
-
-
Method Detail
-
applyConstrainingFacet
public RestrictedDatatype<java.lang.Boolean> applyConstrainingFacet(openllet.aterm.ATermAppl facet, java.lang.Object value) throws InvalidConstrainingFacetException
Description copied from interface:RestrictedDatatype
Apply a constraining facet to further restrict the value space- Specified by:
applyConstrainingFacet
in interfaceRestrictedDatatype<java.lang.Boolean>
- Parameters:
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)- Returns:
- the further restricted value space
- Throws:
InvalidConstrainingFacetException
-
contains
public boolean contains(java.lang.Object value)
Description copied from interface:DataRange
Check if a data range contains a particular value
-
containsAtLeast
public boolean containsAtLeast(int n)
Description copied from interface:DataRange
Check that a data range contains a minimum number of elements- Specified by:
containsAtLeast
in interfaceDataRange<java.lang.Boolean>
- Parameters:
n
- the number of elements- Returns:
true
if the _data range containsn
or more elements,false
otherwise
-
exclude
public RestrictedDatatype<java.lang.Boolean> exclude(java.util.Collection<?> values)
Description copied from interface:RestrictedDatatype
Exclude specific elements from the _data range. Used when a restricted _data range is in a conjunction with a negative enumeration. Elements invalues
that are not contained in the restriction are ignored.- Specified by:
exclude
in interfaceRestrictedDatatype<java.lang.Boolean>
- Parameters:
values
- The values to exclude- Returns:
- A new
RestrictedDatatype
-
getDatatype
public Datatype<? extends java.lang.Boolean> getDatatype()
Description copied from interface:RestrictedDatatype
Query for the base datatype of a restricted datatype. This is not necessarily a primitive datatype.- Specified by:
getDatatype
in interfaceRestrictedDatatype<java.lang.Boolean>
- Returns:
- the base datatype
-
intersect
public RestrictedDatatype<java.lang.Boolean> intersect(RestrictedDatatype<?> other, boolean negated)
Description copied from interface:RestrictedDatatype
Intersect this range with another range. It must be the case thatgetDatatype().getPrimitiveDatatype().equals( other.getDatatype.getPrimiveDatatype()
- Specified by:
intersect
in interfaceRestrictedDatatype<java.lang.Boolean>
- Parameters:
other
- restricted datatype to merge into thisnegated
-true
ifother
is negated,false
else- Returns:
- a new
RestrictedDatatype
, representing the intersection ofthis
andother
-
isEmpty
public boolean isEmpty()
Description copied from interface:DataRange
Convenience method equivalent to!containsAtLeast(0)
-
isEnumerable
public boolean isEnumerable()
Description copied from interface:DataRange
Query if values in the _data range can be enumerated.- Specified by:
isEnumerable
in interfaceDataRange<java.lang.Boolean>
- Returns:
true
if the _data range is enumerable,false
otherwise
-
isFinite
public boolean isFinite()
Description copied from interface:DataRange
Query if there are a finite number of values in the _data range.
-
union
public RestrictedDatatype<java.lang.Boolean> union(RestrictedDatatype<?> other)
Description copied from interface:RestrictedDatatype
Union this range with another range. It must be the case thatgetDatatype().getPrimitiveDatatype().equals( other.getDatatype.getPrimiveDatatype()
- Specified by:
union
in interfaceRestrictedDatatype<java.lang.Boolean>
- Parameters:
other
- restricted datatype to merge with this- Returns:
- a new
RestrictedDatatype
, representing the intersection ofthis
andother
-
valueIterator
public java.util.Iterator<java.lang.Boolean> valueIterator()
Description copied from interface:DataRange
Get a (possibly infinite) iterator over values in the _data range.- Specified by:
valueIterator
in interfaceDataRange<java.lang.Boolean>
- Returns:
- an
Iterator
-
-