//when user selects a machine private async void MachineList_Selected(Object sender, SelectedItemChangedEventArgs e) { if (e.SelectedItem == null) { return; } else { selection = (Machine)e.SelectedItem; MachineSerialised toAdd = new MachineSerialised(); toAdd.machine = JsonConvert.SerializeObject(selection); if (App.database.getMachine(toAdd.machine) == null) { App.database.storeMachine(toAdd); await DisplayAlert("Success", "Machine has been downloaded", "Ok"); } else { await DisplayAlert("Error", "Machine is already downloaded!", "Ok"); } machineList.SelectedItem = null; } }
public void storeMachine(MachineSerialised machine) { lock (locker) { database.Insert(machine); } }