package it.unibo.tuprolog.core.parsing
Classes
| Name | Description |
|---|---|
class InvalidTermTypeException: ParseException
|
|
open class ParseException: TuPrologException
|
|
interface TermParser: Any
|
|
class DynamicOpListener: Any
|
|
object PrologParserFactory: Any
|
|
class PrologVisitor: Any
|
|
class TermParserImpl: TermParser, Any
|
|
class PrologExpressionVisitor: Any
|
|
interface TermReader: Any
|
|
class TermReaderImpl: TermReader, Any
|
Methods
termParserWithOperators
actual fun termParserWithOperators(operators: OperatorSet): TermParser
Parameters
| Name | Description |
|---|---|
operators: OperatorSet
|
ReturnValue
| Name | Description |
|---|---|
TermParser
|
toClause
fun Term.toClause(source: Any?, line: Int, column: Int): Clause
Receiver
| Name | Description |
|---|---|
Term
|
Parameters
| Name | Description |
|---|---|
source: Any?
|
|
line: Int
|
|
column: Int
|
ReturnValue
| Name | Description |
|---|---|
Clause
|
toSpecifier
fun Associativity.toSpecifier(): Specifier
Receiver
| Name | Description |
|---|---|
Associativity
|
ReturnValue
| Name | Description |
|---|---|
Specifier
|
toAssociativity
fun Specifier.toAssociativity(): String
Receiver
| Name | Description |
|---|---|
Specifier
|
ReturnValue
| Name | Description |
|---|---|
String
|
parseException
fun parseException(input: Any?, token: Token, message: String?, throwable: Throwable?): ParseException
Parameters
| Name | Description |
|---|---|
input: Any?
|
|
token: Token
|
|
message: String?
|
|
throwable: Throwable?
|
ReturnValue
| Name | Description |
|---|---|
ParseException
|
parseException
fun parseException(token: Token, message: String?, throwable: Throwable?): ParseException
Parameters
| Name | Description |
|---|---|
token: Token
|
|
message: String?
|
|
throwable: Throwable?
|
ReturnValue
| Name | Description |
|---|---|
ParseException
|
parseException
fun parseException(token: Token, message: String?): ParseException
Parameters
| Name | Description |
|---|---|
token: Token
|
|
message: String?
|
ReturnValue
| Name | Description |
|---|---|
ParseException
|
parseException
fun parseException(token: Token, throwable: Throwable?): ParseException
Parameters
| Name | Description |
|---|---|
token: Token
|
|
throwable: Throwable?
|
ReturnValue
| Name | Description |
|---|---|
ParseException
|
main
fun main()
ReturnValue
| Name | Description |
|---|---|
Unit
|
parseAsTerm
fun String.parseAsTerm(operators: OperatorSet): Term
Receiver
| Name | Description |
|---|---|
String
|
Parameters
| Name | Description |
|---|---|
operators: OperatorSet
|
ReturnValue
| Name | Description |
|---|---|
Term
|
parseAsTerm
fun String.parseAsTerm(): Term
Receiver
| Name | Description |
|---|---|
String
|
ReturnValue
| Name | Description |
|---|---|
Term
|
parseAsStruct
fun String.parseAsStruct(operators: OperatorSet): Struct
Receiver
| Name | Description |
|---|---|
String
|
Parameters
| Name | Description |
|---|---|
operators: OperatorSet
|
ReturnValue
| Name | Description |
|---|---|
Struct
|
parseAsStruct
fun String.parseAsStruct(): Struct
Receiver
| Name | Description |
|---|---|
String
|
ReturnValue
| Name | Description |
|---|---|
Struct
|
parseAsConstant
fun String.parseAsConstant(operators: OperatorSet): Constant
Receiver
| Name | Description |
|---|---|
String
|
Parameters
| Name | Description |
|---|---|
operators: OperatorSet
|
ReturnValue
| Name | Description |
|---|---|
Constant
|
parseAsConstant
fun String.parseAsConstant(): Constant
Receiver
| Name | Description |
|---|---|
String
|
ReturnValue
| Name | Description |
|---|---|
Constant
|
parseAsVar
fun String.parseAsVar(operators: OperatorSet): Var
Receiver
| Name | Description |
|---|---|
String
|
Parameters
| Name | Description |
|---|---|
operators: OperatorSet
|
ReturnValue
| Name | Description |
|---|---|
Var
|
parseAsVar
fun String.parseAsVar(): Var
Receiver
| Name | Description |
|---|---|
String
|
ReturnValue
| Name | Description |
|---|---|
Var
|
parseAsAtom
fun String.parseAsAtom(operators: OperatorSet): Atom
Receiver
| Name | Description |
|---|---|
String
|
Parameters
| Name | Description |
|---|---|
operators: OperatorSet
|
ReturnValue
| Name | Description |
|---|---|
Atom
|
parseAsAtom
fun String.parseAsAtom(): Atom
Receiver
| Name | Description |
|---|---|
String
|
ReturnValue
| Name | Description |
|---|---|
Atom
|
parseAsNumeric
fun String.parseAsNumeric(operators: OperatorSet): Numeric
Receiver
| Name | Description |
|---|---|
String
|
Parameters
| Name | Description |
|---|---|
operators: OperatorSet
|
ReturnValue
| Name | Description |
|---|---|
Numeric
|
parseAsNumeric
fun String.parseAsNumeric(): Numeric
Receiver
| Name | Description |
|---|---|
String
|
ReturnValue
| Name | Description |
|---|---|
Numeric
|
parseAsInteger
fun String.parseAsInteger(operators: OperatorSet): Integer
Receiver
| Name | Description |
|---|---|
String
|
Parameters
| Name | Description |
|---|---|
operators: OperatorSet
|
ReturnValue
| Name | Description |
|---|---|
Integer
|
parseAsInteger
fun String.parseAsInteger(): Integer
Receiver
| Name | Description |
|---|---|
String
|
ReturnValue
| Name | Description |
|---|---|
Integer
|
parseAsReal
fun String.parseAsReal(operators: OperatorSet): Real
Receiver
| Name | Description |
|---|---|
String
|
Parameters
| Name | Description |
|---|---|
operators: OperatorSet
|
ReturnValue
| Name | Description |
|---|---|
Real
|
parseAsReal
fun String.parseAsReal(): Real
Receiver
| Name | Description |
|---|---|
String
|
ReturnValue
| Name | Description |
|---|---|
Real
|
parseAsClause
fun String.parseAsClause(operators: OperatorSet): Clause
Receiver
| Name | Description |
|---|---|
String
|
Parameters
| Name | Description |
|---|---|
operators: OperatorSet
|
ReturnValue
| Name | Description |
|---|---|
Clause
|