gui/it.unibo.tuprolog.ui.gui.presentation/OperatorPresentation

OperatorPresentation

data class OperatorPresentation(val name: String, val priority: Int, val specifier: String)

One known operator (name, priority, and fixity specifier like "xfx"/"fy"), toolkit-neutral and ready to display or feed into syntax highlighting.

Constructors

OperatorPresentation

constructor(name: String, priority: Int, specifier: String)

Properties

val name: String

val priority: Int

val specifier: String