16 lines
1.8 KiB
Plaintext
16 lines
1.8 KiB
Plaintext
|
import interface Device;
|
||
|
|
import interface DeviceController;
|
||
|
|
external atom Display id "device:display";
|
||
|
|
type Request=record {url:string;text:string;version:int32;};
|
||
|
|
package Driver id "driver" revision "driver@1" {
|
||
|
|
function create id "driver:create" : string -> atom-ref<Display> execution transaction targets [browser,server] requires {creation device id "device" : Display input record {enabled:bool;requested:Request;observed:optional<Request>;};};
|
||
|
|
operation request id "driver:request" : string -> unit mode call execution transaction targets [browser,server] receiver any requires {state requested id "requested" : Request [read,write];};
|
||
|
|
operation snapshot id "driver:snapshot" : unit -> optional<Request> mode call execution snapshot targets [server] receiver any requires {interface data id "data" : Device using [enabled.get,requested.get,observed.get];};
|
||
|
|
operation recordObservation id "driver:record" : Request -> unit mode call execution transaction targets [server] receiver any requires {state requested id "requested" : Request [read];state observed id "observed" : optional<Request> [write];};
|
||
|
|
operation apply id "driver:apply" : optional<Request> -> unit mode call execution remote receiver any requires {interface device id "device" : Device using [recordObservation.call];};
|
||
|
|
operation enabled id "driver:enabled" : unit -> bool mode call execution snapshot targets [server] receiver any requires {interface data id "data" : Device using [enabled.get];};
|
||
|
|
query Enabled id "enabled" root workspace DeviceController document "enabled.graphql" operation "Enabled" {max rows 64;}
|
||
|
|
query Inputs id "inputs" root Device document "inputs.graphql" operation "Inputs" {replica;}
|
||
|
|
query View id "view" root Device document "inputs.graphql" operation "Inputs" {local from Inputs;watch;}
|
||
|
|
}
|