fr.gael.drb.xsd
Interface XsdValueSpace

All Known Implementing Classes:

XsdAtomicType, XsdListType, XsdSimpleType

public interface XsdValueSpace

Declaration of the XML-Schema value space.

Field Summary

static int	COUNTABLY_INFINITE Countably infinite cardinality.
static int	FINITE Finite cardinality.
static int	PARTIAL Partial order.
static int	TOTAL Total order.
static int	UNCOUNTABLY_INFINITE Un-countably infinite cardinality.
static int	UNDEFINED Undefined value.

Method Summary

int	getCardinality() Returns the cardinality of this value space.
Value	getExclusiveLowerBound() Returns the exclusive lower bound.
Value	getExclusiveUpperBound() Returns the exclusive upper bound.
Value	getInclusiveLowerBound() Returns the inclusive lower bound.
Value	getInclusiveUpperBound() Returns the inclusive upper bound.
int	getOrderRelation() Returns the order-relation of this value space.
boolean	isBounded() A datatype is bounded if its value space has either an inclusive upper bound or an exclusive upper bound and either an inclusive lower bound and an exclusive lower bound.
boolean	isNumeric() A datatype is said to be numeric if its values are conceptually quantities (in some mathematical number system).
boolean	isOrdered() A value space, is said to be ordered if there exists an order-relation defined for that value space.

Field Detail

UNDEFINED

static final int UNDEFINED

Undefined value.

See Also:

Constant Field Values

PARTIAL

static final int PARTIAL

Partial order.

See Also:

Constant Field Values

TOTAL

static final int TOTAL

Total order.

See Also:

Constant Field Values

FINITE

static final int FINITE

Finite cardinality.

See Also:

Constant Field Values

COUNTABLY_INFINITE

static final int COUNTABLY_INFINITE

Countably infinite cardinality.

See Also:

Constant Field Values

UNCOUNTABLY_INFINITE

static final int UNCOUNTABLY_INFINITE

Un-countably infinite cardinality.

See Also:

Constant Field Values

Method Detail

isOrdered

boolean isOrdered()

A value space, is said to be ordered if there exists an order-relation defined for that value space.

Returns:

true if this value space is ordered and false otherwise.

getOrderRelation

int getOrderRelation()

Returns the order-relation of this value space. An order relation on a value space is a mathematical relation that imposes a total order or a partial order on the members of the value space

Returns:

the order-relation defined on that value space

See Also:

PARTIAL, TOTAL

isBounded

boolean isBounded()

A datatype is bounded if its value space has either an inclusive upper bound or an exclusive upper bound and either an inclusive lower bound and an exclusive lower bound.

Returns:

true if this value space is bounded and false otherwise.

getInclusiveLowerBound

Value getInclusiveLowerBound()

Returns the inclusive lower bound.

Returns:

The inclusive lower bound or null if not defined.

getInclusiveUpperBound

Value getInclusiveUpperBound()

Returns the inclusive upper bound.

Returns:

The inclusive upper bound or null if not defined.

getExclusiveLowerBound

Value getExclusiveLowerBound()

Returns the exclusive lower bound.

Returns:

The exclusive lower bound or null if not defined.

getExclusiveUpperBound

Value getExclusiveUpperBound()

Returns the exclusive upper bound.

Returns:

The exclusive upper bound or null if not defined.

getCardinality

int getCardinality()

Returns the cardinality of this value space. Every value space has associated with it the concept of cardinality. Some value spaces are finite, some are countably infinite while still others could conceivably be uncountably infinite (although no value space defined by the XML-Schema specification is uncountable infinite). A datatype is said to have the cardinality of its value space.

Returns:

The cardinality of this value space.

See Also:

FINITE, COUNTABLY_INFINITE, UNCOUNTABLY_INFINITE

isNumeric

boolean isNumeric()

A datatype is said to be numeric if its values are conceptually quantities (in some mathematical number system).

Returns:

true if the datatype is numeric and false otherwise