solve/it.unibo.tuprolog.solve.exception.error/SyntaxError/Companion

Companion

object Companion

Properties

typeFunctor

const val typeFunctor: String

The system error Struct functor

Functions

errorDetector

@JvmStatic

fun errorDetector(text: String, line: Int, column: Int, message: String? = null): String

Renders text's line (and, for context, line - 1 if present), followed by a ^ marker under column and the optional message, for use in a human-readable SyntaxError report.

@JvmStatic

fun of(context: ExecutionContext, message: String): SyntaxError

Creates a SyntaxError with a plain message, no source position information attached.

whileParsingClauses

@JvmStatic

fun whileParsingClauses(context: ExecutionContext, input: String, index: Int, row: Int, column: Int, message: String): SyntaxError

Creates a SyntaxError reporting that parsing the index-th clause of input failed at row:column, with detail message; the error message includes a caret (^) pointing at the offending column, produced via errorDetector.

whileParsingTerm

@JvmStatic

fun whileParsingTerm(context: ExecutionContext, input: String, row: Int, column: Int, message: String): SyntaxError

Creates a SyntaxError reporting that parsing input as a single term failed at row:column, with detail message.