Class VarNamesCollector


  • public class VarNamesCollector
    extends java.lang.Object
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void addName​(java.lang.String value)  
      void addNames​(java.util.Collection<java.lang.String> names)  
      java.lang.String getFreeName​(int index)  
      java.lang.String getFreeName​(java.lang.String proposition)  
      java.util.Set<java.lang.String> getUsedNames()  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • VarNamesCollector

        public VarNamesCollector()
      • VarNamesCollector

        public VarNamesCollector​(java.util.Collection<java.lang.String> setNames)
    • Method Detail

      • addName

        public void addName​(java.lang.String value)
      • addNames

        public void addNames​(java.util.Collection<java.lang.String> names)
      • getFreeName

        public java.lang.String getFreeName​(int index)
      • getFreeName

        public java.lang.String getFreeName​(java.lang.String proposition)
      • getUsedNames

        public java.util.Set<java.lang.String> getUsedNames()