Skip to content

Instantly share code, notes, and snippets.

Avatar

Daniel Randall dannyrandall

  • Seattle, Washington
View GitHub Profile
View cs462-lab10-gossip.krl
ruleset gossip {
meta {
name "Gossip"
author "Daniel Randall"
use module io.picolabs.subscription alias subscription
shares inTempViolation, alertingNodes, scheduledHeartbeat, peers, sensorID, processing, peersState, messages, getPeer, newMessage, newRumorMessage, newSeenMessage, getMissingMessages
}
View cs462-lab9-gossip.krl
ruleset gossip {
meta {
name "Gossip"
author "Daniel Randall"
use module io.picolabs.subscription alias subscription
shares scheduledHeartbeat, peers, sensorID, processing, peersState, messages, getPeer, newMessage, newRumorMessage, newSeenMessage, getMissingMessages
}
View cs462-lab8-wovyn_base.krl
ruleset wovyn_base {
meta {
name "Wovyn Base"
author "Daniel Randall"
use module io.picolabs.subscription alias subscription
use module sensor_profile alias profile
shares sensor_managers
}
View cs462-lab8-manage_sensor.krl
ruleset manage_sensor {
meta {
name "Manage Sensor"
author "Daniel Randall"
use module io.picolabs.subscription alias subscription
shares sensors, temperatures, profiles, sensor_subs, temperature_reports
}
View cs462-lab7-wovyn_base.krl
ruleset wovyn_base {
meta {
name "Wovyn Base"
author "Daniel Randall"
use module io.picolabs.subscription alias subscription
use module sensor_profile alias profile
shares sensor_managers
}
View cs462-lab7-sensor_manager_profile.krl
ruleset sensor_manager_profile {
meta {
name "Manage Sensor"
author "Daniel Randall"
use module twilio
with
accountSID = meta:rulesetConfig{"accountSID"}
authToken = meta:rulesetConfig{"authToken"}
View cs462-lab7-manage_sensor.krl
ruleset manage_sensor {
meta {
name "Manage Sensor"
author "Daniel Randall"
use module io.picolabs.subscription alias subscription
shares sensors, temperatures, profiles, sensor_subs
}
View cs462-lab6-manage_sensor.krl
ruleset manage_sensor {
meta {
name "Manage Sensor"
author "Daniel Randall"
shares sensors, temperatures, profiles
}
global {
rulesets = {
View cs462-lab5-wovyn_base.krl
ruleset wovyn_base {
meta {
name "Wovyn Base"
author "Daniel Randall"
use module twilio
with
accountSID = meta:rulesetConfig{"accountSID"}
authToken = meta:rulesetConfig{"authToken"}
View cs462-lab5-sensor_profile.krl
ruleset sensor_profile {
meta {
name "Sensor Profile"
author "Daniel Randall"
provides profile, temperature_threshold, notification_to
shares profile, temperature_threshold, notification_to
}
global {