• Home
• com.github.prologdb
• runtime-parser-jvm
• 1.0.0-RC1
• source code
• reporting.kt

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

com.github.tmarsteel.ktprolog.parser.reporting.kt Maven / Gradle / Ivy

package com.github.tmarsteel.ktprolog.parser

import com.github.tmarsteel.ktprolog.parser.lexer.Token
import com.github.tmarsteel.ktprolog.parser.source.SourceLocation
import com.github.tmarsteel.ktprolog.parser.source.SourceLocationRange

sealed class Reporting(val message: String, val location: SourceLocation) {
    override fun toString() = message
}

class UnexpectedTokenError(val actual: Token, vararg val expected: String) : Reporting("Unexpected $actual, expecting ${expected.joinToString(", ")}", actual.location) {
    constructor(actual: Token, vararg expected: Enum<*>) : this(actual, *expected.map { it.name }.toTypedArray())

    override fun toString() = "$message in ${actual.location.start}"
}

class UnexpectedEOFError(vararg val expected: String): Reporting("Unexpected EOF, expecting ${expected.joinToString(", ")}", SourceLocationRange.EOF) {
    constructor(vararg expected: Enum<*>) : this(*expected.map { it.name }.toTypedArray())
}

class SemanticError(message: String, location: SourceLocationRange): Reporting(message, location) {
    override fun toString() = "$message in $location"
}

class SyntaxError(message: String, location: SourceLocation): Reporting(message, location) {
    override fun toString() = "$message in $location"
}

open class ReportingException(val reporting: Reporting, cause: Throwable? = null) : Exception(reporting.message, cause)