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–2020 The Apache Software Foundation. All rights reserved.