public ExceptionRaisedEventArgs(PythonThread thread, PythonException exception) {
_thread = thread;
_exception = exception;
}
public ExceptionRaisedEventArgs(PythonThread thread, PythonException exception, bool isUnhandled) {
_thread = thread;
_exception = exception;
_isUnhandled = isUnhandled;
}
public ExceptionRaisedEventArgs(PythonThread thread, PythonException exception, bool isUnhandled)
{
_thread = thread;
_exception = exception;
_isUnhandled = isUnhandled;
}
public ExceptionRaisedEventArgs(PythonThread thread, PythonException exception)
{
_thread = thread;
_exception = exception;
}
private void HandleRichException(Stream stream) {
var exc = new PythonException();
long tid = stream.ReadInt64();
int count = stream.ReadInt32();
while (--count >= 0) {
string key = stream.ReadString();
string value = stream.ReadString();
exc.SetValue(this, key, value);
}
if (tid != 0) {
Debug.WriteLine("Exception: " + exc.FormattedDescription ?? exc.ExceptionMessage ?? exc.TypeName);
ExceptionRaised?.Invoke(this, new ExceptionRaisedEventArgs(_threads[tid], exc));
_stoppedForException = true;
}
}
