ide/it.unibo.tuprolog.ui.gui/TuPrologIDEModel/setCurrentFile

setCurrentFile

abstract fun setCurrentFile(theory: String)

Shorthand for setFile(currentFile, theory).

Throws

if currentFile is null.

Generated by Dokka
© 2026 Copyright