diff options
| author | buraq <buraq@epfl.ch> | 2004-07-14 14:03:50 +0000 |
|---|---|---|
| committer | buraq <buraq@epfl.ch> | 2004-07-14 14:03:50 +0000 |
| commit | 14163d11e575e1a7d192bd6ab9c74ea636901dc7 (patch) | |
| tree | 51b57efc8e0281908bfab08fda9cfae7e1580b28 | |
| parent | b0f0428e9ad40d447bcf55c07346fc701ff08433 (diff) | |
| download | scala-14163d11e575e1a7d192bd6ab9c74ea636901dc7.tar.gz scala-14163d11e575e1a7d192bd6ab9c74ea636901dc7.tar.bz2 scala-14163d11e575e1a7d192bd6ab9c74ea636901dc7.zip | |
stuff
| -rw-r--r-- | sources/scala/util/alphabet/AlphabetPlusWildcard.scala | 3 | ||||
| -rw-r--r-- | sources/scala/util/alphabet/IntAlphabet.scala | 9 | ||||
| -rw-r--r-- | sources/scala/util/alphabet/WildcardLabel.scala | 3 |
3 files changed, 15 insertions, 0 deletions
diff --git a/sources/scala/util/alphabet/AlphabetPlusWildcard.scala b/sources/scala/util/alphabet/AlphabetPlusWildcard.scala new file mode 100644 index 0000000000..32b4c6a09a --- /dev/null +++ b/sources/scala/util/alphabet/AlphabetPlusWildcard.scala @@ -0,0 +1,3 @@ +package scala.util.alphabet ; + +trait AlphabetPlusWildcard extends Alphabet ; diff --git a/sources/scala/util/alphabet/IntAlphabet.scala b/sources/scala/util/alphabet/IntAlphabet.scala new file mode 100644 index 0000000000..d5600bac5c --- /dev/null +++ b/sources/scala/util/alphabet/IntAlphabet.scala @@ -0,0 +1,9 @@ +package scala.util.alphabet ; + +trait IntAlphabet extends Alphabet ; + +case class IntLabel(i: Int) extends IntAlphabet ; + +object IntAlphabetView { + def view(x: Int): IntLabel = IntLabel(x); +} diff --git a/sources/scala/util/alphabet/WildcardLabel.scala b/sources/scala/util/alphabet/WildcardLabel.scala new file mode 100644 index 0000000000..faca265679 --- /dev/null +++ b/sources/scala/util/alphabet/WildcardLabel.scala @@ -0,0 +1,3 @@ +package scala.util.alphabet ; + +class WildcardLabel extends AlphabetPlusWildcard ; |