Press n or j to go to the next uncovered block, b, p or k for the previous block.
| 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 | 42x 4x 38x 16x 22x | import { PetriNetworkInterface } from "./petri";
import { PIDInterface } from "./pid";
export interface Mode {
mode_id: number;
name: string;
frequency_multiplier: number;
min_frequency: number;
}
export class Device {
name: string;
description: string;
device_id: string;
modes: Mode[];
last_ping: number;
status: string;
current_mode_id: number;
petri_network: PetriNetworkInterface;
pid: PIDInterface;
load?: number;
tokens: number[];
}
export interface DeviceSetup {
id: string
device_ids: string[];
active: boolean;
variable_mapping: Record<string, string>
}
export interface DeviceState {
timestamp: number;
mode: string;
load?: number;
tokens: number[];
}
export class DeviceDeployer {
id: string;
url: string;
}
export class DeviceFromDeployer{
name: string;
description: string;
device_id: string;
status: string;
logs: string;
statusClass(status: string) {
if (status == "running") {
return "is-primary";
}
if (status == "created") {
return "is-dark";
}
return 'is-danger';
}
}
|