interface TermParser: Any
Fields
| Name | Description |
|---|---|
abstract defaultOperatorSet: OperatorSet
|
Methods
parseTerm
abstract fun parseTerm(input: String, operators: OperatorSet): Term
Parameters
| Name | Description |
|---|---|
input: String
|
|
operators: OperatorSet
|
ReturnValue
| Name | Description |
|---|---|
Term
|
parseTerm
open fun parseTerm(input: String): Term
Parameters
| Name | Description |
|---|---|
input: String
|
ReturnValue
| Name | Description |
|---|---|
Term
|
parseStruct
open fun parseStruct(input: String, operators: OperatorSet): Struct
Parameters
| Name | Description |
|---|---|
input: String
|
|
operators: OperatorSet
|
ReturnValue
| Name | Description |
|---|---|
Struct
|
parseStruct
open fun parseStruct(input: String): Struct
Parameters
| Name | Description |
|---|---|
input: String
|
ReturnValue
| Name | Description |
|---|---|
Struct
|
parseConstant
open fun parseConstant(input: String, operators: OperatorSet): Constant
Parameters
| Name | Description |
|---|---|
input: String
|
|
operators: OperatorSet
|
ReturnValue
| Name | Description |
|---|---|
Constant
|
parseConstant
open fun parseConstant(input: String): Constant
Parameters
| Name | Description |
|---|---|
input: String
|
ReturnValue
| Name | Description |
|---|---|
Constant
|
parseVar
open fun parseVar(input: String, operators: OperatorSet): Var
Parameters
| Name | Description |
|---|---|
input: String
|
|
operators: OperatorSet
|
ReturnValue
| Name | Description |
|---|---|
Var
|
parseVar
open fun parseVar(input: String): Var
Parameters
| Name | Description |
|---|---|
input: String
|
ReturnValue
| Name | Description |
|---|---|
Var
|
parseAtom
open fun parseAtom(input: String, operators: OperatorSet): Atom
Parameters
| Name | Description |
|---|---|
input: String
|
|
operators: OperatorSet
|
ReturnValue
| Name | Description |
|---|---|
Atom
|
parseAtom
open fun parseAtom(input: String): Atom
Parameters
| Name | Description |
|---|---|
input: String
|
ReturnValue
| Name | Description |
|---|---|
Atom
|
parseNumeric
open fun parseNumeric(input: String, operators: OperatorSet): Numeric
Parameters
| Name | Description |
|---|---|
input: String
|
|
operators: OperatorSet
|
ReturnValue
| Name | Description |
|---|---|
Numeric
|
parseNumeric
open fun parseNumeric(input: String): Numeric
Parameters
| Name | Description |
|---|---|
input: String
|
ReturnValue
| Name | Description |
|---|---|
Numeric
|
parseInteger
open fun parseInteger(input: String, operators: OperatorSet): Integer
Parameters
| Name | Description |
|---|---|
input: String
|
|
operators: OperatorSet
|
ReturnValue
| Name | Description |
|---|---|
Integer
|
parseInteger
open fun parseInteger(input: String): Integer
Parameters
| Name | Description |
|---|---|
input: String
|
ReturnValue
| Name | Description |
|---|---|
Integer
|
parseReal
open fun parseReal(input: String, operators: OperatorSet): Real
Parameters
| Name | Description |
|---|---|
input: String
|
|
operators: OperatorSet
|
ReturnValue
| Name | Description |
|---|---|
Real
|
parseReal
open fun parseReal(input: String): Real
Parameters
| Name | Description |
|---|---|
input: String
|
ReturnValue
| Name | Description |
|---|---|
Real
|
parseClause
open fun parseClause(input: String, operators: OperatorSet): Clause
Parameters
| Name | Description |
|---|---|
input: String
|
|
operators: OperatorSet
|
ReturnValue
| Name | Description |
|---|---|
Clause
|
CompanionObject
TermParser
interface TermParser: Any
Fields
| Name | Description |
|---|---|
val withNoOperator: @JvmStatic
@JsName("withNoOperator")
|
|
val withStandardOperators: @JvmStatic
@JsName("withStandardOperators")
|
|
val withDefaultOperators: @JvmStatic
@JsName("withDefaultOperators")
|
Methods
withOperators
fun withOperators(operators: OperatorSet): (operators: OperatorSet)
Parameters
| Name | Description |
|---|---|
operators: OperatorSet
|
ReturnValue
| Name | Description |
|---|---|
(operators: OperatorSet)
|