org.universAAL.middleware.owl

Class IntRestriction

java.lang.Object

org.universAAL.middleware.rdf.Resource

org.universAAL.middleware.owl.TypeExpression

org.universAAL.middleware.owl.TypeRestriction

org.universAAL.middleware.owl.BoundedValueRestriction

org.universAAL.middleware.owl.IntRestriction

public final class IntRestriction
extends BoundedValueRestriction

A TypeExpression (BoundedValueRestriction) that contains all literals of type int with a given lower bound and/or upper bound.

For example, IntRestriction(0, true, 4, false) contains exactly the literals 0,1,2, and 3.

Author:

Carsten Stockloew

Nested Class Summary

Nested classes/interfaces inherited from class org.universAAL.middleware.owl.TypeRestriction

TypeRestriction.Facet

Field Summary

Fields

Modifier and Type	Field and Description
static String	DATATYPE_URI URI of the data type Integer.

Fields inherited from class org.universAAL.middleware.owl.BoundedValueRestriction

XSD_FACET_MAX_EXCLUSIVE, XSD_FACET_MAX_INCLUSIVE, XSD_FACET_MIN_EXCLUSIVE, XSD_FACET_MIN_INCLUSIVE

Fields inherited from class org.universAAL.middleware.owl.TypeRestriction

PROP_OWL_ON_DATATYPE, PROP_OWL_WITH_RESTRICTIONS, restrictions, XSD_FACET_PATTERN

Fields inherited from class org.universAAL.middleware.owl.TypeExpression

EXCEPTION_TTL, OWL_CLASS, OWL_NAMESPACE, PROP_RDFS_SUB_CLASS_OF, RDFS_DATATYPE, TYPE_OWL_THING

Fields inherited from class org.universAAL.middleware.rdf.Resource

ANON_URI_PREFIX, blockAddingTypes, isXMLLiteral, NAMESPACE_PREFIX, ns_delim_index, PROP_INVOLVED_HUMAN_USER, PROP_RDF_FIRST, PROP_RDF_REST, PROP_RDF_TYPE, PROP_RDFS_COMMENT, PROP_RDFS_LABEL, PROP_SERIALIZATION_FULL, PROP_SERIALIZATION_OPTIONAL, PROP_SERIALIZATION_REDUCED, PROP_SERIALIZATION_UNDEFINED, props, RDF_EMPTY_LIST, RDF_NAMESPACE, RDFS_NAMESPACE, SERVICE_NAMESPACE, TYPE_RDF_LIST, TYPE_RDFS_CLASS, uri, VOCABULARY_NAMESPACE

Constructor Summary

Constructors

Constructor and Description
IntRestriction() Standard constructor for exclusive use by serializers.
IntRestriction(int min, boolean minInclusive, int max, boolean maxInclusive) Creates a new restriction.
IntRestriction(Integer min, boolean minInclusive, Integer max, boolean maxInclusive) Creates a new restriction.
IntRestriction(Object min, boolean minInclusive, Object max, boolean maxInclusive) Creates a new restriction.

Method Summary

Modifier and Type	Method and Description
protected boolean	checkType(Object o) Determines whether the type of the given object is valid.
TypeExpression	copy() Create a copy of this object, i.e.
protected Comparable	getNext(Comparable c) Returns the next element, i.e.
protected Comparable	getPrevious(Comparable c) Returns the previous element, i.e.

Methods inherited from class org.universAAL.middleware.owl.BoundedValueRestriction

copyTo, getLowerbound, getUpperbound, hasMember, isDisjointWith, isWellFormed, matches, setProperty

Methods inherited from class org.universAAL.middleware.owl.TypeRestriction

addConstrainingFacet, copyTo, getMemberValueToCheck, getNamedSuperclasses, getTypeURI, getUpperEnumeration, hasMember, iterate, matches, resolveVarByGreaterEqual, resolveVarByLessEqual, setFacet, setPattern

Methods inherited from class org.universAAL.middleware.owl.TypeExpression

