repl/it.unibo.tuprolog.ui.repl/TuPrologSolveQuery

TuPrologSolveQuery

class TuPrologSolveQuery : AbstractTuPrologCommand

The solve subcommand of TuPrologCmd: java -jar 2p-repl.jar solve QUERY [-n N].

Rather than starting an interactive loop, it parses and solves a single, non-interactive query argument with the solver TuPrologCmd.getSolver builds (inheriting the parent command's -T/--theory, -t/--timeout and --oop options), prints the resulting solution(s), and then terminates -- suited to scripting or one-off invocations where a full REPL session is unnecessary.

By default all solutions are printed interactively, one at a time, prompting for ; to continue (see AbstractTuPrologCommand.printSolutions); passing -n/--numberOfSolutions with a positive value instead prints up to that many solutions without prompting (see AbstractTuPrologCommand.printNumSolutions).

Constructors

TuPrologSolveQuery

constructor()

Properties

allowMultipleSubcommands

open override val allowMultipleSubcommands: Boolean

autoCompleteEnvvar

open override val autoCompleteEnvvar: String?

val commandName: String

val currentContext: Context

open override val helpTags: Map<String, String>

open override val hiddenFromHelp: Boolean

invokeWithoutSubcommand

open override val invokeWithoutSubcommand: Boolean

val messages: List<String>

printHelpOnEmptyArgs

open override val printHelpOnEmptyArgs: Boolean

treatUnknownOptionsAsArgs

open override val treatUnknownOptionsAsArgs: Boolean

Functions

open fun aliases(): Map<String, List<String>>

open fun allHelpParams(): List<HelpFormatter.ParameterHelp>

open fun ~~commandHelp~~(context: Context): String

commandHelpEpilog

open fun ~~commandHelpEpilog~~(context: Context): String

configureContext

fun configureContext(block: Context.Builder.() -> Unit)

fun echo()

fun echo(message: Any?, trailingNewline: Boolean, err: Boolean)

echoFormattedHelp

fun echoFormattedHelp(error: CliktError?)

getFormattedHelp

fun getFormattedHelp(error: CliktError?): String?

open override fun help(context: Context): String

open override fun helpEpilog(context: Context): String

fun issueMessage(message: String)

registerArgument

fun registerArgument(argument: Argument)

registeredArguments

fun registeredArguments(): List<Argument>

registeredOptions

fun registeredOptions(): List<Option>

registeredParameterGroups

fun registeredParameterGroups(): List<ParameterGroup>

registeredSubcommandNames

fun registeredSubcommandNames(): List<String>

registeredSubcommands

fun registeredSubcommands(): List<CoreCliktCommand>

open override fun registerOption(option: GroupableOption)

fun registerOption(option: Option)

registerOptionGroup

fun registerOptionGroup(group: ParameterGroup)

fun resetContext(parent: Context?): Context

open override fun run()

Retrieves the parent TuPrologCmd's solver (see TuPrologCmd.getSolver) and uses it to solve and print this subcommand's query.

open override fun toString(): String