property JavaAppletProperties {
requires JavaAppletInitialized;
check RSystem.observeAllProperties () {
violation ("Cannot observe all properties!");
}
check RSystem.observeProperty (key: String) {
if (isJavaInitialized) {
String prop = System.getProperty (key + ".applet");
boolean allow = new Boolean(prop).booleanValue();
if (!allow) {
violation ("Cannot observe property: " + key);
}
}
}
}
Naccio Home Page
University of Virginia, Computer Science