src/main/gov/nasa/jpf/vm/DefaultFieldsFactory.java

   1 /*
   2  * Copyright (C) 2014, United States Government, as represented by the
   3  * Administrator of the National Aeronautics and Space Administration.
   4  * All rights reserved.
   5  *
   6  * The Java Pathfinder core (jpf-core) platform is licensed under the
   7  * Apache License, Version 2.0 (the "License"); you may not use this file except
   8  * in compliance with the License. You may obtain a copy of the License at
   9  *
  10  *        http://www.apache.org/licenses/LICENSE-2.0.
  11  *
  12  * Unless required by applicable law or agreed to in writing, software
  13  * distributed under the License is distributed on an "AS IS" BASIS,
  14  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  15  * See the License for the specific language governing permissions and
  16  * limitations under the License.
  17  */
  18 package gov.nasa.jpf.vm;
  19
  20 import gov.nasa.jpf.JPFException;
  21
  22 /**
  23  * our concrete Fields factory (representing the default JPF object model)
  24  */
  25 public class DefaultFieldsFactory implements FieldsFactory {
  26
  27   @Override
  28   public Fields createInstanceFields (ClassInfo ci) {
  29     return new NamedFields(ci.getInstanceDataSize());
  30   }
  31
  32   @Override
  33   public Fields createStaticFields (ClassInfo ci) {
  34     return new NamedFields(ci.getStaticDataSize());
  35   }
  36
  37   @Override
  38   public Fields createArrayFields (String type, ClassInfo ci, int nElements, int typeSize, boolean isReferenceArray) {
  39     char t = type.charAt(1);
  40     switch (t){
  41       case 'Z': return new BooleanArrayFields(nElements);
  42       case 'B': return new ByteArrayFields(nElements);
  43       case 'C': return new CharArrayFields(nElements);
  44       case 'S': return new ShortArrayFields(nElements);
  45       case 'I': return new IntArrayFields(nElements);
  46       case 'J': return new LongArrayFields(nElements);
  47       case 'F': return new FloatArrayFields(nElements);
  48       case 'D': return new DoubleArrayFields(nElements);
  49       case 'L':
  50       case '[':
  51         return new ReferenceArrayFields(nElements);
  52       default:
  53         throw new JPFException("unknown array type: " + type);
  54     }
  55   }
  56 }