| Constructor and Description |
|---|
NFAStateNameHandler() |
| Modifier and Type | Method and Description |
|---|---|
void |
checkNameUniqueness(String name)
Checks if the given name is already used or not.
|
void |
clear()
Clear the names added during checking name uniqueness.
|
static String |
getOriginalNameFromInternal(String internalName)
Implements the reverse process of the
getUniqueInternalName(String). |
String |
getUniqueInternalName(String baseName)
Used to give a unique name to
NFA states created during the
translation process. |
public static String getOriginalNameFromInternal(String internalName)
getUniqueInternalName(String).internalName - The name to be decoded.public void checkNameUniqueness(String name)
MalformedPatternException.name - The name to be checked.public void clear()
public String getUniqueInternalName(String baseName)
NFA states created during the
translation process. The name format will be baseName:counter , where the counter is
increasing for states with the same baseName.baseName - The base of the name.Copyright © 2014–2021 The Apache Software Foundation. All rights reserved.