property JavaAppletPackages {
check RJavaClass.accessPackage (p: String) {
violation ("Access package (not done)");
}
check RJavaClass.defineClassInPackage (p: String) {
violation ("Define class in package (not done)");
}
}
Naccio Home Page
University of Virginia, Computer Science