Package it.unive.lisa.analysis

Class SemanticExceptionWrapper

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

it.unive.lisa.analysis.SemanticExceptionWrapper

All Implemented Interfaces:

java.io.Serializable

public class SemanticExceptionWrapper
extends java.lang.RuntimeException

A runtime exception that wraps a SemanticException, so that it can be thrown within lambdas.

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor	Description
SemanticExceptionWrapper(SemanticException cause)	Builds the exception wrapper.

Method Summary

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

SemanticExceptionWrapper

public SemanticExceptionWrapper(SemanticException cause)

Builds the exception wrapper.

Parameters:

cause - the cause of this exception