equal
deleted
inserted
replaced
106 this + elem1 + elem2 ++ elems |
106 this + elem1 + elem2 ++ elems |
107 def ++ (elems: Iterable[String]): Lexicon = (this /: elems) ((s, elem) => s + elem) |
107 def ++ (elems: Iterable[String]): Lexicon = (this /: elems) ((s, elem) => s + elem) |
108 def ++ (elems: Iterator[String]): Lexicon = (this /: elems) ((s, elem) => s + elem) |
108 def ++ (elems: Iterator[String]): Lexicon = (this /: elems) ((s, elem) => s + elem) |
109 |
109 |
110 |
110 |
|
111 |
111 /** RegexParsers methods **/ |
112 /** RegexParsers methods **/ |
112 |
113 |
113 override val whiteSpace = "".r |
114 override val whiteSpace = "".r |
114 |
115 |
115 |
116 |