(int personID)
| 11 | } |
| 12 | |
| 13 | public int getMachineIDForUser(int personID) { |
| 14 | Integer machineID = personToMachineMap.get(personID); |
| 15 | return machineID == null ? -1 : machineID; |
| 16 | } |
| 17 | |
| 18 | public Person getPersonWithID(int personID) { |
| 19 | Integer machineID = personToMachineMap.get(personID); |