Class IDHolder

    • Field Detail

      • DOC_ID_HOLDER_PRE

        public static final java.lang.String DOC_ID_HOLDER_PRE
        Prefix for the document name.
        See Also:
        Constant Field Values
      • ATT_LAST_ID

        public static final java.lang.String ATT_LAST_ID
        Attribute name of the last id storage.
        See Also:
        Constant Field Values
      • TYPE_IDENTIFIER

        public static final java.lang.String TYPE_IDENTIFIER
        Constant for type identifier.
        See Also:
        Constant Field Values
    • Constructor Detail

      • IDHolder

        public IDHolder​(java.lang.String id)
        Creates a new idholder object with given id.
        Parameters:
        id - a String object.
    • Method Detail

      • getNextIdString

        public java.lang.String getNextIdString()

        getNextIdString.

        Returns:
        next id as string. The id is unique
      • getNextIdInt

        public int getNextIdInt()
        Returns the next id. Increased and saves the internal value.
        Returns:
        a int.
      • getNextIdToGive

        public int getNextIdToGive()
        Returns the next id without increasing it.
        Returns:
        a int.
      • adjustTill

        public void adjustTill​(int value)

        adjustTill.

        Parameters:
        value - a int.
      • adjustTill

        public void adjustTill​(java.lang.String value)

        adjustTill.

        Parameters:
        value - a String object.