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 | 38x 3x 3x 3x 3x 3x 3x 3x 3x 3x 3x | import { Component, Input, OnChanges, OnDestroy } from '@angular/core';
import { Device, Mode } from '../../models/devices';
import { TwinpadApiService } from '../../services/twinpad-api.service';
import { RouterLink } from '@angular/router';
import { DecimalPipe, NgClass, NgFor, NgIf } from '@angular/common';
import { Subscription } from 'rxjs';
@Component({
selector: 'app-device-card',
imports: [RouterLink, NgIf, DecimalPipe, NgClass, NgFor],
templateUrl: './device-card.component.html',
styleUrl: './device-card.component.css'
})
export class DeviceCardComponent implements OnChanges, OnDestroy{
@Input() deviceId: string;
device: Device;
currentMode: Mode | null;
places: string[];
deviceSubscription: Subscription;
constructor(private twinpadApiService: TwinpadApiService){}
ngOnChanges(){
this.currentMode = null;
this.deviceSubscription = this.twinpadApiService.callPeriodically(() => this.twinpadApiService.getDevice(this.deviceId), 3000).subscribe(
{next: device => {
this.device = device;
Eif (this.device.current_mode_id !== null){
this.currentMode = this.device.modes[this.device.current_mode_id-1];
}
else{
this.currentMode = null;
}
this.places = [];
for (const token of this.device.tokens){
this.places.push(this.device.petri_network.places[token].name);
}
}
});
}
ngOnDestroy(){
this.deviceSubscription?.unsubscribe();
}
}
|