jvmMain.it.unibo.tuprolog.theory.parsing.ClausesReader.kt Maven / Gradle / Ivy

Go to download
package it.unibo.tuprolog.theory.parsing

import ClausesReaderImpl
import it.unibo.tuprolog.core.Clause
import it.unibo.tuprolog.core.operators.Operator
import it.unibo.tuprolog.core.operators.OperatorSet
import it.unibo.tuprolog.theory.Theory
import java.io.InputStream
import java.io.Reader
import kotlin.jvm.JvmStatic

interface ClausesReader {
    val defaultOperatorSet: OperatorSet

    fun readTheory(inputStream: InputStream, operators: OperatorSet): Theory =
        Theory.of(readClausesLazily(inputStream, operators))

    fun readTheory(reader: Reader, operators: OperatorSet): Theory =
        Theory.of(readClausesLazily(reader, operators))

    fun readTheory(inputStream: InputStream): Theory = readTheory(inputStream, defaultOperatorSet)

    fun readTheory(reader: Reader): Theory = readTheory(reader, defaultOperatorSet)

    fun readClausesLazily(inputStream: InputStream, operators: OperatorSet): Sequence

    fun readClausesLazily(reader: Reader, operators: OperatorSet): Sequence

    fun readClausesLazily(inputStream: InputStream): Sequence =
        readClausesLazily(inputStream, defaultOperatorSet)

    fun readClausesLazily(reader: Reader): Sequence = readClausesLazily(reader, defaultOperatorSet)

    fun readClauses(inputStream: InputStream, operators: OperatorSet): List =
        readClausesLazily(inputStream, operators).toList()

    fun readClauses(reader: Reader, operators: OperatorSet): List =
        readClausesLazily(reader).toList()

    fun readClauses(inputStream: InputStream): List = readClauses(inputStream, defaultOperatorSet)

    fun readClauses(reader: Reader): List = readClauses(reader, defaultOperatorSet)

    companion object {
        @JvmStatic
        val withNoOperator: ClausesReader = withOperators()

        @JvmStatic
        val withStandardOperators: ClausesReader = withOperators(OperatorSet.STANDARD)

        @JvmStatic
        val withDefaultOperators: ClausesReader = withOperators(OperatorSet.DEFAULT)

        @JvmStatic
        fun withOperators(operators: OperatorSet): ClausesReader = ClausesReaderImpl(operators)

        @JvmStatic
        fun withOperators(vararg operators: Operator): ClausesReader = withOperators(OperatorSet(*operators))
    }
}