equal
deleted
inserted
replaced
19 val Y = '\u0006' |
19 val Y = '\u0006' |
20 |
20 |
21 val is_X = (c: Char) => c == X |
21 val is_X = (c: Char) => c == X |
22 val is_Y = (c: Char) => c == Y |
22 val is_Y = (c: Char) => c == Y |
23 |
23 |
24 val X_string = X.toString |
24 val X_string: String = X.toString |
25 val Y_string = Y.toString |
25 val Y_string: String = Y.toString |
26 val XY_string = X_string + Y_string |
26 val XY_string: String = X_string + Y_string |
27 val XYX_string = XY_string + X_string |
27 val XYX_string: String = XY_string + X_string |
28 |
28 |
29 def detect(s: String): Boolean = s.exists(c => c == X || c == Y) |
29 def detect(s: String): Boolean = s.exists(c => c == X || c == Y) |
30 def detect_elem(s: String): Boolean = s.startsWith(XY_string) |
30 def detect_elem(s: String): Boolean = s.startsWith(XY_string) |
31 |
31 |
32 |
32 |