public abstract class AbstractJavaBackedTypeImplementation_V0105 extends AbstractTypeImplementation_V0105
| Constructor and Description |
|---|
AbstractJavaBackedTypeImplementation_V0105()
Deprecated.
- This constructor is publicly available only for reasons to do with the Externalizable machinery. The preferred way of instantiating the class is through the
other constructor |
AbstractJavaBackedTypeImplementation_V0105(NameIdentifier typeName)
Creates the AbstractJavaBackedTypeImplementation_V0105
|
AbstractJavaBackedTypeImplementation_V0105(java.lang.String typeName)
Creates the AbstractJavaBackedTypeImplementation_V0105
|
| Modifier and Type | Method and Description |
|---|---|
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.
|
java.lang.String |
getRootTypeName()
Gets the name of the 'root' type that this type ultimately derives from (through specialization by constraint).
|
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
|
getCommonScalarSuperTypeImplementation, getDefaultPossrepImplementation, getEncodingLength, getOrdinalOperatorImplementations, getPossrepImplementations, getTypeName, getTypeNameIdentifier, hasVariableLengthEncoding, valueFromEscapedExternalRepresentation, valueFromEscapedExternalRepresentation, valueFromEscapedExternalRepresentationWithoutException@Deprecated public AbstractJavaBackedTypeImplementation_V0105()
other constructorpublic AbstractJavaBackedTypeImplementation_V0105(NameIdentifier typeName)
typeName - -public AbstractJavaBackedTypeImplementation_V0105(java.lang.String typeName)
typeName - -public final OperatorImplementation_V0104 getEqualityOperatorImplementation()
AbstractTypeImplementation_V0105getEqualityOperatorImplementation in class AbstractTypeImplementation_V0105public final OperatorImplementation_V0104 getOrderingOperatorImplementation() throws TypeIsNotOrderedException
AbstractTypeImplementation_V0105getOrderingOperatorImplementation in class AbstractTypeImplementation_V0105TypeIsNotOrderedException - If the type is not orderedpublic final PossRepImplementation getPossrepImplementation(java.lang.String componentName) throws NotFoundException
AbstractTypeImplementation_V0105getPossrepImplementation in class AbstractTypeImplementation_V0105componentName - The name of a component of some possrep of this type (and for which the corresponding PossrepImplementation object is to be returned)NotFoundException - If the type does not have any possrep with a component of the given namepublic final java.lang.String getRootTypeName()
AbstractTypeImplementation_V0105getRootTypeName in class AbstractTypeImplementation_V0105public final boolean isOfType(AbstractTypeImplementation_V0105 type)
AbstractTypeImplementation_V0105isOfType in class AbstractTypeImplementation_V0105type - The type for which it is to be tested whether this type is a "subtype" of it