Modifier and Type | Field and Description |
---|---|
static String |
STATE_NAME_DELIM |
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 final String STATE_NAME_DELIM
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–2024 The Apache Software Foundation. All rights reserved.