object PrologParserFactory: Any
Methods
parseExpression
fun parseExpression(string: String): SingletonExpressionContext
Parameters
Name | Description |
---|---|
string: String
|
ReturnValue
Name | Description |
---|---|
SingletonExpressionContext
|
parseExpression
fun parseExpression(string: String, withOperators: OperatorSet): SingletonExpressionContext
Parameters
Name | Description |
---|---|
string: String
|
|
withOperators: OperatorSet
|
ReturnValue
Name | Description |
---|---|
SingletonExpressionContext
|
parseExpressionWithStandardOperators
fun parseExpressionWithStandardOperators(string: String): SingletonExpressionContext
Parameters
Name | Description |
---|---|
string: String
|
ReturnValue
Name | Description |
---|---|
SingletonExpressionContext
|
parseClauses
fun parseClauses(source: String, withOperators: OperatorSet): Sequence
Parameters
Name | Description |
---|---|
source: String
|
|
withOperators: OperatorSet
|
ReturnValue
Name | Description |
---|---|
Sequence
|
parseClauses
fun parseClauses(source: String): Sequence
Parameters
Name | Description |
---|---|
source: String
|
ReturnValue
Name | Description |
---|---|
Sequence
|
parseClausesWithStandardOperators
fun parseClausesWithStandardOperators(source: String): Sequence
Parameters
Name | Description |
---|---|
source: String
|
ReturnValue
Name | Description |
---|---|
Sequence
|
createParser
fun createParser(string: String): Pair
Parameters
Name | Description |
---|---|
string: String
|
ReturnValue
Name | Description |
---|---|
Pair
|
createParser
fun createParser(source: String, operators: OperatorSet): Pair
Parameters
Name | Description |
---|---|
source: String
|
|
operators: OperatorSet
|
ReturnValue
Name | Description |
---|---|
Pair
|
addOperators
fun addOperators(prologParser: PrologParser, operators: OperatorSet): PrologParser
Parameters
Name | Description |
---|---|
prologParser: PrologParser
|
|
operators: OperatorSet
|
ReturnValue
Name | Description |
---|---|
PrologParser
|
parseSingletonExpr
fun parseSingletonExpr(string: String, withOperators: OperatorSet): PrologParser.SingletonExpressionContext
Parameters
Name | Description |
---|---|
string: String
|
|
withOperators: OperatorSet
|
ReturnValue
Name | Description |
---|---|
PrologParser.SingletonExpressionContext
|
parseSingletonExpr
fun parseSingletonExpr(string: Reader, withOperators: OperatorSet): PrologParser.SingletonExpressionContext
Parameters
Name | Description |
---|---|
string: Reader
|
|
withOperators: OperatorSet
|
ReturnValue
Name | Description |
---|---|
PrologParser.SingletonExpressionContext
|
parseSingletonExpr
fun parseSingletonExpr(string: InputStream, withOperators: OperatorSet): PrologParser.SingletonExpressionContext
Parameters
Name | Description |
---|---|
string: InputStream
|
|
withOperators: OperatorSet
|
ReturnValue
Name | Description |
---|---|
PrologParser.SingletonExpressionContext
|
parseSingletonTerm
fun parseSingletonTerm(string: String, withOperators: OperatorSet): PrologParser.SingletonTermContext
Parameters
Name | Description |
---|---|
string: String
|
|
withOperators: OperatorSet
|
ReturnValue
Name | Description |
---|---|
PrologParser.SingletonTermContext
|
parseSingletonTerm
fun parseSingletonTerm(string: Reader, withOperators: OperatorSet): PrologParser.SingletonTermContext
Parameters
Name | Description |
---|---|
string: Reader
|
|
withOperators: OperatorSet
|
ReturnValue
Name | Description |
---|---|
PrologParser.SingletonTermContext
|
parseSingletonTerm
fun parseSingletonTerm(string: InputStream, withOperators: OperatorSet): PrologParser.SingletonTermContext
Parameters
Name | Description |
---|---|
string: InputStream
|
|
withOperators: OperatorSet
|
ReturnValue
Name | Description |
---|---|
PrologParser.SingletonTermContext
|
parseClauses
fun parseClauses(source: Reader, withOperators: OperatorSet): Sequence
Parameters
Name | Description |
---|---|
source: Reader
|
|
withOperators: OperatorSet
|
ReturnValue
Name | Description |
---|---|
Sequence
|
parseClauses
fun parseClauses(source: InputStream, withOperators: OperatorSet): Sequence
Parameters
Name | Description |
---|---|
source: InputStream
|
|
withOperators: OperatorSet
|
ReturnValue
Name | Description |
---|---|
Sequence
|
parseExpressions
fun parseExpressions(source: String, withOperators: OperatorSet): Sequence
Parameters
Name | Description |
---|---|
source: String
|
|
withOperators: OperatorSet
|
ReturnValue
Name | Description |
---|---|
Sequence
|
parseExpressions
fun parseExpressions(source: Reader, withOperators: OperatorSet): Sequence
Parameters
Name | Description |
---|---|
source: Reader
|
|
withOperators: OperatorSet
|
ReturnValue
Name | Description |
---|---|
Sequence
|
parseExpressions
fun parseExpressions(source: InputStream, withOperators: OperatorSet): Sequence
Parameters
Name | Description |
---|---|
source: InputStream
|
|
withOperators: OperatorSet
|
ReturnValue
Name | Description |
---|---|
Sequence
|