equal
deleted
inserted
replaced
1 /* |
1 /* |
2 * Copyright (c) 2003, Oracle and/or its affiliates. All rights reserved. |
2 * Copyright (c) 2003, 2015, Oracle and/or its affiliates. All rights reserved. |
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
4 * |
4 * |
5 * This code is free software; you can redistribute it and/or modify it |
5 * This code is free software; you can redistribute it and/or modify it |
6 * under the terms of the GNU General Public License version 2 only, as |
6 * under the terms of the GNU General Public License version 2 only, as |
7 * published by the Free Software Foundation. |
7 * published by the Free Software Foundation. |
102 boolean result = pc.implies(perm[perm.length-1]); |
102 boolean result = pc.implies(perm[perm.length-1]); |
103 if (debug) { |
103 if (debug) { |
104 System.out.println(perm[perm.length-1] + " implies " + result); |
104 System.out.println(perm[perm.length-1] + " implies " + result); |
105 } |
105 } |
106 |
106 |
107 synchronized (pc) { |
107 Enumeration en = pc.elements(); |
108 Enumeration en = pc.elements(); |
108 while (en.hasMoreElements()) { |
109 while (en.hasMoreElements()) { |
109 Object obj = en.nextElement(); |
110 Object obj = en.nextElement(); |
110 if (debug) { |
111 if (debug) { |
111 System.out.println(obj); |
112 System.out.println(obj); |
|
113 } |
|
114 } |
112 } |
115 } |
113 } |
116 } |
114 } |
117 } catch (Exception e) { |
115 } catch (Exception e) { |
118 errors.put(perm[0].getClass().getName(), e); |
116 errors.put(perm[0].getClass().getName(), e); |
149 if (debug) { |
147 if (debug) { |
150 System.out.println(permlist[j][0] + " implies " + result); |
148 System.out.println(permlist[j][0] + " implies " + result); |
151 } |
149 } |
152 } |
150 } |
153 |
151 |
154 synchronized (pc) { |
152 Enumeration en = pc.elements(); |
155 Enumeration en = pc.elements(); |
153 while (en.hasMoreElements()) { |
156 while (en.hasMoreElements()) { |
154 Object obj = en.nextElement(); |
157 Object obj = en.nextElement(); |
155 if (debug) { |
158 if (debug) { |
156 System.out.println(obj); |
159 System.out.println(obj); |
|
160 } |
|
161 } |
157 } |
162 } |
158 } |
163 } |
159 } |
164 } catch (Exception e) { |
160 } catch (Exception e) { |
165 errors.put("java.security.Permissions", e); |
161 errors.put("java.security.Permissions", e); |