return getTypeName(signature.substring(1)) + "[]";
}
+ // If it does not contain '<' and '>' then it is
+ // a Type signature, e.g., T, U, etc.
+ if (Types.isParameterWithType(signature)) {
+ // Clean the ';' character first and return the Type
+ return Types.getTypeParameter(signature.replace(";", ""));
+ }
+
int len1 = len-1;
if (signature.charAt(len1) == ';') {
// TODO: Fix for Groovy's model-checking
return signature.substring(1, len1).replace('/', '.').
replaceAll(";L", ", ").
replace("<L","<").
- replace(";>", ">");
+ replace(";>", ">").
+ replaceAll("<T", "<");
}
return 1 + getTypeLength(signature, idx + 1);
case 'L':
-
+ default:
int semicolon = signature.indexOf(';', idx);
// TODO: Fix for Groovy's model-checking
// Check if this is a generic!
- if (signature.substring(idx,semicolon).indexOf('<') != -1) {
- int generic = signature.indexOf('>', semicolon);
- if (generic != -1) {
- // Advance one character past the ';'
- semicolon = generic + 1;
+ String currParam = signature.substring(idx,semicolon);
+ int genericStart = currParam.indexOf('<');
+ if (genericStart != -1) {
+ if (currParam.charAt(genericStart + 1) == '*') {
+ // Need to offset with idx to anticipate for array types (idx is incremented for array types)
+ semicolon = genericStart + idx + 3;
+ } else {
+ int generic = signature.indexOf('>', semicolon);
+ if (generic != -1) {
+ // Advance one character past the ';'
+ semicolon = generic + 1;
+ }
}
}
return semicolon - idx + 1;
}
- throw new JPFException("invalid type signature");
+ //throw new JPFException("invalid type signature");
}
/**
throw new JPFException("invalid method declaration: " + methodDecl);
}
-
+
+ // TODO: Fix for Groovy's model-checking
+ public static String[] getGenericTypeVariableNames(String signature) {
+ int pos = 0;
+ int marker = 0;
+ ArrayList<String> typeVarNames = new ArrayList<>();
+
+ while (pos < signature.length()) {
+ if (pos > 0) {
+ // Start from ';' if this is not the first type variable name
+ marker = signature.indexOf(';', pos);
+ // Break if this is the end of the type variable names
+ if (signature.charAt(marker + 1) == '>')
+ break;
+ }
+ int colon = signature.indexOf(':', pos);
+ String typeVarName = signature.substring(marker + 1, colon);
+ typeVarNames.add(typeVarName);
+ pos = colon + 1;
+ }
+
+ String[] arrTypeVarNames = new String[typeVarNames.size()];
+ typeVarNames.toArray(arrTypeVarNames);
+
+ return arrTypeVarNames;
+ }
+
+ public static String[] getParameterizedTypes(String signature) {
+ int pos = signature.indexOf('<', 0);
+ if (pos == -1)
+ return new String[0];
+ ArrayList<String> typeVarNames = new ArrayList<>();
+
+ while (pos < signature.length()) {
+ String typeVarName = "";
+ int comma = signature.indexOf(',', pos);
+ if (comma == -1) {
+ int closing = signature.lastIndexOf('>', signature.length());
+ typeVarName = signature.substring(pos + 1, closing);
+ pos = signature.length();
+ } else {
+ typeVarName = signature.substring(pos + 1, comma);
+ pos = comma + 1;
+ }
+ typeVarNames.add(typeVarName);
+ }
+
+ String[] arrTypeVarNames = new String[typeVarNames.size()];
+ typeVarNames.toArray(arrTypeVarNames);
+
+ return arrTypeVarNames;
+ }
+
+ public static String getGenericClassName(String signature) {
+ int opening = signature.indexOf('<');
+ if (opening == -1)
+ return signature;
+ else
+ return signature.substring(0, opening);
+ }
+
+ public static String getArrayClassName(String signature) {
+ int opening = signature.indexOf('[');
+ if (opening == -1)
+ return signature;
+ else
+ return signature.substring(0, opening);
+ }
+
+ public static String getOwnerClassName(String signature) {
+ int marker = signature.indexOf('$');
+ if (marker == -1)
+ return null;
+ else
+ return signature.substring(0, marker);
+ }
+
+ public static boolean isGenericSignature(String signature) {
+ if (signature == null || signature.equals(""))
+ return false;
+ int opening = signature.indexOf('<');
+ return (opening != -1);
+ }
+
+ public static boolean isParameterizedType(String signature) {
+ return Types.isGenericSignature(signature);
+ }
+
+ public static boolean isArraySignature(String signature) {
+ if (signature == null || signature.equals(""))
+ return false;
+ int opening = signature.indexOf('[');
+ return (opening != -1);
+ }
+
+ public static boolean isTypeParameter(String parameterizedType, String signature) {
+ if (signature == null || signature.equals(""))
+ return false;
+ // The comparison has to be done without the "[]" part if it is an array
+ if (Types.isArraySignature(parameterizedType)) {
+ parameterizedType = Types.getArrayClassName(parameterizedType);
+ }
+ String typeParamSig = parameterizedType.concat(":");
+ return signature.contains(typeParamSig);
+ }
+
+ public static boolean isWildcardType(String signature) {
+ return (signature.startsWith("+L") ||
+ signature.startsWith("-L") ||
+ signature.startsWith("+") ||
+ signature.startsWith("-") ||
+ signature.equals("*"));
+ }
+
+ public static String getWildcardType(String signature) {
+ if (signature.equals("*")) {
+ return "java.lang.Object";
+ }
+ return signature.replaceAll("\\+L|-L", "");
+ }
+
+ public static boolean isParameterWithType(String signature) {
+ // Does not contain a class name
+ if (signature.charAt(0) != 'L' && !signature.contains(".") && !signature.contains("/")) {
+ return true;
+ }
+ return false;
+ }
+
+ public static String getTypeParameter(String signature) {
+ if (signature == null || signature.equals(""))
+ return signature;
+
+ if (signature.equals("*")) {
+ return signature;
+ }
+
+ String cleanSig = signature.replaceAll("\\+|-", "");
+ if (cleanSig.length()%2 != 0) {
+ // This is probably a class, e.g., +java.lang.Class
+ return signature;
+ }
+
+ // Check if this is not a class name, e.g., +java.lang.Class
+ if (cleanSig.contains(".")) {
+ return signature;
+ }
+
+ // Just return the second half of the signature to get the Type parameter
+ int halfPos = cleanSig.length()/2;
+ //String firstHalf = cleanSig.substring(0, halfPos);
+ String secondHalf = cleanSig.substring(halfPos, cleanSig.length());
+ return secondHalf;
+ }
+ // TODO: Fix for Groovy's model-checking
}
projects / jpf-core.git / blobdiff