public class Recoder2KeYTypeConverter
extends java.lang.Object
Constructor and Description |
---|
Recoder2KeYTypeConverter(Services services,
TypeConverter typeConverter,
NamespaceSet namespaces,
Recoder2KeY recoder2key) |
Modifier and Type | Method and Description |
---|---|
ArrayDeclaration |
createArrayType(KeYJavaType baseType,
KeYJavaType arrayType)
create
|
KeYJavaType |
getKeYJavaType(java.lang.String typeName)
return the corresponding KeY JavaType for a recoder type.
|
KeYJavaType |
getKeYJavaType(Type t)
return the corresponding KeY JavaType for a recoder type.
|
TypeConverter |
getTypeConverter() |
public Recoder2KeYTypeConverter(Services services, TypeConverter typeConverter, NamespaceSet namespaces, Recoder2KeY recoder2key)
public KeYJavaType getKeYJavaType(java.lang.String typeName)
getKeYJavaType(Type)
typeName
- name of a type to be convertedgetKeYJavaType(Type)
public KeYJavaType getKeYJavaType(Type t)
t
- type to be converted, may be nullpublic ArrayDeclaration createArrayType(KeYJavaType baseType, KeYJavaType arrayType)
baseType
- arrayType
- public TypeConverter getTypeConverter()
Copyright © 2003-2019 The KeY-Project.