@Override String getName(Variable value) {
return value.getName();
}
});
for (int i = 0; i < teavmVarList.size(); ++i) {
Variable var = teavmVarList.get(i);
newVariables[i] = new TeaVMJavaVariable(idPrefix + "." + var.getName(), debugTarget, var);
}
return newVariables;
}