diff options
author | michelou <michelou@epfl.ch> | 2011-09-19 11:03:41 +0000 |
---|---|---|
committer | michelou <michelou@epfl.ch> | 2011-09-19 11:03:41 +0000 |
commit | f7e038361ae6b1958985a20e30bfa567d6a51b16 (patch) | |
tree | b14feeb265b958b2c896ee1efaef8f3191c57fdf /src/compiler/scala/tools/nsc/ast/parser/MarkupParsers.scala | |
parent | 2553cc1fdc5658357643431ed7af20dca637529a (diff) | |
download | scala-f7e038361ae6b1958985a20e30bfa567d6a51b16.tar.gz scala-f7e038361ae6b1958985a20e30bfa567d6a51b16.tar.bz2 scala-f7e038361ae6b1958985a20e30bfa567d6a51b16.zip |
fixed svn props, did some cleanup
Diffstat (limited to 'src/compiler/scala/tools/nsc/ast/parser/MarkupParsers.scala')
-rw-r--r-- | src/compiler/scala/tools/nsc/ast/parser/MarkupParsers.scala | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/src/compiler/scala/tools/nsc/ast/parser/MarkupParsers.scala b/src/compiler/scala/tools/nsc/ast/parser/MarkupParsers.scala index 9eda2e4097..7388ecf163 100644 --- a/src/compiler/scala/tools/nsc/ast/parser/MarkupParsers.scala +++ b/src/compiler/scala/tools/nsc/ast/parser/MarkupParsers.scala @@ -78,9 +78,12 @@ trait MarkupParsers { def ch = input.ch /** this method assign the next character to ch and advances in input */ def nextch() { input.nextChar() } - def ch_returning_nextch = { val result = ch; input.nextChar(); result } - def mkProcInstr(position: Position, name: String, text: String): Tree = + protected def ch_returning_nextch: Char = { + val result = ch; input.nextChar(); result + } + + def mkProcInstr(position: Position, name: String, text: String): ElementType = parser.symbXMLBuilder.procInstr(position, name, text) var xEmbeddedBlock = false @@ -286,7 +289,7 @@ trait MarkupParsers { /** parse character data. * precondition: xEmbeddedBlock == false (we are not in a scala block) */ - def xText: String = { + private def xText: String = { assert(!xEmbeddedBlock, "internal error: encountered embedded block") val buf = new StringBuilder def done = buf.toString |