9493309e5ed9e7d650736673b5b6f9016012f9d2
[jpf-core.git] / src / peers / gov / nasa / jpf / vm / JPF_java_util_ResourceBundle.java
1 /*
2  * Copyright (C) 2014, United States Government, as represented by the
3  * Administrator of the National Aeronautics and Space Administration.
4  * All rights reserved.
5  *
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
9  * 
10  *        http://www.apache.org/licenses/LICENSE-2.0. 
11  *
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.
17  */
18
19 package gov.nasa.jpf.vm;
20
21 import gov.nasa.jpf.annotation.MJI;
22 import gov.nasa.jpf.vm.ClassInfo;
23 import gov.nasa.jpf.vm.MJIEnv;
24 import gov.nasa.jpf.vm.MethodInfo;
25 import gov.nasa.jpf.vm.NativePeer;
26 import gov.nasa.jpf.vm.StackFrame;
27 import gov.nasa.jpf.vm.ThreadInfo;
28
29 import java.util.List;
30
31 /**
32  * native peer for ResourceBundle
33  */
34 public class JPF_java_util_ResourceBundle extends NativePeer {
35
36   @MJI
37   public int getClassContext_____3Ljava_lang_Class_2 (MJIEnv env, int clsRef){
38     ThreadInfo ti = env.getThreadInfo();
39
40     List<StackFrame> list = ti.getInvokedStackFrames();
41     int aRef = env.newObjectArray("java.lang.Class", list.size());
42
43     int j=0;
44     for (StackFrame frame : list){
45       MethodInfo mi = frame.getMethodInfo();
46       ClassInfo ci = mi.getClassInfo();
47       int clsObjRef = ci.getClassObjectRef();
48       env.setReferenceArrayElement(aRef, j++, clsObjRef);
49     }
50
51     return aRef;
52   }
53 }