humanName property

String get humanName

Gets a user-friendly name for a Device.

Implementation

String get humanName {
	switch(this) {
		case Device.DEVICE_UNDEFINED: return "Unknown device";
		case Device.DASHBOARD: return "Dashboard";
		case Device.SUBSYSTEMS: return "Subsystems";
		case Device.VIDEO: return "Video";
		case Device.AUTONOMY: return "Autonomy";
		case Device.FIRMWARE: return "Firmware";
		case Device.ARM: return "Arm";
		case Device.GRIPPER: return "Gripper";
		case Device.SCIENCE: return "Science";
		case Device.DRIVE: return "Drive";
	}
	// Do not use default or else you'll lose exhaustiveness checking.
	throw ArgumentError("Unrecognized device: $this");
}