(int[] r)
| 23 | // Constructs a CharClass with initial ranges |r|. |
| 24 | // The right to mutate |r| is passed to the callee. |
| 25 | CharClass(int[] r) { |
| 26 | this.r = r; |
| 27 | this.len = r.length; |
| 28 | } |
| 29 | |
| 30 | // Constructs an empty CharClass. |
| 31 | CharClass() { |
nothing calls this directly
no outgoing calls
no test coverage detected