de.uka.ilkd.key.java

Class TypeNameTranslator

java.lang.Object

de.uka.ilkd.key.java.TypeNameTranslator

public class TypeNameTranslator
extends Object

Constructor Summary

Constructors

Modifier	Constructor and Description
private	TypeNameTranslator()

Method Summary

Modifier and Type	Method and Description
static String	getBaseType(String t) returns the basetype of t.
static int	getDimensions(String t) returns the dimensions of an ArrayType.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

TypeNameTranslator

private TypeNameTranslator()

Method Detail

getBaseType

public static String getBaseType(String t)

returns the basetype of t. example: getBaseType("[[[I") returns "int".

getDimensions

public static int getDimensions(String t)

returns the dimensions of an ArrayType. Returns 0 if t doesn't represent an ArrayType.