checkTTL, collectTypesMinimized, getDefaultMatchmakingTTL, hasMember, hasMember, isDisjointWith, isDisjointWith, matches, matches, synchronize

Methods inherited from class org.universAAL.middleware.rdf.Resource

addMultiLangProp, addType, asList, asList, asRDFList, changeProperty, copy, deepCopy, equals, generateAnonURI, getDefaultLang, getFilename, getLocalName, getMultiLangProp, getNamespace, getOrConstructLabel, getOrConstructLabel, getProperty, getPropertyURIs, getPropSerializationType, getResource, getResourceComment, getResourceLabel, getResourceLabel, getStaticFieldValue, getType, getTypes, getURI, hashCode, hasProperty, hasQualifiedName, isAnon, isAnon, isBlockingAddingTypes, isClosedCollection, isQualifiedName, literal, numberOfProperties, representsQualifiedURI, serializesAsXMLLiteral, setPropertyPath, setPropertyPath, setPropertyPathFromOffset, setResourceComment, setResourceLabel, toString, toStringRecursive, toStringRecursive, unliteral

Methods inherited from class java.lang.Object

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

Field Detail

DATATYPE_URI

public static final String DATATYPE_URI

URI of the data type Integer.

Constructor Detail

IntRestriction

public IntRestriction()

Standard constructor for exclusive use by serializers.

IntRestriction

public IntRestriction(int min,
                      boolean minInclusive,
                      int max,
                      boolean maxInclusive)

Creates a new restriction.

Parameters:

min - The minimum value, or null if no minimum is defined.

minInclusive - True, if the minimum value is included. Ignored, if min is null.

max - The maximum value, or null if no maximum is defined.

maxInclusive - True, if the maximum value is included. Ignored, if max is null.

IntRestriction

public IntRestriction(Integer min,
                      boolean minInclusive,
                      Integer max,
                      boolean maxInclusive)

Creates a new restriction.

Parameters:

min - The minimum value, or null if no minimum is defined.

minInclusive - True, if the minimum value is included. Ignored, if min is null.

max - The maximum value, or null if no maximum is defined.

maxInclusive - True, if the maximum value is included. Ignored, if max is null.

IntRestriction

public IntRestriction(Object min,
                      boolean minInclusive,
                      Object max,
                      boolean maxInclusive)

Creates a new restriction.

Parameters:

min - The minimum value, or a Variable reference, or null if no minimum is defined.

minInclusive - True, if the minimum value is included. Ignored, if min is null.

max - The maximum value, or a Variable reference, or null if no maximum is defined.

maxInclusive - True, if the maximum value is included. Ignored, if max is null.

Method Detail

checkType

protected boolean checkType(Object o)

Description copied from class: BoundedValueRestriction

Determines whether the type of the given object is valid. Sub classes should override this method to check for their type and call super to check whether it is a Variable.

Overrides:

checkType in class BoundedValueRestriction

Parameters:

o - The object to check.

Returns:

true, if the type is valid.

getNext

protected Comparable getNext(Comparable c)

Description copied from class: TypeRestriction

Returns the next element, i.e. the value given as parameter plus the smallest possible value that can be represented for the data type. For example, if the data type is int getNext(x) would return x+1. Sub classes should override this method.

Overrides:

getNext in class TypeRestriction

Parameters:

c - A value for which to get the next value.

Returns:

the next value.

getPrevious

protected Comparable getPrevious(Comparable c)

Description copied from class: TypeRestriction

Returns the previous element, i.e. the value given as parameter minus the smallest possible value that can be represented for the data type. For example, if the data type is int getPrevious(x) would return x-1. Sub classes should override this method.

Overrides:

getPrevious in class TypeRestriction

Parameters:

c - A value for which to get the previous value.

Returns:

the previous value.

copy

public TypeExpression copy()

Description copied from class: TypeExpression

Create a copy of this object, i.e. create a new object of this class and copy the necessary properties.

Specified by:

copy in class TypeExpression

Returns:

The newly created copy.