Java源码示例:dk.brics.automaton.Transition
示例1
private void appendChoice(StringBuilder builder, Transition transition) {
char c = (char) XegerUtils.getRandomInt(transition.getMin(), transition.getMax(), random);
builder.append(c);
}
示例2
private void appendChoice(StringBuilder builder, Transition transition) {
char c = (char) Xeger.getRandomInt(transition.getMin(), transition.getMax(),
this.random);
builder.append(c);
}
示例3
private void appendChoice(final StringBuilder builder, final Transition transition) {
final char c = (char) XegerUtils.getRandomInt(transition.getMin(), transition.getMax(), random);
builder.append(c);
}