[SerializableAttribute]
public class IdManager
<SerializableAttribute>
Public Class IdManager
[SerializableAttribute]
public ref class IdManager
[<SerializableAttribute>]
type IdManager = class end
IdManager | Initializes a new instance of the IdManager class |
add(String) | add the given identifier to the list of identifiers. |
add(String, String) | adds a sure name identifier to an identifier. |
Equals | Determines whether the specified object is equal to the current object. (Inherited from Object) |
Finalize | Allows an object to try to free resources and perform other cleanup operations before it is reclaimed by garbage collection. (Inherited from Object) |
GetHashCode | Serves as the default hash function. (Inherited from Object) |
GetType | Gets the Type of the current instance. (Inherited from Object) |
id | return string identifiers which correspond to a numerical identifier. |
id_num | returns the identification number of string identifier (e.g. name of an element). If not already present the id is enlisted. |
MemberwiseClone | Creates a shallow copy of the current Object. (Inherited from Object) |
ToString | Returns a string that represents the current object. (Inherited from Object) |
ContainerType |
test if object is (a container like) a list or an array.
(Defined by MiniUtil) |