property WarnWindows {
requires WindowNames;
check RDisplay.displayWindow (w: RWindow) {
SecurityManager security = getSecurityManager ();
if (security != null) {
// methinks the definition is backward, but that the Java way...
if (!security.checkTopLevelWindow (w.getWindow ())) {
String s = w.getName ();
System.err.println ("Checking window warning: " + s);
if (s == null
|| !s.equals ("Warning: Applet Window")) {
violation ("Attempt to create window without proper warning.");
}
}
}
}
}
Naccio Home Page
University of Virginia, Computer Science