interface TermReader: Any
Fields
| Name | Description |
|---|---|
abstract defaultOperatorSet: OperatorSet
|
Methods
readTerm
abstract fun readTerm(reader: Reader, operators: OperatorSet): Term?
Parameters
| Name | Description |
|---|---|
reader: Reader
|
|
operators: OperatorSet
|
ReturnValue
| Name | Description |
|---|---|
Term?
|
readTerm
open fun readTerm(reader: Reader): Term?
Parameters
| Name | Description |
|---|---|
reader: Reader
|
ReturnValue
| Name | Description |
|---|---|
Term?
|
readTerm
abstract fun readTerm(inputStream: InputStream, operators: OperatorSet): Term?
Parameters
| Name | Description |
|---|---|
inputStream: InputStream
|
|
operators: OperatorSet
|
ReturnValue
| Name | Description |
|---|---|
Term?
|
readTerm
open fun readTerm(inputStream: InputStream): Term?
Parameters
| Name | Description |
|---|---|
inputStream: InputStream
|
ReturnValue
| Name | Description |
|---|---|
Term?
|
readTerms
abstract fun readTerms(reader: Reader, operators: OperatorSet): Sequence
Parameters
| Name | Description |
|---|---|
reader: Reader
|
|
operators: OperatorSet
|
ReturnValue
| Name | Description |
|---|---|
Sequence
|
readTerms
open fun readTerms(reader: Reader): Sequence
Parameters
| Name | Description |
|---|---|
reader: Reader
|
ReturnValue
| Name | Description |
|---|---|
Sequence
|
readTerms
abstract fun readTerms(inputStream: InputStream, operators: OperatorSet): Sequence
Parameters
| Name | Description |
|---|---|
inputStream: InputStream
|
|
operators: OperatorSet
|
ReturnValue
| Name | Description |
|---|---|
Sequence
|
readTerms
open fun readTerms(inputStream: InputStream): Sequence
Parameters
| Name | Description |
|---|---|
inputStream: InputStream
|
ReturnValue
| Name | Description |
|---|---|
Sequence
|
readTerms
open fun readTerms(string: String, operators: OperatorSet): Sequence
Parameters
| Name | Description |
|---|---|
string: String
|
|
operators: OperatorSet
|
ReturnValue
| Name | Description |
|---|---|
Sequence
|
CompanionObject
TermReader
interface TermReader: Any
Fields
| Name | Description |
|---|---|
val withNoOperator: TermReader
|
|
val withStandardOperators: TermReader
|
|
val withDefaultOperators: TermReader
|
Methods
withOperators
fun withOperators(operators: OperatorSet): TermReader
Parameters
| Name | Description |
|---|---|
operators: OperatorSet
|
ReturnValue
| Name | Description |
|---|---|
TermReader
|
withOperators
fun withOperators(vararg operators: Operator): TermReader
Parameters
| Name | Description |
|---|---|
vararg operators: Operator
|
ReturnValue
| Name | Description |
|---|---|
TermReader
|