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.
21 import java.lang.reflect.Field;
22 import java.lang.reflect.Member;
25 * this is a placeholder for a Java 6 class, which we only have here to
26 * support both Java 1.5 and 6 with the same set of env/ classes
28 * see sun.msic.SharedSecrets for details
30 * <2do> THIS IS GOING AWAY AS SOON AS WE OFFICIALLY SWITCH TO JAVA 6
31 * (to be replaced with a native peer for the native methods of the lib class)
33 public class ConstantPool {
35 public int getSize() {
36 throw new UnsupportedOperationException("sun.reflect.ConstantPool not supported yet");
39 public Class<?> getClassAt(int index) {
40 throw new UnsupportedOperationException("sun.reflect.ConstantPool not supported yet");
43 public Class<?> getClassAtIfLoaded(int index) {
44 throw new UnsupportedOperationException("sun.reflect.ConstantPool not supported yet");
47 public Member getMethodAt(int index) {
48 throw new UnsupportedOperationException("sun.reflect.ConstantPool not supported yet");
51 public Member getMethodAtIfLoaded(int index) {
52 throw new UnsupportedOperationException("sun.reflect.ConstantPool not supported yet");
55 public Field getFieldAt(int index) {
56 throw new UnsupportedOperationException("sun.reflect.ConstantPool not supported yet");
59 public Field getFieldAtIfLoaded(int index) {
60 throw new UnsupportedOperationException("sun.reflect.ConstantPool not supported yet");
63 public String[] getMemberRefInfoAt(int index) {
64 throw new UnsupportedOperationException("sun.reflect.ConstantPool not supported yet");
67 public int getIntAt(int index) {
68 throw new UnsupportedOperationException("sun.reflect.ConstantPool not supported yet");
71 public long getLongAt(int index) {
72 throw new UnsupportedOperationException("sun.reflect.ConstantPool not supported yet");
75 public float getFloatAt(int index) {
76 throw new UnsupportedOperationException("sun.reflect.ConstantPool not supported yet");
79 public double getDoubleAt(int index) {
80 throw new UnsupportedOperationException("sun.reflect.ConstantPool not supported yet");
83 public String getStringAt(int index) {
84 throw new UnsupportedOperationException("sun.reflect.ConstantPool not supported yet");
87 public String getUTF8At(int index) {
88 throw new UnsupportedOperationException("sun.reflect.ConstantPool not supported yet");