parser-core/it.unibo.tuprolog.core.parsing

Package it.unibo.tuprolog.core.parsing

Types

DynamicOpListener

class DynamicOpListener : PrologParserListener

class DynamicOpListener : PrologParserBaseListener

InvalidTermTypeException

class InvalidTermTypeException( var input: Any?, val term: <ERROR CLASS>, val type: KClass<out <ERROR CLASS>>, var offendingSymbol: String = input as? String ?: term.toString(), var line: Int = 1, var column: Int = 1, message: String? = "Expected ", throwable: Throwable? = null) : ParseException

open class ParseException( var input: Any?, var offendingSymbol: String, var line: Int, var column: Int, message: String?, throwable: Throwable?)

PrologExpressionVisitor

class PrologExpressionVisitor(scope: Scope = Scope.empty()) : PrologParserBaseVisitor<Term>

PrologParserFactory

object PrologParserFactory

object PrologParserFactory

class PrologVisitor(scope: Scope = Scope.empty()) : PrologParserVisitor<Term>

interface TermParser

TermParserImpl

class TermParserImpl(val scope: Scope, val defaultOperatorSet: OperatorSet) : TermParser

class TermParserImpl(val scope: Scope, val defaultOperatorSet: OperatorSet) : TermParser

interface TermReader

class TermReaderImpl(val scope: Scope, val defaultOperatorSet: OperatorSet) : TermReader

Functions

fun main()

fun <ERROR CLASS>.parse(input: String): <ERROR CLASS>

fun <ERROR CLASS>.parse(input: String): <ERROR CLASS>

fun <ERROR CLASS>.parse(input: String): <ERROR CLASS>

fun <ERROR CLASS>.parse(input: String): <ERROR CLASS>

fun <ERROR CLASS>.parse(input: String): <ERROR CLASS>

fun <ERROR CLASS>.parse(input: String): <ERROR CLASS>

fun <ERROR CLASS>.parse(input: String): <ERROR CLASS>

fun <ERROR CLASS>.parse(input: String): <ERROR CLASS>

fun <ERROR CLASS>.parse(input: String): <ERROR CLASS>

fun <ERROR CLASS>.parse(input: String): <ERROR CLASS>

fun <ERROR CLASS>.parse(input: String): <ERROR CLASS>

fun <ERROR CLASS>.parse(input: String): <ERROR CLASS>

fun <ERROR CLASS>.parse(input: String, operators: <ERROR CLASS>): <ERROR CLASS>

fun <ERROR CLASS>.parse(input: String, operators: <ERROR CLASS>): <ERROR CLASS>

fun <ERROR CLASS>.parse(input: String, operators: <ERROR CLASS>): <ERROR CLASS>

fun <ERROR CLASS>.parse(input: String, operators: <ERROR CLASS>): <ERROR CLASS>

fun <ERROR CLASS>.parse(input: String, operators: <ERROR CLASS>): <ERROR CLASS>

fun <ERROR CLASS>.parse(input: String, operators: <ERROR CLASS>): <ERROR CLASS>

fun <ERROR CLASS>.parse(input: String, operators: <ERROR CLASS>): <ERROR CLASS>

fun <ERROR CLASS>.parse(input: String, operators: <ERROR CLASS>): <ERROR CLASS>

fun <ERROR CLASS>.parse(input: String, operators: <ERROR CLASS>): <ERROR CLASS>

fun <ERROR CLASS>.parse(input: String, operators: <ERROR CLASS>): <ERROR CLASS>

fun <ERROR CLASS>.parse(input: String, operators: <ERROR CLASS>): <ERROR CLASS>

fun <ERROR CLASS>.parse(input: String, operators: <ERROR CLASS>): <ERROR CLASS>

fun String.parseAsAtom(): <ERROR CLASS>

fun String.parseAsAtom(operators: <ERROR CLASS>): <ERROR CLASS>

fun String.parseAsClause(): <ERROR CLASS>

fun String.parseAsClause(operators: <ERROR CLASS>): <ERROR CLASS>

parseAsConstant

fun String.parseAsConstant(): <ERROR CLASS>

fun String.parseAsConstant(operators: <ERROR CLASS>): <ERROR CLASS>

parseAsDirective

fun String.parseAsDirective(): <ERROR CLASS>

fun String.parseAsDirective(operators: <ERROR CLASS>): <ERROR CLASS>

fun String.parseAsFact(): <ERROR CLASS>

fun String.parseAsFact(operators: <ERROR CLASS>): <ERROR CLASS>

fun String.parseAsInteger(): <ERROR CLASS>

fun String.parseAsInteger(operators: <ERROR CLASS>): <ERROR CLASS>

fun String.parseAsNumeric(): <ERROR CLASS>

fun String.parseAsNumeric(operators: <ERROR CLASS>): <ERROR CLASS>

fun String.parseAsReal(): <ERROR CLASS>

fun String.parseAsReal(operators: <ERROR CLASS>): <ERROR CLASS>

fun String.parseAsRule(): <ERROR CLASS>

fun String.parseAsRule(operators: <ERROR CLASS>): <ERROR CLASS>

fun String.parseAsStruct(): <ERROR CLASS>

fun String.parseAsStruct(operators: <ERROR CLASS>): <ERROR CLASS>

fun String.parseAsTerm(): <ERROR CLASS>

fun String.parseAsTerm(operators: <ERROR CLASS>): <ERROR CLASS>

fun String.parseAsVar(): <ERROR CLASS>

fun String.parseAsVar(operators: <ERROR CLASS>): <ERROR CLASS>

fun parseException(token: Token, message: String?): ParseException

fun parseException(token: Token, throwable: Throwable?): ParseException

fun parseException( token: Token, message: String?, throwable: Throwable?): ParseException

fun parseException( input: Any?, token: Token, message: String?, throwable: Throwable?): ParseException

fun parseException(token: Token, message: String?): ParseException

fun parseException(token: Token, throwable: Throwable?): ParseException

fun parseException( token: Token, message: String?, throwable: Throwable?): ParseException

fun parseException( input: Any?, token: Token, message: String?, throwable: Throwable?): ParseException

toAssociativity

fun Specifier.toAssociativity(): String

fun Specifier.toAssociativity(): Associativity

fun <ERROR CLASS>.toClause( source: Any? = null, line: Int = 0, column: Int = 0): <ERROR CLASS>

fun String.toSpecifier(): Specifier

fun Associativity.toSpecifier(): Specifier