HP Integrity NonStop J-Series - Manual (Page 253)

while (1) {
cout << "Give a date: ";
cin >> date;
if (date.isValid()) break;
cout << "You entered a bad date; try again\n";
}