Package dev.frostlake.executor.procedural

Class ProceduralException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

dev.frostlake.executor.procedural.ProceduralException

All Implemented Interfaces:

Serializable

public class ProceduralException
extends RuntimeException

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
ProceduralException(int errorCode, String message)
ProceduralException(int errorCode, String message, String exceptionName)
ProceduralException(String message)

Method Summary

Modifier and Type	Method	Description
int	getErrorCode()
String	getExceptionName()	The declared name of the user-defined exception that was RAISEd, or null for an anonymous RAISE.
int	getSourceLine()
int	getSourcePosition()
void	setSourcePosition(int line, int position)
String	uncaughtMessage()	How an UNCAUGHT exception reads at the top of a block, live-verified: Uncaught exception of type 'NAME' on line L at position P : message — the : message tail only when the exception declared one.

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 Details

ProceduralException

public ProceduralException(String message)

ProceduralException

public ProceduralException(int errorCode,
 String message)

ProceduralException

public ProceduralException(int errorCode,
 String message,
 String exceptionName)

Method Details

getErrorCode

public int getErrorCode()

getExceptionName

public String getExceptionName()

The declared name of the user-defined exception that was RAISEd, or null for an anonymous RAISE.

getSourceLine

public int getSourceLine()

getSourcePosition

public int getSourcePosition()

setSourcePosition

public void setSourcePosition(int line,
 int position)

uncaughtMessage

public String uncaughtMessage()

How an UNCAUGHT exception reads at the top of a block, live-verified: Uncaught exception of type 'NAME' on line L at position P : message — the : message tail only when the exception declared one. While the exception is still catchable, getMessage() stays the RAW text, which is what SQLERRM reads.