package yamlesque

import annotation.{switch, tailrec}
import scala.collection.mutable.ListBuffer

object YamlParser extends (Iterator[Char] => YamlValue) {

  sealed trait TokenKind
  object TokenKind {
    case object EOF extends TokenKind
    case object BAD extends TokenKind
    case object DOCSTART extends TokenKind
    case object DOCEND extends TokenKind
    case object MAPPING extends TokenKind
    case object ITEM extends TokenKind
    case object IDENTIFIER extends TokenKind
    case object COMMENT extends TokenKind
  }
  import TokenKind._

  case class Token(val kind: TokenKind, value: String = "") {
    var line: Int = 0
    var col: Int = 0
    def setPos(line: Int, col: Int): this.type = {
      this.col = col
      this.line = line
      this
    }
    override def toString() = {
      s"($line, $col): " + super.toString
    }
  }

  object Chars {
    final val LF = '\u000A'
    final val CR = '\u000D'
    final val SU = '\u001A'

    @inline def isSpace(ch: Char): Boolean = ch match {
      case ' ' | '\t' => true
      case _          => false
    }

    @inline def isBlank(ch: Char): Boolean = ch match {
      case ' ' | '\t' | CR | LF | SU => true
      case _                         => false
    }
  }

  class Scanner(chars: Iterator[Char]) extends Iterator[Token] {
    import Chars._

    private var ch0: Char = 0
    private var ch1: Char = 0
    private var ch2: Char = 0
    private var pos: Long = 0
    private var line: Int = 0
    private var col: Int = 0

    private def skipChar(): Unit = {
      val ch: Char = if (chars.hasNext) {
        chars.next()
      } else {
        SU
      }
      pos += 1
      col += 1
      ch0 = ch1
      ch1 = ch2
      ch2 = ch
    }
    private def skipChars(n: Int): Unit = {
      var i = 0
      while (i < n) { skipChar(); i += 1 }
    }
    def init() = {
      skipChars(3)
      pos = 0
      col = 0
      line = 0
    }

    private var buffer = new StringBuilder()
    private def putChar(): Unit = {
      buffer.append(ch0)
      skipChars(1)
    }
    private def tokenValue(): String = {
      val str = buffer.result()
      buffer.clear()
      str
    }

    private var token: Token = Token(BAD, "not yet initialized")

    @tailrec private def fetchToken(): Unit = {
      ch0 match {
        case ':' if isBlank(ch1) =>
          token = Token(MAPPING).setPos(line, col)
          skipChars(1)
        case '-' if isBlank(ch1) =>
          token = Token(ITEM).setPos(line, col)
          skipChars(1)
        case '-' if ch1 == '-' && ch2 == '-' =>
          token = Token(DOCSTART).setPos(line, col)
          skipChars(3)
        case '.' if ch1 == '.' && ch2 == '.' =>
          token = Token(DOCEND).setPos(line, col)
          skipChars(3)
        case '#' =>
          val l = line
          val c = col
          skipChars(1)
          while (ch0 != LF && ch0 != SU) {
            putChar()
          }
          token = Token(COMMENT, tokenValue()).setPos(l, c)
          buffer.clear()
        case c if isSpace(c) =>
          skipChars(1)
          fetchToken()
        case LF =>
          skipChars(1)
          col = 0
          line += 1
          fetchToken()
        case CR =>
          skipChars(1)
          if (ch0 == LF) {
            skipChars(1)
          }
          col = 0
          line += 1
          fetchToken()
        case SU =>
          token = Token(EOF).setPos(line, col)
          skipChars(1)
        case _ => fetchScalar()
      }
    }

    private def fetchScalar(): Unit = {
      def finishScalar() = token = Token(IDENTIFIER, tokenValue())
      @tailrec def fetchRest(): Unit = ch0 match {
        case ':' if isBlank(ch1) =>
          finishScalar()
        case LF =>
          finishScalar()
        case SU =>
          finishScalar()
        case c =>
          putChar()
          fetchRest()
      }
      val l = line
      val c = col
      fetchRest()
      token.setPos(l, c)
    }

    override def hasNext: Boolean = true
    override def next(): Token = {
      fetchToken()
      token
    }
    init()
  }

  def parse(tokens: Iterator[Token]): YamlValue = {
    var token0 = tokens.next()
    var token1 = tokens.next()

    def readNext(): Unit = {
      token0 = token1
      token1 = tokens.next()
    }

    def fatal(message: String, token: Token) = {
      val completeMessage =
        s"parse error at line ${token.line}, column ${token.col}: $message"
      throw new ParseException(completeMessage)
    }

    def wrongKind(found: Token, required: TokenKind*) = {
      fatal(
        s"token kind not allowed at this position\n" +
          s"  found: ${found.kind}\n" +
          s"  required: ${required.mkString(" or ")}\n" +
          " " * found.col + found.value + "\n" +
          " " * found.col + "^",
        found
      )
    }

    def nextSequence() = {
      val startCol = token0.col
      val items = new ListBuffer[YamlValue]
      while (startCol <= token0.col && token0.kind != EOF) {
        token0.kind match {
          case ITEM =>
            readNext()
            items += nextBlock(startCol)
          case _ => wrongKind(token0, ITEM)
        }
      }
      YamlSequence(items.toVector)
    }

    def nextMapping() = {
      val startCol = token0.col
      val fields = new ListBuffer[(String, YamlValue)]
      while (startCol <= token0.col && token0.kind != EOF) {
        token0.kind match {
          case IDENTIFIER =>
            val key = token0.value
            readNext()
            token0.kind match {
              case MAPPING =>
                readNext()
                val value = nextBlock(startCol)
                fields += key -> value
              case _ => wrongKind(token0, MAPPING)
            }

          case _ => wrongKind(token0, IDENTIFIER)
        }
      }
      YamlMapping(fields.toMap)
    }

    def nextBlock(startCol: Int): YamlValue = {
      if (token0.col < startCol) {
        YamlScalar.Empty
      } else {
        token0.kind match {
          case IDENTIFIER =>
            if (token1.kind == MAPPING && token0.line == token1.line) {
              nextMapping()
            } else {
              val y = YamlScalar(token0.value)
              readNext()
              y
            }
          case ITEM =>
            nextSequence()
          case EOF => YamlScalar.Empty
          case _   => wrongKind(token0, IDENTIFIER, ITEM)
        }
      }
    }

    nextBlock(0)
  }

  def apply(data: Iterator[Char]): YamlValue = parse(new Scanner(data))

}

class ParseException(val message: String) extends Exception(message)