be.SIRAPRISE.typeimplementations

Class ConstrainedTypeImplementation

java.lang.Object

be.SIRAPRISE.typeimplementations.AbstractTypeImplementation_V0105

be.SIRAPRISE.typeimplementations.ConstrainedTypeImplementation

All Implemented Interfaces:

java.io.Externalizable, java.io.Serializable

public class ConstrainedTypeImplementation
extends AbstractTypeImplementation_V0105

ConstrainedTypeImplementation is the implementation object used for constrained types. Note that the currently visible implementation is still incomplete, and can only serve the purpose of representing type hierarchies. Actually using the constrained type (on the client side), will just amount to using the root type in most cases. The type constraint that makes constrained types useful, cannot yet be exploited at the client side.

Author:

erwin

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
ConstrainedTypeImplementation(NameIdentifier typeName, AbstractTypeImplementation_V0105 superTypeImplementation) Creates the ConstrainedTypeImplementation

Method Summary

Modifier and Type	Method and Description
PossRepImplementation	getDefaultPossrepImplementation() Gets the possrep implementation that is to be considered the default for the type.
int	getEncodingLength() Gets the fixed encoding length, if the type employs fixed-length encoding, i.e.
OperatorImplementation_V0104	getEqualityOperatorImplementation() Gets the implementation object for the equality operator pertaining to this type.
OperatorImplementation_V0104	getOrderingOperatorImplementation() Gets the implementation object for the ordering operator (GT) pertaining to this type.
PossRepImplementation	getPossrepImplementation(java.lang.String componentName) Gets the PossrepImplementation object implementing the possrep of which the given component name names a component.
MyReadOnlySet<PossRepImplementation>	getPossrepImplementations() Gets the set of all PossRepImplementations for this type.
java.lang.String	getRootTypeName() Gets the name of the 'root' type that this type ultimately derives from (through specialization by constraint).
AbstractTypeImplementation_V0105	getSuperTypeImplementation() Gets superTypeImplementation
boolean	hasVariableLengthEncoding() Determines whether the number of bytes used in the physical encoding is the same for any possible value of the type.
boolean	isOfType(AbstractTypeImplementation_V0105 type) Checks whether this type is either the given type itself, or is a constrainedtype whose [ultimate] base type is the given type
void	readExternal(java.io.ObjectInput in)
void	writeExternal(java.io.ObjectOutput out)

Methods inherited from class be.SIRAPRISE.typeimplementations.AbstractTypeImplementation_V0105

getCommonScalarSuperTypeImplementation, getOrdinalOperatorImplementations, getTypeName, getTypeNameIdentifier, valueFromEscapedExternalRepresentation, valueFromEscapedExternalRepresentation, valueFromEscapedExternalRepresentationWithoutException

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ConstrainedTypeImplementation

public ConstrainedTypeImplementation(NameIdentifier typeName,
                                     AbstractTypeImplementation_V0105 superTypeImplementation)

Creates the ConstrainedTypeImplementation

Parameters:

typeName - the name of this constrained type

superTypeImplementation - the implementation object for the supertype

Method Detail

getSuperTypeImplementation

public final AbstractTypeImplementation_V0105 getSuperTypeImplementation()

Gets superTypeImplementation

Returns:

superTypeImplementation.

getDefaultPossrepImplementation

public PossRepImplementation getDefaultPossrepImplementation()

Description copied from class: AbstractTypeImplementation_V0105

Gets the possrep implementation that is to be considered the default for the type. If the type does not provide any possrep(implementation)s at all, then this method should return null, and this type will be treated as a singleton type.

Specified by:

getDefaultPossrepImplementation in class AbstractTypeImplementation_V0105

Returns:

the possrep implementation that is to be considered the default for the type, or null if the type is a singleton.

getEncodingLength

public final int getEncodingLength()

Description copied from class: AbstractTypeImplementation_V0105

