Class VarManager

src/main/java/pascal/taie/frontend/soot/VarManager.java:38–154

import java.util.Objects;

class VarManager {

    private static final String THIS = "%this";

    private static final String STRING_CONSTANT = "%stringconst";

    private static final String CLASS_CONSTANT = "%classconst";

    private static final String NULL_CONSTANT = "%nullconst";

    /**
     * The method which contains the variable managed by this VarManager.
     */
    private final JMethod method;

    private final Converter converter;

    private final Map<Local, Var> varMap = Maps.newLinkedHashMap();

    private final List<Var> vars = new ArrayList<>();

    private Var thisVar;

    private final List<Var> params = new ArrayList<>();

    private Var nullConst;

    /**
     * Counter for indexing all variables.
     */
    private int varCounter = 0;

    /**
     * Counter for naming temporary constant variables.
     */
    private int tempConstCounter = 0;

    public VarManager(JMethod method, Converter converter) {
        this.method = method;
        this.converter = converter;
    }

    void addThis(Local thisLocal) {
        thisVar = newVar(THIS, getTypeOf(thisLocal));
        varMap.put(thisLocal, thisVar);
    }

    void addParams(List<Local> paramLocals) {
        for (int i = 0; i < paramLocals.size(); i++) {
            Local paramLocal = paramLocals.get(i);
            // soot frontend cannot ensure availability of all parameter names
            String paramName = Objects.requireNonNullElse(
                    method.getParamName(i), paramLocal.getName());
            Var param = varMap.computeIfAbsent(paramLocal, l ->
                    newVar(paramName, getTypeOf(l)));
            params.add(param);
        }
    }