IntervalTypeImplementation

java.lang.Object
- be.SIRAPRISE.typeimplementations.AbstractTypeImplementation_V0105
- - be.SIRAPRISE.typeimplementations.AbstractJavaBackedTypeImplementation_V0105
  - - be.SIRAPRISE.typeimplementations.IntervalTypeImplementation

All Implemented Interfaces:

PossRepImplementation, PossRepImplementation_V0105, java.io.Externalizable, java.io.Serializable
```
public final class IntervalTypeImplementation
extends AbstractJavaBackedTypeImplementation_V0105
implements PossRepImplementation_V0105
```
IntervalTypeImplementation generically defines implementation objects for each interval type. The physical encoding for values of any INTERVAL type always has the following structure :
- A two-byte marker indicating negative and positive infinity of the interval value (i.e. the presence/absence of the BEGIN() and END() components, respectively. The meaning of the two-byte marker is as follows :
  - 0x0101 : interval is wholly finite (i.e. has both a BEGIN() and an END() component)
  - 0x0100 : interval is positive infinite (i.e. has a BEGIN() and no END() component)
  - 0x0001 : interval is negative infinite (i.e. has no BEGIN() component, but does have an END() component).
  - 0x0000 : interval is wholly infinite (i.e. has neither a BEGIN() nor an END() component)
  Observe that the latter two, which involve negative infinity, are ONLY defined for purposes of possible future implementation, and are currently NOT supported.
- If the infinity markers indicate that the BEGIN() component is present, the physical encoding of the value of the BEGIN() (or FROM()) component. This includes the variable-length length bytes if the component type (the underlying base type for this interval type) has a variable-length encoding.
- If the infinity markers indicate that the END() component is present, the physical encoding of the value of the END() component. This includes the variable-length length bytes if the component type (the underlying base type for this interval type) has a variable-length encoding.
Encodings of interval types thus look like one of the following :
- 0101 bbbbbbbb eeeeeeee
- 0100 bbbbbbbb
- 0001 eeeeeeee
- 0000
- 0101 blblblbl bbbbbbbb elelelel eeeeeeee
- 0100 blblblbl bbbbbbbb
- 0001 elelelel eeeeeeee
- 0000
The first four are examples with an underlying base type that has fixed-length encoding, the latter four are examples with a variable-length encoding underlying base type. For the fixed-length encodings, the number of bb / ee bytes is obviously determined by the underlying base type's implementation. For the variable-length encodings, the number of bb / ee bytes is obviously determined by the contents of the blblblbl and elelelel fields.
Author:

Erwin

See Also:

Serialized Form

Constructor Summary

Constructors
Constructor and Description

IntervalTypeImplementation(AbstractTypeImplementation_V0105 baseTypeImplementation)
Creates the IntervalTypeImplementation

Constructors
Constructor and Description
`IntervalTypeImplementation(AbstractTypeImplementation_V0105 baseTypeImplementation)` Creates the IntervalTypeImplementation

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`AbstractTypeImplementation_V0105`	`getBaseTypeImplementation()` Gets baseTypeImplementation
`OperatorImplementation_V0104`	`getBaseTypeOrderingOperatorImplementation()` Gets baseTypeOrderingOperatorImplementation
`ReadOnlyMap<NameIdentifier,TypeDeclaration>`	`getComponentIdentifierTypeDeclarationsMap()` Gets a map of component names to corresponding type declarations.
`MyReadOnlyMap<java.lang.String,java.lang.String>`	`getComponentNameMap()` Gets a map of component/type names.
`ReadOnlyMap<java.lang.String,TypeDeclaration>`	`getComponentTypeDeclarationsMap()` Gets a map of component names to corresponding type declarations.
`ValueBuffer`	`getComponentValue(java.lang.String componentName, ScalarValueBuffer valueBuffer)` "Extracts" a possrep component value out of a value of the type
`ValueBuffer`	`getComponentValue(java.lang.String componentName, ValueBuffer valueBuffer)` "Extracts" a possrep component value out of a value of the type
`ValueBuffer`	`getComponentValue(java.lang.String componentName, ValueBuffer valueBuffer, Heading nonScalarHeading)` "Extracts" a possrep component value out of a value of the type.
`MyReadOnlyMap<java.lang.String,ValueBuffer>`	`getComponentValues(ValueBuffer valueBuffer, Heading nonScalarHeading)` Gets all the possrep component values for a given value of the type this possrep is for
`static java.lang.String`	`getCorrespondingBaseTypeName(java.lang.String intervalTypeName)` Gets the name of the interval type corresponding to a given typeName, if that type is ordered
`static java.lang.String`	`getCorrespondingIntervalTypeName(java.lang.String typeName)` Gets the name of the interval type corresponding to a given typeName, if that type is ordered
`PossRepImplementation`	`getDefaultPossrepImplementation()` Gets the possrep implementation that is to be considered the default for the type.
`ValueBuffer`	`getEmptyIntervalValue(ValueBuffer beginValueBuffer)` Gets a ValueBuffer depicting an empty interval of the underlying type whose physical encoding size is given.
`int`	`getEncodingLength()` Gets the fixed encoding length, if the type employs fixed-length encoding, i.e.
`ValueBuffer`	`getFullyBoundedIntervalValue(ValueBuffer beginValueBuffer, ValueBuffer endValueBuffer)`
`MyReadOnlyMap<NameIdentifier,ValueBuffer>`	`getIdentifierComponentValues(ValueBuffer valueBuffer, Heading nonScalarHeading)` Gets all the possrep component values for a given value of the type this possrep is for
`ValueBuffer`	`getNegativeInfiniteIntervalValue(ValueBuffer endValueBuffer)` Gets a valueBuffer holding the interval value from "negative infinity" to the END value provided in the given endValueBuffer
`ValueBuffer`	`getPositiveInfiniteIntervalValue(ValueBuffer beginValueBuffer)` Gets a valueBuffer holding the interval value from the point value held in the provided value buffer to "positive infinity"
`MyReadOnlySet<PossRepImplementation>`	`getPossrepImplementations()` Gets the set of all PossRepImplementations for this type.
`java.lang.String`	`getPossrepName()` Gets the possrep name
`static ValueBuffer`	`getWhollyInfiniteIntervalValue()` Gets a ValueBuffer denoting the "universal interval" of the underlying type, i.e.
`boolean`	`hasVariableLengthEncoding()` Determines whether the number of bytes used in the physical encoding is the same for any possible value of the type.
`static boolean`	`isFullyBounded(short finitenessIndicator)` Checks whether the interval value that the given finiteness indicator was drawn from, has both a begin and end component
`static boolean`	`isFullyUnbounded(short finitenessIndicator)` Checks whether the interval value that the given finiteness indicator was drawn from, has both a begin and end component
`static boolean`	`isLowerBounded(short finitenessIndicator)` Checks whether the interval value that the given finiteness indicator was drawn from, has a begin component.
`static boolean`	`isLowerInfinite(short finitenessIndicator)` Checks whether the interval value that the given finiteness indicator was drawn from, lacks a begin component.
`static boolean`	`isUpperBounded(short finitenessIndicator)` Checks whether the interval value that the given finiteness indicator was drawn from, has an end component truth table xx01 ===> true xx00 ===> false
`static boolean`	`isUpperInfinite(short finitenessIndicator)` Checks whether the interval value that the given finiteness indicator was drawn from, lacks an end component truth table xx01 ===> false xx00 ===> true
`void`	`readExternal(java.io.ObjectInput in)`
`ValueBuffer`	`valueFromComponentValues(java.util.Map<java.lang.String,ValueBuffer> componentValueMap)` Returns a ValueBuffer holding the value of the type that this PossRepImplementation is for, and that corresponds to the component values given in the componentValueMap argument.
`ValueBuffer`	`valueFromExternalRepresentation(java.lang.String value, Heading nonScalarHeading)` Convert a value of this possrep's type to internal format.
`ValueBuffer`	`valueFromIdentifierComponentValues(java.util.Map<NameIdentifier,ValueBuffer> componentValueMap)` Returns a ValueBuffer holding the value of the type that this PossRepImplementation is for, and that corresponds to the component values given in the componentValueMap argument.
`java.lang.String`	`valueToEscapedExternalRepresentation(ValueBuffer valueBuffer, Heading nonScalarHeading)` Converts a value in internal format to the appropriate textual representation of that value for this possrep.
`java.lang.String`	`valueToEscapedExternalRepresentationVerbose(ValueBuffer valueBuffer, Heading nonScalarHeading)` Converts a value in internal format to the appropriate textual representation of that value for this possrep, including the surrounding typename (i.e.
`java.lang.String`	`valueToExternalRepresentation(ValueBuffer valueBuffer, Heading nonScalarHeading)` Converts a value in internal format to the appropriate textual representation of that value for this possrep.
`java.lang.String`	`valueToExternalRepresentationVerbose(ValueBuffer valueBuffer, Heading nonScalarHeading)` Converts a value in internal format to the appropriate textual representation of that value for this possrep, including the surrounding typename (i.e.
`void`	`writeExternal(java.io.ObjectOutput out)`

Methods inherited from class be.SIRAPRISE.typeimplementations.AbstractJavaBackedTypeImplementation_V0105
getEqualityOperatorImplementation, getOrderingOperatorImplementation, getPossrepImplementation, getRootTypeName, isOfType

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
  - IntervalTypeImplementation
```
public IntervalTypeImplementation(AbstractTypeImplementation_V0105 baseTypeImplementation)
                           throws TypeIsNotOrderedException
```
    Creates the IntervalTypeImplementation
    
    Parameters:
    
    baseTypeImplementation - The implementation object of the underlying base type
    
    Throws:
    
    TypeIsNotOrderedException - If the underlying base type is not ordered, i.e. no ordering operator GT_xxx_xxx is defined for the base type
- Method Detail
  - getCorrespondingBaseTypeName
```
public static java.lang.String getCorrespondingBaseTypeName(java.lang.String intervalTypeName)
```
    Gets the name of the interval type corresponding to a given typeName, if that type is ordered
    
    Parameters:
    
    intervalTypeName - The name of an ordered type
    
    Returns:
    
    the name of the interval type corresponding to a given typeName, if that type is ordered
  - getCorrespondingIntervalTypeName
```
public static java.lang.String getCorrespondingIntervalTypeName(java.lang.String typeName)
```
    Gets the name of the interval type corresponding to a given typeName, if that type is ordered
    
    Parameters:
    
    typeName - The name of an ordered type
    
    Returns:
    
    the name of the interval type corresponding to a given typeName, if that type is ordered
  - isFullyBounded
```
public static boolean isFullyBounded(short finitenessIndicator)
```
    Checks whether the interval value that the given finiteness indicator was drawn from, has both a begin and end component
    
    Parameters:
    
    finitenessIndicator - The finiteNess indicator obtained from some physically recorded interval value
    
    Returns:
    
    true if the indicator indicates that the interval value has both a finite (=present) begin and end component
  - isFullyUnbounded
```
public static boolean isFullyUnbounded(short finitenessIndicator)
```
    Checks whether the interval value that the given finiteness indicator was drawn from, has both a begin and end component
    
    Parameters:
    
    finitenessIndicator - The finiteNess indicator obtained from some physically recorded interval value
    
    Returns:
    
    true if the indicator indicates that the interval value has both a finite (=present) begin and end component
  - isLowerBounded
```
public static boolean isLowerBounded(short finitenessIndicator)
```
    Checks whether the interval value that the given finiteness indicator was drawn from, has a begin component.
    truth table
    
    01xx ===> true
    
    00xx ===> false
    
    Parameters:
    
    finitenessIndicator - The finiteNess indicator obtained from some physically recorded interval value
    
    Returns:
    
    true if the indicator indicates that the interval value has a begin component
  - isLowerInfinite
```
public static boolean isLowerInfinite(short finitenessIndicator)
```
    Checks whether the interval value that the given finiteness indicator was drawn from, lacks a begin component.
    truth table
    
    01xx ===> false
    
    00xx ===> true
    
    Parameters:
    
    finitenessIndicator - The finiteNess indicator obtained from some physically recorded interval value
    
    Returns:
    
    true if the indicator indicates that the interval value lacks an begin component
  - isUpperBounded
```
public static boolean isUpperBounded(short finitenessIndicator)
```
    Checks whether the interval value that the given finiteness indicator was drawn from, has an end component
    truth table
    
    xx01 ===> true
    
    xx00 ===> false
    
    Parameters:
    
    finitenessIndicator - The finiteNess indicator obtained from some physically recorded interval value
    
    Returns:
    
    true if the indicator indicates that the interval value lacks an end component
  - isUpperInfinite
```
public static boolean isUpperInfinite(short finitenessIndicator)
```
    Checks whether the interval value that the given finiteness indicator was drawn from, lacks an end component
    truth table
    
    xx01 ===> false
    
    xx00 ===> true
    
    Parameters:
    
    finitenessIndicator - The finiteNess indicator obtained from some physically recorded interval value
    
    Returns:
    
    true if the indicator indicates that the interval value lacks an end component
  - getBaseTypeImplementation
```
public final AbstractTypeImplementation_V0105 getBaseTypeImplementation()
```
    Gets baseTypeImplementation
    
    Returns:
    
    baseTypeImplementation.
  - getBaseTypeOrderingOperatorImplementation
```
public final OperatorImplementation_V0104 getBaseTypeOrderingOperatorImplementation()
```
    Gets baseTypeOrderingOperatorImplementation
    
    Returns:
    
    baseTypeOrderingOperatorImplementation.
  - getComponentIdentifierTypeDeclarationsMap
```
public ReadOnlyMap<NameIdentifier,TypeDeclaration> getComponentIdentifierTypeDeclarationsMap()
```
    Description copied from interface: PossRepImplementation_V0105
    
    Gets a map of component names to corresponding type declarations. The keys in the map are the names of the components of this possrep. The values in the map are the type declaration objects corresponding to the named component. The map can be empty, if this is a possrep that does not consist of components.
    
    Specified by:
    
    getComponentIdentifierTypeDeclarationsMap in interface PossRepImplementation_V0105
    
    Returns:
    
    a map of component/type names.
  - getComponentNameMap
```
public final MyReadOnlyMap<java.lang.String,java.lang.String> getComponentNameMap()
```
    Description copied from interface: PossRepImplementation
    
    Gets a map of component/type names. The keys in the map are the names of the components of this possrep. The values in the map are the typenames corresponding to (the values for) the named component. Since both the keys and the values in the map are all names, they must both be all uppercase. The map can be empty, if this is a possrep that does not consist of components.
    
    Specified by:
    
    getComponentNameMap in interface PossRepImplementation
    
    Returns:
    
    a map of component/type names.
  - getComponentTypeDeclarationsMap
```
public ReadOnlyMap<java.lang.String,TypeDeclaration> getComponentTypeDeclarationsMap()
```
    Description copied from interface: PossRepImplementation
    
    Gets a map of component names to corresponding type declarations. The keys in the map are the names of the components of this possrep. The values in the map are the type declaration objects corresponding to the named component. The map can be empty, if this is a possrep that does not consist of components.
    
    Specified by:
    
    getComponentTypeDeclarationsMap in interface PossRepImplementation
    
    Returns:
    
    a map of component/type names.
  - getComponentValue
```
public final ValueBuffer getComponentValue(java.lang.String componentName,
                                           ScalarValueBuffer valueBuffer)
```
    Description copied from interface: PossRepImplementation
    
    "Extracts" a possrep component value out of a value of the type
    
    Specified by:
    
    getComponentValue in interface PossRepImplementation
    
    Parameters:
    
    componentName - The possrep component Name
    
    valueBuffer - The scalarValueBuffer holding the value of which the possrep's component's value is to be extracted
    
    Returns:
    
    The value of the component in this possrep's representation of the given value
  - getComponentValue
```
public ValueBuffer getComponentValue(java.lang.String componentName,
                                     ValueBuffer valueBuffer)
```
    Description copied from interface: PossRepImplementation
    
    "Extracts" a possrep component value out of a value of the type
    
    Specified by:
    
    getComponentValue in interface PossRepImplementation
    
    Parameters:
    
    componentName - The possrep component Name
    
    valueBuffer - The scalarValueBuffer holding the value of which the possrep's component's value is to be extracted
    
    Returns:
    
    The value of the component in this possrep's representation of the given value
  - getComponentValue
```
public ValueBuffer getComponentValue(java.lang.String componentName,
                                     ValueBuffer valueBuffer,
                                     Heading nonScalarHeading)
```
    Description copied from interface: PossRepImplementation_V0105
    
    "Extracts" a possrep component value out of a value of the type. This method supersedes the getComponentValue() method of the PossRepImplementation14 interface.
    
    Specified by:
    
    getComponentValue in interface PossRepImplementation_V0105
    
    Parameters:
    
    componentName - The possrep component Name
    
    valueBuffer - The scalarValueBuffer holding the value of which the possrep's component's value is to be extracted
    
    nonScalarHeading - The heading defining the nonScalar type that the value in the (nonscalar) valueBuffer is of.
    
    Returns:
    
    The value of the component in this possrep's representation of the given value
  - getComponentValues
```
public MyReadOnlyMap<java.lang.String,ValueBuffer> getComponentValues(ValueBuffer valueBuffer,
                                                                      Heading nonScalarHeading)
```
    Description copied from interface: PossRepImplementation
    
    Gets all the possrep component values for a given value of the type this possrep is for
    
    Specified by:
    
    getComponentValues in interface PossRepImplementation
    
    Parameters:
    
    valueBuffer - The scalarValueBuffer holding the value of which the possrep's component's value is to be extracted
    
    nonScalarHeading - The heading defining the specific nonScalar type, if the type is nonScalar and the value is a body value alone
    
    Returns:
    
    a mapping of all the possrep component values for a given value of the type this possrep is for
  - getDefaultPossrepImplementation
```
public final 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.
  - getEmptyIntervalValue
```
public ValueBuffer getEmptyIntervalValue(ValueBuffer beginValueBuffer)
```
    Gets a ValueBuffer depicting an empty interval of the underlying type whose physical encoding size is given.
    
    Parameters:
    
    beginValueBuffer - The actual (valid) value of the underlying type that will be used to fill the begin and end parts of the interval value
    
    Returns:
    
    a ValueBuffer depicting an empty interval of the underlying type whose physical encoding size is given.
  - getEncodingLength
```
public 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.
  - getFullyBoundedIntervalValue
```
public ValueBuffer getFullyBoundedIntervalValue(ValueBuffer beginValueBuffer,
                                                ValueBuffer endValueBuffer)
```
    Parameters:
    
    beginValueBuffer - -
    
    endValueBuffer - -
    
    Returns:
    
    The ValueBuffer holding the interval value consisting of the begin and end values held in the arguments given
  - getIdentifierComponentValues
```
public MyReadOnlyMap<NameIdentifier,ValueBuffer> getIdentifierComponentValues(ValueBuffer valueBuffer,
                                                                              Heading nonScalarHeading)
```
    Description copied from interface: PossRepImplementation_V0105
    
    Gets all the possrep component values for a given value of the type this possrep is for
    
    Specified by:
    
    getIdentifierComponentValues in interface PossRepImplementation_V0105
    
    Parameters:
    
    valueBuffer - The scalarValueBuffer holding the value of which the possrep's component's value is to be extracted
    
    nonScalarHeading - The heading defining the specific nonScalar type, if the type is nonScalar and the value is a body value alone
    
    Returns:
    
    a mapping of all the possrep component values for a given value of the type this possrep is for
  - getNegativeInfiniteIntervalValue
```
public ValueBuffer getNegativeInfiniteIntervalValue(ValueBuffer endValueBuffer)
```
    Gets a valueBuffer holding the interval value from "negative infinity" to the END value provided in the given endValueBuffer
    
    Parameters:
    
    endValueBuffer - The END component of the interval value to be returned
    
    Returns:
    
    The ValueBuffer holding the infinite interval value consisting of the end value held in the argument given
  - getPositiveInfiniteIntervalValue
```
public ValueBuffer getPositiveInfiniteIntervalValue(ValueBuffer beginValueBuffer)
```
    Gets a valueBuffer holding the interval value from the point value held in the provided value buffer to "positive infinity"
    
    Parameters:
    
    beginValueBuffer - The BEGIN component of the interval value to be returned
    
    Returns:
    
    The ValueBuffer holding the infinite interval value consisting of the begin value held in the argument given
  - getPossrepImplementations
```
public final 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.
  - getPossrepName
```
public final java.lang.String getPossrepName()
```
    Description copied from interface: PossRepImplementation
    
    Gets the possrep name
    
    Specified by:
    
    getPossrepName in interface PossRepImplementation
    
    Returns:
    
    The possrep name
  - getWhollyInfiniteIntervalValue
```
public static ValueBuffer getWhollyInfiniteIntervalValue()
```
    Gets a ValueBuffer denoting the "universal interval" of the underlying type, i.e. the interval value that comprises all points of the underlying type.
    
    Returns:
    
    a ValueBuffer denoting the "universal interval" of the underlying type, i.e. the interval value that comprises all points of the underlying type.
  - 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
  - readExternal
```
public void readExternal(java.io.ObjectInput in)
```
    Specified by:
    
    readExternal in interface java.io.Externalizable
  - valueFromComponentValues
```
public final ValueBuffer valueFromComponentValues(java.util.Map<java.lang.String,ValueBuffer> componentValueMap)
```
    Description copied from interface: PossRepImplementation
    
    Returns a ValueBuffer holding the value of the type that this PossRepImplementation is for, and that corresponds to the component values given in the componentValueMap argument.
    
    Specified by:
    
    valueFromComponentValues in interface PossRepImplementation
    
    Parameters:
    
    componentValueMap - A Map holding component names and their corresponding values, held in a ValueBuffer.
    
    Returns:
    
    a ValueBuffer holding the value of the type that this PossRepImplementation is for, and that corresponds to the component values given in the componentValueMap argument.
  - valueFromExternalRepresentation
```
public final ValueBuffer valueFromExternalRepresentation(java.lang.String value,
                                                         Heading nonScalarHeading)
                                                  throws InvalidValueException
```
    Description copied from interface: PossRepImplementation
    
    Convert a value of this possrep's type to internal format. The implementation is responsible for ensuring that the result is within bounds with the possrep's type's minimum or maximum logical size (and thus with the corresponding minimum and maximum physical encoding size). If the type is variable-length, then any length may be chosen for the ByteBuffer returned, as long as the encoding of the value fits within that byteBuffer length. If the encoding of a value takes less bytes than the chosen length, then the remaining bytes must be filled with null bytes (0x00). Failing to obey this rule will subvert certain checksum computations that are done internally by SIRA_PRISE, and thus cause it to possibly produce wrong results. Note that if a type is variable-length, then the first four bytes in the returned ScalarValueBuffer's ByteBuffer must hold the logical length of the value.
    
    Specified by:
    
    valueFromExternalRepresentation in interface PossRepImplementation
    
    Parameters:
    
    value - the value in external format.
    
    nonScalarHeading - The heading defining the specific nonScalar type, if the type is nonScalar and the value is a body value alone
    
    Returns:
    
    the value in internal format.
    
    Throws:
    
    InvalidValueException - If the textual representation does not represent a value of the possrep's type.
  - valueFromIdentifierComponentValues
```
public ValueBuffer valueFromIdentifierComponentValues(java.util.Map<NameIdentifier,ValueBuffer> componentValueMap)
```
    Description copied from interface: PossRepImplementation_V0105
    
    Returns a ValueBuffer holding the value of the type that this PossRepImplementation is for, and that corresponds to the component values given in the componentValueMap argument.
    
    Specified by:
    
    valueFromIdentifierComponentValues in interface PossRepImplementation_V0105
    
    Parameters:
    
    componentValueMap - A Map holding component names and their corresponding values, held in a ValueBuffer.
    
    Returns:
    
    a ValueBuffer holding the value of the type that this PossRepImplementation is for, and that corresponds to the component values given in the componentValueMap argument.
  - valueToEscapedExternalRepresentation
```
public final java.lang.String valueToEscapedExternalRepresentation(ValueBuffer valueBuffer,
                                                                   Heading nonScalarHeading)
```
    Description copied from interface: PossRepImplementation
    
    Converts a value in internal format to the appropriate textual representation of that value for this possrep. In this method, all tokens of the SIRA_PRISE metalanguage must be output in 'escaped' format, i.e. each '(' character in the representation of the value must be represented as the string "\(", each ')' as a "\)" and each '\' as a "\\". Observe that this does NOT apply to the opening and closing parentheses that delimit the value of a component.
    
    Specified by:
    
    valueToEscapedExternalRepresentation in interface PossRepImplementation
    
    Parameters:
    
    valueBuffer - The value in internal format.
    
    nonScalarHeading - The heading defining the specific nonScalar type, if the type the value held in valueBuffer is of, is indeed nonScalar. Can be left null for scalar types, as they are not "defined" by a Heading.
    
    Returns:
    
    The string representation of the given value, for this possrep.
  - valueToEscapedExternalRepresentationVerbose
```
public java.lang.String valueToEscapedExternalRepresentationVerbose(ValueBuffer valueBuffer,
                                                                    Heading nonScalarHeading)
```
    Description copied from interface: PossRepImplementation_V0105
    
    Converts a value in internal format to the appropriate textual representation of that value for this possrep, including the surrounding typename (i.e. the integer 1 is rendered as INT(1)). In this method, all tokens of the SIRA_PRISE metalanguage must be output in 'escaped' format, i.e. each '(' character in the representation of the value must be represented as the string "\(", each ')' as a "\)" and each '\' as a "\\". Observe that this does NOT apply to the opening and closing parentheses that delimit the value of a component.
    
    Specified by:
    
    valueToEscapedExternalRepresentationVerbose in interface PossRepImplementation_V0105
    
    Parameters:
    
    valueBuffer - The value in internal format.
    
    nonScalarHeading - The heading defining the specific nonScalar type, if the type the value held in valueBuffer is of, is indeed nonScalar. Can be left null for scalar types, as they are not "defined" by a Heading.
    
    Returns:
    
    The string representation of the given value, for this possrep.
  - valueToExternalRepresentation
```
public final java.lang.String valueToExternalRepresentation(ValueBuffer valueBuffer,
                                                            Heading nonScalarHeading)
```
    Description copied from interface: PossRepImplementation
    
    Converts a value in internal format to the appropriate textual representation of that value for this possrep.
    
    Specified by:
    
    valueToExternalRepresentation in interface PossRepImplementation
    
    Parameters:
    
    valueBuffer - The value in internal format.
    
    nonScalarHeading - The heading defining the specific nonScalar type, if the type the value held in valueBuffer is of, is indeed nonScalar. Can be left null for scalar types, as they are not "defined" by a Heading.
    
    Returns:
    
    The string representation of the given value, for this possrep.
  - valueToExternalRepresentationVerbose
```
public java.lang.String valueToExternalRepresentationVerbose(ValueBuffer valueBuffer,
                                                             Heading nonScalarHeading)
```
    Description copied from interface: PossRepImplementation_V0105
    
    Converts a value in internal format to the appropriate textual representation of that value for this possrep, including the surrounding typename (i.e. the integer 1 is rendered as INT(1)).
    
    Specified by:
    
    valueToExternalRepresentationVerbose in interface PossRepImplementation_V0105
    
    Parameters:
    
    valueBuffer - The value in internal format.
    
    nonScalarHeading - The heading defining the specific nonScalar type, if the type the value held in valueBuffer is of, is indeed nonScalar. Can be left null for scalar types, as they are not "defined" by a Heading.
    
    Returns:
    
    The string representation of the given value, for this possrep.
  - writeExternal
```
public void writeExternal(java.io.ObjectOutput out)
```
    Specified by:
    
    writeExternal in interface java.io.Externalizable

Class IntervalTypeImplementation

Constructor Summary

Method Summary

Methods inherited from class be.SIRAPRISE.typeimplementations.AbstractJavaBackedTypeImplementation_V0105

Methods inherited from class be.SIRAPRISE.typeimplementations.AbstractTypeImplementation_V0105

Methods inherited from class java.lang.Object

Constructor Detail

IntervalTypeImplementation

Method Detail

getCorrespondingBaseTypeName

getCorrespondingIntervalTypeName

isFullyBounded

isFullyUnbounded

isLowerBounded

isLowerInfinite

isUpperBounded

isUpperInfinite

getBaseTypeImplementation

getBaseTypeOrderingOperatorImplementation

getComponentIdentifierTypeDeclarationsMap

getComponentNameMap

getComponentTypeDeclarationsMap

getComponentValue

getComponentValue

getComponentValue

getComponentValues

getDefaultPossrepImplementation

getEmptyIntervalValue

getEncodingLength

getFullyBoundedIntervalValue

getIdentifierComponentValues

getNegativeInfiniteIntervalValue

getPositiveInfiniteIntervalValue

getPossrepImplementations

getPossrepName

getWhollyInfiniteIntervalValue

hasVariableLengthEncoding

readExternal

valueFromComponentValues

valueFromExternalRepresentation

valueFromIdentifierComponentValues

valueToEscapedExternalRepresentation

valueToEscapedExternalRepresentationVerbose

valueToExternalRepresentation

valueToExternalRepresentationVerbose

writeExternal