blob: cb3ba279d48a5c85b17464665a1707ff65ad0890 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
import scala.util.regexp.WordExp;
import scala.util.automata.WordBerrySethi;
object BoolWordExp extends WordExp {
type _labelT = MyLabels;
type _regexpT = RegExp;
abstract class MyLabels extends Label ;
case class MyLabel(c:Char) extends MyLabels;
}
object MyTranslator extends WordBerrySethi {
override val lang = BoolWordExp;
import lang._;
override protected def seenLabel( r:RegExp, i:Int, label: _labelT ): Unit = {
super.seenLabel(r,i,label)
}
}
|