tom | 0eb04ca | 2014-08-25 14:34:51 -0700 | [diff] [blame] | 1 | package org.onlab.onos.net; |
2 | |||||
3 | import java.net.URI; | ||||
4 | |||||
5 | /** | ||||
tom | 64b7aac | 2014-08-26 00:18:21 -0700 | [diff] [blame] | 6 | * Immutable representation of a device identity. |
tom | 0eb04ca | 2014-08-25 14:34:51 -0700 | [diff] [blame] | 7 | */ |
tom | b36046e | 2014-08-27 00:22:24 -0700 | [diff] [blame] | 8 | public class DeviceId extends ElementId { |
tom | 0eb04ca | 2014-08-25 14:34:51 -0700 | [diff] [blame] | 9 | |
tom | de8d968 | 2014-08-27 01:11:43 -0700 | [diff] [blame] | 10 | // TODO: Discuss whether we should just use ElementId for Device and Host alike |
tom | 0eb04ca | 2014-08-25 14:34:51 -0700 | [diff] [blame] | 11 | /** |
tom | b36046e | 2014-08-27 00:22:24 -0700 | [diff] [blame] | 12 | * Creates a device id using the supplied URI. |
tom | 0eb04ca | 2014-08-25 14:34:51 -0700 | [diff] [blame] | 13 | * |
tom | b36046e | 2014-08-27 00:22:24 -0700 | [diff] [blame] | 14 | * @param uri backing device URI |
tom | 0eb04ca | 2014-08-25 14:34:51 -0700 | [diff] [blame] | 15 | */ |
tom | b36046e | 2014-08-27 00:22:24 -0700 | [diff] [blame] | 16 | public DeviceId(URI uri) { |
17 | super(uri); | ||||
tom | 64b7aac | 2014-08-26 00:18:21 -0700 | [diff] [blame] | 18 | } |
19 | |||||
tom | 0eb04ca | 2014-08-25 14:34:51 -0700 | [diff] [blame] | 20 | } |