core/it.unibo.tuprolog.argumentation/SyntaxProblem/Companion

Companion

object Companion

Functions

check

@JvmStatic

fun check(parse: () -> Unit): SyntaxProblem?

Where parse finds that the text it reads does not parse, or null if it does

@JvmStatic

fun of(exception: ParseException): SyntaxProblem

The problem exception reports

parsing

@JvmStatic

fun <T> parsing(what: String, parse: () -> T): T

parse done, or an Arg2pException telling where the text it reads does not parse (what it is): its message is the problem, as Theory: Unexpected token '.'; expected term at 2:9