public class KeYCrossReferenceNameInfo extends DefaultNameInfo
ConvertException
. Recoder itself usually fails at a random point
with a NullPointerException
.
An instance of this class is created in
KeYCrossReferenceServiceConfiguration
.Modifier and Type | Field and Description |
---|---|
private java.util.HashMap<java.lang.String,ClassType> |
classtypes |
serviceConfiguration
Constructor and Description |
---|
KeYCrossReferenceNameInfo(ServiceConfiguration config) |
Modifier and Type | Method and Description |
---|---|
ClassType |
getJavaLangObject()
This implementation checks whether an implementation is available and
fails if not.
|
Type |
getType(java.lang.String name) |
void |
register(ClassType ct)
register a class type.
|
void |
unregisterClassType(java.lang.String fullname)
unregister a class type.
|
createArrayType, createArrayType, createPackage, getArrayType, getBooleanType, getByteType, getCharType, getClassType, getClassTypes, getDoubleType, getField, getFields, getFloatType, getIntType, getJavaIoSerializable, getJavaLangAnnotationAnnotation, getJavaLangBoolean, getJavaLangByte, getJavaLangCharacter, getJavaLangClass, getJavaLangCloneable, getJavaLangDouble, getJavaLangEnum, getJavaLangFloat, getJavaLangInteger, getJavaLangLong, getJavaLangRunnable, getJavaLangShort, getJavaLangString, getLongType, getNullType, getPackage, getPackages, getShortType, getTypes, getTypes, getUnknownAnnotationProperty, getUnknownClassType, getUnknownConstructor, getUnknownElement, getUnknownField, getUnknownMethod, getUnknownPackage, getUnknownType, getUnknownVariable, information, initialize, isPackage, propertyChange, register, unregisterField, unregisterPackages
getServiceConfiguration
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getServiceConfiguration
private java.util.HashMap<java.lang.String,ClassType> classtypes
public KeYCrossReferenceNameInfo(ServiceConfiguration config)
public void register(ClassType ct)
register
in interface NameInfo
register
in class DefaultNameInfo
ct
- class type to registerConvertException
- if there was already a different type registered for the
same namepublic void unregisterClassType(java.lang.String fullname)
unregisterClassType
in interface NameInfo
unregisterClassType
in class DefaultNameInfo
fullname
- name of the type to be unregisteredpublic Type getType(java.lang.String name)
getType
in interface NameInfo
getType
in class DefaultNameInfo
public ClassType getJavaLangObject() throws ConvertException
getJavaLangObject
in interface NameInfo
getJavaLangObject
in class DefaultNameInfo
ConvertException
- if no implementation of java.lang.Object is available
presently.