/*
 * This file is covered by the terms of the Common Public License v1.0.
 *
 * Copyright (c) SZEDER Gábor
 *
 * Parts of this software were developed within the JEOPARD research
 * project, which received funding from the European Union's Seventh
 * Framework Programme under grant agreement No. 216682.
 */

package de.fzi.cjunit.jpf.exceptioninfo;


public class StackTraceElementInfoDefaultImpl
		implements StackTraceElementInfo {

	String className;
	String methodName;
	String fileName;
	int lineNumber;

	public StackTraceElementInfoDefaultImpl(StackTraceElement ste) {
		className = ste.getClassName();
		methodName = ste.getMethodName();
		fileName = ste.getFileName();
		lineNumber = ste.getLineNumber();
	}

	public StackTraceElementInfoDefaultImpl(StackTraceElementInfo other) {
		className = other.getClassName();
		methodName = other.getMethodName();
		fileName = other.getFileName();
		lineNumber = other.getLineNumber();
	}

	public String getClassName() {
		return className;
	}

	public String getMethodName() {
		return methodName;
	}

	public String getFileName() {
		return fileName;
	}

	public int getLineNumber() {
		return lineNumber;
	}
}

@@ -553,33 +553,88 @@
 l(St
-ackTraceElement ste
+ring className,%0A%09%09%09String methodName, String fileName, int lineNumber
 ) %7B%0A%09%09
+this.
 clas
@@ -645,24 +645,17 @@
 e = 
-ste.getC
+c
 lassName
 ();%0A
@@ -642,38 +642,41 @@
 Name = className
-()
 ;%0A%09%09
+this.
 methodName = ste
@@ -676,16 +676,9 @@
 e = 
-ste.getM
+m
 etho
@@ -674,38 +674,41 @@
 ame = methodName
-()
 ;%0A%09%09
+this.
 fileName = ste.g
@@ -706,29 +706,25 @@
 e = 
-ste.getF
+f
 ileName
-()
 ;%0A%09%09
+this.
 line
@@ -731,16 +731,169 @@
 Number =
+ lineNumber;%0A%09%7D%0A%0A%09public StackTraceElementInfoDefaultImpl(StackTraceElement ste) %7B%0A%09%09this(ste.getClassName(), ste.getMethodName(),%0A%09%09%09%09ste.getFileName(),
  ste.get
@@ -896,32 +896,33 @@
 .getLineNumber()
+)
 ;%0A%09%7D%0A%0A%09public St
@@ -985,28 +985,21 @@
 er) %7B%0A%09%09
-className = 
+this(
 other.ge
@@ -1014,24 +1014,9 @@
 me()
-;%0A%09%09methodName =
+,
  oth
@@ -1037,23 +1037,14 @@
 me()
-;%0A%09%09fileName = 
+,%0A%09%09%09%09
 othe
@@ -1062,24 +1062,9 @@
 me()
-;%0A%09%09lineNumber =
+,
  oth
@@ -1081,16 +1081,17 @@
 Number()
+)
 ;%0A%09%7D%0A%0A%09p

add alternative constructor