Mercurial > hg > Members > kono > jpf-core
view src/main/gov/nasa/jpf/util/json/CGCall.java @ 0:61d41facf527
initial v8 import (history reset)
author | Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> |
---|---|
date | Fri, 23 Jan 2015 10:14:01 -0800 |
parents | |
children |
line wrap: on
line source
/* * Copyright (C) 2014, United States Government, as represented by the * Administrator of the National Aeronautics and Space Administration. * All rights reserved. * * The Java Pathfinder core (jpf-core) platform is licensed under the * Apache License, Version 2.0 (the "License"); you may not use this file except * in compliance with the License. You may obtain a copy of the License at * * http://www.apache.org/licenses/LICENSE-2.0. * * Unless required by applicable law or agreed to in writing, software * distributed under the License is distributed on an "AS IS" BASIS, * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. * See the License for the specific language governing permissions and * limitations under the License. */ package gov.nasa.jpf.util.json; import gov.nasa.jpf.vm.ChoiceGenerator; import java.util.ArrayList; import java.util.List; /** * * @author Ivan Mushketik */ public class CGCall { private ArrayList<Value> params = new ArrayList<Value>(); private String name; public CGCall(String name) { this.name = name; } void addParam(Value value) { if (value == null) { throw new NullPointerException("Null value added to CGCall"); } params.add(value); } public Value[] getValues() { Value paramsArr[] = new Value[params.size()]; params.toArray(paramsArr); return paramsArr; } public String getName() { return name; } /** * This method go through JSON object and finds all CGs to set in a current state. * It also gives each CG it's a unique id. Each id is calculated in a following way: * <li> If CG call is in the root of JSON object it's id will be equals to it's key in JSON * <li> If CG call isn't in a root object it's id will be concatenated keys of * all parent objects + key of CG. * <li> If CG call is in an object that is an element of array CG's id will be * concatenated keys of all parent array + "[i" (where i is a pos of parent object * of CG in array + CG's key) * * This id also used in JSONObject.fillObject() to find CG to use when field that * should be set with CG is found. * * @param jsonObject - parsed JSON object * @param CGCreators - hash of factories to create Choice Generators * @return list of choice generators that should be set in a current state. */ public static List<ChoiceGenerator<?>> createCGList(JSONObject jsonObject) { List<ChoiceGenerator<?>> result = new ArrayList<ChoiceGenerator<?>>(); createCGs(jsonObject, "", result); return result; } private static void createCGs(JSONObject jsonObject, String prefix, List<ChoiceGenerator<?>> result) { for (String cgKey : jsonObject.getCGCallsKeys()) { CGCall cgCall = jsonObject.getCGCall(cgKey); CGCreator creator = CGCreatorFactory.getFactory().getCGCreator(cgCall.getName()); ChoiceGenerator<?> newCG = creator.createCG(prefix + cgKey, cgCall.getValues()); result.add(newCG); } for (String valueKey : jsonObject.getValuesKeys()) { Value v = jsonObject.getValue(valueKey); if (v instanceof JSONObjectValue) { createCGs(v.getObject(), prefix + valueKey, result); } else if (v instanceof ArrayValue) { Value[] values = v.getArray(); for (int i = 0; i < values.length; i++) { if (values[i] instanceof JSONObjectValue) { createCGs(values[i].getObject(), prefix + valueKey + "[" + i, result); } } } } } }