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

TermParser

interface TermParser

Types

Companion

object Companion

Functions

parseAtom

open fun parseAtom(input: String): <ERROR CLASS>

open fun parseAtom(input: String, operators: <ERROR CLASS>): <ERROR CLASS>

parseClause

open fun parseClause(input: String): <ERROR CLASS>

open fun parseClause(input: String, operators: <ERROR CLASS>): <ERROR CLASS>

parseConstant

open fun parseConstant(input: String): <ERROR CLASS>

open fun parseConstant(input: String, operators: <ERROR CLASS>): <ERROR CLASS>

parseDirective

open fun parseDirective(input: String): <ERROR CLASS>

open fun parseDirective(input: String, operators: <ERROR CLASS>): <ERROR CLASS>

parseFact

open fun parseFact(input: String): <ERROR CLASS>

open fun parseFact(input: String, operators: <ERROR CLASS>): <ERROR CLASS>

parseInteger

open fun parseInteger(input: String): <ERROR CLASS>

open fun parseInteger(input: String, operators: <ERROR CLASS>): <ERROR CLASS>

parseNumeric

open fun parseNumeric(input: String): <ERROR CLASS>

open fun parseNumeric(input: String, operators: <ERROR CLASS>): <ERROR CLASS>

parseReal

open fun parseReal(input: String): <ERROR CLASS>

open fun parseReal(input: String, operators: <ERROR CLASS>): <ERROR CLASS>

parseRule

open fun parseRule(input: String): <ERROR CLASS>

open fun parseRule(input: String, operators: <ERROR CLASS>): <ERROR CLASS>

parseStruct

open fun parseStruct(input: String): <ERROR CLASS>

open fun parseStruct(input: String, operators: <ERROR CLASS>): <ERROR CLASS>

parseTerm

open fun parseTerm(input: String): <ERROR CLASS>

abstract fun parseTerm(input: String, operators: <ERROR CLASS>): <ERROR CLASS>

parseVar

open fun parseVar(input: String): <ERROR CLASS>

open fun parseVar(input: String, operators: <ERROR CLASS>): <ERROR CLASS>

Properties

defaultOperatorSet

abstract val defaultOperatorSet: <ERROR CLASS>

scope

abstract val scope: <ERROR CLASS>

Inheritors

TermParserImpl