28 lines
644 B
Promela
28 lines
644 B
Promela
? <machine-dataspace ?machine> [
|
|
$machine ? <Observe <rec rtt _>_> [
|
|
$config <require-service <daemon net_mapper>>
|
|
$config ? <service-object <daemon net_mapper> ?cap> [
|
|
$cap { dataspace: $machine }
|
|
]
|
|
]
|
|
]
|
|
|
|
? <socketspace ?socketspace> [
|
|
$socketspace ? <Observe <rec rtt _>_> [
|
|
$config <require-service <daemon net_mapper>>
|
|
$config ? <service-object <daemon net_mapper> ?cap> [
|
|
$cap { dataspace: $socketspace }
|
|
]
|
|
]
|
|
]
|
|
|
|
? <built net_mapper ?path ?sum> [
|
|
<daemon net_mapper {
|
|
argv: ["/home/emery/src/bin/net_mapper"]
|
|
protocol: application/syndicate
|
|
env: {
|
|
BUILD_SUM: $sum
|
|
}
|
|
}>
|
|
]
|