Class VariableUsageTracker


  • public class VariableUsageTracker
    extends java.lang.Object
    Tracker for variable usage
    • Constructor Detail

      • VariableUsageTracker

        public VariableUsageTracker()
    • Method Detail

      • push

        public void push()
      • pop

        public void pop()
      • increment

        public void increment​(java.util.Collection<Var> vars)
      • increment

        public void increment​(java.lang.String var)
      • increment

        public void increment​(Var var)
      • decrement

        public void decrement​(java.util.Collection<Var> vars)
      • decrement

        public void decrement​(java.lang.String var)
      • decrement

        public void decrement​(Var var)
      • getUsageCount

        public int getUsageCount​(java.lang.String var)
      • getUsageCount

        public int getUsageCount​(Var var)