Members/kono/jpf-core: src/main/gov/nasa/jpf/vm/JPF_gov_nasa_jpf_vm

annotate src/main/gov/nasa/jpf/vm/JPF_gov_nasa_jpf_vm_Verify.java @ 22:cd7880ab73c7

fixed JPF_.._Verify.registerChoiceGenerator() to not break and ignore the transition if there are no choices, but to just return the provided default value. Thanks to Pascal Kessell for reporting added a .include_null option for the TypedObjectChoice CG. If it is set (default) 'null' is included in the choice set added a dedicated reg test for TypedObjectChoice, removed the one in DataChoiceTest

author	Peter Mehlitz <pcmehlitz@gmail.com>
date	Tue, 14 Apr 2015 15:01:25 -0700
parents	caa0924e093d
children

rev	line source
0 61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1 /*
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	2 * Copyright (C) 2014, United States Government, as represented by the
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	3 * Administrator of the National Aeronautics and Space Administration.
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	4 * All rights reserved.
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	5 *
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	6 * The Java Pathfinder core (jpf-core) platform is licensed under the
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	7 * Apache License, Version 2.0 (the "License"); you may not use this file except
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	8 * in compliance with the License. You may obtain a copy of the License at
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	9 *
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	10 * http://www.apache.org/licenses/LICENSE-2.0.
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	11 *
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	12 * Unless required by applicable law or agreed to in writing, software
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	13 * distributed under the License is distributed on an "AS IS" BASIS,
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	14 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	15 * See the License for the specific language governing permissions and
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	16 * limitations under the License.
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	17 */
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	18 package gov.nasa.jpf.vm;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	19
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	20 import gov.nasa.jpf.Config;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	21 import gov.nasa.jpf.JPF;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	22 import gov.nasa.jpf.JPFException;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	23 import gov.nasa.jpf.annotation.MJI;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	24 import gov.nasa.jpf.util.IntTable;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	25 import gov.nasa.jpf.util.JPFLogger;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	26 import gov.nasa.jpf.util.ObjectConverter;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	27 import gov.nasa.jpf.util.ObjectList;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	28 import gov.nasa.jpf.util.RunListener;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	29 import gov.nasa.jpf.util.RunRegistry;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	30 import gov.nasa.jpf.util.json.CGCall;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	31 import gov.nasa.jpf.util.json.JSONLexer;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	32 import gov.nasa.jpf.util.json.JSONObject;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	33 import gov.nasa.jpf.util.json.JSONParser;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	34 import gov.nasa.jpf.vm.choice.DoubleChoiceFromList;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	35 import gov.nasa.jpf.vm.choice.FloatChoiceFromList;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	36 import gov.nasa.jpf.vm.choice.IntChoiceFromSet;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	37 import gov.nasa.jpf.vm.choice.IntIntervalGenerator;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	38 import gov.nasa.jpf.vm.choice.LongChoiceFromList;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	39
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	40 import java.io.FileInputStream;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	41 import java.io.FileNotFoundException;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	42 import java.io.IOException;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	43 import java.io.ObjectInputStream;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	44 import java.io.PrintStream;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	45 import java.util.BitSet;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	46 import java.util.List;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	47
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	48 /**
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	49 * native peer class for programmatic JPF interface (that can be used inside
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	50 * of apps to verify - if you are aware of the danger that comes with it)
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	51 *
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	52 * this peer is a bit different in that it only uses static fields and methods because
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	53 * its use is supposed to be JPF global (without classloader namespaces)
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	54 */
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	55 public class JPF_gov_nasa_jpf_vm_Verify extends NativePeer {
21 caa0924e093d reshuffled Event hierarchy, introducing SystemEvent, with CheckEvent and Peter Mehlitz <pcmehlitz@gmail.com> parents: 1 diff changeset	56 static final int MAX_COUNTERS = 127;
0 61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	57
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	58 static boolean isInitialized;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	59
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	60 // those are used to store search global int values (e.g. from TestJPF derived classes)
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	61 static int[] counter;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	62 static IntTable<String> map;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	63
21 caa0924e093d reshuffled Event hierarchy, introducing SystemEvent, with CheckEvent and Peter Mehlitz <pcmehlitz@gmail.com> parents: 1 diff changeset	64 public static int heuristicSearchValue;
0 61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	65
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	66 static boolean supportIgnorePath;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	67 static boolean breakSingleChoice;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	68 static boolean enableAtomic;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	69
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	70 static Config config; // we need to keep this around for CG creation
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	71
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	72 // our const ChoiceGenerator ctor argtypes
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	73 static Class[] cgArgTypes = { Config.class, String.class };
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	74 // this is our cache for ChoiceGenerator ctor parameters
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	75 static Object[] cgArgs = { null, null };
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	76
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	77 static BitSet[] bitSets;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	78 static int nextBitSet;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	79
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	80 static PrintStream out;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	81
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	82 public static boolean init (Config conf) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	83
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	84 if (!isInitialized){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	85 supportIgnorePath = conf.getBoolean("vm.verify.ignore_path");
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	86 breakSingleChoice = conf.getBoolean("cg.break_single_choice");
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	87 enableAtomic = conf.getBoolean("cg.enable_atomic", true);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	88
21 caa0924e093d reshuffled Event hierarchy, introducing SystemEvent, with CheckEvent and Peter Mehlitz <pcmehlitz@gmail.com> parents: 1 diff changeset	89 heuristicSearchValue = conf.getInt("search.heuristic.default_value");
caa0924e093d reshuffled Event hierarchy, introducing SystemEvent, with CheckEvent and Peter Mehlitz <pcmehlitz@gmail.com> parents: 1 diff changeset	90
0 61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	91 counter = null;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	92 map = null;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	93
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	94 config = conf;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	95
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	96 String outFile = conf.getString("vm.verify.output_file");
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	97 if (outFile != null){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	98 try {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	99 out = new PrintStream(outFile);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	100 } catch (FileNotFoundException fnx){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	101 System.err.println("error: could not open verify output file " + outFile + ", using System.out");
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	102 out = System.out;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	103 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	104 } else {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	105 out = System.out;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	106 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	107
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	108 Verify.setPeerClass( JPF_gov_nasa_jpf_vm_Verify.class);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	109
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	110 RunRegistry.getDefaultRegistry().addListener( new RunListener() {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	111 @Override
21 caa0924e093d reshuffled Event hierarchy, introducing SystemEvent, with CheckEvent and Peter Mehlitz <pcmehlitz@gmail.com> parents: 1 diff changeset	112 public void reset (RunRegistry reg){
0 61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	113 isInitialized = false;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	114 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	115 });
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	116 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	117 return true;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	118 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	119
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	120
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	121 public static final int NO_VALUE = -1;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	122
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	123 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	124 public static int getValue__Ljava_lang_String_2__I (MJIEnv env, int clsObjRef, int keyRef) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	125 if (map == null) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	126 return NO_VALUE;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	127 } else {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	128 String key = env.getStringObject(keyRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	129 IntTable.Entry<String> e = map.get(key);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	130 if (e != null) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	131 return e.val;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	132 } else {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	133 return NO_VALUE;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	134 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	135 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	136 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	137
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	138 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	139 public static void putValue__Ljava_lang_String_2I__V (MJIEnv env, int clsObjRef, int keyRef, int val) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	140 if (map == null) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	141 map = new IntTable<String>();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	142 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	143
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	144 String key = env.getStringObject(keyRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	145 map.put(key, val);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	146 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	147
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	148 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	149 public static int getCounter__I__I (MJIEnv env, int clsObjRef, int counterId) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	150 if ((counter == null) \|\| (counterId < 0) \|\| (counterId >= counter.length)) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	151 return 0;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	152 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	153
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	154 return counter[counterId];
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	155 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	156
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	157 private static void ensureCounterCapacity (int counterId){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	158 if (counter == null) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	159 counter = new int[(counterId >= MAX_COUNTERS) ? counterId+1 : MAX_COUNTERS];
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	160 } else if (counterId >= counter.length) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	161 int[] newCounter = new int[counterId+1];
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	162 System.arraycopy(counter, 0, newCounter, 0, counter.length);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	163 counter = newCounter;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	164 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	165 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	166
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	167 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	168 public static void resetCounter__I__V (MJIEnv env, int clsObjRef, int counterId) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	169 if ((counter == null) \|\| (counterId < 0) \|\| (counterId >= counter.length)) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	170 return;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	171 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	172 counter[counterId] = 0;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	173 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	174
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	175 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	176 public static void setCounter__II__V (MJIEnv env, int clsObjRef, int counterId, int val) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	177 if (counterId < 0){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	178 return;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	179 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	180
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	181 ensureCounterCapacity(counterId);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	182 counter[counterId] = val;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	183 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	184
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	185 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	186 public static int incrementCounter__I__I (MJIEnv env, int clsObjRef, int counterId) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	187 if (counterId < 0) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	188 return 0;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	189 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	190
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	191 ensureCounterCapacity(counterId);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	192 return ++counter[counterId];
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	193 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	194
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	195 private static void checkBitSetId(int id) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	196 if (bitSets == null) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	197 bitSets = new BitSet[id + 1];
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	198 } else if (id >= bitSets.length) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	199 BitSet[] newBitSets = new BitSet[id + 1];
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	200 System.arraycopy(bitSets, 0, newBitSets, 0, bitSets.length);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	201 bitSets = newBitSets;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	202 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	203
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	204 if (bitSets[id] == null) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	205 bitSets[id] = new BitSet();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	206 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	207 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	208
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	209 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	210 public static void setBitInBitSet__IIZ__V(MJIEnv env, int clsObjRef, int id, int bitNum, boolean value) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	211 checkBitSetId(id);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	212 bitSets[id].set(bitNum, value);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	213 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	214
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	215 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	216 public static boolean getBitInBitSet__II__Z(MJIEnv env, int clsObjRef, int id, int bitNum) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	217 checkBitSetId(id);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	218 return bitSets[id].get(bitNum);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	219 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	220
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	221 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	222 public static long currentTimeMillis____J (MJIEnv env, int clsObjRef) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	223 return System.currentTimeMillis();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	224 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	225
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	226 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	227 public static String getType (int objRef, MJIEnv env) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	228 return Types.getTypeName(env.getElementInfo(objRef).getType());
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	229 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	230
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	231 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	232 public static void addComment__Ljava_lang_String_2__V (MJIEnv env, int clsObjRef, int stringRef) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	233 SystemState ss = env.getSystemState();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	234 String cmt = env.getStringObject(stringRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	235 ss.getTrail().setAnnotation(cmt);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	236 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	237
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	238 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	239 public static void assertTrue__Z__V (MJIEnv env, int clsObjRef, boolean b) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	240 if (!b) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	241 env.throwException("java.lang.AssertionError", "assertTrue failed");
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	242 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	243 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	244
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	245 // those are evil - use with extreme care. If something blocks inside of
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	246 // an atomic section we have to raise an exception
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	247
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	248 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	249 public static void beginAtomic____V (MJIEnv env, int clsObjRef) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	250 if (enableAtomic){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	251 ThreadInfo tiAtomic = env.getThreadInfo();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	252
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	253 if (tiAtomic.getScheduler().setsBeginAtomicCG(tiAtomic)){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	254 env.repeatInvocation();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	255 return;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	256 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	257
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	258 env.getSystemState().incAtomic();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	259 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	260 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	261
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	262 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	263 public static void endAtomic____V (MJIEnv env, int clsObjRef) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	264 if (enableAtomic){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	265 ThreadInfo tiAtomic = env.getThreadInfo();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	266
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	267 if (!tiAtomic.isFirstStepInsn()){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	268 env.getSystemState().decAtomic();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	269 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	270
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	271 if (tiAtomic.getScheduler().setsEndAtomicCG(tiAtomic)){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	272 env.repeatInvocation();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	273 return;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	274 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	275 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	276 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	277
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	278 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	279 public static void busyWait__J__V (MJIEnv env, int clsObjRef, long duration) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	280 // nothing required here (we systematically explore scheduling
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	281 // sequences anyway), but we need to intercept the call
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	282 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	283
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	284 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	285 public static void ignoreIf__Z__V (MJIEnv env, int clsObjRef, boolean cond) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	286 if (supportIgnorePath) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	287 env.getSystemState().setIgnored(cond);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	288 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	289 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	290
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	291 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	292 public static void interesting__Z__V (MJIEnv env, int clsObjRef, boolean cond) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	293 env.getSystemState().setInteresting(cond);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	294 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	295
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	296 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	297 public static void breakTransition__Ljava_lang_String_2__V (MJIEnv env, int clsObjRef, int reasonRef){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	298 ThreadInfo ti = env.getThreadInfo();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	299 String reason = env.getStringObject(reasonRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	300 ti.breakTransition(reason);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	301 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	302
1 f6886b2bda4a first set of post v7 patches Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: 0 diff changeset	303 /**
f6886b2bda4a first set of post v7 patches Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: 0 diff changeset	304 * mostly for debugging purposes - this does not optimize away single choice CGs
f6886b2bda4a first set of post v7 patches Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: 0 diff changeset	305 */
f6886b2bda4a first set of post v7 patches Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: 0 diff changeset	306 @MJI
f6886b2bda4a first set of post v7 patches Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: 0 diff changeset	307 public int breakTransition__Ljava_lang_String_2II__I (MJIEnv env, int clsObjRef, int reasonRef, int min, int max) {
f6886b2bda4a first set of post v7 patches Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: 0 diff changeset	308 ThreadInfo ti = env.getThreadInfo();
f6886b2bda4a first set of post v7 patches Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: 0 diff changeset	309 SystemState ss = env.getSystemState();
f6886b2bda4a first set of post v7 patches Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: 0 diff changeset	310 String reason = env.getStringObject(reasonRef);
f6886b2bda4a first set of post v7 patches Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: 0 diff changeset	311
f6886b2bda4a first set of post v7 patches Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: 0 diff changeset	312 if (!ti.isFirstStepInsn()) { // first time around
f6886b2bda4a first set of post v7 patches Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: 0 diff changeset	313 IntChoiceGenerator cg = new IntIntervalGenerator( reason, min,max);
f6886b2bda4a first set of post v7 patches Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: 0 diff changeset	314 if (ss.setNextChoiceGenerator(cg)){
f6886b2bda4a first set of post v7 patches Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: 0 diff changeset	315 env.repeatInvocation();
f6886b2bda4a first set of post v7 patches Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: 0 diff changeset	316 }
f6886b2bda4a first set of post v7 patches Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: 0 diff changeset	317 return -1;
f6886b2bda4a first set of post v7 patches Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: 0 diff changeset	318
f6886b2bda4a first set of post v7 patches Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: 0 diff changeset	319 } else {
f6886b2bda4a first set of post v7 patches Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: 0 diff changeset	320 return getNextChoice(ss, reason, IntChoiceGenerator.class, Integer.class);
f6886b2bda4a first set of post v7 patches Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: 0 diff changeset	321 }
f6886b2bda4a first set of post v7 patches Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: 0 diff changeset	322 }
f6886b2bda4a first set of post v7 patches Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: 0 diff changeset	323
0 61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	324 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	325 public static boolean isCalledFromClass__Ljava_lang_String_2__Z (MJIEnv env, int clsObjRef,
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	326 int clsNameRef) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	327 String refClassName = env.getStringObject(clsNameRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	328 ThreadInfo ti = env.getThreadInfo();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	329
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	330 StackFrame caller = ti.getLastInvokedStackFrame();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	331 if (caller != null){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	332 ClassInfo ci = caller.getClassInfo();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	333 return ci.isInstanceOf(refClassName);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	334 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	335
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	336 return false;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	337 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	338
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	339
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	340 static <T extends ChoiceGenerator<?>> T createChoiceGenerator (Class<T> cgClass, SystemState ss, String id) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	341 T gen = null;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	342
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	343 cgArgs[0] = config;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	344 cgArgs[1] = id; // good thing we are not multithreaded (other fields are const)
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	345
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	346 String key = id + ".class";
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	347 gen = config.getEssentialInstance(key, cgClass, cgArgTypes, cgArgs);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	348 return gen;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	349 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	350
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	351 static <T> T registerChoiceGenerator (MJIEnv env, SystemState ss, ThreadInfo ti, ChoiceGenerator<T> cg, T dummyVal){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	352
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	353 int n = cg.getTotalNumberOfChoices();
22 cd7880ab73c7 fixed JPF_.._Verify.registerChoiceGenerator() to not break and ignore the Peter Mehlitz <pcmehlitz@gmail.com> parents: 21 diff changeset	354 if (n == 0) {
cd7880ab73c7 fixed JPF_.._Verify.registerChoiceGenerator() to not break and ignore the Peter Mehlitz <pcmehlitz@gmail.com> parents: 21 diff changeset	355 // nothing, just return the default value
0 61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	356
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	357 } else if (n == 1 && !breakSingleChoice) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	358 // no choice -> no CG optimization
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	359 cg.advance();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	360 return cg.getNextChoice();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	361
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	362 } else {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	363 if (ss.setNextChoiceGenerator(cg)){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	364 env.repeatInvocation();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	365 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	366 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	367
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	368 return dummyVal;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	369 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	370
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	371 static <T,C extends ChoiceGenerator<T>> T getNextChoice (SystemState ss, String id, Class<C> cgClass, Class<T> choiceClass){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	372 ChoiceGenerator<?> cg = ss.getCurrentChoiceGenerator(id, cgClass);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	373
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	374 assert (cg != null) : "no ChoiceGenerator of type " + cgClass.getName();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	375 return ((ChoiceGenerator<T>)cg).getNextChoice();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	376 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	377
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	378 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	379 public static boolean getBoolean____Z (MJIEnv env, int clsObjRef) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	380 ThreadInfo ti = env.getThreadInfo();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	381 SystemState ss = env.getSystemState();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	382 ChoiceGenerator<?> cg;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	383
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	384 if (!ti.isFirstStepInsn()) { // first time around
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	385 cg = new BooleanChoiceGenerator(config, "verifyGetBoolean");
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	386 if (ss.setNextChoiceGenerator(cg)){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	387 env.repeatInvocation();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	388 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	389 return true; // not used if we repeat
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	390
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	391 } else { // this is what really returns results
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	392 return getNextChoice(ss,"verifyGetBoolean", BooleanChoiceGenerator.class,Boolean.class);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	393 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	394 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	395
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	396 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	397 public static boolean getBoolean__Z__Z (MJIEnv env, int clsObjRef, boolean falseFirst) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	398 ThreadInfo ti = env.getThreadInfo();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	399 SystemState ss = env.getSystemState();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	400 ChoiceGenerator<?> cg;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	401
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	402 if (!ti.isFirstStepInsn()) { // first time around
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	403 cg = new BooleanChoiceGenerator( "verifyGetBoolean(Z)", falseFirst );
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	404 if (ss.setNextChoiceGenerator(cg)){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	405 env.repeatInvocation();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	406 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	407 return true; // not used if we repeat
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	408
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	409 } else { // this is what really returns results
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	410 return getNextChoice(ss,"verifyGetBoolean(Z)", BooleanChoiceGenerator.class, Boolean.class);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	411 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	412 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	413
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	414 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	415 public static int getInt__II__I (MJIEnv env, int clsObjRef, int min, int max) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	416 ThreadInfo ti = env.getThreadInfo();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	417 SystemState ss = env.getSystemState();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	418
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	419 if (!ti.isFirstStepInsn()) { // first time around
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	420
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	421 if (min > max){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	422 int t = max;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	423 max = min;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	424 min = t;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	425 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	426
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	427 IntChoiceGenerator cg = new IntIntervalGenerator( "verifyGetInt(II)", min,max);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	428 return registerChoiceGenerator(env,ss,ti,cg,0);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	429
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	430 } else {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	431 return getNextChoice(ss, "verifyGetInt(II)", IntChoiceGenerator.class, Integer.class);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	432 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	433 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	434
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	435 static int getIntFromList (MJIEnv env, int[] values){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	436 ThreadInfo ti = env.getThreadInfo();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	437 SystemState ss = env.getSystemState();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	438
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	439 if (!ti.isFirstStepInsn()) { // first time around
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	440 ChoiceGenerator<Integer> cg = new IntChoiceFromSet( "verifyGetIntSet([I)", values);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	441 return registerChoiceGenerator(env,ss,ti,cg,0);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	442
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	443 } else {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	444 return getNextChoice(ss, "verifyGetIntSet([I)", IntChoiceGenerator.class, Integer.class);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	445 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	446 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	447
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	448 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	449 public static int getIntFromList___3I__I (MJIEnv env, int clsObjRef, int valArrayRef){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	450 int[] values = env.getIntArrayObject(valArrayRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	451 return getIntFromList( env, values);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	452 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	453
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	454 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	455 public static int getInt__Ljava_lang_String_2__I (MJIEnv env, int clsObjRef, int idRef) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	456 ThreadInfo ti = env.getThreadInfo();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	457 SystemState ss = env.getSystemState();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	458
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	459
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	460 if (!ti.isFirstStepInsn()) { // first time around
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	461 String id = env.getStringObject(idRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	462 IntChoiceGenerator cg = createChoiceGenerator( IntChoiceGenerator.class, ss, id);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	463 return registerChoiceGenerator(env,ss,ti,cg, 0);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	464
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	465 } else {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	466 String id = env.getStringObject(idRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	467 return getNextChoice(ss, id, IntChoiceGenerator.class,Integer.class);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	468 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	469 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	470
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	471 static long getLongFromList (MJIEnv env, long[] values){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	472 ThreadInfo ti = env.getThreadInfo();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	473 SystemState ss = env.getSystemState();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	474
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	475 if (!ti.isFirstStepInsn()) { // first time around
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	476 ChoiceGenerator<Long> cg = new LongChoiceFromList( "verifyLongList([J)", values);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	477 return registerChoiceGenerator(env,ss,ti,cg,0L);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	478
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	479 } else {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	480 return getNextChoice(ss, "verifyLongList([J)", LongChoiceGenerator.class, Long.class);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	481 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	482 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	483
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	484 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	485 public static long getLongFromList___3J__J (MJIEnv env, int clsObjRef, int valArrayRef){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	486 long[] values = env.getLongArrayObject(valArrayRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	487 return getLongFromList( env, values);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	488 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	489
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	490 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	491 public static int getObject__Ljava_lang_String_2__Ljava_lang_Object_2 (MJIEnv env, int clsObjRef, int idRef) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	492 ThreadInfo ti = env.getThreadInfo();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	493 SystemState ss = env.getSystemState();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	494
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	495 if (!ti.isFirstStepInsn()) { // first time around
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	496 String id = env.getStringObject(idRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	497 ReferenceChoiceGenerator cg = createChoiceGenerator( ReferenceChoiceGenerator.class, ss, id);
22 cd7880ab73c7 fixed JPF_.._Verify.registerChoiceGenerator() to not break and ignore the Peter Mehlitz <pcmehlitz@gmail.com> parents: 21 diff changeset	498 return registerChoiceGenerator(env,ss,ti,cg, MJIEnv.NULL);
0 61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	499
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	500 } else {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	501 String id = env.getStringObject(idRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	502 return getNextChoice(ss, id, ReferenceChoiceGenerator.class,Integer.class);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	503 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	504 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	505
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	506 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	507 public static double getDouble__Ljava_lang_String_2__D (MJIEnv env, int clsObjRef, int idRef) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	508 ThreadInfo ti = env.getThreadInfo();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	509 SystemState ss = env.getSystemState();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	510
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	511 if (!ti.isFirstStepInsn()) { // first time around
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	512 String id = env.getStringObject(idRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	513 DoubleChoiceGenerator cg = createChoiceGenerator( DoubleChoiceGenerator.class, ss, id);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	514 return registerChoiceGenerator(env,ss,ti,cg, 0.0);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	515
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	516 } else {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	517 String id = env.getStringObject(idRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	518 return getNextChoice(ss, id, DoubleChoiceGenerator.class,Double.class);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	519 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	520 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	521
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	522 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	523 public static double getDoubleFromList (MJIEnv env, double[] values){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	524 ThreadInfo ti = env.getThreadInfo();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	525 SystemState ss = env.getSystemState();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	526
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	527 if (!ti.isFirstStepInsn()) { // first time around
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	528 ChoiceGenerator<Double> cg = new DoubleChoiceFromList("verifyDoubleList([D)", values);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	529 return registerChoiceGenerator(env,ss,ti,cg, 0.0);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	530
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	531 } else {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	532 return getNextChoice(ss, "verifyDoubleList([D)", DoubleChoiceFromList.class,Double.class);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	533 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	534 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	535
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	536 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	537 public static double getDoubleFromList___3D__D (MJIEnv env, int clsObjRef, int valArrayRef){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	538 double[] values = env.getDoubleArrayObject(valArrayRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	539 return getDoubleFromList( env, values);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	540 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	541
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	542 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	543 public static float getFloatFromList (MJIEnv env, float[] values){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	544 ThreadInfo ti = env.getThreadInfo();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	545 SystemState ss = env.getSystemState();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	546
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	547 if (!ti.isFirstStepInsn()) { // first time around
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	548 ChoiceGenerator<Float> cg = new FloatChoiceFromList("verifyFloatList([F)", values);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	549 return registerChoiceGenerator(env,ss,ti,cg, 0.0f);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	550
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	551 } else {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	552 return getNextChoice(ss, "verifyFloatList([F)", FloatChoiceFromList.class, Float.class);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	553 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	554 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	555
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	556 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	557 public static float getFloatFromList___3F__F (MJIEnv env, int clsObjRef, int valArrayRef){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	558 float[] values = env.getFloatArrayObject(valArrayRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	559 return getFloatFromList( env, values);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	560 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	561
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	562 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	563 public static void threadPrint__Ljava_lang_String_2__V (MJIEnv env, int clsRef, int sRef){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	564 String s = env.getStringObject(sRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	565 ThreadInfo ti = env.getThreadInfo();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	566 System.out.print(ti.getName());
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	567 System.out.print(s);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	568 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	569
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	570 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	571 public static void print__Ljava_lang_String_2I__V (MJIEnv env, int clsRef, int sRef, int val){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	572 String s = env.getStringObject(sRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	573 System.out.print(s + " : " + val);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	574 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	575
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	576 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	577 public static void print__Ljava_lang_String_2Z__V (MJIEnv env, int clsRef, int sRef, boolean val){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	578 String s = env.getStringObject(sRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	579 System.out.print(s + " : " + val);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	580 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	581
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	582 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	583 public static void print___3Ljava_lang_String_2__V (MJIEnv env, int clsRef, int argsRef){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	584 int n = env.getArrayLength(argsRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	585 for (int i=0; i<n; i++){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	586 int aref = env.getReferenceArrayElement(argsRef, i);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	587 String s = env.getStringObject(aref);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	588 System.out.print(s);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	589 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	590 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	591
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	592 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	593 public static void print__Ljava_lang_String_2__V (MJIEnv env, int clsRef, int sRef){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	594 String s = env.getStringObject(sRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	595 System.out.print(s);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	596 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	597
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	598 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	599 public static void println__Ljava_lang_String_2__V (MJIEnv env, int clsRef, int sRef){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	600 String s = env.getStringObject(sRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	601 System.out.println(s);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	602 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	603
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	604 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	605 public static void threadPrintln__Ljava_lang_String_2__V (MJIEnv env, int clsRef, int sRef){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	606 threadPrint__Ljava_lang_String_2__V(env, clsRef, sRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	607 System.out.println();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	608 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	609
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	610
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	611 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	612 public static void println____V (MJIEnv env, int clsRef){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	613 System.out.println();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	614 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	615
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	616 //--- various attribute test methods
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	617
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	618 private static int getAttribute (MJIEnv env, Object a){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	619 if (a != null) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	620 if (a instanceof Integer) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	621 return ((Integer) a).intValue();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	622 } else {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	623 env.throwException("java.lang.RuntimeException", "element attribute not an Integer: " + a);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	624 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	625 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	626
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	627 return 0;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	628 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	629
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	630 private static int getAttributeList (MJIEnv env, Object a){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	631 if (a != null) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	632 int l = ObjectList.size(a);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	633 int[] attrs = new int[l];
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	634 int i = 0;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	635 for (Integer v : ObjectList.typedIterator(a, Integer.class)) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	636 attrs[i++] = v;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	637 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	638 if (i != l) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	639 env.throwException("java.lang.RuntimeException", "found non-Integer attributes");
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	640 return 0;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	641 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	642
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	643 return env.newIntArray(attrs);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	644
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	645 } else {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	646 return MJIEnv.NULL;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	647 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	648 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	649
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	650 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	651 public static void setObjectAttribute__Ljava_lang_Object_2I__V (MJIEnv env, int clsRef, int oRef, int attr){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	652 if (oRef != MJIEnv.NULL){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	653 ElementInfo ei = env.getElementInfo(oRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	654 ei.setObjectAttr(Integer.valueOf(attr));
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	655 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	656 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	657
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	658 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	659 public static int getObjectAttribute__Ljava_lang_Object_2__I (MJIEnv env, int clsRef, int oRef){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	660 if (oRef != MJIEnv.NULL){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	661 ElementInfo ei = env.getElementInfo(oRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	662 return getAttribute( env, ei.getObjectAttr());
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	663 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	664
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	665 return 0;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	666 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	667
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	668 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	669 public static void addObjectAttribute__Ljava_lang_Object_2I__V (MJIEnv env, int clsRef, int oRef, int attr){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	670 if (oRef != MJIEnv.NULL){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	671 ElementInfo ei = env.getElementInfo(oRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	672 ei.addObjectAttr(Integer.valueOf(attr));
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	673 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	674 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	675
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	676 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	677 public static int getObjectAttributes__Ljava_lang_Object_2___3I (MJIEnv env, int clsRef, int oRef){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	678 if (oRef != MJIEnv.NULL){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	679 ElementInfo ei = env.getElementInfo(oRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	680 return getAttributeList( env, ei.getObjectAttr());
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	681 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	682
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	683 return MJIEnv.NULL;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	684 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	685
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	686 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	687 public static void setFieldAttribute__Ljava_lang_Object_2Ljava_lang_String_2I__V (MJIEnv env, int clsRef,
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	688 int oRef, int fnRef, int attr){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	689 if (oRef != MJIEnv.NULL){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	690 ElementInfo ei = env.getElementInfo(oRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	691 if (ei != null){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	692 String fname = env.getStringObject(fnRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	693 FieldInfo fi = ei.getFieldInfo(fname);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	694
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	695 if (fi != null) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	696 ei.setFieldAttr(fi, Integer.valueOf(attr));
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	697 } else {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	698 env.throwException("java.lang.NoSuchFieldException",
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	699 ei.getClassInfo().getName() + '.' + fname);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	700 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	701 } else {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	702 env.throwException("java.lang.RuntimeException", "illegal reference value: " + oRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	703 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	704 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	705 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	706
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	707 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	708 public static int getFieldAttribute__Ljava_lang_Object_2Ljava_lang_String_2__I (MJIEnv env, int clsRef,
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	709 int oRef, int fnRef){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	710 if (oRef != MJIEnv.NULL){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	711 ElementInfo ei = env.getElementInfo(oRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	712 if (ei != null){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	713 String fname = env.getStringObject(fnRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	714 FieldInfo fi = ei.getFieldInfo(fname);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	715
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	716 if (fi != null) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	717 return getAttribute( env, ei.getFieldAttr(fi));
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	718 } else {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	719 env.throwException("java.lang.NoSuchFieldException",
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	720 ei.toString() + '.' + fname);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	721 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	722 } else {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	723 env.throwException("java.lang.RuntimeException", "illegal reference value: " + oRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	724 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	725 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	726
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	727 return 0;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	728 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	729
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	730 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	731 public static void addFieldAttribute__Ljava_lang_Object_2Ljava_lang_String_2I__V (MJIEnv env, int clsRef,
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	732 int oRef, int fnRef, int attr){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	733 if (oRef != MJIEnv.NULL){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	734 ElementInfo ei = env.getElementInfo(oRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	735 if (ei != null){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	736 String fname = env.getStringObject(fnRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	737 FieldInfo fi = ei.getFieldInfo(fname);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	738
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	739 if (fi != null) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	740 ei.addFieldAttr(fi, Integer.valueOf(attr));
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	741 } else {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	742 env.throwException("java.lang.NoSuchFieldException",
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	743 ei.getClassInfo().getName() + '.' + fname);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	744 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	745 } else {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	746 env.throwException("java.lang.RuntimeException", "illegal reference value: " + oRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	747 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	748 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	749 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	750
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	751 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	752 public static int getFieldAttributes__Ljava_lang_Object_2Ljava_lang_String_2___3I (MJIEnv env, int clsRef,
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	753 int oRef, int fnRef){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	754 if (oRef != MJIEnv.NULL){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	755 ElementInfo ei = env.getElementInfo(oRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	756 if (ei != null){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	757 String fname = env.getStringObject(fnRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	758 FieldInfo fi = ei.getFieldInfo(fname);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	759
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	760 if (fi != null) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	761 return getAttributeList( env, ei.getFieldAttr(fi));
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	762 } else {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	763 env.throwException("java.lang.NoSuchFieldException",
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	764 ei.toString() + '.' + fname);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	765 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	766 } else {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	767 env.throwException("java.lang.RuntimeException", "illegal reference value: " + oRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	768 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	769 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	770
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	771 return MJIEnv.NULL;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	772 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	773
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	774 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	775 public static void setLocalAttribute__Ljava_lang_String_2I__V (MJIEnv env, int clsRef, int varRef, int attr) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	776 String slotName = env.getStringObject(varRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	777 StackFrame frame = env.getModifiableCallerStackFrame(); // we are executing in a NativeStackFrame
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	778
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	779 if (!frame.getMethodInfo().isStatic() && slotName.equals("this")) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	780 frame.setLocalAttr(0, Integer.valueOf(attr)); // only for instance methods of course
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	781
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	782 } else {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	783 int slotIdx = frame.getLocalVariableSlotIndex(slotName);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	784 if (slotIdx >= 0) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	785 frame.setLocalAttr(slotIdx, Integer.valueOf(attr));
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	786 } else {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	787 env.throwException("java.lang.RuntimeException", "local variable not found: " + slotName);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	788 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	789 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	790 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	791
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	792 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	793 public static int getLocalAttribute__Ljava_lang_String_2__I (MJIEnv env, int clsRef, int varRef) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	794 String slotName = env.getStringObject(varRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	795 ThreadInfo ti = env.getThreadInfo();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	796 StackFrame frame = env.getCallerStackFrame();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	797
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	798 int slotIdx = frame.getLocalVariableSlotIndex(slotName);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	799 if (slotIdx >= 0) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	800 return getAttribute( env, frame.getLocalAttr(slotIdx));
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	801 } else {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	802 env.throwException("java.lang.RuntimeException", "local variable not found: " + slotName);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	803 return 0;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	804 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	805 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	806
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	807 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	808 public static void addLocalAttribute__Ljava_lang_String_2I__V (MJIEnv env, int clsRef, int varRef, int attr) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	809 String slotName = env.getStringObject(varRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	810 StackFrame frame = env.getModifiableCallerStackFrame(); // we are executing in a NativeStackFrame
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	811
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	812 if (!frame.getMethodInfo().isStatic() && slotName.equals("this")) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	813 frame.addLocalAttr(0, Integer.valueOf(attr)); // only for instance methods of course
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	814
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	815 } else {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	816 int slotIdx = frame.getLocalVariableSlotIndex(slotName);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	817 if (slotIdx >= 0) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	818 frame.addLocalAttr(slotIdx, Integer.valueOf(attr));
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	819 } else {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	820 env.throwException("java.lang.RuntimeException", "local variable not found: " + slotName);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	821 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	822 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	823 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	824
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	825 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	826 public static int getLocalAttributes__Ljava_lang_String_2___3I (MJIEnv env, int clsRef, int varRef) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	827 String slotName = env.getStringObject(varRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	828 ThreadInfo ti = env.getThreadInfo();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	829 StackFrame frame = env.getCallerStackFrame();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	830
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	831 int slotIdx = frame.getLocalVariableSlotIndex(slotName);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	832 if (slotIdx >= 0) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	833 return getAttributeList( env, frame.getLocalAttr(slotIdx));
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	834 } else {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	835 env.throwException("java.lang.RuntimeException", "local variable not found: " + slotName);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	836 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	837
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	838 return MJIEnv.NULL;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	839 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	840
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	841 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	842 public static void setElementAttribute__Ljava_lang_Object_2II__V (MJIEnv env, int clsRef,
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	843 int oRef, int idx, int attr){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	844 if (oRef != MJIEnv.NULL){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	845 ElementInfo ei = env.getElementInfo(oRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	846
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	847 if (ei != null){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	848 if (ei.isArray()) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	849 if (idx < ei.arrayLength()) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	850 ei.setElementAttr(idx, Integer.valueOf(attr));
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	851 } else {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	852 env.throwException("java.lang.ArrayIndexOutOfBoundsException",
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	853 Integer.toString(idx));
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	854 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	855 } else {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	856 env.throwException("java.lang.RuntimeException",
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	857 "not an array: " + ei);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	858 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	859 } else {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	860 env.throwException("java.lang.RuntimeException", "illegal reference value: " + oRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	861 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	862 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	863 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	864
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	865 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	866 public static int getElementAttribute__Ljava_lang_Object_2I__I (MJIEnv env, int clsRef,
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	867 int oRef, int idx){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	868 if (oRef != MJIEnv.NULL){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	869 ElementInfo ei = env.getElementInfo(oRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	870
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	871 if (ei != null) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	872 if (ei.isArray()) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	873 if (idx < ei.arrayLength()) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	874 return getAttribute( env, ei.getElementAttr( idx));
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	875 } else {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	876 env.throwException("java.lang.ArrayIndexOutOfBoundsException",
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	877 Integer.toString(idx));
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	878 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	879 } else {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	880 env.throwException("java.lang.RuntimeException",
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	881 "not an array: " + ei);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	882 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	883 } else {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	884 env.throwException("java.lang.RuntimeException", "illegal reference value: " + oRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	885 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	886 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	887
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	888 return 0;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	889 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	890
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	891 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	892 public static void addElementAttribute__Ljava_lang_Object_2II__V (MJIEnv env, int clsRef,
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	893 int oRef, int idx, int attr){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	894 if (oRef != MJIEnv.NULL){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	895 ElementInfo ei = env.getElementInfo(oRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	896
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	897 if (ei != null){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	898 if (ei.isArray()) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	899 if (idx < ei.arrayLength()) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	900 ei.addElementAttr(idx, Integer.valueOf(attr));
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	901 } else {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	902 env.throwException("java.lang.ArrayIndexOutOfBoundsException",
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	903 Integer.toString(idx));
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	904 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	905 } else {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	906 env.throwException("java.lang.RuntimeException",
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	907 "not an array: " + ei);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	908 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	909 } else {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	910 env.throwException("java.lang.RuntimeException", "illegal reference value: " + oRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	911 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	912 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	913 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	914
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	915 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	916 public static int getElementAttributes__Ljava_lang_Object_2I___3I (MJIEnv env, int clsRef,
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	917 int oRef, int idx){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	918 if (oRef != MJIEnv.NULL){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	919 ElementInfo ei = env.getElementInfo(oRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	920 if (ei != null) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	921 if (ei.isArray()) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	922 if (idx < ei.arrayLength()) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	923 return getAttributeList( env, ei.getElementAttr( idx));
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	924 } else {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	925 env.throwException("java.lang.ArrayIndexOutOfBoundsException",
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	926 Integer.toString(idx));
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	927 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	928 } else {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	929 env.throwException("java.lang.RuntimeException",
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	930 "not an array: " + ei);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	931 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	932 } else {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	933 env.throwException("java.lang.RuntimeException", "illegal reference value: " + oRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	934 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	935 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	936
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	937 return MJIEnv.NULL;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	938 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	939
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	940
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	941 /**
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	942 * deprecated, use getBoolean()
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	943 */
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	944 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	945 public static boolean randomBool (MJIEnv env, int clsObjRef) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	946 //SystemState ss = env.getSystemState();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	947 //return (ss.random(2) != 0);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	948
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	949 return getBoolean____Z(env, clsObjRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	950 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	951
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	952
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	953
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	954 /**
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	955 * deprecated, use getInt
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	956 */
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	957 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	958 public static int random__I__I (MJIEnv env, int clsObjRef, int x) {
21 caa0924e093d reshuffled Event hierarchy, introducing SystemEvent, with CheckEvent and Peter Mehlitz <pcmehlitz@gmail.com> parents: 1 diff changeset	959 return getInt__II__I(env, clsObjRef, 0, x);
0 61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	960 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	961
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	962 static void boring__Z__V (MJIEnv env, int clsObjRef, boolean b) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	963 env.getSystemState().setBoring(b);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	964 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	965
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	966 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	967 public static boolean isRunningInJPF____Z(MJIEnv env, int clsObjRef) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	968 return true;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	969 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	970
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	971 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	972 public static boolean vmIsMatchingStates____Z(MJIEnv env, int clsObjRef) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	973 return env.getVM().getStateSet() != null;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	974 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	975
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	976 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	977 public static void storeTrace__Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int clsObjRef,
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	978 int filenameRef, int commentRef) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	979 String fileName = env.getStringObject(filenameRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	980 String comment = env.getStringObject(commentRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	981 env.getVM().storeTrace(fileName, comment, config.getBoolean("trace.verbose", false));
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	982 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	983
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	984 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	985 public static void terminateSearch____V (MJIEnv env, int clsObjRef) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	986 JPF jpf = env.getVM().getJPF();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	987 jpf.getSearch().terminate();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	988 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	989
21 caa0924e093d reshuffled Event hierarchy, introducing SystemEvent, with CheckEvent and Peter Mehlitz <pcmehlitz@gmail.com> parents: 1 diff changeset	990 @MJI public static void setHeuristicSearchValue__I__V (MJIEnv env, int clsObjRef, int val){
caa0924e093d reshuffled Event hierarchy, introducing SystemEvent, with CheckEvent and Peter Mehlitz <pcmehlitz@gmail.com> parents: 1 diff changeset	991 heuristicSearchValue = val;
caa0924e093d reshuffled Event hierarchy, introducing SystemEvent, with CheckEvent and Peter Mehlitz <pcmehlitz@gmail.com> parents: 1 diff changeset	992 }
caa0924e093d reshuffled Event hierarchy, introducing SystemEvent, with CheckEvent and Peter Mehlitz <pcmehlitz@gmail.com> parents: 1 diff changeset	993
caa0924e093d reshuffled Event hierarchy, introducing SystemEvent, with CheckEvent and Peter Mehlitz <pcmehlitz@gmail.com> parents: 1 diff changeset	994 @MJI public static int getHeuristicSearchValue____I (MJIEnv env, int clsObjRef){
caa0924e093d reshuffled Event hierarchy, introducing SystemEvent, with CheckEvent and Peter Mehlitz <pcmehlitz@gmail.com> parents: 1 diff changeset	995 return heuristicSearchValue;
caa0924e093d reshuffled Event hierarchy, introducing SystemEvent, with CheckEvent and Peter Mehlitz <pcmehlitz@gmail.com> parents: 1 diff changeset	996 }
caa0924e093d reshuffled Event hierarchy, introducing SystemEvent, with CheckEvent and Peter Mehlitz <pcmehlitz@gmail.com> parents: 1 diff changeset	997
caa0924e093d reshuffled Event hierarchy, introducing SystemEvent, with CheckEvent and Peter Mehlitz <pcmehlitz@gmail.com> parents: 1 diff changeset	998 @MJI public static void resetHeuristicSearchValue____V (MJIEnv env, int clsObjRef){
caa0924e093d reshuffled Event hierarchy, introducing SystemEvent, with CheckEvent and Peter Mehlitz <pcmehlitz@gmail.com> parents: 1 diff changeset	999 heuristicSearchValue = config.getInt("search.heuristic.default_value");
caa0924e093d reshuffled Event hierarchy, introducing SystemEvent, with CheckEvent and Peter Mehlitz <pcmehlitz@gmail.com> parents: 1 diff changeset	1000 }
caa0924e093d reshuffled Event hierarchy, introducing SystemEvent, with CheckEvent and Peter Mehlitz <pcmehlitz@gmail.com> parents: 1 diff changeset	1001
caa0924e093d reshuffled Event hierarchy, introducing SystemEvent, with CheckEvent and Peter Mehlitz <pcmehlitz@gmail.com> parents: 1 diff changeset	1002
caa0924e093d reshuffled Event hierarchy, introducing SystemEvent, with CheckEvent and Peter Mehlitz <pcmehlitz@gmail.com> parents: 1 diff changeset	1003
0 61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1004 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1005 public static boolean isTraceReplay____Z (MJIEnv env, int clsObjRef) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1006 return env.getVM().isTraceReplay();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1007 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1008
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1009 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1010 public static boolean isShared__Ljava_lang_Object_2__Z (MJIEnv env, int clsObjRef, int objRef){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1011 if (objRef != MJIEnv.NULL){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1012 ElementInfo ei = env.getElementInfo(objRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1013 if (ei != null){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1014 return ei.isShared();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1015 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1016 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1017
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1018 return false;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1019 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1020
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1021 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1022 public static void setShared__Ljava_lang_Object_2Z__V (MJIEnv env, int clsObjRef, int objRef, boolean isShared) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1023 if (objRef != MJIEnv.NULL){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1024 ElementInfo ei = env.getElementInfo(objRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1025 if (ei != null){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1026 if (ei.getClassInfo() == ClassLoaderInfo.getCurrentSystemClassLoader().getClassClassInfo()) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1027 // it's a class object, set static fields shared
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1028 ei = env.getStaticElementInfo(objRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1029 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1030
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1031 if (ei.isShared() != isShared) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1032 ei = ei.getModifiableInstance();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1033 ei.setShared( env.getThreadInfo(), isShared);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1034 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1035 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1036 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1037 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1038
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1039 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1040 public static void freezeSharedness__Ljava_lang_Object_2Z__V (MJIEnv env, int clsObjRef, int objRef, boolean freeze) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1041 if (objRef != MJIEnv.NULL){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1042 ElementInfo ei = env.getElementInfo(objRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1043 if (ei != null) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1044 if (ei.getClassInfo() == ClassLoaderInfo.getCurrentSystemClassLoader().getClassClassInfo()) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1045 // it's a class object, freeze sharedness of static fields
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1046 ei = env.getStaticElementInfo(objRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1047 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1048
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1049 if (ei.isSharednessFrozen() != freeze) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1050 ei = ei.getModifiableInstance();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1051 ei.freezeSharedness(freeze);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1052 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1053 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1054 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1055 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1056
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1057 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1058 public static void setProperties___3Ljava_lang_String_2__V (MJIEnv env, int clsObjRef, int argRef) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1059 if (argRef != MJIEnv.NULL) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1060 Config conf = env.getConfig();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1061
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1062 int n = env.getArrayLength(argRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1063 for (int i=0; i<n; i++) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1064 int pRef = env.getReferenceArrayElement(argRef, i);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1065 if (pRef != MJIEnv.NULL) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1066 String p = env.getStringObject(pRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1067 config.parse(p);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1068 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1069 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1070 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1071 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1072
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1073 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1074 public static int getProperty__Ljava_lang_String_2__Ljava_lang_String_2 (MJIEnv env, int clsObjRef, int keyRef) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1075 if (keyRef != MJIEnv.NULL){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1076 Config conf = env.getConfig();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1077
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1078 String key = env.getStringObject(keyRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1079 String val = config.getString(key);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1080
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1081 if (val != null){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1082 return env.newString(val);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1083 } else {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1084 return MJIEnv.NULL;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1085 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1086
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1087 } else {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1088 return MJIEnv.NULL;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1089 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1090 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1091
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1092 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1093 public static void printPathOutput__ZLjava_lang_String_2__V (MJIEnv env, int clsObjRef, boolean cond, int msgRef){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1094 if (cond){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1095 printPathOutput__Ljava_lang_String_2__V(env,clsObjRef,msgRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1096 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1097 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1098
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1099 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1100 public static void printPathOutput__Ljava_lang_String_2__V (MJIEnv env, int clsObjRef, int msgRef){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1101 VM vm = env.getVM();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1102
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1103 System.out.println();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1104 if (msgRef != MJIEnv.NULL){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1105 String msg = env.getStringObject(msgRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1106 System.out.println("~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: " + msg);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1107 } else {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1108 System.out.println("~~~~~~~~~~~~~~~~~~~~~~~ begin path output");
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1109 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1110
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1111 for (Transition t : vm.getPath()) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1112 String s = t.getOutput();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1113 if (s != null) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1114 System.out.print(s);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1115 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1116 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1117
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1118 // we might be in the middle of a transition that isn't stored yet in the path
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1119 String s = vm.getPendingOutput();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1120 if (s != null) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1121 System.out.print(s);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1122 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1123
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1124 System.out.println("~~~~~~~~~~~~~~~~~~~~~~~ end path output");
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1125 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1126
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1127
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1128 // the JSON object initialization
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1129 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1130 public static int createFromJSON__Ljava_lang_Class_2Ljava_lang_String_2__Ljava_lang_Object_2(
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1131 MJIEnv env, int clsObjRef, int newObjClsRef, int jsonStringRef) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1132 ThreadInfo ti = env.getThreadInfo();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1133 SystemState ss = env.getSystemState();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1134
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1135 String jsonString = env.getStringObject(jsonStringRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1136 JSONLexer lexer = new JSONLexer(jsonString);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1137 JSONParser parser = new JSONParser(lexer);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1138 JSONObject jsonObject = parser.parse();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1139
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1140 if (jsonObject != null) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1141 ClassInfo ci = env.getReferredClassInfo( newObjClsRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1142
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1143 // check if we need any class init (and hence reexecution) before creating any CGs
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1144 if (jsonObject.requiresClinitExecution(ci,ti)){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1145 env.repeatInvocation();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1146 return MJIEnv.NULL;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1147 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1148
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1149 if (!ti.isFirstStepInsn()) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1150 // Top half - get and register CGs we need to set to fill object from JSON
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1151 List<ChoiceGenerator<?>> cgList = CGCall.createCGList(jsonObject);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1152 if (cgList.isEmpty()){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1153 return jsonObject.fillObject(env, ci, null, "");
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1154
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1155 } else {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1156 for (ChoiceGenerator<?> cg : cgList) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1157 ss.setNextChoiceGenerator(cg);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1158 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1159
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1160 env.repeatInvocation();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1161 return MJIEnv.NULL;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1162 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1163
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1164 } else {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1165 // Bottom half - fill object with JSON and current values of CGs
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1166 ChoiceGenerator<?>[] cgs = ss.getChoiceGenerators();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1167
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1168 return jsonObject.fillObject(env, ci, cgs, "");
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1169 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1170
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1171 } else {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1172 return MJIEnv.NULL;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1173 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1174 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1175
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1176 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1177 public static int readObjectFromFile__Ljava_lang_Class_2Ljava_lang_String_2__Ljava_lang_Object_2(
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1178 MJIEnv env, int clsObjRef, int newObjClsRef, int fileNameRef) {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1179 int typeNameRef = env.getReferenceField(newObjClsRef, "name");
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1180 String typeName = env.getStringObject(typeNameRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1181 String fileName = env.getStringObject(fileNameRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1182
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1183 try {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1184
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1185 FileInputStream fis = new FileInputStream(fileName);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1186 ObjectInputStream ois = new ObjectInputStream(fis);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1187 Object javaObject = ois.readObject();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1188 String readObjectTypeName = javaObject.getClass().getCanonicalName();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1189
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1190 int readObjRef = ObjectConverter.JPFObjectFromJavaObject(env, javaObject);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1191
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1192 return readObjRef;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1193
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1194 } catch (ClinitRequired clix){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1195 env.repeatInvocation();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1196 return MJIEnv.NULL;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1197
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1198 } catch (IOException iox){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1199 throw new JPFException("failure reading object from file: " + fileName, iox);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1200 } catch (ClassNotFoundException cnfx){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1201 throw new JPFException("failure reading object from file: " + fileName, cnfx);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1202 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1203 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1204
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1205 //--- those need to be kept in sync with the model side
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1206 public static final int SEVERE = 1;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1207 public static final int WARNING = 2;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1208 public static final int INFO = 3;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1209 public static final int FINE = 4;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1210 public static final int FINER = 5;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1211 public static final int FINEST = 6;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1212
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1213
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1214 private static void log (JPFLogger logger, int logLevel, String msg){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1215 switch (logLevel){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1216 case SEVERE:
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1217 logger.severe( msg);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1218 break;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1219 case WARNING:
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1220 logger.warning( msg);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1221 break;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1222 case INFO:
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1223 logger.info( msg);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1224 break;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1225 case FINE:
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1226 logger.fine( msg);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1227 break;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1228 case FINER:
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1229 logger.finer( msg);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1230 break;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1231 case FINEST:
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1232 logger.finest( msg);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1233 break;
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1234 default:
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1235 throw new JPFException("unknown log level " + logLevel + " for logger " + logger.getName());
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1236 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1237 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1238
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1239 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1240 public static void log__Ljava_lang_String_2ILjava_lang_String_2__V (MJIEnv env, int clsObjRef,
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1241 int loggerIdRef, int logLevel, int msgRef){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1242 String loggerId = env.getStringObject(loggerIdRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1243 String msg = env.getStringObject(msgRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1244 JPFLogger logger = JPF.getLogger(loggerId);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1245
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1246 log( logger, logLevel, msg);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1247 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1248
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1249 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1250 public static void log__Ljava_lang_String_2ILjava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int clsObjRef,
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1251 int loggerIdRef, int logLevel, int arg1Ref, int arg2Ref){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1252 String loggerId = env.getStringObject(loggerIdRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1253 String msg = env.getStringObject(arg1Ref) + env.getStringObject(arg2Ref);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1254 JPFLogger logger = JPF.getLogger(loggerId);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1255
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1256 log( logger, logLevel, msg);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1257 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1258
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1259 @MJI
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1260 public static void log__Ljava_lang_String_2ILjava_lang_String_2_3Ljava_lang_Object_2__V (MJIEnv env, int clsObjRef,
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1261 int loggerIdRef, int logLevel, int fmtRef, int argsRef){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1262 String loggerId = env.getStringObject(loggerIdRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1263 String fmt = env.getStringObject(fmtRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1264 JPFLogger logger = JPF.getLogger(loggerId);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1265
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1266 int[] argRefs = env.getReferenceArrayObject( argsRef);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1267 Object[] args = new Object[argRefs.length];
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1268 for (int i=0; i<args.length; i++){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1269 ElementInfo eiArg = env.getElementInfo(argRefs[i]);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1270 if (eiArg.isStringObject()){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1271 args[i] = env.getStringObject(argRefs[i]);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1272 } else if (eiArg.isBoxObject()){
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1273 args[i] = eiArg.asBoxObject();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1274 } else {
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1275 args[i] = eiArg.toString();
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1276 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1277 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1278
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1279 String msg = String.format(fmt, args);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1280
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1281 log( logger, logLevel, msg);
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1282 }
61d41facf527 initial v8 import (history reset) Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> parents: diff changeset	1283 }

Mercurial > hg > Members > kono > jpf-core

annotate src/main/gov/nasa/jpf/vm/JPF_gov_nasa_jpf_vm_Verify.java @ 22:cd7880ab73c7