core/it.unibo.pulvreakt.dsl.deployment/OnDeviceScope

OnDeviceScope

class OnDeviceScope(deviceStructure: DeviceStructure, infrastructure: NonEmptySet<Host>)

Scope for the reconfiguration of a device.

Constructors

Link copied to clipboard
constructor(deviceStructure: DeviceStructure, infrastructure: NonEmptySet<Host>)

Functions

Link copied to clipboard
infix fun ComponentRef.movesTo(host: Host): NewConfiguration

Utility method for create a NewConfiguration.

Link copied to clipboard
infix fun ReconfigurationEvent<*>.reconfigures(newConfiguration: NewConfiguration)

Specifies the newConfiguration associated to the ReconfigurationEvent.

Link copied to clipboard
inline fun <AS : Actuators<*>> theActuators(): ComponentRef

Specifies which Actuators component should be reconfigured.

Link copied to clipboard
inline fun <B : Behavior<*, *, *, *>> theBehaviour(): ComponentRef

Specifies which Behaviour component should be reconfigured.

Link copied to clipboard
inline fun <C : Communication<*>> theCommunication(): ComponentRef

Specifies which Communication component should be reconfigured.

Link copied to clipboard
inline fun <Comp : Component> theComponent(): ComponentRef

Specifies which generic component should be reconfigured.

Link copied to clipboard
inline fun <SS : Sensors<*>> theSensors(): ComponentRef

Specifies which Sensors component should be reconfigured.

Link copied to clipboard
inline fun <S : State<*>> theState(): ComponentRef

Specifies which State component should be reconfigured.