property WindowWarningString {
requires WindowNames;
check RDisplay.displayWindow (w: RWindow) {
if (w.getName () == null
|| !w.getName ().equals ("Warning: Applet Window")) {
violation ("Attempt to create window without proper warning.");
}
}
}
Naccio Home Page
University of Virginia, Computer Science