Searched refs:javaTypes (Results 1 – 1 of 1) sorted by relevance
132 javaTypes = ["ERROR", "int", "long", "String", "Object[]"] variable139 argTypesNames = ", ".join([javaTypes[int(arg[1])] + " " + javaName(arg[0]) for arg in args])