blob: e5c6cd99603713553fd467156f82d08cd48ffd0b (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
|
/* __ *\
** ________ ___ / / ___ Scala API **
** / __/ __// _ | / / / _ | (c) 2003-2007, LAMP/EPFL **
** __\ \/ /__/ __ |/ /__/ __ | http://scala-lang.org/ **
** /____/\___/_/ |_/____/_/ | | **
** |/ **
\* */
// $Id$
package scala.util.regexp
/** <p>
* The class <code>WordExp</code> provides regular word expressions.
* Users have to instantiate type member <code>_regexpT <: RegExp</code>
* (from class <code>Base</code>) and a type member
* <code>_labelT <: Label</code>. Here is a short example:
* </p><pre>
* <b>import</b> scala.util.regexp._
* <b>import</b> scala.util.automata._
* <b>object</b> MyLang <b>extends</b> WordExp {
* <b>type</b> _regexpT = RegExp
* <b>type</b> _labelT = MyChar
*
* <b>case class</b> MyChar(c:Char) <b>extends</b> Label
* }
* <b>import</b> MyLang._
* // (a* | b)*
* <b>val</b> rex = Star(Alt(Star(Letter(MyChar('a'))),Letter(MyChar('b'))))
* <b>object</b> MyBerriSethi <b>extends</b> WordBerrySethi {
* <b>override val</b> lang = MyLang
* }
* <b>val</b> nfa = MyBerriSethi.automatonFrom(Sequ(rex), 1)
* </pre>
*
* @author Burak Emir
* @version 1.0
*/
abstract class WordExp extends Base {
abstract class Label
type _regexpT <: RegExp
type _labelT <: Label
case class Letter(a: _labelT) extends RegExp {
final lazy val isNullable = false
var pos = -1
}
case class Wildcard() extends RegExp {
final lazy val isNullable = false
var pos = -1
}
}
|