core/it.unibo.pulvreakt.dsl.errors

Package-level declarations

Types

data class ComponentNotRegistered(val deviceType: String, val component: ComponentRef) : DeploymentConfigurationError

Error raised when in the system configuration a component belonging to a deviceType is registered but in the deployment configuration it is not provided its instance.

ConfigurationError

sealed interface ConfigurationError

Represents an error that can occur during the configuration of the system using the DSL.

DeploymentConfigurationError

sealed interface DeploymentConfigurationError : ConfigurationError

Represents an error that can occur during the configuration of the deployment using the DSL.

DuplicateDeviceName

data class DuplicateDeviceName(val deviceName: String) : SystemConfigurationError

Error raised if two devices have the same deviceName.

EmptyDeploymentConfiguration

data object EmptyDeploymentConfiguration : DeploymentConfigurationError

Error raised when the deployment configuration is empty.

EmptyDeviceConfiguration

data object EmptyDeviceConfiguration : SystemConfigurationError

Error raised if the system configuration does not contain a device configuration.

EmptySystemConfiguration

data object EmptySystemConfiguration : SystemConfigurationError

Error raised if the system configuration is empty.

InvalidReconfiguration

data class InvalidReconfiguration(val component: ComponentRef, val host: Host) : DeploymentConfigurationError

Error raised when a component cannot be moved to the specified host.

InvalidReconfigurationHost

data class InvalidReconfigurationHost(val host: Host) : DeploymentConfigurationError

Error raised when a component is moved to an host that is not in the infrastructure.

InvalidStartupHost

data class InvalidStartupHost(val component: ComponentRef, val host: Host) : DeploymentConfigurationError

Error raised when a component cannot be started on the specified host.

NoDeviceFound

data class NoDeviceFound(val deviceName: String) : DeploymentConfigurationError

Error raised if a device with the given deviceName is not found in the system configuration.

SystemConfigurationError

sealed interface SystemConfigurationError : ConfigurationError

Represents an error that can occur during the configuration of the system using the DSL.

UnknownComponent

data class UnknownComponent(val component: ComponentRef) : DeploymentConfigurationError

Error raised when a component is configured for a reconfiguration, but it does not belong to the device.

UnknownHost

data class UnknownHost(val host: Host) : DeploymentConfigurationError

Error raised when a host is not in the infrastructure.

UnspecifiedCapabilities

data class UnspecifiedCapabilities(val component: ComponentRef) : SystemConfigurationError

Error raised if a component is registered without specifying its capabilities.