src/classes/java/lang/StackTraceElement.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 java.lang;
  19
  20 import java.io.File;
  21
  22 /**
  23  * MJI model class for java.lang.StackTraceElement
  24  */
  25 public class StackTraceElement {
  26
  27   String clsName;
  28   String fileName;
  29   String mthName;
  30   int    line;
  31
  32   public StackTraceElement() {
  33      // nothing to do
  34   }
  35
  36   public StackTraceElement (String clsName, String mthName, String fileName, int line) {
  37     if (clsName == null) {
  38       throw new NullPointerException("Declaring class is null");
  39     }
  40
  41     if (mthName == null) {
  42       throw new NullPointerException("Method name is null");
  43     }
  44
  45     this.clsName = clsName;
  46     this.mthName = mthName;
  47     this.fileName = fileName;
  48     this.line = line;
  49   }
  50
  51   public String getClassName () {
  52     return clsName;
  53   }
  54
  55   public String getFileName () {
  56     return fileName;
  57   }
  58
  59   public int getLineNumber () {
  60     return line;
  61   }
  62
  63   public String getMethodName () {
  64     return mthName;
  65   }
  66
  67   public boolean isNativeMethod () {
  68     return false;
  69   }
  70
  71   /**
  72   public int hashCode () {
  73     return 0;
  74   }
  75   **/
  76
  77   @Override
  78   public String toString () {
  79     StringBuilder sb = new StringBuilder();
  80     sb.append(clsName);
  81     sb.append('.');
  82     sb.append(mthName);
  83     sb.append("(");
  84
  85     sb.append(new File(fileName).getName());
  86
  87     if (line >= 0){
  88       sb.append(':');
  89       sb.append(line);
  90     }
  91     sb.append(')');
  92     return sb.toString();
  93   }
  94 }