public class Util extends Object
Constructor and Description |
---|
Util() |
Modifier and Type | Method and Description |
---|---|
static void |
addExceptionAfterUnit(Body b,
String exceptionType,
Unit u,
String m)
Insert a runtime exception before unit u of body b.
|
static <T> T[] |
concat(T[] first,
T[] second)
Concatenate two arrays.
|
static String |
dottedClassName(String typeDescriptor)
Return the dotted class name of a type descriptor, i.e.
|
static void |
emptyBody(Body jBody)
Remove all statements except from IdentityStatements for parameters.
|
static Type |
getType(String type) |
static boolean |
isByteCodeClassName(String className)
Check if passed class name is a byte code classname.
|
static boolean |
isFloatLike(Type t)
Returns if the type is a floating point type.
|
static List<String> |
splitParameters(String parameters) |
public static String dottedClassName(String typeDescriptor)
public static boolean isByteCodeClassName(String className)
className
- the classname to check.public static <T> T[] concat(T[] first, T[] second)
first
- first arraysecond
- second array.public static boolean isFloatLike(Type t)
t
- the type to testpublic static void emptyBody(Body jBody)
jBody
- public static void addExceptionAfterUnit(Body b, String exceptionType, Unit u, String m)