dotty.tools.languageserver.worksheet.InputStreamConsumer.scala Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of dotty-language-server_0.26 Show documentation

dotty-language-server

The newest version!

package dotty.tools.languageserver.worksheet

import java.io.{InputStream, IOException}
import java.util.Scanner

class InputStreamConsumer(in: InputStream) {
  private[this] val scanner =
    new Scanner(in).useDelimiter(InputStreamConsumer.delimiter)

  /** Finds and returns the next complete token from this input stream.
   *
   *  A complete token is preceded and followed by input that matches the delimiter pattern.
   *  This method may block while waiting for input
   */
  def next(): String =
    try scanner.next()
    catch {
      case _: NoSuchElementException =>
        throw new IOException("InputStream closed")
    }
}

object InputStreamConsumer {
  def delimiter = "##!!##"
}