property NoClipboard { // Disallow any use of the system clipboard. check RDisplay.accessClipboard () { violation ("Attempt to access system clipboard."); } }
About this file
Naccio Home Page David Evans University of Virginia, Computer Science