de.dhbwstuttgart.exceptions

Class TypeinferenceException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

de.dhbwstuttgart.exceptions.TypeinferenceException

All Implemented Interfaces:

java.io.Serializable

Direct Known Subclasses:

ParserError

public class TypeinferenceException
extends java.lang.RuntimeException

Eine RuntimeException, welche bei einem Fehler während des Typinferenzalgorithmus ausgelöst wird. Dies wird zum Beispiel durch Programmierfehler in der Java-Eingabedatei ausgelöst.

Author:

Andreas Stadelmeier, a10023

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
private java.lang.String	message
private int	offset Das Offset im Quelltext bei dem das Problem aufgetaucht ist

Constructor Summary

Constructors

Constructor and Description
TypeinferenceException(java.lang.String message, int offset)
TypeinferenceException(java.lang.String message, SyntaxTreeNode problemSource)

Method Summary

Modifier and Type	Method and Description
java.lang.String	getMessage()
int	getOffset()

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, 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

Field Detail

offset

private int offset

Das Offset im Quelltext bei dem das Problem aufgetaucht ist

message

private java.lang.String message

Constructor Detail

TypeinferenceException

public TypeinferenceException(java.lang.String message,
                              SyntaxTreeNode problemSource)

TypeinferenceException

public TypeinferenceException(java.lang.String message,
                              int offset)

Method Detail

getOffset

public int getOffset()

Returns:

Der Offset an dem im Quellcode der Fehler aufgetreten ist.

getMessage

public java.lang.String getMessage()

Overrides:

getMessage in class java.lang.Throwable