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 constructor
public AbstractJavaBackedTypeImplementation_V0105(NameIdentifier typeName)
typeName
- -public AbstractJavaBackedTypeImplementation_V0105(java.lang.String typeName)
typeName
- -public final OperatorImplementation_V0104 getEqualityOperatorImplementation()
AbstractTypeImplementation_V0105
getEqualityOperatorImplementation
in class AbstractTypeImplementation_V0105
public final OperatorImplementation_V0104 getOrderingOperatorImplementation() throws TypeIsNotOrderedException
AbstractTypeImplementation_V0105
getOrderingOperatorImplementation
in class AbstractTypeImplementation_V0105
TypeIsNotOrderedException
- If the type is not orderedpublic final PossRepImplementation getPossrepImplementation(java.lang.String componentName) throws NotFoundException
AbstractTypeImplementation_V0105
getPossrepImplementation
in class AbstractTypeImplementation_V0105
componentName
- 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_V0105
getRootTypeName
in class AbstractTypeImplementation_V0105
public final boolean isOfType(AbstractTypeImplementation_V0105 type)
AbstractTypeImplementation_V0105
isOfType
in class AbstractTypeImplementation_V0105
type
- The type for which it is to be tested whether this type is a "subtype" of it