| changeset 197 | a35041d5707c |
| parent 196 | 5fa8344a5176 |
| child 245 | b16702bb6242 |
| 196:5fa8344a5176 | 197:a35041d5707c |
|---|---|
198 case _ => CHAR(next()) |
198 case _ => CHAR(next()) |
199 } |
199 } |
200 } |
200 } |
201 } |
201 } |
202 |
202 |
203 println(Parser("a|(bc)*").Regex()) |
203 //test case |
204 //println(Parser("a|(bc)*").Regex()) |
|
204 |
205 |
205 |
206 |
206 def process_line(line: String) : String = { |
207 def process_line(line: String) : String = { |
207 if (line.head == '#') "#" else |
208 if (line.head == '#') "#" else |
208 { |
209 { |