2 * Copyright (C) 2014, United States Government, as represented by the
3 * Administrator of the National Aeronautics and Space Administration.
6 * The Java Pathfinder core (jpf-core) platform is licensed under the
7 * Apache License, Version 2.0 (the "License"); you may not use this file except
8 * in compliance with the License. You may obtain a copy of the License at
10 * http://www.apache.org/licenses/LICENSE-2.0.
12 * Unless required by applicable law or agreed to in writing, software
13 * distributed under the License is distributed on an "AS IS" BASIS,
14 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
15 * See the License for the specific language governing permissions and
16 * limitations under the License.
18 package java.lang.reflect;
20 import java.lang.annotation.Annotation;
22 public class AccessibleObject {
23 boolean isAccessible = true;
25 public void setAccessible (boolean flag) throws SecurityException {
29 public static void setAccessible (AccessibleObject[] accessibles, boolean flag) throws SecurityException {
30 for (int i=0; i<accessibles.length; i++) {
31 accessibles[i].isAccessible = flag;
35 public boolean isAccessible() {
39 public native <T extends Annotation> T getAnnotation (Class<T> cls); // <2do> Implement in JPF_java_lang_reflect_Constructor
41 public boolean isAnnotationPresent (Class<? extends Annotation> cls) {
42 return getAnnotation(cls) != null;
45 public native Annotation[] getAnnotations(); // <2do> Implement in JPF_java_lang_reflect_Constructor
47 public native Annotation[] getDeclaredAnnotations(); // <2do> Implement in JPF_java_lang_reflect_Method, JPF_java_lang_reflect_Class and JPF_java_lang_reflect_Constructor