@uml
Start of {@code (A|B|...)+} loop. Technically a decision state, but
we don't use for code generation; somebody might need it, so I'm defining
it for completeness. In reality, the {@link PlusLoopbackState} node is the
real decision-making note for {@code A+}.
@uml Start of {@code (A|B|...)+} loop. Technically a decision state, but we don't use for code generation; somebody might need it, so I'm defining it for completeness. In reality, the {@link PlusLoopbackState} node is the real decision-making note for {@code A+}.