Using ACER for Type and Variable Resolution

[code2graph]

I came across the ACER repository and have been reviewing the open issues to understand more about its capabilities, specifically in the context of variable and type resolution. My interest is in leveraging ACER purely as a library for analyzing code, particularly for:

• Resolving the name of a variable within a given piece of code.

For example, I have a Calculator class that uses MathOperations. Here's an example where I aim to resolve that mathOperations is an instance of MathOperations:

public class Calculator {
    private MathOperations mathOperations;

    public Calculator() {
        this.mathOperations = new MathOperations();
    }

    public int performAddition(int x, int y) {
        mathOperations.add(x);
        mathOperations.add(y);
        return mathOperations.getTotal();
    }
}

Now lets say I have created another class AdvancedCalculator class that utilizes Calculator:

public class AdvancedCalculator {
    private Calculator myCalc;

    public AdvancedCalculator() {
        this.myCalc = new Calculator();
    }

    public int computeComplexOperation(int a, int b) {
        return myCalc.performAddition(a, b) * 2; // I want to know myCalc is Calculator
    }
}

I'm seeking guidance on how ACER can be applied as a library. Any examples or detailed instructions on integrating ACER for this purpose would be greatly appreciated.