Class UniqueNamer


  • class UniqueNamer
    extends java.lang.Object
    • Field Summary

      Fields 
      Modifier and Type Field Description
      private int counter  
      private java.util.Map<java.lang.String,​java.lang.String> existing  
      private java.lang.String prefix  
    • Constructor Summary

      Constructors 
      Constructor Description
      UniqueNamer​(java.lang.String prefix)
      Creates a new UniqueNamer.
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      UniqueNamer clone()
      Copies this UniqueNamer.
      java.util.Map<java.lang.String,​java.lang.String> existing()  
      java.lang.String getName()  
      java.lang.String getName​(java.lang.String oldName)
      Gets the new name for the given old name, where if no old name is given a new name will be generated.
      java.lang.Boolean isNamed​(java.lang.String oldName)  
      • Methods inherited from class java.lang.Object

        equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Field Detail

      • prefix

        private final java.lang.String prefix
      • counter

        private int counter
      • existing

        private java.util.Map<java.lang.String,​java.lang.String> existing
    • Constructor Detail

      • UniqueNamer

        public UniqueNamer​(java.lang.String prefix)
        Creates a new UniqueNamer. A UniqueNamer issues unique names, keeping track of any previously issued names.
        Parameters:
        prefix - the prefix to use ('<prefix><counter>').
    • Method Detail

      • clone

        public UniqueNamer clone()
        Copies this UniqueNamer.
        Overrides:
        clone in class java.lang.Object
        Returns:
        a copy of this UniqueNamer.
      • getName

        public java.lang.String getName​(java.lang.String oldName)
        Gets the new name for the given old name, where if no old name is given a new name will be generated.
        Parameters:
        oldName - the old name to get the new name for.
        Returns:
        the new name.
      • getName

        public java.lang.String getName()
      • isNamed

        public java.lang.Boolean isNamed​(java.lang.String oldName)
      • existing

        public java.util.Map<java.lang.String,​java.lang.String> existing()