Gets the fixed encoding length, if the type employs fixed-length encoding, i.e. if the hasVariableLengthEncoding() method returns 'false'. Types that employ variable-length encodings are required to return a negative value.

Specified by:

getEncodingLength in class AbstractTypeImplementation_V0105

Returns:

the fixed encoding length, if the type employs fixed-length encoding, i.e. if the hasVariableLengthEncoding() method returns 'false'. Types that employ variable-length encodings are required to return a negative value.

getEqualityOperatorImplementation

public final OperatorImplementation_V0104 getEqualityOperatorImplementation()

Description copied from class: AbstractTypeImplementation_V0105

Gets the implementation object for the equality operator pertaining to this type.

Specified by:

getEqualityOperatorImplementation in class AbstractTypeImplementation_V0105

Returns:

the implementation object for the equality operator pertaining to this type.

getOrderingOperatorImplementation

public final OperatorImplementation_V0104 getOrderingOperatorImplementation()
                                                                     throws TypeIsNotOrderedException

Description copied from class: AbstractTypeImplementation_V0105

Gets the implementation object for the ordering operator (GT) pertaining to this type.

Specified by:

getOrderingOperatorImplementation in class AbstractTypeImplementation_V0105

Returns:

the implementation object for the ordering operator pertaining to this type. Null if there is no such operator.

Throws:

TypeIsNotOrderedException - If the type is not ordered

getPossrepImplementation

public PossRepImplementation getPossrepImplementation(java.lang.String componentName)
                                               throws NotFoundException

Description copied from class: AbstractTypeImplementation_V0105

Gets the PossrepImplementation object implementing the possrep of which the given component name names a component. This method is introduced in version 1.3. The method is optional, but implementers are strongly encouraged to add this method to any implementing class they already have developed.

Specified by:

getPossrepImplementation in class AbstractTypeImplementation_V0105

Parameters:

componentName - The name of a component of some possrep of this type (and for which the corresponding PossrepImplementation object is to be returned)

Returns:

The PossrepImplementation object implementing the possrep of which the given component name names a component

Throws:

NotFoundException - If the type does not have any possrep with a component of the given name

getPossrepImplementations

public MyReadOnlySet<PossRepImplementation> getPossrepImplementations()

Description copied from class: AbstractTypeImplementation_V0105

Gets the set of all PossRepImplementations for this type.

Specified by:

getPossrepImplementations in class AbstractTypeImplementation_V0105

Returns:

The set of all PossRepImplementations for this type.

getRootTypeName

public final java.lang.String getRootTypeName()

Description copied from class: AbstractTypeImplementation_V0105

Gets the name of the 'root' type that this type ultimately derives from (through specialization by constraint).

Specified by:

getRootTypeName in class AbstractTypeImplementation_V0105

Returns:

the name of the 'root' type that this type ultimately derives from (through specialization by constraint).

hasVariableLengthEncoding

public final boolean hasVariableLengthEncoding()

Description copied from class: AbstractTypeImplementation_V0105

Determines whether the number of bytes used in the physical encoding is the same for any possible value of the type. E.g. an integer type can always use 4 or 8 bytes for the encodings of its values, a text type can use just the number of byte positions needed.

Specified by:

hasVariableLengthEncoding in class AbstractTypeImplementation_V0105

Returns:

true if the length (in bytes) of the physical space needed to hold an encoding of a value of this type, is the same for all values

isOfType

public final boolean isOfType(AbstractTypeImplementation_V0105 type)

Description copied from class: AbstractTypeImplementation_V0105

Checks whether this type is either the given type itself, or is a constrainedtype whose [ultimate] base type is the given type

Specified by:

isOfType in class AbstractTypeImplementation_V0105

Parameters:

type - The type for which it is to be tested whether this type is a "subtype" of it

Returns:

True if this type is the same as the given type, or if this type is a constrained type whose base type is the named type

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException

Throws:

java.io.IOException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Throws:

java.io.IOException