equal
deleted
inserted
replaced
165 |
165 |
166 /* determine if the security policy allows Robot's to be created */ |
166 /* determine if the security policy allows Robot's to be created */ |
167 private void checkRobotAllowed() { |
167 private void checkRobotAllowed() { |
168 SecurityManager security = System.getSecurityManager(); |
168 SecurityManager security = System.getSecurityManager(); |
169 if (security != null) { |
169 if (security != null) { |
170 security.checkPermission(SecurityConstants.CREATE_ROBOT_PERMISSION); |
170 security.checkPermission(SecurityConstants.AWT.CREATE_ROBOT_PERMISSION); |
171 } |
171 } |
172 } |
172 } |
173 |
173 |
174 /* check if the given device is a screen device */ |
174 /* check if the given device is a screen device */ |
175 private void checkIsScreenDevice(GraphicsDevice device) { |
175 private void checkIsScreenDevice(GraphicsDevice device) { |
464 |
464 |
465 private static void checkScreenCaptureAllowed() { |
465 private static void checkScreenCaptureAllowed() { |
466 SecurityManager security = System.getSecurityManager(); |
466 SecurityManager security = System.getSecurityManager(); |
467 if (security != null) { |
467 if (security != null) { |
468 security.checkPermission( |
468 security.checkPermission( |
469 SecurityConstants.READ_DISPLAY_PIXELS_PERMISSION); |
469 SecurityConstants.AWT.READ_DISPLAY_PIXELS_PERMISSION); |
470 } |
470 } |
471 } |
471 } |
472 |
472 |
473 /* |
473 /* |
474 * Called after an event is generated |
474 * Called after an event is generated |