diff options
-rw-r--r-- | sources/scala/xml/dtd/RegExp.scala | 112 |
1 files changed, 0 insertions, 112 deletions
diff --git a/sources/scala/xml/dtd/RegExp.scala b/sources/scala/xml/dtd/RegExp.scala deleted file mode 100644 index 6ad414e73b..0000000000 --- a/sources/scala/xml/dtd/RegExp.scala +++ /dev/null @@ -1,112 +0,0 @@ -package scala.xml.dtd ; - -/** contains parse method to parse regexp from content model */ -object RegExp { - /** parse a regular expression from a DTD content model */ - def parse(s:String):RegExp = Parser.parse( s ); -} - -/** abstract super class of regular expressions for DTD content models */ -abstract class RegExp { - def toRegExp(): String; - def getLabels: scala.collection.Set[String] = { - val s = new scala.collection.mutable.HashSet[String](); - def traverse1(xs: Seq[RegExp]): Unit = { - val it = xs.elements; - while( it.hasNext ) - traverse( it.next ); - } - def traverse(r: RegExp): Unit = { - r match { - case RNode( name ) => s += name; - case Star( x @ _ ) => traverse( x ); // bug if x@_* - case Sequ( xs @ _* ) => traverse1(xs); - case Alt( xs @ _* ) => traverse1(xs); - } - } - traverse( this ); - return s - } -} - - -case class RNode( name:String ) extends RegExp { - final def toRegExp() = name; - final override def toString() = { - val sb = new StringBuffer("RNode(\""); - sb.append(name); - sb.append('"'); - sb.append(')'); - sb.toString() - } -}; -case object PCDATA_ extends RegExp { - final def toRegExp() = "#PCDATA"; - override def toString() = "PCDATA_"; -} -case object ANY_ extends RegExp { - final def toRegExp() = "ANY"; - override def toString() = "ANY_"; -} -case object Eps extends RegExp { - final def toRegExp() = "()"; - override def toString() = "Eps"; -} -case class Star(r:RegExp) extends RegExp { - final def toRegExp() = r.toRegExp()+"*"; -} -/** rs should be not empty */ -case class Sequ(rs:RegExp*) extends RegExp { - final def toRegExp() = { - val it = rs.elements; - val sb = new StringBuffer(); - sb.append('('); - sb.append( it.next.toRegExp() ); - for( val z <- it ) { - sb.append( ',' ); - sb.append( z.toRegExp() ); - } - sb.append( ')' ); - sb.toString(); - } - final override def toString() = { - val it = rs.elements; - val sb = new StringBuffer("Alt("); - sb.append( it.next.toString() ); - for( val z <- it ) { - sb.append( ',' ); - sb.append( z.toString() ); - } - sb.append( ')' ); - sb.toString(); - }} -/** rs should be not empty */ -case class Alt(rs:RegExp*) extends RegExp { - final def mixed:boolean = { - val it = rs.elements; - ( it.next == PCDATA_ ) && it.forall { x:RegExp => x.isInstanceOf[RNode] } - } - final def toRegExp() = { - val it = rs.elements; - val sb = new StringBuffer(); - sb.append('('); - sb.append( it.next.toRegExp() ); - for( val z <- it ) { - sb.append( '|' ); - sb.append( z.toRegExp() ); - } - sb.append(')'); - sb.toString(); - } - final override def toString() = { - val it = rs.elements; - val sb = new StringBuffer("Alt("); - sb.append( it.next.toString() ); - for( val z <- it ) { - sb.append( ',' ); - sb.append( z.toString() ); - } - sb.append( ')' ); - sb.toString(); - } -} |