Java 如何绕过空指针异常?#JPF
我试图运行JPF,但遇到以下空指针异常Java 如何绕过空指针异常?#JPF,java,nullpointerexception,jpf,Java,Nullpointerexception,Jpf,我试图运行JPF,但遇到以下空指针异常 java.lang.NullPointerException at gov.nasa.jpf.vm.ThreadInfo$StackTraceElement.createJPFStackTraceElement(ThreadInfo.java:1671) 对应的代码为: int createJPFStackTraceElement() { if (ignore) { return MJIEnv.NULL; } else {
java.lang.NullPointerException at gov.nasa.jpf.vm.ThreadInfo$StackTraceElement.createJPFStackTraceElement(ThreadInfo.java:1671)
对应的代码为:
int createJPFStackTraceElement() {
if (ignore) {
return MJIEnv.NULL;
} else {
Heap heap = vm.getHeap();
ClassInfo ci = ClassLoaderInfo.getSystemResolvedClassInfo("java.lang.StackTraceElement");
ElementInfo ei = heap.newObject(ci, ThreadInfo.this);
ei.setReferenceField("clsName", heap.newString(clsName, ThreadInfo.this).getObjectRef());
ei.setReferenceField("mthName", heap.newString(mthName, ThreadInfo.this).getObjectRef());
ei.setReferenceField("fileName", heap.newString(fileName, ThreadInfo.this).getObjectRef()); //line 1671
ei.setIntField("line", line);
return ei.getObjectRef();
}
}
有两种方法