<commit_before>/*
 * This file is covered by the terms of the Common Public License v1.0.
 *
 * Copyright (c) <NAME>
 *
 * 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;


/**
 * Holds basic information about a {@link Throwable}.
 */
public class ExceptionInfo {

	String className;
	String message;
	ExceptionInfo cause;
	StackTraceElementInfo[] stackTrace;

	public ExceptionInfo(String className, String message,
			StackTraceElementInfo[] stackTrace,
			ExceptionInfo cause) {
		this.className = className;
		this.message = message;
		this.stackTrace = stackTrace;
		this.cause = cause;
	}

	public ExceptionInfo(Throwable t) {
		className = t.getClass().getName();<commit_msg>ExceptionInfo: facilitate subclassing by protected members<commit_after>/*
 * This file is covered by the terms of the Common Public License v1.0.
 *
 * Copyright (c) <NAME>
 *
 * 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;


/**
 * Holds basic information about a {@link Throwable}.
 */
public class ExceptionInfo {

	protected String className;
	protected String message;
	protected ExceptionInfo cause;
	protected StackTraceElementInfo[] stackTrace;

	public ExceptionInfo(String className, String message,
			StackTraceElementInfo[] stackTrace,
			ExceptionInfo cause) {
		this.className = className;
		this.message = message;
		this.stackTrace = stackTrace;
		this.cause = cause;
	}

	public ExceptionInfo(Throwable t) {
		className = t.getClass().getName();
{'fraction_non_alphanumeric': 0.08583925642427556, 'fraction_numerical': 0.008747949699289229, 'mean_word_length': 4.479041916167665, 'pattern_counts': {'":': 0, '<': 5, '<?xml version=': 0, '>': 5, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '2273860', 'n_tokens_mistral': 535, 'n_tokens_neox': 483, 'n_words': 178}