/**
* Creates a copy of this transition but with another target
* state.
*
* @param state the new target state
*
* @return an identical copy of this transition
*/
public override NFATransition Copy(NFAState state)
{
return(new NFADigitTransition(state));
}
/**
* Creates a new non-digit character set transition.
*
* @param state the target state
*/
public NFANonDigitTransition(NFAState state) : base(state)
{
}
/**
* Creates a copy of this transition but with another target
* state.
*
* @param state the new target state
*
* @return an identical copy of this transition
*/
public override NFATransition Copy(NFAState state)
{
return(new NFACharTransition(match, state));
}
/**
* Creates a new dot character set transition.
*
* @param state the target state
*/
public NFADotTransition(NFAState state) : base(state)
{
}
/**
* Creates a copy of this transition but with another target
* state.
*
* @param state the new target state
*
* @return an identical copy of this transition
*/
public override NFATransition Copy(NFAState state)
{
return(new NFAEpsilonTransition(state));
}
/**
* Creates a new character transition.
*
* @param match the character to match
* @param state the target state
*/
public NFACharTransition(char match, NFAState state) : base(state)
{
this.match = match;
}
/** * Creates a copy of this transition but with another target * state. * * @param state the new target state * * @return an identical copy of this transition */ public abstract NFATransition Copy(NFAState state);
/**
* Creates a new epsilon transition.
*
* @param state the target state
*/
public NFAEpsilonTransition(NFAState state) : base(state)
{
}
/**
* Creates a new state transition.
*
* @param state the target state
*/
public NFATransition(NFAState state)
{
this.state = state;
this.state.AddIn(this);
}
/**
* Creates a copy of this transition but with another target
* state.
*
* @param state the new target state
*
* @return an identical copy of this transition
*/
public override NFATransition Copy(NFAState state)
{
return(new NFANonWordTransition(state));
}
/**
* Creates a new non-word character set transition.
*
* @param state the target state
*/
public NFANonWordTransition(NFAState state) : base(state)
{
}
/**
* Creates a new non-whitespace character set transition.
*
* @param state the target state
*/
public NFANonWhitespaceTransition(NFAState state) : base(state)
{
}
/**
* Creates a copy of this transition but with another target
* state.
*
* @param state the new target state
*
* @return an identical copy of this transition
*/
public override NFATransition Copy(NFAState state)
{
return(new NFAWhitespaceTransition(state));
}