documentation
Toggle table of contents
3.0.5
common
Target filter
common
Switch theme
Search in API
Skip to content
documentation
gui
/
it.unibo.tuprolog.ui.gui.presentation
/
SourceSuggestion
Source
Suggestion
data
class
SourceSuggestion
(
val
text
:
String
,
val
category
:
String
)
A candidate identifier to offer for auto-completion, derived from already-classified
SemanticToken
s.
Members
Constructors
Source
Suggestion
Link copied to clipboard
constructor
(
text
:
String
,
category
:
String
)
Properties
category
Link copied to clipboard
val
category
:
String
text
Link copied to clipboard
val
text
:
String