…lines 1–7 unchanged (7 lines)
8import com.pholser.junit.quickcheck.generator.GenerationStatus;
9import com.pholser.junit.quickcheck.generator.Generator;
10import com.pholser.junit.quickcheck.random.SourceOfRandomness;
11import java.util.List;
12import jflex.chars.Interval;
13import jflex.logging.Out;
14
15/**
16 * Generator for random Integer values that ensure to sometimes generate a cased character
17 *
18 * @author Jesse Coultas
19 * @version JFlex 1.10.0-SNAPSHOT
20 */
21public class IntCharGen extends Generator<Integer> {
22 /** Constructs generator for CharClasses */
23 public IntCharGen() throws UnicodeProperties.UnsupportedUnicodeVersionException {
24 super(Integer.class);
25 }
…lines 26–54 unchanged (29 lines)