Skip to content

Commit

Permalink
add util
Browse files Browse the repository at this point in the history
  • Loading branch information
qsphan committed Oct 16, 2017
1 parent 0cb48a9 commit bae03e7
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion src/jpf/starlib/jpf/PathFinderUtils.java
Original file line number Diff line number Diff line change
Expand Up @@ -57,7 +57,7 @@ public static void printErrorDetails(Search search) {
}
}

public static void generate(ClassInfo ci, MethodInfo mi) {
public static HashMap<String, String> initTypeVarMap(ClassInfo ci, MethodInfo mi) {
String clsName = ci.getSimpleName();
LocalVarInfo[] args = mi.getArgumentLocalVars();
FieldInfo[] insFields = ci.getInstanceFields();
Expand Down Expand Up @@ -86,6 +86,7 @@ public static void generate(ClassInfo ci, MethodInfo mi) {

knownTypeVars.put(name, type);
}
return knownTypeVars;
}

public static String standardizeType(String type) {
Expand Down

0 comments on commit bae03e7

Please sign in to comment.