pulvreakt
Toggle table of contents
0.10.1-dev16+864eaad844
common
Platform filter
common
Switch theme
Search in API
pulvreakt
core
/
it.unibo.pulvreakt.dsl.errors
/
NoDeviceFound
No
Device
Found
data
class
NoDeviceFound
(
val
deviceName
:
String
)
:
DeploymentConfigurationError
Error raised if a device with the given
deviceName
is not found in the system configuration.
Members
Constructors
No
Device
Found
Link copied to clipboard
constructor
(
deviceName
:
String
)
Properties
device
Name
Link copied to clipboard
val
deviceName
:
String