Drift Engine Documentation
Toggle table of contents
1.0.0
common
Target filter
common
Switch theme
Search in API
Skip to content
Drift Engine Documentation
scan
/
dev.gmitch215.drift.scan.handsoff
/
Source
Source
data
class
Source
(
val
file
:
String
,
val
line
:
Int
?
=
null
)
(
source
)
A file, and the line of it that a fact came from when the line is known.
Members
Constructors
Source
Link copied to clipboard
constructor
(
file
:
String
,
line
:
Int
?
=
null
)
Properties
file
Link copied to clipboard
val
file
:
String
line
Link copied to clipboard
val
line
:
Int
?
Functions
to
String
Link copied to clipboard
open
override
fun
toString
(
)
:
String