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);
}