/**
* Finds a unique character transition if one exists. The
* transition must be the only matching single character
* transition and no other transitions may reach the same
* state.
*
* @param ch the character to search for
*
* @return the unique transition state found, or
* null if not found
*/
private NFAState FindUniqueCharTransition(char ch)
{
NFATransition res = null;
NFATransition trans;
for (int i = 0; i < outgoing.Length; i++)
{
trans = outgoing[i];
if (trans.Match(ch) && trans is NFACharTransition)
{
if (res != null)
{
return(null);
}
res = trans;
}
}
for (int i = 0; res != null && i < outgoing.Length; i++)
{
trans = outgoing[i];
if (trans != res && trans.state == res.state)
{
return(null);
}
}
return((res == null) ? null : res.state);
}
/**
* Adds a new outgoing transition.
*
* @param trans the transition to add
*
* @return the transition target state
*/
public NFAState AddOut(NFATransition trans)
{
Array.Resize(ref outgoing, outgoing.Length + 1);
outgoing[outgoing.Length - 1] = trans;
if (trans is NFAEpsilonTransition)
{
epsilonOut = true;
}
return(trans.state);
}
/**
* Adds a new outgoing transition.
*
* @param trans the transition to add
*
* @return the transition target state
*/
public NFAState AddOut(NFATransition trans)
{
Array.Resize(ref outgoing, outgoing.Length + 1);
outgoing[outgoing.Length - 1] = trans;
if (trans is NFAEpsilonTransition) {
epsilonOut = true;
}
return trans.state;
}
/**
* Adds a new incoming transition.
*
* @param trans the transition to add
*/
public void AddIn(NFATransition trans)
{
Array.Resize(ref incoming, incoming.Length + 1);
incoming[incoming.Length - 1] = trans;
}
/**
* Adds a new incoming transition.
*
* @param trans the transition to add
*/
public void AddIn(NFATransition trans)
{
Array.Resize(ref incoming, incoming.Length + 1);
incoming[incoming.Length - 1] = trans;
}
