de.uka.ilkd.key.java

Class PosConvertException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

de.uka.ilkd.key.java.ConvertException

de.uka.ilkd.key.java.PosConvertException

All Implemented Interfaces:

Serializable

public class PosConvertException
extends ConvertException

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
(package private) int	col
(package private) int	line
private static long	serialVersionUID

Constructor Summary

Constructors

Constructor and Description
PosConvertException(String m, int l, int c)

Method Summary

Modifier and Type	Method and Description
int	getColumn()
int	getLine()

Methods inherited from class de.uka.ilkd.key.java.ConvertException

parseException, proofJavaException

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

Field Detail

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

line

int line

col

int col

Constructor Detail

PosConvertException

public PosConvertException(String m,
                           int l,
                           int c)

Method Detail

getLine

public int getLine()

getColumn

public int getColumn()