NoEventQueue


property NoEventQueue {

  check RDisplay.accessEventQueue () {

    violation ("Attempt to access event queue.");

  }

}